Dmitri Boulanger
According to our database1,
Dmitri Boulanger
authored at least 20 papers
between 1991 and 2000.
Collaborative distances:
Collaborative distances:
Timeline
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
0
1
2
3
4
5
6
1
2
3
2
2
5
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2000
Using Objects to Build Constraint Databases.
Proceedings of the 14. Workshop Logische Programmierung, 2000
Proceedings of the 2000 International Database Engineering and Applications Symposium, 2000
1997
Realisierung und Anwendung von Constraint-Hierarchien für die Konfiguration technischer Systeme in ConBaCon.
Proceedings of the Twelfth Workshop Logic Programming, 1997
Constraint-basierte Planung und Konfiguration (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997
Analyzing Declarative Semantics of Logic Programs.
Proceedings of the Twelfth Workshop Logic Programming, 1997
1996
Proceedings of the Static Analysis, Third International Symposium, 1996
1995
Complete Analysis for Definite Logic Programs.
Proceedings of the 11. Workshop Logische Programmierung, 1995
Proceedings of the Logic Programming, 1995
1994
Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994
Proceedings of the Programming Language Implementation and Logic Programming, 1994
Proceedings of the Logic Programming Synthesis and Transformation, 1994
Compiling Control Revisited: A New Approach based upon Abstract Interpretation.
Proceedings of the Logic Programming, 1994
Abstract Domains: a Model-Theoretic approach.
Proceedings of the ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, 1994
1993
Deriving Fold/Unfold Transformations of Logic Programs Using Extended OLDT-Based Abstract Interpretation.
J. Symb. Comput., 1993
Proceedings of the Constraint Programming, 1993
Compiling Control Revisited: A New approach Based Upon Abstract Interpretation for Constraint Logic Programs.
Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993
Using Abstract Interpretation for Goal Replacement.
Proceedings of the Logic Program Synthesis and Transformation, 1993
1992
Proceedings of the Logic Program Synthesis and Transformation, 1992
1991
Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991