profesor – Katedra teorie programování
kancelář: C414
Botanická 554/68a
602 00 Brno
| telefon: | 549 49 6941 |
|---|---|
| e‑mail: |
|
| sociální a akademické sítě: |
|---|
Počet publikací: 92
Rok: 2010, druh: Další prezentace na konferencích
Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010), rok: 2010
Rok: 2010, druh: Uspořádání workshopu
Proceedings 16th International Workshop on Expressiveness in Concurrency 2009 (EXPRESS'09), rok: 2009
Acta informatica, rok: 2009, ročník: 46, vydání: 1
Joint Proceedings of the 8th, 9th, and 10th International Workshops on Verification of Infinite-State Systems (INFINITY 2006, 2007, 2008), rok: 2009
Information and Computation, rok: 2009, ročník: 207, vydání: 6
Theoretical Computer Science, rok: 2008, ročník: 394, vydání: 1-2
Rok: 2007, druh: Další prezentace na konferencích
Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006), rok: 2007