Dmitri Boulanger

2000
17	EE	Annalisa Di Deo, Dmitri Boulanger: A Formal Background to Build Constraint Objects. IDEAS 2000: 7-15
16		Annalisa Di Deo, Dmitri Boulanger: Using Objects to Build Constraint Databases. WLP 2000: 101-113
1997
15		Dmitri Boulanger: Analyzing Declarative Semantics of Logic Programs. WLP 1997: 0-
14		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-
13		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-
1996
12		Dmitri Boulanger: Analysis of Logic-Based Systems. Logic in Databases 1996: 281-301
11		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
1995
10		John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam: Practical Model-Based Static Analysis for Definite Logic Programs. ILPS 1995: 351-365
9		Dmitri Boulanger: Complete Analysis for Definite Logic Programs. WLP 1995: 101-110
1994
8		Dmitri Boulanger, Danny De Schreye: Compiling Control Revisited: A New Approach based upon Abstract Interpretation. ICLP 1994: 699-713
7		Dmitri Boulanger, Maurice Bruynooghe: Using Call/Exit Analysis for Logic Program Transformation. LOPSTR 1994: 36-50
6		Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker: Abstracting s-semantincs Using A Model-Theoretic Approach. PLILP 1994: 432-446
5		Dmitri Boulanger, Maurice Bruynooghe: A Systematic Construction of Abstract Domains SAS 1994: 61-77
1993
4		Dmitri Boulanger, Maurice Bruynooghe: Using Abstract Interpretation for Goal Replacement. LOPSTR 1993: 210-228
3		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
2		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)
1992
1		Dmitri Boulanger, Maurice Bruynooghe: Deriving Transformations for Logic Programs Using Abstract Interpretation. LOPSTR 1992: 99-117

Coauthor Index

1	Maurice Bruynooghe	[1] [2] [3] [4] [5] [6] [7] [11]
2	Bart Demoen	[11]
3	Marc Denecker	[6] [11]
4	Annalisa Di Deo	[16] [17]
5	Andreas Fordan	[14]
6	John P. Gallagher	[10]
7	Ulrich Geske	[13] [14]
8	Hans-Joachim Goltz	[14]
9	Ulrich John	[13] [14]
10	Anne Mulkers	[11]
11	Alexander Nareyek	[14]
12	Hüseyin Saglam	[10]
13	André Schiemann	[13] [14]
14	Danny De Schreye	[3] [8]
15	Armin Wolf	[14]

Colors in the list of coauthors