dblp.uni-trier.dewww.uni-trier.de

Dmitri Boulanger Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2000
17EEAnnalisa 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
6EEDmitri 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)