Dmitri Boulanger

Publication Activity (10 Years)

Years Active: 1992-2000
Publications (10 Years): 0

Publications

Annalisa Di Deo, Dmitri Boulanger
Using Objects to Build Constraint Databases. WLP (2000)
Annalisa Di Deo, Dmitri Boulanger
A Formal Background to Build Constraint Objects. IDEAS (2000)
Dmitri Boulanger, Andreas Fordan, Ulrich Geske, Hans-Joachim Goltz, Ulrich John, Alexander Nareyek, André Schiemann, Armin Wolf
Constraint-basierte Planung und Konfiguration (system description). WLP (1997)
Dmitri Boulanger
Analyzing Declarative Semantics of Logic Programs. WLP (1997)
André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger
Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon. WLP (1997)
Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. SAS (1996)
Dmitri Boulanger
Analysis of Logic-Based Systems. Logic in Databases (1996)
Dmitri Boulanger
Complete Analysis for Definite Logic Programs. WLP (1995)
John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam
Practical Model-Based Static Analysis for Definite Logic Programs. ILPS (1995)
Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker
Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP (1994)
Dmitri Boulanger, Maurice Bruynooghe
A Systematic Construction of Abstract Domains SAS (1994)
Dmitri Boulanger, Maurice Bruynooghe
Using Call/Exit Analysis for Logic Program Transformation. LOPSTR (1994)
Dmitri Boulanger, Maurice Bruynooghe
Abstract Domains: a Model-Theoretic approach. ICLP Workshop: Verification and Analysis of (Concurrent) Logic Languages (1994)
Dmitri Boulanger, Danny De Schreye
Compiling Control Revisited: A New Approach based upon Abstract Interpretation. ICLP (1994)
Dmitri Boulanger, Maurice Bruynooghe
Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. J. Symb. Comput. 15 (5/6) (1993)
Dmitri Boulanger, Maurice Bruynooghe
Using Abstract Interpretation for Goal Replacement. LOPSTR (1993)
Maurice Bruynooghe, Dmitri Boulanger
Abstract Interpretation for (Constraint) Logic Programming. NATO ASI CP (1993)
Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. LPE (1993)
Dmitri Boulanger, Maurice Bruynooghe
Deriving Transformations for Logic Programs Using Abstract Interpretation. LOPSTR (1992)