Dmitri Boulanger

Annalisa Di Deo, Dmitri Boulanger: A Formal Background to Build Constraint Objects. IDEAS 2000: 7-15

Annalisa Di Deo, Dmitri Boulanger: Using Objects to Build Constraint Databases. WLP 2000: 101-113

Dmitri Boulanger: Analyzing Declarative Semantics of Logic Programs. WLP 1997: 0-

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: 0-

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

Dmitri Boulanger: Analysis of Logic-Based Systems. Logic in Databases 1996: 281-301

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: 128-142

Dmitri Boulanger, Ulrich Geske, Fosca Giannotti, Dietmar Seipel (Eds.): Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 4th Workshop in Conjunction with JICSLP '96, Bonn, Germany, September 5-6, 1996. GMD-Studien Nr. 295. GMD, Sankt Augustin, Germany 1996, isbn 3-88457-295-4

John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam: Practical Model-Based Static Analysis for Definite Logic Programs. ILPS 1995: 351-365

Dmitri Boulanger: Complete Analysis for Definite Logic Programs. WLP 1995: 101-110

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

Dmitri Boulanger, Maurice Bruynooghe: Using Call/Exit Analysis for Logic Program Transformation. LOPSTR 1994: 36-50

Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker: Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP 1994: 432-446

Dmitri Boulanger, Maurice Bruynooghe: A Systematic Construction of Abstract Domains. SAS 1994: 61-77

Dmitri Boulanger, Maurice Bruynooghe: Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. J. Symb. Comput. 15(5/6): 495-521 (1993)

Dmitri Boulanger, Maurice Bruynooghe: Using Abstract Interpretation for Goal Replacement. LOPSTR 1993: 210-228

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

Dmitri Boulanger, Maurice Bruynooghe: Deriving Transformations for Logic Programs Using Abstract Interpretation. LOPSTR 1992: 99-117