Bocevska, I., Petković Komel, A., Kovacs, L., Rain, S., & Rawson, M. (2025). Divide and Conquer: A Compositional Approach to Game-Theoretic Security. Proceedings of the ACM on Programming Languages, 9(OOPSLA2), 1949–1973. https://doi.org/10.1145/3763120 ( reposiTUm)

Hajdu, M., Coutelier, R., Kovacs, L., & Voronkov, A. (2025). Term Ordering Diagrams. In C. Barrett & U. Waldmann (Eds.), Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (pp. 552–569). Springer-Verlag. https://doi.org/10.1007/978-3-031-99984-0_29 ( reposiTUm)

Bártek, F., Bhayat, A., Coutelier, R., Hajdu, M., Hetzenberger, M., Hozzová, P., Kovács, L., Rath, J., Rawson, M., Reger, G., Suda, M., Schoisswohl, J., & Voronkov, A. (2025). The Vampire Diary. In R. Piskac & Zvonimir Rakamarić (Eds.), Computer Aided Verification (pp. 57–71). Springer. https://doi.org/10.1007/978-3-031-98682-6_4 ( reposiTUm)

Hajdu, M., Kovács, L., & Voronkov, A. (2025). Partial Redundancy in Saturation. In C. Barrett & U. Waldmann (Eds.), Automated Deduction – CADE 30: 30th International Conference on Automated Deduction, Stuttgart, Germany, July 28-31, 2025, Proceedings (pp. 532–551). https://doi.org/10.1007/978-3-031-99984-0_28 ( reposiTUm)

Rath, J., Eisenhofer, C., Kaufmann, D., Bjørner, N., & Kovacs, L. (2025). PolySAT: Word-level Bit-vector Reasoning in Z3. In J. Protzenko & A. Raad (Eds.), Verified Software. Theories, Tools and Experiments : 16th International Conference, VSTTE 2024, Prague, Czech Republic, October 14–15, 2024, Revised Selected Papers (pp. 47–69). Springer. https://doi.org/10.1007/978-3-031-86695-1_4 ( reposiTUm)

Moosbrugger, M., Müllner, J., Bartocci, E., & Kovacs, L. (2025). Polar: An Algebraic Analyzer for (Probabilistic) Loops. In Principles of Verification: Cycling the Probabilistic Landscape (Vol. 15260, pp. 179–200). https://doi.org/10.1007/978-3-031-75783-9_8 ( reposiTUm)