Professor, Department of Computer Science
office: C414
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 6941 |
|---|---|
| e‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 92
Year: 2010, type: Appeared in Conference without Proceedings
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), year: 2010
Year: 2010, type: Workshop
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: Appeared in Conference without Proceedings
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), year: 2007