Contributed Talks
- Specification and Verification of Secure Business
Transaction Systems
V.S. Alagar, K. Periyasamy
- Modelling Transition Constraints in Constraint-Based
Scheduling
Roman Bartak
- The Reconstruction of Some Three-Dimensional Convex
Polyominoes from Orthogonal Projections
Maciej Gebala
- Validation and decomposition of Partially Occluded
Images
Costas Iliopoulos, Manal Mohamed
- Solving Conflicts of Agent Knowledge States in
Multiagent Systems
Radoslaw Piotr Katarzyniak, Ngoc Thanh Nguyen
- Agent-Oriented Model of Simulated Evolution
Marek Kisiel-Dorohinicki
- Hungarian Speech Synthesis Using a Phase Exact HNM
Approach
Kornel Kovacs, Andras Kocsor, Laszlo Toth
- String transformation for n-dimensional Image
Compression
Martin Kutrib, Jan-Thomas Lowe
- The Complexity of Probabilistic versus Quantum Finite
Automata
Gatis Midrijanis
- A new model for the specification of Clairvoyance and
Constraints in Real-Time Scheduling
K.Subramani
- Do We Need Liveness? - Approximation of Liveness
Properties by Safety Properties
Ulrich Ultes-Nitsche