Professor, Department of Computer Science
Office: C419
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4239 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 53
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05), year: 2006
FSTTCS 2005: 25th International Conference on Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, year: 2005
BRICS Notes Series, year: 2005, volume: 2005, edition: NS-05-4
Year: 2005, type: R&D Presentation
CONCUR 2004 - Concurrency Theory, year: 2004
INFINITY'2003: 5th International Workshop on Verification of Infinite-State Systems, year: 2004
BRICS Report Series, year: 2004, volume: 2004, edition: RS-04-7
Electronic Notes in Theoretical Computer Science, year: 2003, volume: 68, edition: 3
Computing and Informatics, year: 2003, volume: 21, edition: 6
Prelim.Proc.of the 5th Internat.Workshop on Verification of Infinite-State Systems (INFINITY'2003), year: 2003