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
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
Proceedings of 38th International Colloquium on Automata, Languages and Programming (ICALP 2011), year: 2011
Proceedings 26th Annual IEEE Symposium on Logic in Computer Science, year: 2011
Proceedings of the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, year: 2010
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2010), year: 2010
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), year: 2010
Proceedings of 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), year: 2010
CONCUR 2010 - Concurrency Theory, year: 2010
Electronic Notes in Theoretical Computer Science, year: 2009, volume: 2009, edition: 239