Jordi Zomer, Nikola Bešinović, Mathijs M. de Weerdt, Rob M.P. Goverde (2025), The maintenance scheduling and location choice problem for railway rolling stock, In European Journal of Operational Research Volume 332 p.474-491.

Gosia Migut, Aleksander Buszydlik, Mathijs M. De Weerdt (2025), The Research Project in Computer Science Bachelor Education: Undergraduate Research Experience at Scale, In ITiCSE 2025: Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 1 p.410-416, Association for Computing Machinery (ACM).

Luis Montero, Germán Morales-España, Antonio Bello, Javier Reneses (2025), Tight and compact MILP formulation for a high-resolution of start-up costs in the medium-term unit commitment, In Sustainable Energy, Grids and Networks Volume 44.

Maaike B. Elgersma, Germán A. Morales-España, Karen I. Aardal, Mathijs M. de Weerdt (2025), Tight and Compact MILP Models for Storage Operation and Unit Commitment, In E-ENERGY 2025 - Proceedings of the 2025 16th ACM International Conference on Future and Sustainable Energy Systems p.979-980, Association for Computing Machinery (ACM).

T. Klatzer, S. Wogrin, D. A. Tejada-Arango, G. Morales-España (2025), Tight MILP formulation for pipeline gas flow with linepack, In International Journal of Electrical Power and Energy Systems Volume 169.

Emir Demirović (2025), Transparent AI by Design: Search Algorithms for Supervised Learning, Control Policies, and Combinatorial Certification, Ines Lynce, Nello Murano, Mauro Vallati, Serena Villata, Federico Chesani, Michela Milano, Andrea Omicini, Mehdi Dastani (Eds.), In ECAI 2025 - 28th European Conference on Artificial Intelligence, including 14th Conference on Prestigious Applications of Intelligent Systems, PAIS 2025 - Proceedings p.2-9, IOS Press.

Konstantin Sidorov, Imko Marijnissen, Emir Demirović (2025), Unite and Lead: Finding Disjunctive Cliques for Scheduling Problems, Maria Garcia de la Banda (Eds.), In 31st International Conference on Principles and Practice of Constraint Programming, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing.

S. Lutz, A. Lukina, M.T.J. Spaan (2025), VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change, James Kwok (Eds.), In Proceedings of the 34th International Joint Conference on Artificial Intelligence, IJCAI 2025 p.457-465.

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.

Erik Wiegel, Neil Yorke-Smith (2024), An Agent-Based Market Analysis of Urban Housing Balance in The Netherlands, In Real Estate Volume 1 p. 80-135.