Author

Dmitri Boulanger

Observed names: Boulanger, D., Boulanger, Dmitri, D. Boulanger, Dmitri Yu. Boulanger

Observed institutions: Russian Academy of Sciences, Institute of Informatics Problems, Academy of Sciences of the Soviet Union, Keldysh Institute of Applied Mathematics, KU Leuven

OpenAlex ID: A5035890165

Deriving fold/unfold transformations of logic programs using extended OLDT-based abstract interpretation

1993 · Dmitri Boulanger, Maurice Bruynooghe · Journal of Symbolic Computation · 18

PDF

Abstracting s-semantics using a model-theoretic approach

1994 · Dmitri Boulanger, Maurice Bruynooghe, et al. · Lecture notes in computer science · 16

A systematic construction of abstract domains

1994 · Dmitri Boulanger, Maurice Bruynooghe · Lecture notes in computer science · 14

A freeness and sharing analysis of logic programs based on a pre-interpretation

1996 · Maurice Bruynooghe, Bart Demoen, et al. · Lecture notes in computer science · 11

Abstract Interpretation for (Constraint) Logic Programming

1994 · M. Bruynooghe, D. Boulanger · NATO ASI series. Series F : Computer and system sciences · 11

Deriving Transformations of Logic Programs Using Abstract Interpretation

1993 · Dmitri Boulanger, Maurice Bruynooghe · Workshops in computing · 3

Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs.

1993 · Dmitri Boulanger, Maurice Bruynooghe, et al. · Lirias · 3

Using Objects to Build Constraint Databases.

2000 · Annalisa Di Deo, Dmitri Boulanger · WLP · 2

Complete Analysis for Definite Logic Programs.

1995 · Dmitri Boulanger · Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft) · 2

Using Abstract Interpretation for Goal Replacement

1994 · Dmitri Boulanger, Maurice Bruynooghe · Workshops in computing · 2

Deep logic program transformation using abstract interpretation

1992 · Dmitri Yu. Boulanger · Lecture notes in computer science · 2

A formal background to build constraint objects

2002 · A. Di Deo, D. Boulanger · International Database Engineering and Applications Symposium (IDEAS) · 1

Analysis of logic-based systems

1996 · Dmitri Boulanger · Lecture notes in computer science · 1

Index-driven semantics of logic programs

1995 · Dmitri Boulanger, Maurice Bruynooghe · Lirias · 1

Abstract Interpretation for (Constraint) Logic Programming.

1993 · Maurice Bruynooghe, Dmitri Boulanger · Lirias · 1

Analyzing Declarative Semantics of Logic Programs.

1997 · Dmitri Boulanger

Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon.

1997 · André Schiemann, Ulrich John, et al. · Publikationsdatenbank der Fraunhofer-Gesellschaft (Fraunhofer-Gesellschaft)

Constraint-basierte Planung und Konfiguration (system description).

1997 · Dmitri Boulanger, Andreas Fordan, et al. · WLP

Using call/exit analysis for logic program transformation

1994 · Dmitri Boulanger, Maurice Bruynooghe · Lecture notes in computer science

Abstract Domains: a Model-Theoretic approach.

1994 · Dmitri Boulanger, Maurice Bruynooghe

Works count: 31

Citation count: 88

H-index: 5

I10-index: 5