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
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), year: 2009
IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2009), year: 2009
Proceedings of the 26th International Symposium on Theoretical Aspects of Computer Science, year: 2009
Automata, Languages and Programming. 35th International Colloquium, ICALP 2008. Reykjavik, Iceland, July 2008. Proceedings, Part II., year: 2008
Acta informatica, year: 2008, volume: 45, edition: 2
Logic for Programming, Artificial Intelligence, and Reasoning, 15th International Conference, LPAR 2008, year: 2008
Information and Computation, year: 2008, volume: 206, edition: 5
23rd IEEE Symposium on Logic in Computer Science (LICS 2008), 24-27 June 2008, Pittsburgh, USA, Proceedings, year: 2008
Proc. of 9th Internat. Workshop on Verification of Infinite-State Systems, year: 2007
Year: 2007, type: Appeared in Conference without Proceedings