Bakhtina, M., Vémolová, Z., and Matyáš, V., (2024). Published in: RPE@CAiSE’24: Research Projects Exhibition at the International Conference on Advanced Information Systems Engineering.
Klašk, D., Kučera, A., Kůr, V., Musil, V., and Řehák, V. (2024). Published in: Proceedings of the AAAI Conference on Artificial Intelligence, 38(18), 20143-20150.
Jankola, M., Strejček, J., (2024). Published in: Foundations of Software Science and Computation Structures. FoSSaCS 2024. Lecture Notes in Computer Science, vol 14574. Springer, Cham.
Earnshaw, M. Sobociński, P., (2023). Published in: 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023).
Malík, V., Nečas, F., Schrammel, P., Vojnar, T. (2023). Published in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2023. Lecture Notes in Computer Science, vol 13994. Springer, Cham.
Schwarzová, T., Strejček, J., Major, J. (2023). Published in: 26th International Conference on Theory and Applications of Satisfiability Testing, SAT 2023, July 4-8, 2023, Alghero, Italy
Klaška, D., Kučera, A., Kurečka, M., Musil, V., Novotný, P., Řehák, V. (2023). Published in: Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China.