25. SOFSEM 1998: Jasná, Slovakia

@proceedings{DBLP:conf/sofsem/1998,
  editor    = {Branislav Rovan},
  title     = {SOFSEM '98: Theory and Practice of Informatics, 25th Conference
               on Current Trends in Theory and Practice of Informatics, Jasn{\'a},
               Slovakia, November 21-27, 1998, Proceedings},
  booktitle = {SOFSEM},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1521},
  year      = {1998},
  isbn      = {3-540-65260-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Talks

• Maarten Boasson:
  Software Architecture for Distributed Reactive Systems. 1-18
  Electronic Edition (Springer LINK) BibTeX
• Manfred Broy:
  A Logical Basis for Modular Software and Systems Engineering. 19-35
  Electronic Edition (Springer LINK) BibTeX
• Benny Chor:
  From Quartets to Phylogenetic Trees. 36-53
  Electronic Edition (Springer LINK) BibTeX
• Christoph Eilinghoff, Uwe Kastens:
  Reuse Methods for Construction of Parallel Software. 56-67
  Electronic Edition (Springer LINK) BibTeX
• Ghica van Emde Boas-Lubsen, Peter van Emde Boas:
  Compiling Horn-Clause Rules in IBM`s Business System 12 and Early Experiment in Declarativeness. 68-88
  Electronic Edition (Springer LINK) BibTeX
• Rusins Freivalds:
  Models of Computation, Riemann Hypothesis, and Classical Mathematics. 89-106
  Electronic Edition (Springer LINK) BibTeX
• Petr Hanácek:
  Security of Electronic Money. 107-121
  Electronic Edition (Springer LINK) BibTeX
• Klaus Jansen, José D. P. Rolim:
  Algorithms Based on Randomization and Linear and Semidefinite Programming. 124-134
  Electronic Edition (Springer LINK) BibTeX
• Winfried Lamersdorf, Michael Merz, M. Tuan Tu:
  Distributed Systems Technology for Electronic Commerce Applications. 135-148
  Electronic Edition (Springer LINK) BibTeX
• Reinhard Lüling, Francisco Cortes Gomez, Norbert Sensen:
  Parallel Interactive Media Server Systems. 149-166
  Electronic Edition (Springer LINK) BibTeX
• Alberto Marchetti-Spaccamela:
  On-Line Routing Problems for Broadband Networks. 167
  Electronic Edition (Springer LINK) BibTeX
• Rolf Niedermeier:
  Some Prospects for Efficient Fixed Parameter Algorithms. 168-185
  Electronic Edition (Springer LINK) BibTeX
• Christos Nikolaou, Manolis Marazakis:
  System Infrastructure for Digital Libraries: A Survey and Outlook. 186-203
  Electronic Edition (Springer LINK) BibTeX
• Bart Preneel:
  An Introduction to Cryptology. 204-221
  Electronic Edition (Springer LINK) BibTeX
• Cécile Roisin:
  Authoring Structured Multimedia Documents. 222-239
  Electronic Edition (Springer LINK) BibTeX
• H. Dieter Rombach:
  Engineering Software and Software Engineering. 240-243
  Electronic Edition (Springer LINK) BibTeX
• Peter Ruzicka:
  Efficient Communication Schemes. 244-263
  Electronic Edition (Springer LINK) BibTeX
• Leon Strous:
  Audit of Information Systems: The Need for Cooperation. 264-274
  Electronic Edition (Springer LINK) BibTeX
• Christine Vanoirbeek:
  Towards the Use of Dynamic Documents in Business Processes. 275-284
  Electronic Edition (Springer LINK) BibTeX

Contributed Papers

• Martin Beran:
  Computational Power of BSP Computers. 285-293
  Electronic Edition (Springer LINK) BibTeX
• Radovan Cervenka:
  Modeling of Hypermedia Applications. 294-303
  Electronic Edition (Springer LINK) BibTeX
• Bogdan S. Chlebus:
  On the Klee`s Measure Problem in Small Dimensions. 304-311
  Electronic Edition (Springer LINK) BibTeX
• Stefan Dobrev, Peter Ruzicka:
  Yet Another Modular Technique for Efficient Leader Election. 312-321
  Electronic Edition (Springer LINK) BibTeX
• Henning Fernau:
  Regulated Grammars with Leftmost Derivation. 322-331
  Electronic Edition (Springer LINK) BibTeX
• Luca Forlizzi, Enrico Nardelli:
  Some Results on the Modelling of Spatial Data. 332-343
  Electronic Edition (Springer LINK) BibTeX
• Anna Gambin, Adam Malinowski:
  Randomized Meldable Priority Queues. 344-349
  Electronic Edition (Springer LINK) BibTeX
• Maciej Gebala:
  The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections. 350-359
  Electronic Edition (Springer LINK) BibTeX
• Tomas Hruska, Petr Kolencik, Michal Mácel:
  Behavioral Safety in a Model With Multiple Class Objects. 360-370
  Electronic Edition (Springer LINK) BibTeX
• Costas S. Iliopoulos, Maureen Korda:
  Massively Parallel Suffix Array Construction. 371-380
  Electronic Edition (Springer LINK) BibTeX
• Slawomir Lasota:
  Weak Bisimilarity and Open Maps. 381-388
  Electronic Edition (Springer LINK) BibTeX
• Francesc D. Muñoz-Escoí, Pablo Galdámez, José M. Bernabéu-Aubán:
  A Synchronisation Mechanism for Replicated Objects. 389-398
  Electronic Edition (Springer LINK) BibTeX
• Vladimir Novacek:
  Data Mining Extension for Object-Oriented Query Language. 399-408
  Electronic Edition (Springer LINK) BibTeX
• Hana Rudová:
  Constraints with Variables` Annotations and Constraint Hierarchies. 409-418
  Electronic Edition (Springer LINK) BibTeX
• Anna Slobodová, Christoph Meinel:
  Sample Method for Minimization of OBDDs. 419-428
  Electronic Edition (Springer LINK) BibTeX
• Pavel Smrz, Ales Horák:
  Determining Type of TIL Construction with Verb Valency Analyser. 429-436
  Electronic Edition (Springer LINK) BibTeX
• Pavel Smrz, Stephán Hrbácek, Michal Martinásek:
  Off-Line Recognition of Cursive Handwritten Czech Text. 437-442
  Electronic Edition (Springer LINK) BibTeX
• Pavel Vanousek:
  Automated Theorem Proving in a Combination of Theories with Disjoint Signatures. 443-452
  Electronic Edition (Springer LINK) BibTeX