Associate professor, Department of Machine Learning and Data Processing
Office: S206
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 6991 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 99
Automated Software Engineering, year: 2005
Tools and Algorithms for Construction and Analysis of Systems (TACAS 2004), year: 2004
SPIN Workshop 2004, year: 2004
SPIN Workshop 2003, year: 2003
Proceedings of the Eight ESSLLI Student Session, year: 2003
Mathematical Foundations of Computer Science (MFCS 2003), year: 2003
Computer Aided Verification (CAV 2003), year: 2003
FST-TCS 2001, year: 2001
SOFSEM 2001, year: 2001