Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dmitri Boulanger
@inproceedings{DBLP:conf/ideas/DeoB00,
author = {Annalisa Di Deo and
Dmitri Boulanger},
editor = {Bipin C. Desai and
Yasushi Kiyoki and
Motomichi Toyama},
title = {A Formal Background to Build Constraint Objects},
booktitle = {2000 International Database Engineering and Applications Symposium,
{IDEAS} 2000, September 18-20, 2000, Yokohoma, Japan, Proccedings},
pages = {7--15},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/IDEAS.2000.880557},
doi = {10.1109/IDEAS.2000.880557},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ideas/DeoB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/DeoB00,
author = {Annalisa Di Deo and
Dmitri Boulanger},
editor = {Fran{\c{c}}ois Bry and
Ulrich Geske and
Dietmar Seipel},
title = {Using Objects to Build Constraint Databases},
booktitle = {14. Workshop Logische Programmierung, W{\"{u}}rzburg, Deutschland,
26.-28. Januar 2000},
series = {{GMD} Report},
volume = {90},
pages = {101--113},
year = {2000},
timestamp = {Sat, 07 Sep 2019 11:59:25 +0200},
biburl = {https://dblp.org/rec/conf/wlp/DeoB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Boulanger97,
author = {Dmitri Boulanger},
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {Analyzing Declarative Semantics of Logic Programs},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/Boulanger97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/BoulangerFGGJNSW97,
author = {Dmitri Boulanger and
Andreas Fordan and
Ulrich Geske and
Hans{-}Joachim Goltz and
Ulrich John and
Alexander Nareyek and
Andr{\'{e}} Schiemann and
Armin Wolf},
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {Constraint-basierte Planung und Konfiguration (system description)},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/BoulangerFGGJNSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/SchiemannJGB97,
author = {Andr{\'{e}} Schiemann and
Ulrich John and
Ulrich Geske and
Dmitri Boulanger},
editor = {Fran{\c{c}}ois Bry and
Burkhard Freitag and
Dietmar Seipel},
title = {Realisierung und Anwendung von Constraint-Hierarchien f{\"{u}}r
die Konfiguration technischer Systeme in ConBaCon},
booktitle = {Twelfth Workshop Logic Programming, {WLP} 1997, 17-19 September 1997,
M{\"{u}}nchen, Germany, Technical Report {PMS-FB-1997-10}},
publisher = {Ludwig Maximilians Universit{\"{a}}t M{\"{u}}nchen},
year = {1997},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wlp/SchiemannJGB97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lid/Boulanger96,
author = {Dmitri Boulanger},
editor = {Dino Pedreschi and
Carlo Zaniolo},
title = {Analysis of Logic-Based Systems},
booktitle = {Logic in Databases, International Workshop LID'96, San Miniato, Italy,
July 1-2, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1154},
pages = {281--301},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0031747},
doi = {10.1007/BFB0031747},
timestamp = {Mon, 03 Jan 2022 22:35:11 +0100},
biburl = {https://dblp.org/rec/conf/lid/Boulanger96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BruynoogheDBDM96,
author = {Maurice Bruynooghe and
Bart Demoen and
Dmitri Boulanger and
Marc Denecker and
Anne Mulkers},
editor = {Radhia Cousot and
David A. Schmidt},
title = {A Freeness and Sharing Analysis of Logic Programs Based on a Pre-interpretation},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {128--142},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_38},
doi = {10.1007/3-540-61739-6\_38},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/BruynoogheDBDM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/deductive/1996,
editor = {Dmitri Boulanger and
Ulrich Geske and
Fosca Giannotti and
Dietmar Seipel},
title = {Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic
Programming, 4th Workshop in Conjunction with {JICSLP} '96, Bonn,
Germany, September 5-6, 1996},
series = {GMD-Studien},
volume = {295},
publisher = {GMD, Sankt Augustin, Germany},
year = {1996},
isbn = {3-88457-295-4},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/deductive/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GallagherBS95,
author = {John P. Gallagher and
Dmitri Boulanger and
H{\"{u}}seyin Saglam},
editor = {John W. Lloyd},
title = {Practical Model-Based Static Analysis for Definite Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1995 International Symposium,
Portland, Oregon, USA, December 4-7, 1995},
pages = {351--365},
publisher = {{MIT} Press},
year = {1995},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6300177},
timestamp = {Wed, 11 Aug 2021 17:02:32 +0200},
biburl = {https://dblp.org/rec/conf/slp/GallagherBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wlp/Boulanger95,
author = {Dmitri Boulanger},
editor = {Andreas Krall and
Ulrich Geske},
title = {Complete Analysis for Definite Logic Programs},
booktitle = {11. Workshop Logische Programmierung, Technische Universit{\"{a}}t
Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
pages = {101--110},
year = {1995},
timestamp = {Thu, 21 Mar 2019 11:27:24 +0100},
biburl = {https://dblp.org/rec/conf/wlp/Boulanger95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoulangerB94,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
editor = {Frank S. de Boer and
Maurizio Gabbrielli},
title = {Abstract Domains: a Model-Theoretic approach},
booktitle = {{ICLP} 1994 Workshop {W2:} Verification and Analysis of (Concurrent)
Logic Languages, Santa Margherita Ligure, Italy, June 1994},
year = {1994},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoulangerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BoulangerS94,
author = {Dmitri Boulanger and
Danny De Schreye},
editor = {Pascal Van Hentenryck},
title = {Compiling Control Revisited: {A} New Approach based upon Abstract
Interpretation},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {699--713},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BoulangerS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BoulangerB94,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
editor = {Laurent Fribourg and
Franco Turini},
title = {Using Call/Exit Analysis for Logic Program Transformation},
booktitle = {Logic Programming Synthesis and Transformation - Meta-Programming
in Logic. 4th Internation Workshops, LOPSTR'94 and META'94, Pisa,
Italy, June 20-21, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {883},
pages = {36--50},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58792-6\_3},
doi = {10.1007/3-540-58792-6\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BoulangerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BoulangerBD94,
author = {Dmitri Boulanger and
Maurice Bruynooghe and
Marc Denecker},
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Abstracting s-semantincs Using {A} Model-Theoretic Approach},
booktitle = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
pages = {432--446},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1\_30},
doi = {10.1007/3-540-58402-1\_30},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/BoulangerBD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BoulangerB94,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
editor = {Baudouin Le Charlier},
title = {A Systematic Construction of Abstract Domains},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {61--77},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_33},
doi = {10.1007/3-540-58485-4\_33},
timestamp = {Mon, 12 Aug 2019 15:36:13 +0200},
biburl = {https://dblp.org/rec/conf/sas/BoulangerB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BoulangerB93,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
title = {Deriving Fold/Unfold Transformations of Logic Programs Using Extended
OLDT-Based Abstract Interpretation},
journal = {J. Symb. Comput.},
volume = {15},
number = {5/6},
pages = {495--521},
year = {1993},
url = {https://doi.org/10.1016/S0747-7171(06)80003-9},
doi = {10.1016/S0747-7171(06)80003-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BoulangerB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BoulangerB93,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
editor = {Yves Deville},
title = {Using Abstract Interpretation for Goal Replacement},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
93, International Workshop on Logic Program Synthesis and Transformation,
Louvain-la-Neuve, Belgium, 7-9 July 1993},
series = {Workshops in Computing},
pages = {210--228},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/BoulangerB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/BoulangerBS93,
author = {Dmitri Boulanger and
Maurice Bruynooghe and
Danny De Schreye},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Compiling Control Revisited: {A} New approach Based Upon Abstract
Interpretation for Constraint Logic Programs},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {39--51},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/lpe/BoulangerBS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nato/BruynoogheB93,
author = {Maurice Bruynooghe and
Dmitri Boulanger},
editor = {Brian H. Mayoh and
Enn Tyugu and
Jaan Penjam},
title = {Abstract Interpretation for (Constraint) Logic Programming},
booktitle = {Constraint Programming, Proceedings of the {NATO} Advanced Study Institute
on Constraint Programming, Parnu, Estonia, August 13-24, 1993},
series = {{NATO} {ASI} Series},
volume = {131},
pages = {228--260},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/978-3-642-85983-0\_9},
doi = {10.1007/978-3-642-85983-0\_9},
timestamp = {Sun, 14 May 2017 18:45:48 +0200},
biburl = {https://dblp.org/rec/conf/nato/BruynoogheB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BoulangerB92,
author = {Dmitri Boulanger and
Maurice Bruynooghe},
editor = {Kung{-}Kiu Lau and
Tim Clement},
title = {Deriving Transformations for Logic Programs Using Abstract Interpretation},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
92, International Workshop on Logic Program Synthesis and Transformation,
University of Manchester, UK, 2-3 July 1992},
series = {Workshops in Computing},
pages = {99--117},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/978-1-4471-3560-9\_8},
doi = {10.1007/978-1-4471-3560-9\_8},
timestamp = {Fri, 21 Jun 2019 13:08:59 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BoulangerB92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Boulanger91,
author = {Dmitri Yu. Boulanger},
editor = {Andrei Voronkov},
title = {Deep Logic Program Transformation Using Abstract Interpretation},
booktitle = {Logic Programming, First Russian Conference on Logic Programming,
Irkutsk, Russia, September 14-18, 1990 - Second Russian Conference
on Logic Programming, St. Petersburg, Russia, September 11-16, 1991,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {592},
pages = {79--101},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55460-2\_7},
doi = {10.1007/3-540-55460-2\_7},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Boulanger91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 18:17 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
