Department head, Department of Computer Science
Office: A410
Botanická 554/68a
602 00 Brno
| Phone: | +420 549 49 3890 |
|---|---|
| E‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 122
2023 IEEE International Conference on Robotics and Automation (ICRA), year: 2023
Logical Methods in Computer Science, year: 2022, volume: 18, edition: 3, DOI
27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'21), year: 2021
Tools and Algorithms for the Construction and Analysis of Systems, year: 2020
26th International Conference on Principles and Practice of Constraint Programming, year: 2020
LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2020
Journal of Systems and Software, year: 2018, volume: 143, edition: Oct, DOI
LPAR-22, 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, year: 2018
13th International Conference on Software Technologies, year: 2018
Journal of Logical and Algebraic Methods in Programming, year: 2018, volume: 99, edition: Oct, DOI