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
Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science (LICS 2005), year: 2005
Acta informatica, year: 2005, volume: 41, edition: 7/8
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), year: 2004
Exploring New Frontiers of Theoretical Informatics : IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), year: 2004
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), year: 2004
Information and Computation, year: 2004, volume: 188, edition: 1
Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science (LICS 2004), year: 2004
Journal of logic and computation, year: 2003, volume: 13, edition: 6
Proceedings of 14th International Conference on Concurrency Theory (CONCUR 2003), year: 2003
Information and Computation, year: 2003, volume: 186, edition: 2