SOFSEM'98: List of Accepted Contributed Papers
Computational Power of BSP Computers
by Martin Beran
[View abstract]
Modeling of Hypermedia Applications
by Radovan Cervenka
[View abstract]
On the Klee's Measure Problem in Small Dimensions
by Bogdan S. Chlebus
[View abstract]
Yet Another Modular Technique for Efficient Leader Election
by Stefan Dobrev and Peter Ruzicka
[View abstract]
Regulated Grammars with Leftmost Derivation
by Henning Fernau
[View abstract]
Some Results on the Modeling of Spatial Data
by Luca Forlizzi, Enrico Nardelli
[View abstract]
Randomized Meldable Priority Queues
by Anna Gambin and Adam Malinowski
[View abstract]
The Reconstruction of Convex Polyominoes from Horizontal and Vertical Projections
by Maciej Gebala
[View abstract]
Behavioral Safety in a Model With Multiple Class Objects
by Tomas Hruska, Petr Kolencik and Michal Macel
[View abstract]
Massively Parallel Suffix Array Construction
by Costas S. Iliopoulos and Maureen Korda
[View abstract]
Weak Bisimilarity and Open Maps
by Slawomir Lasota
[View abstract]
A Synchronisation Mechanism for Replicated Objects
by Francesc D. Munoz-Escoi, Pablo Galdamez and Jose M. Bernabeu-Auban
[View abstract]
Data Mining Extension for Object-oriented Query Language
by Vladimir Novacek
[View abstract]
Constraints with Variables' Annotations and Constraint Hierarchies
by Hana Rudova
[View abstract]
Sample Method for Minimization of OBDDs
by Anna Slobodova, Christoph Meinel
[View abstract]
Determining Type of TIL Construction with Verb Valency Analyser
by Pavel Smrz and Ales Horak
[View abstract]
Off-line Recognition of Cursive Handwritten Czech Text
by Pavel Smrz, Stepan Hrbacek and Michal Martinasek
[View abstract]
Automated Theorem Proving in a Combination of Theories with Disjoint Signatures
by Pavel Vanousek
[View abstract]