Professor, Department of Computer Science
Office: A411
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 3647 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 199
International Journal on Software Tools for Technology Transfer (STTT), year: 2010, volume: 12, edition: 2, DOI
Games, Automata, Logics and Formal Verification (GandALF) 2010, year: 2010
Formal Methods and Software Engineering, year: 2009
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, year: 2009
Computational Mehotds in Systems Biology: Abstract of the Posters, year: 2009
Formal Methods for Industrial Critical Systems, year: 2009
24th IEEE/ACM International Conference on Automated Software Engineering, year: 2009
International Workshop on High Performance Computational Systems Biology, year: 2009
Proceedings of the 15th International Conference on Parallel and Distributed Systems, year: 2009
Year: 2009