SOFSEM B

38 papers

YearTitle / Authors
1998A Logical Basis for Modular Software and Systems Engineering.
Manfred Broy
1998A Synchronisation Mechanism for Replicated Objects.
Francesc D. Muñoz-Escoí, Pablo Galdámez, José M. Bernabéu-Aubán
1998Algorithms Based on Randomization and Linear and Semidefinite Programming.
Klaus Jansen, José D. P. Rolim
1998An Introduction to Cryptology.
Bart Preneel
1998Audit of Information Systems: The Need for Cooperation.
Leon Strous
1998Authoring Structured Multimedia Documents.
Cécile Roisin
1998Automated Theorem Proving in a Combination of Theories with Disjoint Signatures.
Pavel Vanousek
1998Behavioral Safety in a Model With Multiple Class Objects.
Tomas Hruska, Petr Kolencik, Michal Mácel
1998Compiling Horn-Clause Rules in IBM's Business System 12 and Early Experiment in Declarativeness.
Ghica van Emde Boas-Lubsen, Peter van Emde Boas
1998Computational Power of BSP Computers.
Martin Beran
1998Constraints with Variables' Annotations and Constraint Hierarchies.
Hana Rudová
1998Data Mining Extension for Object-Oriented Query Language.
Vladimir Novacek
1998Determining Type of TIL Construction with Verb Valency Analyser.
Pavel Smrz, Ales Horák
1998Distributed Systems Technology for Electronic Commerce Applications.
Winfried Lamersdorf, Michael Merz, M. Tuan Tu
1998Efficient Communication Schemes.
Peter Ruzicka
1998Engineering Software and Software Engineering.
H. Dieter Rombach
1998From Quartets to Phylogenetic Trees.
Benny Chor
1998Massively Parallel Suffix Array Construction.
Costas S. Iliopoulos, Maureen Korda
1998Modeling of Hypermedia Applications.
Radovan Cervenka
1998Models of Computation, Riemann Hypothesis, and Classical Mathematics.
Rusins Freivalds
1998Off-Line Recognition of Cursive Handwritten Czech Text.
Pavel Smrz, Stephán Hrbácek, Michal Martinásek
1998On the Klee's Measure Problem in Small Dimensions.
Bogdan S. Chlebus
1998On-Line Routing Problems for Broadband Networks.
Alberto Marchetti-Spaccamela
1998Parallel Interactive Media Server Systems.
Reinhard Lüling, Francisco Cortes Gómez, Norbert Sensen
1998Randomized Meldable Priority Queues.
Anna Gambin, Adam Malinowski
1998Regulated Grammars with Leftmost Derivation.
Henning Fernau
1998Reuse Methods for Construction of Parallel Software.
Christoph Eilinghoff, Uwe Kastens
1998SOFSEM '98: Theory and Practice of Informatics, 25th Conference on Current Trends in Theory and Practice of Informatics, Jasná, Slovakia, November 21-27, 1998, Proceedings
Branislav Rovan
1998Sample Method for Minimization of OBDDs.
Anna Slobodová, Christoph Meinel
1998Security of Electronic Money.
Petr Hanácek
1998Software Architecture for Distributed Reactive Systems.
Maarten Boasson
1998Some Prospects for Efficient Fixed Parameter Algorithms.
Rolf Niedermeier
1998Some Results on the Modelling of Spatial Data.
Luca Forlizzi, Enrico Nardelli
1998System Infrastructure for Digital Libraries: A Survey and Outlook.
Christos Nikolaou, Manolis Marazakis
1998The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections.
Maciej Gebala
1998Towards the Use of Dynamic Documents in Business Processes.
Christine Vanoirbeek
1998Weak Bisimilarity and Open Maps.
Slawomir Lasota
1998Yet Another Modular Technique for Efficient Leader Election.
Stefan Dobrev, Peter Ruzicka