Assistant professor, Department of Computer Systems and Communications
Office: B421
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 7287 |
|---|
| social and academic networks: |
|---|
Total number of publications: 66
International Journal of Bifurcation and Chaos, year: 2020, volume: 30, edition: 13, DOI
Information and computation, year: 2020, volume: 271, edition: 104487, DOI
Science of Computer Programming, year: 2020, volume: 185, edition: 102321, DOI
Integrated Formal Methods, year: 2019
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2019, year: 2019
Proceedings of the 22Nd ACM International Conference on Hybrid Systems: Computation and Control, year: 2019
Formal Methods and Software Engineering - 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings, year: 2019
Automated Reasoning for Systems Biology and Medicine, year: 2019, number of pages: 33 s.
13th International Conference on Software Technologies, year: 2018
22nd International Conference on System Theory, Control and Computing, year: 2018