Dean, Faculty of Informatics
Office: A409
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 3507 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 135
International Journal on Software Tools for Technology Transfer (STTT), year: 2010, volume: 12, edition: 2, DOI
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
International Workshop on High Performance Computational Systems Biology, year: 2009