Department head, Institute for Theoretical Computer Science
Office: C411
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4374 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 152
Information Processing Letters, year: 1999, volume: 70, edition: 1
Information Processing Letters, year: 1999, volume: 72, edition: 1-2
Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99), year: 1999
Technical Report TUM, year: 1999, volume: 1999, edition: TUM-I9902
Proceedings of 10th International Conference on Concurrency Theory (CONCUR´99), year: 1999
Proceedings of 25th International Colloquium on Automata, Languages and Programming (ICALP'98), year: 1998
Technical Report TUM, year: 1998, volume: 1998, edition: TUM-I9805
Technical Report TUM, year: 1998, volume: 1998, edition: TUM-I9830
Electronic Notes in Theoretical Computer Science, year: 1997, volume: 1997, edition: 5
Proceedings of 2nd International Workshop on Verification of Infinite State Systems (INFINITY´97), year: 1997