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 Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, year: 2022
21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022., year: 2022
Proceedings of the Thirty-Eighth Conference on Uncertainty in Artificial Intelligence, UAI 2022, year: 2022
Principles of Systems Design - Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, year: 2022
ACM SIGLOG News, year: 2021, volume: 8, edition: 4, DOI
32nd International Conference on Concurrency Theory (CONCUR 2021), year: 2021
Proceedings of 37th Conference on Uncertainty in Artificial Intelligence (UAI 2021), year: 2021
Fundamentals of Computation Theory. 23rd International Symposium, FCT 2021, year: 2021
Proceedings of the 2020 International Conference on Autonomous Agents & Multiagent Systems, year: 2020
LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, year: 2020