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
Proceedings of the 4th International Conference on Educational Data Mining, year: 2011
Year: 2011
Twenty-Fourth International Florida Artificial Intelligence Research Society Conference, year: 2011
Kognice a umělý život X, year: 2010
STAIRS 2010, Proceedings of the Fifth Starting AI Researchers' Symposium, year: 2010
Model Checking Software, year: 2009
Parallel and Distributed Methods in verifiCation (PDMC 2008), year: 2008
Year: 2008, type: Appeared in Conference without Proceedings
Formal Methods for Industrial Critical Systems, year: 2008
Formal Methods for Industrial Critical Systems, year: 2008