Maarten Flippo, Konstantin Sidorov, Imko Marijnissen, Jeff Smits, Emir Demirović (2024), A Multi-Stage Proof Logging Framework to Certify the Correctness of CP Solvers, Paul Shaw (Eds.), In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Tim Huisman, Jacobus G.M. van der Linden, Emir Demirović (2024), Optimal Survival Trees: A Dynamic Programming Approach, Michael Wooldridge, Jennifer Dy, Sriraam Natarajan (Eds.), In Technical Tracks 14 p.12680-12688, Association for the Advancement of Artificial Intelligence (AAAI).

Konstantin Sidorov, Gonçalo Homem de Almeida Correia, Mathijs de Weerdt, Emir Demirović (2024), Paths, Proofs, and Perfection: Developing a Human-Interpretable Proof System for Constrained Shortest Paths, In Proceedings of the AAAI Conference on Artificial Intelligence p.20794-20802.

Mim van den Bos, Jacobus G.M. van der Linden, Emir Demirović (2024), Piecewise Constant and Linear Regression Trees: An Optimal Dynamic Programming Approach, In Proceedings of Machine Learning Research p.48994-49007.

Emir Demirović, Ciaran McCreesh, Matthew J. McIlree, Jakob Nordström, Andy Oertel, Konstantin Sidorov (2024), Pseudo-Boolean Reasoning about States and Transitions to Certify Dynamic Programming and Decision Diagram Algorithms, Paul Shaw (Eds.), In 30th International Conference on Principles and Practice of Constraint Programming (CP 2024), Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

Nicolas Schwind, Emir Demirović, Katsumi Inoue, Jean Marie Lagniez (2023), Algorithms for partially robust team formation, In Autonomous Agents and Multi-Agent Systems Volume 37.

J.G.M. van der Linden, M.M. de Weerdt, E. Demirović (2023), Necessary and Sufficient Conditions for Optimal Decision Trees using Dynamic Programming, A. Oh, T. Neumann, A. Globerson, K. Saenko, M. Hardt, S. Levine (Eds.), In Advances in Neural Information Processing Systems 36 (NeurIPS 2023) Volume 36 p.9173-9212, Curran Associates, Inc..

Matthias Horn, Emir Demirovic, Neil Yorke-Smith (2023), Parallel Batch Processing for the Coating Problem, In Proceedings International Conference on Automated Planning and Scheduling, ICAPS p.171-179.

Matthias Horn, Emir Demirovic, Neil Yorke-Smith (2023), Solving the Multi-Choice Two Dimensional Shelf Strip Packing Problem with Time Windows, In Proceedings International Conference on Automated Planning and Scheduling, ICAPS p.491-499.

J.G.M. van der Linden, M.M. de Weerdt, E. Demirović (2022), Fair and Optimal Decision Trees: A Dynamic Programming Approach, S. Koyejo, S. Mohamed, A. Agarwal, D. Belgrave, K. Cho, A. Oh (Eds.), In Advances in Neural Information Processing Systems 35 (NeurIPS 2022) p.38899-38911, Curran Associates, Inc..