On the Automatic Generation of Events in Delta Prolog. - Veroniek Dumortier; Maurice Bruynooghe (PLILP, 1990)

Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. - Maurice Bruynooghe; Veroniek Dumortier; Gerda Janssens (PDK, 1991)

Freeness Analysis in the Presence of Numerical Constraints. - Veroniek Dumortier; Gerda Janssens; Maurice Bruynooghe; Michael Codish (ICLP, 1993)

Towards a Practical Full Mode Inference System for CLP(H, N). - Veroniek Dumortier; Gerda Janssens (ICLP, 1994)

Freeness and related analyses of constraint logic programs using abstract interpretation. - Veroniek Dumortier (1994)

A Blueprint for an Abstract Machine for Abstract Interpretation of (Constraint) Logic Programs. - Gerda Janssens; Maurice Bruynooghe; Veroniek Dumortier (ILPS, 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)

Using Constraint Visualisation Tools. - Helmut Simonis; Trijntje Cornelissens; Veroniek Dumortier; Giovanni Fabris; F. Nanni; Adriano Tirabosco (Analysis and Visualization Tools for Constraint Programming, 2000)