On the Implementation of Abstract Interpretation Systems for (Constraint) Logic Programs. - Gerda Janssens; Wim Simoens (CC, 1994)

On the Practicality of Abstract Equation Systems. - Anne Mulkers; Wim Simoens; Gerda Janssens; Maurice Bruynooghe (ICLP, 1995)

Global Analysis of Constraint Logic Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo; Maurice Bruynooghe; Veroniek Dumortier; Gerda Janssens; Wim Simoens (ACM Trans. Program. Lang. Syst., 1996)

A Holistic Pedagogical Model for STEM Learning and Education Inside and Outside the Classroom. - Christian M. Stracke; Guido van Dijk; Jan Fasen; Fred Lisdat; Wim Simoens (HCI (25), 2020)