2026

1. Pieter J.L. Cuijpers, Jonas Hansen and Kim G. Larsen. Safe and infinite resource scheduling using energy timed automata. Science of Computer Programming, 247, 103358, 2026, https://doi.org/10.1016/j.scico.2025.103358.
2. Benard Wanjiru, Patrick Van Bommel and Djoerd Hiemstra. Clause-Driven Automated Grading of SQL's DDL and DML Statements. 2026, Association for Computing Machinery, New York, NY, USA, Proceedings of the 57th ACM Technical Symposium on Computer Science Education V.1, 1117–1123.