Associate professor, Department of Machine Learning and Data Processing
office: S214
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 3922 |
|---|
| social and academic networks: |
|---|
Total number of publications: 85
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
Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007), year: 2007
Proceedings of 18th International Conference on Concurrency Theory (CONCUR 2007), year: 2007
Computing and Informatics, year: 2006, volume: 25, edition: 1
17th International Conference on Concurrency Theory, year: 2006
21th IEEE Symposium on Logic in Computer Science (LICS 2006), 12-15 August 2006, Seattle, Washington, USA, Proceedings, year: 2006