Deep Logic Program Transformation Using Abstract Interpretation. - Dmitri Yu. Boulanger (RCLP, 1991)

Deriving Transformations for Logic Programs Using Abstract Interpretation. - Dmitri Boulanger; Maurice Bruynooghe (LOPSTR, 1992)

Using Abstract Interpretation for Goal Replacement. - Dmitri Boulanger; Maurice Bruynooghe (LOPSTR, 1993)

Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. - Dmitri Boulanger; Maurice Bruynooghe; Danny De Schreye (LPE, 1993)

Abstract Interpretation for (Constraint) Logic Programming. - Maurice Bruynooghe; Dmitri Boulanger (NATO ASI CP, 1993)

Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. - Dmitri Boulanger; Maurice Bruynooghe (J. Symb. Comput., 1993)

Abstract Domains: a Model-Theoretic approach. - Dmitri Boulanger; Maurice Bruynooghe (ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages, 1994)

Compiling Control Revisited: A New Approach based upon Abstract Interpretation. - Dmitri Boulanger; Danny De Schreye (ICLP, 1994)

Using Call/Exit Analysis for Logic Program Transformation. - Dmitri Boulanger; Maurice Bruynooghe (LOPSTR, 1994)

Abstracting s-semantincs Using A Model-Theoretic Approach. - Dmitri Boulanger; Maurice Bruynooghe; Marc Denecker (PLILP, 1994)

A Systematic Construction of Abstract Domains - Dmitri Boulanger; Maurice Bruynooghe (SAS, 1994)

Practical Model-Based Static Analysis for Definite Logic Programs. - John P. Gallagher; Dmitri Boulanger; Hüseyin Saglam (ILPS, 1995)

Complete Analysis for Definite Logic Programs. - Dmitri Boulanger (WLP, 1995)

Analysis of Logic-Based Systems. - Dmitri Boulanger (Logic in Databases, 1996)

A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. - Maurice Bruynooghe; Bart Demoen; Dmitri Boulanger; Marc Denecker; Anne Mulkers (SAS, 1996)

Analyzing Declarative Semantics of Logic Programs. - Dmitri Boulanger (WLP, 1997)

Constraint-basierte Planung und Konfiguration (system description). - Dmitri Boulanger; Andreas Fordan; Ulrich Geske; Hans-Joachim Goltz; Ulrich John; Alexander Nareyek; André Schiemann; Armin Wolf (WLP, 1997)

Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon. - André Schiemann; Ulrich John; Ulrich Geske; Dmitri Boulanger (WLP, 1997)

A Formal Background to Build Constraint Objects. - Annalisa Di Deo; Dmitri Boulanger (IDEAS, 2000)

Using Objects to Build Constraint Databases. - Annalisa Di Deo; Dmitri Boulanger (WLP, 2000)