Professor, Department of Computer Science
office: C414
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 6941 |
|---|---|
| e‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 92
FSTTCS 2006: 26th International Conference on Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, year: 2006
Year: 2006, type: R&D Presentation
Preliminary Proceedings - 13th International Workshow on Expressiveness in Concurrency - EXPRESS'06, year: 2006
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY'05), year: 2006
Implementation and Application of Automata, year: 2005
SOFSEM 2005: Theory and Practice of Computer Science, year: 2005
Year: 2005, number of pages: 148 s.
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, year: 2005
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