Associate professor, Department of Machine Learning and Data Processing
office: A411
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 4476 |
|---|---|
| e‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 116
Ninth International Workshop on Parallel and Distributed Methods in Verification, and Second International Workshop on High Performance Computational Systems Biology, year: 2010
Proceedings of 2nd International Workshop on Computational Models for Cell Processes, year: 2009
Computational Mehotds in Systems Biology: Abstract of the Posters, year: 2009
International Workshop on High Performance Computational Systems Biology, year: 2009
Theoretical Computer Science, year: 2009, volume: 2009, edition: 410
Proceedings of PDMC 2008 - Parallel and Distributed Methods ins VerifiCation, year: 2008
Electronic Notes in Theoretical Computer Science, year: 2008
Year: 2007, type: R&D Presentation
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
Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), year: 2006