SOFSEM'96 -
CT Programme
- P. Asirelli, S. Gnesi, M. C. Rossi,
IEI - CNR, Pisa, I
- A deductive
database support to the specification of concurrent systems
- D. Bednarek, P. Merta, D. Obdrzalek, J. Yaghob, F. Zavoral,
Charles University, Prague, CZ
- Interprocess Communication in the T4 System
- E. Bertino, D. Castelli, F. Vitale,
Universita' di Milano, I
- A Formal Representation for State Diagrams in the OMT Methodology
- V. Brattka, P. Hertling
FernUni, Hagen, G
- Feasible Real Random Access Machines
- C. De Castro,
Universita degli Studi di Bologna, I
- Temporal Conversion Functions for
Multitemporal Relational Databases
- C. Gaibisso, E. Nardelli, G. Proietti,
Universita di L'Aquila, I
- An Output Sensitive Solution to the Set Union and Intersection
Problem
- A. Gambin, S. Lasota,
Warszaw University, PL
- On the Semantics of Multistage Interconnection Networks
- J. Liang Han,
University of Southern Queensland, Toowoomba, Australia
- Decision Trees, Knowledge Rules, and Some Related
Data Mining Algorithms
- A. Kucera,
Masaryk University, Brno, CZ
- Regularity is decidable for normed BPA and normed BPP
processes in polynomial time
- S. Lucas, J. Oliver,
Universidad Politecnica de Valencia, E
- A new proposal of Concurrent Process Calculus
- M. Marchiori,
University of Padova, I
- On the Specification of Visual Languages:
Multisets as First-Class Citizens
- F. Mraz, M. Platek, J. Vogel,
Charles University, Prague, CZ
- Restarting automata with rewriting
- M. Rozloznik, Z. Strakos, M. Tuma,
Academy of Sciences, Prague, CZ
- On the role of orthogonality in the GMRES method
- P. Ruzicka,
Comenius University, Bratislava, SK
- Efficient Tree Pattern Unification
- J. Shao,
University of Wales College, Cardiff, UK
- Knowledge Discovery In Alarm Data Analysis
- P. Scholz,
Technische Universitaet Muenchen, G
- A Light-Weight Formalism for the Specification of
Reactive Systems
- J. Sima,
Czech Academy of Sciences, Prague, CZ
- Aunt's Problem: Table Rounding
- I. Vovsova,
Charles University, Prague, CZ
- A Seven-Head Dragon for Optimal Pattern Searching
- T. Werner, V. Hlavac, A. Leonardis, T. Pajdla
Czech Technical University, Prague, CZ
- Choosing Reference Views for Image-Based Representation
- J. Zerovnik,
Univerza v Mariboru, Slovenia
- Recognizing Graph Products and Bundles
- J. Zizka, Z. Kratochvil,
Technical University of Brno, CZ
- Genetic Algorithms-Based
Creation of Fuzzy-Rule Bases for the Car Control
- O. Zukunft,
Universitaet Oldenburg, G
- A Transaction Model for Mobile and Active Database Systems