The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dmitri Boulanger: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dmitri Boulanger, Danny De Schreye
    Compiling Control Revisited: A New Approach based upon Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:699-713 [Conf]
  2. Annalisa Di Deo, Dmitri Boulanger
    A Formal Background to Build Constraint Objects. [Citation Graph (0, 0)][DBLP]
    IDEAS, 2000, pp:7-15 [Conf]
  3. Dmitri Boulanger
    Analysis of Logic-Based Systems. [Citation Graph (0, 0)][DBLP]
    Logic in Databases, 1996, pp:281-301 [Conf]
  4. Dmitri Boulanger, Maurice Bruynooghe
    Using Abstract Interpretation for Goal Replacement. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:210-228 [Conf]
  5. Dmitri Boulanger, Maurice Bruynooghe
    Using Call/Exit Analysis for Logic Program Transformation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1994, pp:36-50 [Conf]
  6. Dmitri Boulanger, Maurice Bruynooghe
    Deriving Transformations for Logic Programs Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1992, pp:99-117 [Conf]
  7. Dmitri Boulanger, Maurice Bruynooghe, Danny De Schreye
    Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPE, 1993, pp:39-51 [Conf]
  8. Dmitri Boulanger, Maurice Bruynooghe, Marc Denecker
    Abstracting s-semantincs Using A Model-Theoretic Approach. [Citation Graph (0, 0)][DBLP]
    PLILP, 1994, pp:432-446 [Conf]
  9. Maurice Bruynooghe, Bart Demoen, Dmitri Boulanger, Marc Denecker, Anne Mulkers
    A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:128-142 [Conf]
  10. Dmitri Boulanger, Maurice Bruynooghe
    A Systematic Construction of Abstract Domains [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:61-77 [Conf]
  11. John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam
    Practical Model-Based Static Analysis for Definite Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:351-365 [Conf]
  12. Dmitri Boulanger
    Complete Analysis for Definite Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLP, 1995, pp:101-110 [Conf]
  13. Dmitri Boulanger
    Analyzing Declarative Semantics of Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  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). [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  15. Annalisa Di Deo, Dmitri Boulanger
    Using Objects to Build Constraint Databases. [Citation Graph (0, 0)][DBLP]
    WLP, 2000, pp:101-113 [Conf]
  16. André Schiemann, Ulrich John, Ulrich Geske, Dmitri Boulanger
    Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon. [Citation Graph (0, 0)][DBLP]
    WLP, 1997, pp:0-0 [Conf]
  17. Dmitri Boulanger, Maurice Bruynooghe
    Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1993, v:15, n:5/6, pp:495-521 [Journal]

Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002