default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25. SOFSEM 1998: Jasná, Slovakia
- Branislav Rovan:
SOFSEM '98: Theory and Practice of Informatics, 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998, Proceedings. Lecture Notes in Computer Science 1521, Springer 1998, ISBN 3-540-65260-4
Invited Talks
- Maarten Boasson:
Software Architecture for Distributed Reactive Systems. 1-18 - Manfred Broy:
A Logical Basis for Modular Software and Systems Engineering. 19-35 - Benny Chor:
From Quartets to Phylogenetic Trees. 36-53 - Christoph Eilinghoff, Uwe Kastens:
Reuse Methods for Construction of Parallel Software. 56-67 - 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 - Rusins Freivalds:
Models of Computation, Riemann Hypothesis, and Classical Mathematics. 89-106 - Petr Hanácek
:
Security of Electronic Money. 107-121 - Klaus Jansen, José D. P. Rolim:
Algorithms Based on Randomization and Linear and Semidefinite Programming. 124-134 - Winfried Lamersdorf, Michael Merz, M. Tuan Tu:
Distributed Systems Technology for Electronic Commerce Applications. 135-148 - Reinhard Lüling, Francisco Cortes Gómez, Norbert Sensen:
Parallel Interactive Media Server Systems. 149-166 - Alberto Marchetti-Spaccamela:
On-Line Routing Problems for Broadband Networks. 167 - Rolf Niedermeier:
Some Prospects for Efficient Fixed Parameter Algorithms. 168-185 - Christos Nikolaou, Manolis Marazakis:
System Infrastructure for Digital Libraries: A Survey and Outlook. 186-203 - Bart Preneel:
An Introduction to Cryptology. 204-221 - Cécile Roisin:
Authoring Structured Multimedia Documents. 222-239 - H. Dieter Rombach:
Engineering Software and Software Engineering. 240-243 - Peter Ruzicka:
Efficient Communication Schemes. 244-263 - Leon Strous:
Audit of Information Systems: The Need for Cooperation. 264-274 - Christine Vanoirbeek:
Towards the Use of Dynamic Documents in Business Processes. 275-284
Contributed Papers
- Martin Beran:
Computational Power of BSP Computers. 285-293 - Radovan Cervenka:
Modeling of Hypermedia Applications. 294-303 - Bogdan S. Chlebus:
On the Klee's Measure Problem in Small Dimensions. 304-311 - Stefan Dobrev, Peter Ruzicka:
Yet Another Modular Technique for Efficient Leader Election. 312-321 - Henning Fernau:
Regulated Grammars with Leftmost Derivation. 322-331 - Luca Forlizzi, Enrico Nardelli:
Some Results on the Modelling of Spatial Data. 332-343 - Anna Gambin, Adam Malinowski:
Randomized Meldable Priority Queues. 344-349 - Maciej Gebala:
The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections. 350-359 - Tomas Hruska, Petr Kolencik, Michal Mácel:
Behavioral Safety in a Model With Multiple Class Objects. 360-370 - Costas S. Iliopoulos, Maureen Korda:
Massively Parallel Suffix Array Construction. 371-380 - Slawomir Lasota:
Weak Bisimilarity and Open Maps. 381-388 - Francesc D. Muñoz-Escoí, Pablo Galdámez, José M. Bernabéu-Aubán:
A Synchronisation Mechanism for Replicated Objects. 389-398 - Vladimir Novacek:
Data Mining Extension for Object-Oriented Query Language. 399-408 - Hana Rudová:
Constraints with Variables' Annotations and Constraint Hierarchies. 409-418 - Anna Slobodová, Christoph Meinel:
Sample Method for Minimization of OBDDs. 419-428 - Pavel Smrz, Ales Horák:
Determining Type of TIL Construction with Verb Valency Analyser. 429-436 - Pavel Smrz, Stephán Hrbácek, Michal Martinásek:
Off-Line Recognition of Cursive Handwritten Czech Text. 437-442 - Pavel Vanousek:
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures. 443-452
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 01:25 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
