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.

Georgios Andreadis, Joas I. Mulder, Anton Bouter, Peter A.N. Bosman, Tanja Alderliesten (2024), A Tournament of Transformation Models: B-Spline-based vs. Mesh-based Multi-Objective Deformable Image Registration, Olivier Colliot, Jhimli Mitra (Eds.), In Medical Imaging 2024, SPIE.

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.

Ligia Maria Moreira Zorello, Laurens Bliek, Sebastian Troia, Guido Maier, Sicco Verwer (2024), Black-box optimization for anticipated baseband-function placement in 5G networks, In Computer Networks Volume 245.

C.S. Cao, Simon Schneider, Nicolás E. Díaz Ferreyra, S.E. Verwer, A. Panichella, Riccardo Scandariato (2024), CATMA: Conformance Analysis Tool For Microservice Applications, Ana Paiva, Abhik Roychoudhury, Margaret Storey (Eds.), In ACM/IEEE 46th International Conference on Software Engineering - Demonstrations p.59-63, ACM/IEEE.

Azqa Nadeem (2024), Cybersecurity as a Crosscutting Concept Across an Undergrad Computer Science Curriculum: An Experience Report, In SIGCSE 2024 - Proceedings of the 55th ACM Technical Symposium on Computer Science Education p.916-922, Association for Computing Machinery (ACM).

Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel (2024), DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction, Michael Wooldridge, Jennifer Dy, Sriraam Natarajan (Eds.), In Technical Tracks 14 Volume 38 p.12199-12207, Association for the Advancement of Artificial Intelligence (AAAI).

S. Hugtenburg, N. Yorke-Smith (2024), Delftse Foundations of Computation, TU Delft OPEN Publishing.

Sara Casao, Álvaro Serra-Gómez, Ana C. Murillo, Wendelin Böhmer, Javier Alonso-Mora, Eduardo Montijano (2024), Distributed multi-target tracking and active perception with mobile camera networks, In Computer Vision and Image Understanding Volume 238.

Arthur Guijt, Dirk Thierens, Tanja Alderliesten, Peter A.N. Bosman (2024), Exploring the Search Space of Neural Network Combinations obtained with Efficient Model Stitching, In GECCO '24 Companion p.1914-1923, Association for Computing Machinery (ACM).