Symbolic Parity Game Solvers that Yield Winning Strategies. - Oebele Lijzenga; Tom van Dijk (GandALF, 2020)

Comparative Analysis of Pre-trained Code Language Models for Automated Program Repair via Code Infill Generation. - Iman Hemati Moghadam; Oebele Lijzenga; Vadim Zaytsev (GPCE, 2025)

Leveraging Search-Based and Pre-Trained Code Language Models for Automated Program Repair. - Oebele Lijzenga; Iman Hemati Moghadam; Vadim Zaytsev (SAC, 2025)