Department head, Institute for Theoretical Computer Science
office: C411
Botanická 554/68a
602 00 Brno
| phone: | +420 549 49 4374 |
|---|---|
| e‑mail: |
|
| social and academic networks: |
|---|
Total number of publications: 156
Proceedings of the AAAI Conference on Artificial Intelligence, Vol. 39 No. 25: AAAI-25 Technical Tracks 25, year: 2025
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence, year: 2025
52nd International Colloquium on Automata, Languages, and Programming, year: 2025
Proceedings of 38th Annual AAAI Conference on Artificial Intelligence (AAAI 2024), year: 2024
Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2024
18th International Conference on Reachability Problems, RP 2024, year: 2024
Journal of Computer and System Sciences, year: 2024, volume: 139, edition: 103478, DOI
34th International Conference on Concurrency Theory (CONCUR 2023), year: 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023,, year: 2023