BibTeX records: Yves Caseau

download as .bib file

@article{DBLP:journals/ubiquity/GelenbeC15,
  author    = {Erol Gelenbe and
               Yves Caseau},
  title     = {The impact of information technology on energy consumption and carbon
               emissions},
  journal   = {Ubiquity},
  volume    = {2015},
  number    = {June},
  pages     = {1:1--1:15},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2755977},
  doi       = {10.1145/2755977},
  timestamp = {Thu, 05 Jan 2017 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ubiquity/GelenbeC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csdm/2012,
  editor    = {Marc Aiguier and
               Yves Caseau and
               Daniel Krob and
               Antoine Rauzy},
  title     = {Complex Systems Design {\&} Management, Proceedings of the Third
               International Conference on Complex Systems Design {\&} Management
               CSD{\&}M 2012, Paris, France, December 12-14, 2012},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-34404-6},
  doi       = {10.1007/978-3-642-34404-6},
  isbn      = {978-3-642-34403-9},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csdm/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csdm/Caseau12,
  author    = {Yves Caseau},
  title     = {Game-Theoretical and Evolutionary Simulation: {A} Toolbox for Complex
               Enterprise Problems},
  booktitle = {Complex Systems Design {\&} Management, Proceedings of the Third
               International Conference on Complex Systems Design {\&} Management
               CSD{\&}M 2012, Paris, France, December 12-14, 2012},
  pages     = {15--39},
  year      = {2012},
  crossref  = {DBLP:conf/csdm/2012},
  url       = {https://doi.org/10.1007/978-3-642-34404-6_2},
  doi       = {10.1007/978-3-642-34404-6_2},
  timestamp = {Wed, 24 May 2017 08:27:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csdm/Caseau12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icores/Caseau12,
  author    = {Yves Caseau},
  title     = {Business Process Enterprise Model - Operations Research for Managing
               Business Process Communication and Performance},
  booktitle = {{ICORES} 2012 - Proceedings of the 1st International Conference on
               Operations Research and Enterprise Systems, Vilamoura, Algarve, Portugal,
               4-6 February, 2012.},
  pages     = {11--20},
  year      = {2012},
  crossref  = {DBLP:conf/icores/2012},
  timestamp = {Sat, 05 May 2012 14:15:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icores/Caseau12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/rairo/Caseau09,
  author    = {Yves Caseau},
  title     = {{GTES} : une m{\'{e}}thode de simulation par jeux et apprentissage
               pour l'analyse des syst{\`{e}}mes d'acteurs},
  journal   = {{RAIRO} - Operations Research},
  volume    = {43},
  number    = {4},
  pages     = {437--462},
  year      = {2009},
  url       = {https://doi.org/10.1051/ro/2009028},
  doi       = {10.1051/ro/2009028},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/rairo/Caseau09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/rairo/Caseau06,
  author    = {Yves Caseau},
  title     = {Combining constraint Propagation and meta-heuristics for searching
               a Maximum Weight Hamiltonian Chain},
  journal   = {{RAIRO} - Operations Research},
  volume    = {40},
  number    = {2},
  pages     = {77--95},
  year      = {2006},
  url       = {https://doi.org/10.1051/ro:2006018},
  doi       = {10.1051/ro:2006018},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/rairo/Caseau06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/Lobjet/Caseau05,
  author    = {Yves Caseau},
  title     = {SLA-based routing for {EAI} middleware},
  journal   = {L'OBJET},
  volume    = {11},
  number    = {1-2},
  pages     = {13--14},
  year      = {2005},
  url       = {https://doi.org/10.3166/objet.11.1-2.13-14},
  doi       = {10.3166/objet.11.1-2.13-14},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/Lobjet/Caseau05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/aei/Caseau05,
  author    = {Yves Caseau},
  title     = {Self-adaptive middleware: Supporting business process priorities and
               service level agreements},
  journal   = {Advanced Engineering Informatics},
  volume    = {19},
  number    = {3},
  pages     = {199--211},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.aei.2005.05.013},
  doi       = {10.1016/j.aei.2005.05.013},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/aei/Caseau05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/Caseau04,
  author    = {Yves Caseau},
  title     = {Self-Adaptive and Self-Healing Message Passing Strategies for Process-Oriented
               Integration Infrastructures},
  booktitle = {11th {IEEE} International Conference on the Engineering of Computer-Based
               Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  pages     = {506--512},
  year      = {2004},
  crossref  = {DBLP:conf/ecbs/2004},
  url       = {https://doi.org/10.1109/ECBS.2004.1316740},
  doi       = {10.1109/ECBS.2004.1316740},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecbs/Caseau04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0405091,
  author    = {Yves Caseau and
               Fran{\c{c}}ois{-}Xavier Josset and
               Fran{\c{c}}ois Laburthe},
  title     = {{CLAIRE:} Combining Sets, Search And Rules To Better Express Algorithms},
  journal   = {CoRR},
  volume    = {cs.PL/0405091},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.PL/0405091},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-PL-0405091},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/cs-PL-0405092,
  author    = {Yves Caseau and
               Glenn Silverstein and
               Fran{\c{c}}ois Laburthe},
  title     = {Learning Hybrid Algorithms for Vehicle Routing Problems},
  journal   = {CoRR},
  volume    = {cs.PL/0405092},
  year      = {2004},
  url       = {http://arxiv.org/abs/cs.PL/0405092},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/cs-PL-0405092},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tsi/CaseauL03,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {De l'utilit{\'{e}} des contraintes pour explorer des catalogues},
  journal   = {Technique et Science Informatiques},
  volume    = {22},
  number    = {1},
  pages     = {141--154},
  year      = {2003},
  url       = {http://tsi.revuesonline.com/article.jsp?articleId=4666},
  timestamp = {Fri, 03 Mar 2006 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tsi/CaseauL03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/LaburtheC03,
  author    = {Fran{\c{c}}ois Laburthe and
               Yves Caseau},
  title     = {Using Constraints for Exploring Catalogs},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
               International Conference, {CP} 2003, Kinsale, Ireland, September 29
               - October 3, 2003, Proceedings},
  pages     = {883--888},
  year      = {2003},
  crossref  = {DBLP:conf/cp/2003},
  url       = {https://doi.org/10.1007/978-3-540-45193-8_72},
  doi       = {10.1007/978-3-540-45193-8_72},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/LaburtheC03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/LaburtheC03,
  author    = {Fran{\c{c}}ois Laburthe and
               Yves Caseau},
  title     = {De l'utilit{\'{e}} des contraintes pour explorer des catalogues},
  booktitle = {Journ{\'{e}}es Francophones de Programmation en Logique avec
               Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  pages     = {141--154},
  year      = {2003},
  crossref  = {DBLP:conf/jfplc/2003},
  timestamp = {Mon, 24 May 2004 15:53:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jfplc/LaburtheC03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/constraints/LaburtheC02,
  author    = {Fran{\c{c}}ois Laburthe and
               Yves Caseau},
  title     = {{SALSA:} {A} Language for Search Algorithms},
  journal   = {Constraints},
  volume    = {7},
  number    = {3-4},
  pages     = {255--288},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1020565317875},
  doi       = {10.1023/A:1020565317875},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/constraints/LaburtheC02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tplp/CaseauJL02,
  author    = {Yves Caseau and
               Fran{\c{c}}ois{-}Xavier Josset and
               Fran{\c{c}}ois Laburthe},
  title     = {{CLAIRE:} Combining sets, search and rules to better express algorithms},
  journal   = {{TPLP}},
  volume    = {2},
  number    = {6},
  pages     = {769--805},
  year      = {2002},
  url       = {https://doi.org/10.1017/S1471068401001363},
  doi       = {10.1017/S1471068401001363},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tplp/CaseauJL02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ker/CaseauLPR01,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe and
               Claude Le Pape and
               Beno{\^{\i}}t Rottembourg},
  title     = {Combining local and global search in a constraint programming environment},
  journal   = {Knowledge Eng. Review},
  volume    = {16},
  number    = {1},
  pages     = {41--68},
  year      = {2001},
  url       = {https://doi.org/10.1017/S0269888901000078},
  doi       = {10.1017/S0269888901000078},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ker/CaseauLPR01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tplp/CaseauSL01,
  author    = {Yves Caseau and
               Glenn Silverstein and
               Fran{\c{c}}ois Laburthe},
  title     = {Learning Hybrid Algorithms for Vehicle Routing Problems},
  journal   = {{TPLP}},
  volume    = {1},
  number    = {6},
  pages     = {779--806},
  year      = {2001},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tplp/CaseauSL01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/BenoistBCR01,
  author    = {Thierry Benoist and
               Eric Bourreau and
               Yves Caseau and
               Beno{\^{\i}}t Rottembourg},
  title     = {Towards Stochastic Constraint Programming: {A} Study of Online Multi-choice
               Knapsack with Deadlines},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
               International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
               December 1, 2001, Proceedings},
  pages     = {61--76},
  year      = {2001},
  crossref  = {DBLP:conf/cp/2001},
  url       = {https://doi.org/10.1007/3-540-45578-7_5},
  doi       = {10.1007/3-540-45578-7_5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/BenoistBCR01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/constraints/CaseauL00,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {Solving Various Weighted Matching Problems with Constraints},
  journal   = {Constraints},
  volume    = {5},
  number    = {1/2},
  pages     = {141--160},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1009874519069},
  doi       = {10.1023/A:1009874519069},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/constraints/CaseauL00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ci/CaseauHNR99,
  author    = {Yves Caseau and
               Michel Habib and
               Lhouari Nourine and
               Olivier Raynaud},
  title     = {Encoding of Multiple Inheritance Hierarchies and Partial Orders},
  journal   = {Computational Intelligence},
  volume    = {15},
  pages     = {50--62},
  year      = {1999},
  url       = {https://doi.org/10.1111/0824-7935.00081},
  doi       = {10.1111/0824-7935.00081},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ci/CaseauHNR99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/endm/WallaceCJSP99,
  author    = {Mark Wallace and
               Yves Caseau and
               Eric Jacquet{-}Lagr{\`{e}}ze and
               Helmut Simonis and
               Gilles Pesant},
  title     = {Preface: Volume 1},
  journal   = {Electronic Notes in Discrete Mathematics},
  volume    = {1},
  pages     = {85--86},
  year      = {1999},
  url       = {https://doi.org/10.1016/S1571-0653(05)80002-2},
  doi       = {10.1016/S1571-0653(05)80002-2},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/endm/WallaceCJSP99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/heuristics/CaseauL99,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {Heuristics for Large Constrained Vehicle Routing Problems},
  journal   = {J. Heuristics},
  volume    = {5},
  number    = {3},
  pages     = {281--303},
  year      = {1999},
  url       = {https://doi.org/10.1023/A:1009661600931},
  doi       = {10.1023/A:1009661600931},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/heuristics/CaseauL99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/CaseauLS99,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe and
               Glenn Silverstein},
  title     = {A Meta-Heuristic Factory for Vehicle Routing Problems},
  booktitle = {Principles and Practice of Constraint Programming - CP'99, 5th International
               Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings},
  pages     = {144--158},
  year      = {1999},
  crossref  = {DBLP:conf/cp/1999},
  url       = {https://doi.org/10.1007/978-3-540-48085-3_11},
  doi       = {10.1007/978-3-540-48085-3_11},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/CaseauLS99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaseauJL99,
  author    = {Yves Caseau and
               Fran{\c{c}}ois{-}Xavier Josset and
               Fran{\c{c}}ois Laburthe},
  title     = {{CLAIRE:} Combining Sets, Search, and Rules to Better Express Algorithms},
  booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
               New Mexico, USA, November 29 - December 4, 1999},
  pages     = {245--259},
  year      = {1999},
  crossref  = {DBLP:conf/iclp/1999},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/CaseauJL99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/constraints/CaseauK98,
  author    = {Yves Caseau and
               Tibor Kokeny},
  title     = {An Inventory Management Problem},
  journal   = {Constraints},
  volume    = {3},
  number    = {4},
  pages     = {363--373},
  year      = {1998},
  url       = {https://doi.org/10.1023/A:1009780123413},
  doi       = {10.1023/A:1009780123413},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/constraints/CaseauK98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/LaburtheC98,
  author    = {Fran{\c{c}}ois Laburthe and
               Yves Caseau},
  title     = {{SALSA:} {A} Language for Search Algorithms},
  booktitle = {Principles and Practice of Constraint Programming - CP98, 4th International
               Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
  pages     = {310--324},
  year      = {1998},
  crossref  = {DBLP:conf/cp/1998},
  url       = {https://doi.org/10.1007/3-540-49481-2_23},
  doi       = {10.1007/3-540-49481-2_23},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/LaburtheC98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/CaseauL97,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {Solving Various Weighted Matching Problems with Constraints},
  booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  pages     = {17--31},
  year      = {1997},
  crossref  = {DBLP:conf/cp/1997},
  url       = {https://doi.org/10.1007/BFb0017427},
  doi       = {10.1007/BFb0017427},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/CaseauL97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cp/Caseau97,
  author    = {Yves Caseau},
  title     = {Using Constraint Propagation for Complex Scheduling Problems: Managing
               Size, Complex Resources and Travel},
  booktitle = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  pages     = {163--166},
  year      = {1997},
  crossref  = {DBLP:conf/cp/1997},
  url       = {https://doi.org/10.1007/BFb0017437},
  doi       = {10.1007/BFb0017437},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/Caseau97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaseauL97,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {Solving Small TSPs with Constraints},
  booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
               on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  pages     = {316--330},
  year      = {1997},
  crossref  = {DBLP:conf/iclp/1997},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/CaseauL97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaseauL96,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {Cumulative Scheduling with Task Intervals},
  booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
               and Symposium on Logic Programming, Bonn, Germany, September 2-6,
               1996},
  pages     = {363--377},
  year      = {1996},
  crossref  = {DBLP:conf/iclp/1996},
  url       = {http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278914},
  timestamp = {Thu, 17 Aug 2017 12:43:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/CaseauL96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lmo/LaburtheC96,
  author    = {Fran{\c{c}}ois Laburthe and
               Yves Caseau},
  title     = {Ecrire du code {\'{e}}l{\'{e}}gant pour des algorithmes
               complexes},
  booktitle = {Actes des journ{\'{e}}ees Langages et Mod{\`{e}}les {\`{a}} Objets,
               LMO'96. Leysin, 16-18 octobre},
  pages     = {13--28},
  year      = {1996},
  crossref  = {DBLP:conf/lmo/1996},
  timestamp = {Wed, 25 Apr 2007 14:54:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lmo/LaburtheC96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lmo/Caseau96,
  author    = {Yves Caseau},
  title     = {La d{\'{e}}finition de r{\`{e}}gles logiques sur les objets dans
               le langage Claire},
  booktitle = {Actes des journ{\'{e}}ees Langages et Mod{\`{e}}les {\`{a}} Objets,
               LMO'96. Leysin, 16-18 octobre},
  pages     = {170--182},
  year      = {1996},
  crossref  = {DBLP:conf/lmo/1996},
  timestamp = {Wed, 25 Apr 2007 14:54:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lmo/Caseau96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jiis/CaseauGL95,
  author    = {Yves Caseau and
               Pierre{-}Yves Guillo and
               Eric Levenez},
  title     = {A deductive and Object-Oriented Approach to a Complex Scheduling Problem},
  journal   = {J. Intell. Inf. Syst.},
  volume    = {4},
  number    = {2},
  pages     = {149--166},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF00961872},
  doi       = {10.1007/BF00961872},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jiis/CaseauGL95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cococ/CaseauL95,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {Improving Branch and Bound for Jobshop Scheduling with Constraint
               Propagation},
  booktitle = {Combinatorics and Computer Science, 8th Franco-Japanese and 4th Franco-Chinese
               Conference, Brest, France, July 3-5, 1995, Selected Papers},
  pages     = {129--149},
  year      = {1995},
  crossref  = {DBLP:conf/cococ/1995},
  url       = {https://doi.org/10.1007/3-540-61576-8_79},
  doi       = {10.1007/3-540-61576-8_79},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cococ/CaseauL95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apin/Caseau94,
  author    = {Yves Caseau},
  title     = {Constraint satisfaction with an object-oriented knowledge representation
               language},
  journal   = {Appl. Intell.},
  volume    = {4},
  number    = {2},
  pages     = {157--184},
  year      = {1994},
  url       = {https://doi.org/10.1007/BF00872107},
  doi       = {10.1007/BF00872107},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apin/Caseau94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CaseauL94,
  author    = {Yves Caseau and
               Fran{\c{c}}ois Laburthe},
  title     = {Improved {CLP} Scheduling with Task Intervals},
  booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
               on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  pages     = {369--383},
  year      = {1994},
  crossref  = {DBLP:conf/iclp/1994},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/CaseauL94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/oopsm/Caseau93,
  author    = {Yves Caseau},
  title     = {Some original features of the {LAURE} language},
  journal   = {{OOPS} Messenger},
  volume    = {4},
  number    = {2},
  pages     = {199--200},
  year      = {1993},
  url       = {http://doi.acm.org/10.1145/157710.157753},
  doi       = {10.1145/157710.157753},
  timestamp = {Sat, 23 Jan 2010 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/oopsm/Caseau93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dood/CaseauGL93,
  author    = {Yves Caseau and
               Pierre{-}Yves Guillo and
               Eric Levenez},
  title     = {A Deductive and Object-Oriented Approach to a Complex Scheduling Problem},
  booktitle = {{DOOD}},
  pages     = {67--80},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57530-8_5},
  doi       = {10.1007/3-540-57530-8_5},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dood/CaseauGL93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/CaseauP93,
  author    = {Yves Caseau and
               Laurent Perron},
  title     = {Attaching Second-Order Types to Methods in an Object-Oriented Language},
  booktitle = {ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern,
               Germany, July 26-30, 1993, Proceedings},
  pages     = {142--160},
  year      = {1993},
  crossref  = {DBLP:conf/ecoop/1993},
  url       = {https://doi.org/10.1007/3-540-47910-4_9},
  doi       = {10.1007/3-540-47910-4_9},
  timestamp = {Fri, 02 Jun 2017 20:49:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecoop/CaseauP93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/Caseau93,
  author    = {Yves Caseau},
  title     = {Efficient Handling of Multiple Inheritance Hierarchies},
  booktitle = {Conference on Object-Oriented Programming Systems, Languages, and
               Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA,
               September 26 - October 1, 1993, Proceedings.},
  pages     = {271--287},
  year      = {1993},
  crossref  = {DBLP:conf/oopsla/1993},
  url       = {http://doi.acm.org/10.1145/165854.165905},
  doi       = {10.1145/165854.165905},
  timestamp = {Tue, 11 Jun 2013 13:10:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/Caseau93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tools/CaseauSK93,
  author    = {Yves Caseau and
               Glenn Silverstein and
               Peter Koppstein},
  title     = {Extending Object-Oriented Programming to Address Hard Optimization
               Problems},
  booktitle = {{TOOLS} 1993: 11th International Conference on Technology of Object-Oriented
               Languages and Systems, Santa Barbara, CA, {USA.}},
  pages     = {351--361},
  year      = {1993},
  crossref  = {DBLP:conf/tools/11-1993},
  timestamp = {Wed, 25 Apr 2007 11:16:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tools/CaseauSK93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dexa/CaseauK92,
  author    = {Yves Caseau and
               Peter Koppstein},
  title     = {A Cooperative-Architecture Expert System for Solving Large Time/Travel
               Assignment Problems},
  booktitle = {Proceedings of the International Conference on Database and Expert
               Systems Applications, Valencia, Spain, 1992.},
  pages     = {197--202},
  year      = {1992},
  crossref  = {DBLP:conf/dexa/1992},
  timestamp = {Mon, 24 Nov 2014 16:44:16 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dexa/CaseauK92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/amai/Caseau91,
  author    = {Yves Caseau},
  title     = {An Object-Oriented Deductive Language},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {3},
  number    = {2-4},
  pages     = {211--258},
  year      = {1991},
  url       = {https://doi.org/10.1007/BF01530926},
  doi       = {10.1007/BF01530926},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/amai/Caseau91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dasfaa/Caseau91,
  author    = {Yves Caseau},
  title     = {The {LAURE} Model for Object-Oriented Logic Databases},
  booktitle = {Database Systems for Advanced Applications '91, Proceedings of the
               Second International Symposium on Database Systems for Advanced Applications,
               Tokyo, Japan, April 2-4, 1991},
  pages     = {411--420},
  year      = {1991},
  crossref  = {DBLP:conf/dasfaa/91},
  timestamp = {Thu, 13 Sep 2012 12:44:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dasfaa/Caseau91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/CaseauP91,
  author    = {Yves Caseau and
               Laurent Perron},
  title     = {A Type System for Object-Oriented Database Programming and Querying
               Languages},
  booktitle = {Database Programming Languages: Bulk Types and Persistent Data. 3rd
               International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
  pages     = {218--235},
  year      = {1991},
  crossref  = {DBLP:conf/dbpl/91},
  timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dbpl/CaseauP91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dood/Caseau91,
  author    = {Yves Caseau},
  title     = {Constraints in an Object-Oriented Deductive Database},
  booktitle = {{DOOD}},
  pages     = {292--311},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-55015-1_16},
  doi       = {10.1007/3-540-55015-1_16},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dood/Caseau91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/pdk/Caseau91,
  author    = {Yves Caseau},
  title     = {Rule-Aided Constraint Resolution in {LAURE}},
  booktitle = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
               Germany, July 1-3, 1991, Proceedings},
  pages     = {237--256},
  year      = {1991},
  crossref  = {DBLP:conf/pdk/1991},
  url       = {https://doi.org/10.1007/BFb0013534},
  doi       = {10.1007/BFb0013534},
  timestamp = {Sat, 20 May 2017 15:32:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pdk/Caseau91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/slp/Caseau91,
  author    = {Yves Caseau},
  title     = {Abstract Interpretation of Constraints on Order-Sorted Domains},
  booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
               San Diego, California, USA, Oct. 28 - Nov 1, 1991},
  pages     = {435--452},
  year      = {1991},
  crossref  = {DBLP:conf/slp/1991},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/Caseau91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tools/Caseau91,
  author    = {Yves Caseau},
  title     = {An {O-O} Language for Advanced Applications},
  booktitle = {{TOOLS} 1991: 5th International Conference on Technology of Object-Oriented
               Languages and Systems, Santa Barbara, CA, {USA.}},
  pages     = {153--166},
  year      = {1991},
  crossref  = {DBLP:conf/tools/5-1991},
  timestamp = {Wed, 25 Apr 2007 13:24:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tools/Caseau91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/deductive/Caseau90,
  author    = {Yves Caseau},
  title     = {Extending Object-Oriented Deduction Towards Constraint Logic Programming},
  booktitle = {Proceedings of the Workshop on Deductive Databases held in conjunction
               with the North American Conference on Logic Programming, Austin, Texas,
               USA, November 1, 1990},
  year      = {1990},
  crossref  = {DBLP:conf/deductive/1990},
  timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/deductive/Caseau90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sigplan/Caseau89,
  author    = {Yves Caseau},
  title     = {A model for a reflective object-oriented language},
  journal   = {{SIGPLAN} Notices},
  volume    = {24},
  number    = {4},
  pages     = {22--24},
  year      = {1989},
  url       = {http://doi.acm.org/10.1145/67387.67390},
  doi       = {10.1145/67387.67390},
  timestamp = {Tue, 11 Feb 2003 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sigplan/Caseau89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dood/Caseau89,
  author    = {Yves Caseau},
  title     = {A Formal System for Producing Demons from Rules in an Object-Oriented
               Database},
  booktitle = {{DOOD}},
  pages     = {203--219},
  year      = {1989},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dood/Caseau89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/software/Caseau86,
  author    = {Yves Caseau},
  title     = {An Overview of Lore},
  journal   = {{IEEE} Software},
  volume    = {3},
  number    = {1},
  pages     = {72--73},
  year      = {1986},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/software/Caseau86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BenoitCP86,
  author    = {Ch. Benoit and
               Yves Caseau and
               Ch. Pherivong},
  title     = {Knowledge Representation and Communication Mechanisms in {LORE}},
  booktitle = {{ECAI}},
  pages     = {215--224},
  year      = {1986},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecai/BenoitCP86},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csdm/2012,
  editor    = {Marc Aiguier and
               Yves Caseau and
               Daniel Krob and
               Antoine Rauzy},
  title     = {Complex Systems Design {\&} Management, Proceedings of the Third
               International Conference on Complex Systems Design {\&} Management
               CSD{\&}M 2012, Paris, France, December 12-14, 2012},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-34404-6},
  doi       = {10.1007/978-3-642-34404-6},
  isbn      = {978-3-642-34403-9},
  timestamp = {Wed, 24 May 2017 08:27:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csdm/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icores/2012,
  editor    = {Carlos J. Luz and
               Fernando Valente},
  title     = {{ICORES} 2012 - Proceedings of the 1st International Conference on
               Operations Research and Enterprise Systems, Vilamoura, Algarve, Portugal,
               4-6 February, 2012},
  publisher = {SciTePress},
  year      = {2012},
  isbn      = {978-989-8425-97-3},
  timestamp = {Sat, 05 May 2012 14:15:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icores/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2004,
  title     = {11th {IEEE} International Conference on the Engineering of Computer-Based
               Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9203},
  isbn      = {0-7695-2125-8},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecbs/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2003,
  editor    = {Francesca Rossi},
  title     = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
               International Conference, {CP} 2003, Kinsale, Ireland, September 29
               - October 3, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2833},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13743},
  doi       = {10.1007/b13743},
  isbn      = {3-540-20202-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/jfplc/2003,
  editor    = {Mireille Ducass{\'{e}}},
  title     = {Journ{\'{e}}es Francophones de Programmation en Logique avec
               Contraintes {(JFPLC} 2003), Amiens, France, du 17 au 19 Juin 2003},
  publisher = {Hermes/Lavoisier},
  year      = {2003},
  isbn      = {2-7462-0739-7},
  timestamp = {Mon, 24 May 2004 15:53:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/jfplc/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/2001,
  editor    = {Toby Walsh},
  title     = {Principles and Practice of Constraint Programming - {CP} 2001, 7th
               International Conference, {CP} 2001, Paphos, Cyprus, November 26 -
               December 1, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2239},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45578-7},
  doi       = {10.1007/3-540-45578-7},
  isbn      = {3-540-42863-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/1999,
  editor    = {Joxan Jaffar},
  title     = {Principles and Practice of Constraint Programming - CP'99, 5th International
               Conference, Alexandria, Virginia, USA, October 11-14, 1999, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1713},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/b72297},
  doi       = {10.1007/b72297},
  isbn      = {3-540-66626-5},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1999,
  editor    = {Danny De Schreye},
  title     = {Logic Programming: The 1999 International Conference, Las Cruces,
               New Mexico, USA, November 29 - December 4, 1999},
  publisher = {{MIT} Press},
  year      = {1999},
  isbn      = {0-262-54104-1},
  timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/1998,
  editor    = {Michael J. Maher and
               Jean{-}Francois Puget},
  title     = {Principles and Practice of Constraint Programming - CP98, 4th International
               Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1520},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/3-540-49481-2},
  doi       = {10.1007/3-540-49481-2},
  isbn      = {3-540-65224-8},
  timestamp = {Tue, 23 May 2017 14:54:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cp/1997,
  editor    = {Gert Smolka},
  title     = {Principles and Practice of Constraint Programming - CP97, Third International
               Conference, Linz, Austria, October 29 - November 1, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1330},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0017424},
  doi       = {10.1007/BFb0017424},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cp/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1997,
  editor    = {Lee Naish},
  title     = {Logic Programming, Proceedings of the Fourteenth International Conference
               on Logic Programming, Leuven, Belgium, July 8-11, 1997},
  publisher = {{MIT} Press},
  year      = {1997},
  isbn      = {0-262-64035-X},
  timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1996,
  editor    = {Michael J. Maher},
  title     = {Logic Programming, Proceedings of the 1996 Joint International Conference
               and Symposium on Logic Programming, Bonn, Germany, September 2-6,
               1996},
  publisher = {{MIT} Press},
  year      = {1996},
  url       = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267515},
  isbn      = {0-262-63173-3},
  timestamp = {Thu, 17 Aug 2017 12:43:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lmo/1996,
  editor    = {Yves Dennebouy},
  title     = {Actes des journ{\'{e}}ees Langages et Mod{\`{e}}les {\`{a}} Objets,
               LMO'96. Leysin, 16-18 octobre},
  publisher = {Ecole Polytechnique F{\'{e}}d{\'{e}}rale de Lausanne, {CH}},
  year      = {1996},
  timestamp = {Wed, 25 Apr 2007 14:54:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lmo/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cococ/1995,
  editor    = {Michel Deza and
               Reinhardt Euler and
               Yannis Manoussakis},
  title     = {Combinatorics and Computer Science, 8th Franco-Japanese and 4th Franco-Chinese
               Conference, Brest, France, July 3-5, 1995, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1120},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61576-8},
  doi       = {10.1007/3-540-61576-8},
  isbn      = {3-540-61576-8},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cococ/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iclp/1994,
  editor    = {Pascal Van Hentenryck},
  title     = {Logic Programming, Proceedings of the Eleventh International Conference
               on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
  publisher = {{MIT} Press},
  year      = {1994},
  isbn      = {0-262-72022-1},
  timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iclp/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ecoop/1993,
  editor    = {Oscar Nierstrasz},
  title     = {ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern,
               Germany, July 26-30, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {707},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-47910-4},
  doi       = {10.1007/3-540-47910-4},
  isbn      = {3-540-57120-5},
  timestamp = {Fri, 02 Jun 2017 20:49:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ecoop/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/1993,
  editor    = {Timlynn Babitsky and
               Jim Salmons},
  title     = {Conference on Object-Oriented Programming Systems, Languages, and
               Applications (OOPSLA), Eighth Annual Conference, Washington, DC, USA,
               September 26 - October 1, 1993, Proceedings},
  publisher = {{ACM}},
  year      = {1993},
  url       = {http://dl.acm.org/citation.cfm?id=165854},
  isbn      = {0-89791-587-9},
  timestamp = {Tue, 11 Jun 2013 13:10:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/oopsla/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tools/11-1993,
  editor    = {Raimund K. Ege and
               Madhu S. Singh and
               Bertrand Meyer},
  title     = {{TOOLS} 1993: 11th International Conference on Technology of Object-Oriented
               Languages and Systems, Santa Barbara, CA, {USA}},
  publisher = {Prentice Hall},
  year      = {1993},
  isbn      = {0-13-103979-2},
  timestamp = {Wed, 25 Apr 2007 11:16:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tools/11-1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dexa/1992,
  editor    = {A Min Tjoa and
               Isidro Ramos},
  title     = {Proceedings of the International Conference on Database and Expert
               Systems Applications, Valencia, Spain, 1992},
  publisher = {Springer-Verlag, Wien},
  year      = {1992},
  isbn      = {3-211-82400-6},
  timestamp = {Mon, 24 Nov 2014 16:44:16 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dexa/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dasfaa/91,
  editor    = {Akifumi Makinouchi},
  title     = {Database Systems for Advanced Applications '91, Proceedings of the
               Second International Symposium on Database Systems for Advanced Applications,
               Tokyo, Japan, April 2-4, 1991},
  series    = {Advanced Database Research and Development Series},
  volume    = {2},
  publisher = {World Scientific},
  year      = {1992},
  isbn      = {981-02-1055-8},
  timestamp = {Thu, 13 Sep 2012 12:44:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dasfaa/91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dbpl/91,
  editor    = {Paris C. Kanellakis and
               Joachim W. Schmidt},
  title     = {Database Programming Languages: Bulk Types and Persistent Data. 3rd
               International Workshop, August 27-30, 1991, Nafplion, Greece, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1991},
  isbn      = {1-55860-242-9},
  timestamp = {Wed, 29 Mar 2017 16:45:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dbpl/91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pdk/1991,
  editor    = {Harold Boley and
               Michael M. Richter},
  title     = {Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern,
               Germany, July 1-3, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {567},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0013516},
  doi       = {10.1007/BFb0013516},
  isbn      = {3-540-55033-X},
  timestamp = {Sat, 20 May 2017 15:32:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pdk/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/slp/1991,
  editor    = {Vijay A. Saraswat and
               Kazunori Ueda},
  title     = {Logic Programming, Proceedings of the 1991 International Symposium,
               San Diego, California, USA, Oct. 28 - Nov 1, 1991},
  publisher = {{MIT} Press},
  year      = {1991},
  isbn      = {0-262-69147-7},
  timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/slp/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tools/5-1991,
  editor    = {Timothy D. Korson and
               Vijay Vashnavi and
               Bertrand Meyer},
  title     = {{TOOLS} 1991: 5th International Conference on Technology of Object-Oriented
               Languages and Systems, Santa Barbara, CA, {USA}},
  publisher = {Prentice Hall},
  year      = {1991},
  isbn      = {0-13-923178-1},
  timestamp = {Wed, 25 Apr 2007 13:24:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tools/5-1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/deductive/1990,
  editor    = {Jan Chomicki},
  title     = {Proceedings of the Workshop on Deductive Databases held in conjunction
               with the North American Conference on Logic Programming, Austin, Texas,
               USA, November 1, 1990},
  series    = {Technical Report},
  volume    = {{TR-CS-90-14}},
  publisher = {Kansas State University},
  year      = {1990},
  timestamp = {Wed, 04 Dec 2013 14:42:57 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/deductive/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier