SOFSEM '97 - CT Programme
to SOFSEM Home Page
- L. Becchetti, C. Gaibisso, Istituto di Analisi dei Sistemi e
Informatica, Rome, IT
- Lower Bounds for the VPL in ATM Networks
- B. Dai, D. A Bell,J. G. Hughes, University of Ulster
at Jordanstown, UK
- Query Processing in Temporal Evidential Databases
- C. De Castro Aldrovandi, C.S.I.TE.-C.N.R., Bologna, IT
- A First Approach to Temporal Predicate Locking for Concurrency Detection
in Temporal Relational Databases supporting Schema Versioning
- C. Gaibisso, G. Proietti, Istituto di Analisi dei Sistemi e
Informatica, Rome, University of L'Aquila, IT
- Efficient inserting of approximately sorted sequences of items
into a dictionary
- P. Galdamez, F. D. Munyos-Escoi,J. M. Bernabeu-Auban,
Universitat Politecnica de Valencia, ES
- High Availability Support in CORBA Environments
- V. Glasnak, Charles University, Prague, CZ
- On f-sparse sets in NP-P
- M. Hof, H. Mössenböck, P. Pirkelbauer,
Johannes Kepler University Linz, AT
- Zero-Overhead Exception Handling Using Metaprogramming
- J. Janousek, B. Melichar, Czech Technical University, Prague, CZ
- The Output-Store Formal Translator Directed by LR Parsing
- J. Kadlec, Czech Academy of Sciences, Prague, CZ
- Parallel processing on Alphas under MATLAB 5
- P. Kolman, Charles University, Prague, CZ
- PRAM Lower Bound for Element Distinctness Revised
- I. Kopecek, Masaryk University Brno, CZ
- Optimal Trees for Searching in Codebook
- R. Kralovic, Comenius University Bratislava, SK
- Time Optimal Self-Stabilizing Algorithms
- P. Kroha, M. Strauss, TU Chemnitz, DE
- Requirements Specification Iteratively Combined with Reverse
Engineering
- A. Kucera, Masaryk University Brno, CZ
- On Finite Representations of Infinite-state Behaviours
- S. Lucas, RWTH Aachen, DE
- Efficient strong sequentiality using replacement restrictions
- M. Marchiori, CWI, NL
- Optimal Encodings
- F.Mraz, M. Platek, P. Jancar, J. Vogel, Charles University,
Prague, University of Ostrava, CZ, Friedrich Schiller University Jena, DE
- Monotonic Rewriting Automata with a Restart Operation
- S. H. Nienhuys-Cheng, A. de Bruin, Erasmus University, Rotterdam, NL
- Kahn's fixed point characterization for linear dynamic
networks
- K. Pala, P. Rychly, P. Smrz, Masaryk University Brno, CZ
- DESAM - Annotated Corpus for Czech
- Y. Peter, France Telecom/CNET, FR
- A Generic Implementation of CORBA's LifeCycle Service
- W. Pijls, A. de Bruin, Erasmus University, Rotterdam, NL
- A theory of game trees, based on solution trees
- H. Schröder, A. E. May, I. Vrto, O. Sykora, Loughborough University of
Technology, UK, Slovak Academy of Sciences Bratislava, SK
- Approximation Algorithms For The Vertex Bipartization Problem
- H. Schröder, O. Sykora, I. Vrto, Loughborough University of
Technology, UK, Slovak Academy of Sciences Bratislava, SK
- Optical All-to-All Communication for some Product Graphs
- D. Strupl, R. Neruda, Charles University, Academy of Sciences, Prague, CZ
- Parallelizing Self-Organizing Maps
to SOFSEM Home Page