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
Reachability Problems, RP 2012, year: 2012
Acta informatica, year: 2012, volume: 49, edition: 4, DOI
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
Computer Aided Verification, 23rd International Conference, CAV 2011, year: 2011
HSCC 11: Proceedings of the 14th International Conference on Hybrid Systems: Computation and Control, year: 2011
Information and Computation, year: 2011, volume: 209, edition: 8
Randomness through Computation, year: 2011, number of pages: 8 s.
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
Lectures in Game Theory for Computer Scientists, year: 2011, number of pages: 39 s.
Proceedings 26th Annual IEEE Symposium on Logic in Computer Science, year: 2011