Vice-dean for curricula and internationalisation, Faculty of Informatics
office: A408
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 4687 |
|---|---|
| e‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 68
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), year: 2010
CONCUR 2010 - Concurrency Theory, year: 2010
Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09), year: 2009
Acta informatica, year: 2009, volume: 46, edition: 1
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), year: 2009
Information and Computation, year: 2009, volume: 207, edition: 6
Theoretical Computer Science, year: 2008, volume: 394, edition: 1-2
Year: 2007, type: R&D Presentation
Year: 2007, type: Appeared in Conference without Proceedings
Formal Methods Applications and Technology, 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, year: 2007