Counting of Teams in First-Order Team Logics
A. Haak, J. Kontinen, F. Müller, H. Vollmer, F. Yang, ACM Transactions on Computational Logic (2025).

Solving Polynomial Equations Over Finite Fields
H. Dell, A. Haak, M. Kallmayer, L. Wennmann, in: Proceedings of the 2025 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), Society for Industrial and Applied Mathematics, Philadelphia, PA, 2025.

Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, ArXiv:2507.21955 (2025).

Why not? Developing ABox Abduction beyond Repairs
A. Haak, P. Koopmann, Y. Mahmood, A.-Y. Turhan, in: L. Tendera, Y. Ibanez Garcia, P. Koopmann (Eds.), Proceedings of the 38th International Workshop on Description Logics - DL 2025, 2025.