Professor, Department of Computer Science
Office: C514
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 4085 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 66
LPAR-18 - Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, year: 2012
Information and Computation, year: 2012, volume: 218, edition: September, DOI
Theoretical Aspects of Computing - ICTAC 2012, year: 2012
Automated Technology for Verification and Analysis - 10th International Symposium ATVA 2012, year: 2012
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 2012
CONCUR 2011 - Concurrency Theory: 22nd International Conference, year: 2011
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, year: 2011
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 2011
ATVA 2011 - Automated Technology for Verification and Analysis: 9th International Symposium, year: 2011
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers, year: 2011