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
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
Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), year: 2005
25th International Conference on Foundations of Software Technology and Theoretical Computer Science, year: 2005
Proceedings of 22nd Symposium on Theoretical Aspects of Computer Science (STACS 2005), year: 2005
Proceedings of 15th International Conference on Concurrency Theory (CONCUR 2004), year: 2004
PDMC 2002 Parallel and Distributed Model Checking, year: 2002