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
Theoretical Computer Science, year: 2002, volume: 270, edition: 1-2
Proceedings of 13th International Conference on Concurrency Theory (CONCUR 2002), year: 2002
Theoretical Computer Science, year: 2001, volume: 258, edition: 1-2
Proceedings of 4th International Symposium on Theoretical Aspects of Computer Software (TACS 2001), year: 2001
Theoretical Computer Science, year: 2000, volume: 242, edition: 1-2
Proceedings of 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), year: 2000
Proceedings of 6th Asian Computing Science Conference (ASIAN 2000), year: 2000
Proceedings of 17th Annual Symposium on Theoretical Aspects of Computer Science (STACS 2000), year: 2000
Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99), year: 1999
Acta informatica, year: 1999, volume: 36, edition: 3