Associate professor, Department of Machine Learning and Data Processing
office: S214
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 3922 |
|---|---|
| e‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 80
Proceedings of 28th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), year: 2013
Computer Aided Verification - 24th International Conference, CAV 2012, year: 2012
Proceedings of 39th International Colloquium on Automata, Languages and Programming (ICALP 2012), year: 2012
Information and Computation, year: 2012, volume: 210, edition: January, DOI
Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, year: 2012
Acta informatica, year: 2012, volume: 49, edition: 4, DOI
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012), year: 2012
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
Computer Aided Verification, 23rd International Conference, CAV 2011, year: 2011
CONCUR 2011 - Concurrency Theory: 22nd International Conference, year: 2011