BibTeX records: Pascal Fontaine

download as .bib file

@inproceedings{DBLP:conf/birthday/BonacinaFRT19,
  author    = {Maria Paola Bonacina and
               Pascal Fontaine and
               Christophe Ringeissen and
               Cesare Tinelli},
  title     = {Theory Combination: Beyond Equality Sharing},
  booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated
               to Franz Baader on the Occasion of His 60th Birthday},
  pages     = {57--89},
  year      = {2019},
  crossref  = {DBLP:conf/birthday/2019baader},
  url       = {https://doi.org/10.1007/978-3-030-22102-7\_3},
  doi       = {10.1007/978-3-030-22102-7\_3},
  timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/BonacinaFRT19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2019,
  editor    = {Pascal Fontaine},
  title     = {Automated Deduction - {CADE} 27 - 27th International Conference on
               Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11716},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-29436-6},
  doi       = {10.1007/978-3-030-29436-6},
  isbn      = {978-3-030-29435-9},
  timestamp = {Wed, 21 Aug 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2019},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Fontaine18,
  author    = {Pascal Fontaine},
  title     = {Satisfiability Modulo Theories: state-of-the-art, contributions, project.
               (Satisfaisabilit{\'{e}} Modulo Th{\'{e}}ories: {\'{e}}tat
               de l'art, contributions, projet)},
  year      = {2018},
  url       = {https://tel.archives-ouvertes.fr/tel-01968404},
  timestamp = {Thu, 10 Jan 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/books/hal/Fontaine18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aicom/FontaineKSU18,
  author    = {Pascal Fontaine and
               Cezary Kaliszyk and
               Stephan Schulz and
               Josef Urban},
  title     = {Foreword to the Special Issue on Automated Reasoning},
  journal   = {{AI} Commun.},
  volume    = {31},
  number    = {3},
  pages     = {235--236},
  year      = {2018},
  url       = {https://doi.org/10.3233/AIC-180765},
  doi       = {10.3233/AIC-180765},
  timestamp = {Wed, 23 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/aicom/FontaineKSU18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/ReynoldsBF18,
  author    = {Andrew Reynolds and
               Haniel Barbosa and
               Pascal Fontaine},
  title     = {Revisiting Enumerative Instantiation},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  pages     = {112--131},
  year      = {2018},
  crossref  = {DBLP:conf/tacas/2018-2},
  url       = {https://doi.org/10.1007/978-3-319-89963-3\_7},
  doi       = {10.1007/978-3-319-89963-3\_7},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/ReynoldsBF18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/FellnerFP17,
  author    = {Andreas Fellner and
               Pascal Fontaine and
               Bruno {Woltzenlogel Paleo}},
  title     = {NP-completeness of small conflict set generation for congruence closure},
  journal   = {Formal Methods in System Design},
  volume    = {51},
  number    = {3},
  pages     = {533--544},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10703-017-0283-x},
  doi       = {10.1007/s10703-017-0283-x},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/fmsd/FellnerFP17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/AbrahamA0BBCDEF17,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Vijay Ganesh and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler},
  title     = {SC-square: when Satisfiability Checking and Symbolic Computation join
               forces},
  booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  pages     = {6--10},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017arcade},
  url       = {http://www.easychair.org/publications/paper/WR2g},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/AbrahamA0BBCDEF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BlanchetteF0W17,
  author    = {Jasmin Christian Blanchette and
               Pascal Fontaine and
               Stephan Schulz and
               Uwe Waldmann},
  title     = {Towards Strong Higher-Order Automation for Fast Interactive Verification},
  booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  pages     = {16--23},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017arcade},
  url       = {http://www.easychair.org/publications/paper/zn3j},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BlanchetteF0W17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BarbosaBF17,
  author    = {Haniel Barbosa and
               Jasmin Christian Blanchette and
               Pascal Fontaine},
  title     = {Scalable Fine-Grained Proofs for Formula Processing},
  booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  pages     = {398--412},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5\_25},
  doi       = {10.1007/978-3-319-63046-5\_25},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BarbosaBF17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/FontaineOSV17,
  author    = {Pascal Fontaine and
               Mizuhito Ogawa and
               Thomas Sturm and
               Xuan{-}Tung Vu},
  title     = {Subtropical Satisfiability},
  booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
               2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
  pages     = {189--206},
  year      = {2017},
  crossref  = {DBLP:conf/frocos/2017},
  url       = {https://doi.org/10.1007/978-3-319-66167-4\_11},
  doi       = {10.1007/978-3-319-66167-4\_11},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/FontaineOSV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BarbosaFR17,
  author    = {Haniel Barbosa and
               Pascal Fontaine and
               Andrew Reynolds},
  title     = {Congruence Closure with Free Variables},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  pages     = {214--230},
  year      = {2017},
  crossref  = {DBLP:conf/tacas/2017-2},
  url       = {https://doi.org/10.1007/978-3-662-54580-5\_13},
  doi       = {10.1007/978-3-662-54580-5\_13},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/BarbosaFR17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1712-01486,
  author    = {Haniel Barbosa and
               Jasmin Christian Blanchette and
               Simon Cruanes and
               Daniel El Ouraoui and
               Pascal Fontaine},
  title     = {Language and Proofs for Higher-Order {SMT} (Work in Progress)},
  booktitle = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
               PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  pages     = {15--22},
  year      = {2017},
  crossref  = {DBLP:journals/corr/abs-1712-00898},
  url       = {https://doi.org/10.4204/EPTCS.262.3},
  doi       = {10.4204/EPTCS.262.3},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-01486},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2016sc,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               James H. Davenport and
               Pascal Fontaine},
  title     = {Proceedings of the 1st Workshop on Satisfiability Checking and Symbolic
               Computation co-located with 18th International Symposium on Symbolic
               and Numeric Algorithms for Scientific Computing {(SYNASC} 2016), Timisoara,
               Romania, September 24, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1804},
  publisher = {CEUR-WS.org},
  year      = {2017},
  url       = {http://ceur-ws.org/Vol-1804},
  urn       = {urn:nbn:de:0074-1804-0},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2016sc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FontaineO0V17,
  author    = {Pascal Fontaine and
               Mizuhito Ogawa and
               Thomas Sturm and
               Xuan{-}Tung Vu},
  title     = {Subtropical Satisfiability},
  journal   = {CoRR},
  volume    = {abs/1706.09236},
  year      = {2017},
  url       = {http://arxiv.org/abs/1706.09236},
  archivePrefix = {arXiv},
  eprint    = {1706.09236},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/FontaineO0V17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/AbrahamA0BBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability checking and symbolic computation},
  journal   = {{ACM} Comm. Computer Algebra},
  volume    = {50},
  number    = {4},
  pages     = {145--147},
  year      = {2016},
  url       = {https://doi.org/10.1145/3055282.3055285},
  doi       = {10.1145/3055282.3055285},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cca/AbrahamA0BBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {SC\({}^{\mbox{2}}\): Satisfiability Checking Meets Symbolic Computation
               - (Project Paper)},
  booktitle = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  pages     = {28--43},
  year      = {2016},
  crossref  = {DBLP:conf/mkm/2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4\_3},
  doi       = {10.1007/978-3-319-42547-4\_3},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2016paar,
  editor    = {Pascal Fontaine and
               Stephan Schulz and
               Josef Urban},
  title     = {Proceedings of the 5th Workshop on Practical Aspects of Automated
               Reasoning co-located with International Joint Conference on Automated
               Reasoning {(IJCAR} 2016), Coimbra, Portugal, July 2nd, 2016},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1635},
  publisher = {CEUR-WS.org},
  year      = {2016},
  url       = {http://ceur-ws.org/Vol-1635},
  urn       = {urn:nbn:de:0074-1635-7},
  timestamp = {Tue, 28 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2016paar},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking and Symbolic Computation},
  journal   = {CoRR},
  volume    = {abs/1607.06945},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.06945},
  archivePrefix = {arXiv},
  eprint    = {1607.06945},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamABBBBCDE16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbrahamABBBBCDE16a,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               John Abbott and
               Bernd Becker and
               Anna Maria Bigatti and
               Martin Brain and
               Bruno Buchberger and
               Alessandro Cimatti and
               James H. Davenport and
               Matthew England and
               Pascal Fontaine and
               Stephen Forrest and
               Alberto Griggio and
               Daniel Kroening and
               Werner M. Seiler and
               Thomas Sturm},
  title     = {Satisfiability Checking meets Symbolic Computation (Project Paper)},
  journal   = {CoRR},
  volume    = {abs/1607.08028},
  year      = {2016},
  url       = {http://arxiv.org/abs/1607.08028},
  archivePrefix = {arXiv},
  eprint    = {1607.08028},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/AbrahamABBBBCDE16a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/FontaineSW15,
  author    = {Pascal Fontaine and
               Thomas Sturm and
               Uwe Waldmann},
  title     = {Foreword to the Special Focus on Constraints and Combinations},
  journal   = {Mathematics in Computer Science},
  volume    = {9},
  number    = {3},
  pages     = {265},
  year      = {2015},
  url       = {https://doi.org/10.1007/s11786-015-0239-8},
  doi       = {10.1007/s11786-015-0239-8},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/mics/FontaineSW15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ArecesFM15,
  author    = {Carlos Areces and
               Pascal Fontaine and
               Stephan Merz},
  title     = {Modal Satisfiability via {SMT} Solving},
  booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
               on the Occasion of His Retirement from the Chair of Programming and
               Software Engineering},
  pages     = {30--45},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015wirsing},
  url       = {https://doi.org/10.1007/978-3-319-15545-6\_5},
  doi       = {10.1007/978-3-319-15545-6\_5},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/ArecesFM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChocronFR15,
  author    = {Paula Chocron and
               Pascal Fontaine and
               Christophe Ringeissen},
  title     = {A Polite Non-Disjoint Combination Method: Theories with Bridging Functions
               Revisited},
  booktitle = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  pages     = {419--433},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6\_29},
  doi       = {10.1007/978-3-319-21401-6\_29},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/ChocronFR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/JaroschekDF15,
  author    = {Maximilian Jaroschek and
               Pablo Federico Dobal and
               Pascal Fontaine},
  title     = {Adapting Real Quantifier Elimination Methods for Conflict Set Computation},
  booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
               2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
  pages     = {151--166},
  year      = {2015},
  crossref  = {DBLP:conf/frocos/2015},
  url       = {https://doi.org/10.1007/978-3-319-24246-0\_10},
  doi       = {10.1007/978-3-319-24246-0\_10},
  timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/JaroschekDF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ChocronFR15,
  author    = {Paula Chocron and
               Pascal Fontaine and
               Christophe Ringeissen},
  title     = {A Rewriting Approach to the Combination of Data Structures with Bridging
               Theories},
  booktitle = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
               2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
  pages     = {275--290},
  year      = {2015},
  crossref  = {DBLP:conf/frocos/2015},
  url       = {https://doi.org/10.1007/978-3-319-24246-0\_17},
  doi       = {10.1007/978-3-319-24246-0\_17},
  timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/ChocronFR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JaroschekDF15,
  author    = {Maximilian Jaroschek and
               Pablo Federico Dobal and
               Pascal Fontaine},
  title     = {Adapting Real Quantifier Elimination Methods for Conflict Set Computation},
  journal   = {CoRR},
  volume    = {abs/1511.01123},
  year      = {2015},
  url       = {http://arxiv.org/abs/1511.01123},
  archivePrefix = {arXiv},
  eprint    = {1511.01123},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JaroschekDF15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/AbrahamF0W15,
  author    = {Erika {\'{A}}brah{\'{a}}m and
               Pascal Fontaine and
               Thomas Sturm and
               Dongming Wang},
  title     = {Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar
               15471)},
  journal   = {Dagstuhl Reports},
  volume    = {5},
  number    = {11},
  pages     = {71--89},
  year      = {2015},
  url       = {https://doi.org/10.4230/DagRep.5.11.71},
  doi       = {10.4230/DagRep.5.11.71},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/AbrahamF0W15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/DeharbeFGV14,
  author    = {David D{\'{e}}harbe and
               Pascal Fontaine and
               Yoann Guyot and
               Laurent Voisin},
  title     = {Integrating {SMT} solvers in Rodin},
  journal   = {Sci. Comput. Program.},
  volume    = {94},
  pages     = {130--143},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2014.04.012},
  doi       = {10.1016/j.scico.2014.04.012},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/DeharbeFGV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChocronFR14,
  author    = {Paula Chocron and
               Pascal Fontaine and
               Christophe Ringeissen},
  title     = {A Gentle Non-disjoint Combination of Satisfiability Procedures},
  booktitle = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 19-22, 2014. Proceedings},
  pages     = {122--136},
  year      = {2014},
  crossref  = {DBLP:conf/cade/2014},
  url       = {https://doi.org/10.1007/978-3-319-08587-6\_9},
  doi       = {10.1007/978-3-319-08587-6\_9},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/ChocronFR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/DeharbeFBM13,
  author    = {David D{\'{e}}harbe and
               Pascal Fontaine and
               Daniel Le Berre and
               Bertrand Mazure},
  title     = {Computing prime implicants},
  booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
               USA, October 20-23, 2013},
  pages     = {46--52},
  year      = {2013},
  crossref  = {DBLP:conf/fmcad/2013},
  url       = {http://ieeexplore.ieee.org/document/6679390/},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/DeharbeFBM13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012smt,
  editor    = {Pascal Fontaine and
               Amit Goel},
  title     = {10th International Workshop on Satisfiability Modulo Theories, {SMT}
               2012, Manchester, UK, June 30 - July 1, 2012},
  series    = {EPiC Series in Computing},
  volume    = {20},
  publisher = {EasyChair},
  year      = {2013},
  url       = {http://www.easychair.org/publications/?page=933681105},
  timestamp = {Thu, 16 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2012smt},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012paar,
  editor    = {Pascal Fontaine and
               Renate A. Schmidt and
               Stephan Schulz},
  title     = {Third Workshop on Practical Aspects of Automated Reasoning, PAAR-2012,
               Manchester, UK, June 30 - July 1, 2012},
  series    = {EPiC Series in Computing},
  volume    = {21},
  publisher = {EasyChair},
  year      = {2013},
  url       = {http://www.easychair.org/publications/?page=1924317986},
  timestamp = {Wed, 29 Mar 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2012paar},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2013,
  editor    = {Pascal Fontaine and
               Christophe Ringeissen and
               Renate A. Schmidt},
  title     = {Frontiers of Combining Systems - 9th International Symposium, FroCoS
               2013, Nancy, France, September 18-20, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8152},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40885-4},
  doi       = {10.1007/978-3-642-40885-4},
  isbn      = {978-3-642-40884-7},
  timestamp = {Tue, 14 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/OliveiraDF12,
  author    = {Diego Caminha Barbosa De Oliveira and
               David D{\'{e}}harbe and
               Pascal Fontaine},
  title     = {Combining decision procedures by (model-)equality propagation},
  journal   = {Sci. Comput. Program.},
  volume    = {77},
  number    = {4},
  pages     = {518--532},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.scico.2010.04.003},
  doi       = {10.1016/j.scico.2010.04.003},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/OliveiraDF12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asm/DeharbeFGV12,
  author    = {David D{\'{e}}harbe and
               Pascal Fontaine and
               Yoann Guyot and
               Laurent Voisin},
  title     = {{SMT} Solvers for Rodin},
  booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  pages     = {194--207},
  year      = {2012},
  crossref  = {DBLP:conf/asm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7\_14},
  doi       = {10.1007/978-3-642-30885-7\_14},
  timestamp = {Sun, 02 Jun 2019 21:23:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/DeharbeFGV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FontaineMW12,
  author    = {Pascal Fontaine and
               Stephan Merz and
               Christoph Weidenbach},
  title     = {Combination of Disjoint Theories: Beyond Decidability},
  booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
               2012, Manchester, UK, June 26-29, 2012. Proceedings},
  pages     = {256--270},
  year      = {2012},
  crossref  = {DBLP:conf/cade/2012},
  url       = {https://doi.org/10.1007/978-3-642-31365-3\_21},
  doi       = {10.1007/978-3-642-31365-3\_21},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/FontaineMW12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/DeharbeFMP11,
  author    = {David D{\'{e}}harbe and
               Pascal Fontaine and
               Stephan Merz and
               Bruno {Woltzenlogel Paleo}},
  title     = {Exploiting Symmetry in {SMT} Problems},
  booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
               Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  pages     = {222--236},
  year      = {2011},
  crossref  = {DBLP:conf/cade/2011},
  url       = {https://doi.org/10.1007/978-3-642-22438-6\_18},
  doi       = {10.1007/978-3-642-22438-6\_18},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/DeharbeFMP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/FontaineMP11,
  author    = {Pascal Fontaine and
               Stephan Merz and
               Bruno {Woltzenlogel Paleo}},
  title     = {Compression of Propositional Resolution Proofs via Partial Regularization},
  booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
               Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  pages     = {237--251},
  year      = {2011},
  crossref  = {DBLP:conf/cade/2011},
  url       = {https://doi.org/10.1007/978-3-642-22438-6\_19},
  doi       = {10.1007/978-3-642-22438-6\_19},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/FontaineMP11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ArecesF11,
  author    = {Carlos Areces and
               Pascal Fontaine},
  title     = {Combining Theories: The Ackerman and Guarded Fragments},
  booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
               2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
  pages     = {40--54},
  year      = {2011},
  crossref  = {DBLP:conf/frocos/2011},
  url       = {https://doi.org/10.1007/978-3-642-24364-6\_4},
  doi       = {10.1007/978-3-642-24364-6\_4},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/ArecesF11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoutonCDF10,
  author    = {Thomas Bouton and
               Diego Caminha and
               David D{\'{e}}harbe and
               Pascal Fontaine},
  title     = {GridTPT: a distributed platform for Theorem Prover Testing},
  booktitle = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
               Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  pages     = {33--39},
  year      = {2010},
  crossref  = {DBLP:conf/cade/2010paar},
  url       = {http://www.easychair.org/publications/paper/51890},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BoutonCDF10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/OliveiraDF09,
  author    = {Diego Caminha Barbosa De Oliveira and
               David D{\'{e}}harbe and
               Pascal Fontaine},
  title     = {Combining Decision Procedures by (Model-)Equality Propagation},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {240},
  pages     = {113--128},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.05.048},
  doi       = {10.1016/j.entcs.2009.05.048},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/OliveiraDF09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BoutonODF09,
  author    = {Thomas Bouton and
               Diego Caminha Barbosa De Oliveira and
               David D{\'{e}}harbe and
               Pascal Fontaine},
  title     = {veriT: An Open, Trustable and Efficient SMT-Solver},
  booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
               Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  pages     = {151--156},
  year      = {2009},
  crossref  = {DBLP:conf/cade/2009},
  url       = {https://doi.org/10.1007/978-3-642-02959-2\_12},
  doi       = {10.1007/978-3-642-02959-2\_12},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BoutonODF09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Fontaine09,
  author    = {Pascal Fontaine},
  title     = {Combinations of Theories for Decidable Fragments of First-Order Logic},
  booktitle = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
               2009, Trento, Italy, September 16-18, 2009. Proceedings},
  pages     = {263--278},
  year      = {2009},
  crossref  = {DBLP:conf/frocos/2009},
  url       = {https://doi.org/10.1007/978-3-642-04222-5\_16},
  doi       = {10.1007/978-3-642-04222-5\_16},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/Fontaine09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Fontaine07,
  author    = {Pascal Fontaine},
  title     = {Combinations of Theories and the Bernays-Sch{\"{o}}nfinkel-Ramsey
               Class},
  booktitle = {Proceedings of 4th International Verification Workshop in connection
               with CADE-21, Bremen, Germany, July 15-16, 2007},
  year      = {2007},
  crossref  = {DBLP:conf/cade/2007verify},
  url       = {http://ceur-ws.org/Vol-259/paper06.pdf},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Fontaine07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DeharbeFRR06,
  author    = {David D{\'{e}}harbe and
               Pascal Fontaine and
               Silvio Ranise and
               Christophe Ringeissen},
  title     = {Decision Procedures for the Formal Analysis of Software},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
               Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
  pages     = {366--370},
  year      = {2006},
  crossref  = {DBLP:conf/ictac/2006},
  url       = {https://doi.org/10.1007/11921240\_26},
  doi       = {10.1007/11921240\_26},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/DeharbeFRR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FontaineMMNT06,
  author    = {Pascal Fontaine and
               Jean{-}Yves Marion and
               Stephan Merz and
               Leonor Prensa Nieto and
               Alwen Fernanto Tiu},
  title     = {Expressiveness + Automation + Soundness: Towards Combining {SMT} Solvers
               and Interactive Proof Assistants},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  pages     = {167--181},
  year      = {2006},
  crossref  = {DBLP:conf/tacas/2006},
  url       = {https://doi.org/10.1007/11691372\_11},
  doi       = {10.1007/11691372\_11},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/FontaineMMNT06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entcs/FontaineG05,
  author    = {Pascal Fontaine and
               E. Pascal Gribomont},
  title     = {Combining Non-stably Infinite, Non-first Order Theories},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {125},
  number    = {3},
  pages     = {37--51},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.06.066},
  doi       = {10.1016/j.entcs.2004.06.066},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/entcs/FontaineG05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FontaineRZ04,
  author    = {Pascal Fontaine and
               Silvio Ranise and
               Calogero G. Zarba},
  title     = {Combining Lists with Non-stably Infinite Theories},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
               International Conference, {LPAR} 2004, Montevideo, Uruguay, March
               14-18, 2005, Proceedings},
  pages     = {51--66},
  year      = {2004},
  crossref  = {DBLP:conf/lpar/2004},
  url       = {https://doi.org/10.1007/978-3-540-32275-7\_4},
  doi       = {10.1007/978-3-540-32275-7\_4},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/FontaineRZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/FontaineG03,
  author    = {Pascal Fontaine and
               E. Pascal Gribomont},
  title     = {Decidability of Invariant Validation for Paramaterized Systems},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               9th International Conference, {TACAS} 2003, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  pages     = {97--112},
  year      = {2003},
  crossref  = {DBLP:conf/tacas/2003},
  url       = {https://doi.org/10.1007/3-540-36577-X\_8},
  doi       = {10.1007/3-540-36577-X\_8},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/FontaineG03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/FontaineG02,
  author    = {Pascal Fontaine and
               E. Pascal Gribomont},
  title     = {Using BDDs with Combinations of Theories},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
               International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
               2002, Proceedings},
  pages     = {190--201},
  year      = {2002},
  crossref  = {DBLP:conf/lpar/2002},
  url       = {https://doi.org/10.1007/3-540-36078-6\_13},
  doi       = {10.1007/3-540-36078-6\_13},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/FontaineG02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019baader,
  editor    = {Carsten Lutz and
               Uli Sattler and
               Cesare Tinelli and
               Anni{-}Yasmin Turhan and
               Frank Wolter},
  title     = {Description Logic, Theory Combination, and All That - Essays Dedicated
               to Franz Baader on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {11560},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-22102-7},
  doi       = {10.1007/978-3-030-22102-7},
  isbn      = {978-3-030-22101-0},
  timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2019baader},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2018-2,
  editor    = {Dirk Beyer and
               Marieke Huisman},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 24th International Conference, {TACAS} 2018, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10806},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-89963-3},
  doi       = {10.1007/978-3-319-89963-3},
  isbn      = {978-3-319-89962-6},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2018-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2017arcade,
  editor    = {Giles Reger and
               Dmitriy Traytel},
  title     = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
               Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
               Sweden, 6th August 2017},
  series    = {EPiC Series in Computing},
  volume    = {51},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/ARCADE\_2017},
  timestamp = {Tue, 16 Jan 2018 18:40:48 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2017arcade},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2017,
  editor    = {Leonardo de Moura},
  title     = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10395},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5},
  doi       = {10.1007/978-3-319-63046-5},
  isbn      = {978-3-319-63045-8},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2017,
  editor    = {Clare Dixon and
               Marcelo Finger},
  title     = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
               2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10483},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66167-4},
  doi       = {10.1007/978-3-319-66167-4},
  isbn      = {978-3-319-66166-7},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2017-2,
  editor    = {Axel Legay and
               Tiziana Margaria},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 23rd International Conference, {TACAS} 2017, Held as Part of the
               European Joint Conferences on Theory and Practice of Software, {ETAPS}
               2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
  series    = {Lecture Notes in Computer Science},
  volume    = {10206},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54580-5},
  doi       = {10.1007/978-3-662-54580-5},
  isbn      = {978-3-662-54579-9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2017-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1712-00898,
  editor    = {Catherine Dubois and
               Bruno {Woltzenlogel Paleo}},
  title     = {Proceedings of the Fifth Workshop on Proof eXchange for Theorem Proving,
               PxTP 2017, Bras{\'{\i}}lia, Brazil, 23-24 September 2017},
  series    = {{EPTCS}},
  volume    = {262},
  year      = {2017},
  url       = {http://arxiv.org/abs/1712.00898},
  timestamp = {Mon, 13 Aug 2018 16:47:38 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1712-00898},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2016,
  editor    = {Michael Kohlhase and
               Moa Johansson and
               Bruce R. Miller and
               Leonardo de Moura and
               Frank Wm. Tompa},
  title     = {Intelligent Computer Mathematics - 9th International Conference, {CICM}
               2016, Bialystok, Poland, July 25-29, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9791},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-42547-4},
  doi       = {10.1007/978-3-319-42547-4},
  isbn      = {978-3-319-42546-7},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015wirsing,
  editor    = {Rocco {De Nicola} and
               Rolf Hennicker},
  title     = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
               on the Occasion of His Retirement from the Chair of Programming and
               Software Engineering},
  series    = {Lecture Notes in Computer Science},
  volume    = {8950},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15545-6},
  doi       = {10.1007/978-3-319-15545-6},
  isbn      = {978-3-319-15544-9},
  timestamp = {Tue, 14 May 2019 10:00:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/birthday/2015wirsing},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2015,
  editor    = {Amy P. Felty and
               Aart Middeldorp},
  title     = {Automated Deduction - {CADE-25} - 25th International Conference on
               Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9195},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-21401-6},
  doi       = {10.1007/978-3-319-21401-6},
  isbn      = {978-3-319-21400-9},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2015,
  editor    = {Carsten Lutz and
               Silvio Ranise},
  title     = {Frontiers of Combining Systems - 10th International Symposium, FroCoS
               2015, Wroclaw, Poland, September 21-24, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9322},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24246-0},
  doi       = {10.1007/978-3-319-24246-0},
  isbn      = {978-3-319-24245-3},
  timestamp = {Wed, 25 Sep 2019 18:06:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014,
  editor    = {St{\'{e}}phane Demri and
               Deepak Kapur and
               Christoph Weidenbach},
  title     = {Automated Reasoning - 7th International Joint Conference, {IJCAR}
               2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
               Austria, July 19-22, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8562},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-08587-6},
  doi       = {10.1007/978-3-319-08587-6},
  isbn      = {978-3-319-08586-9},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmcad/2013,
  title     = {Formal Methods in Computer-Aided Design, {FMCAD} 2013, Portland, OR,
               USA, October 20-23, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://ieeexplore.ieee.org/xpl/conhome/6675286/proceeding},
  timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fmcad/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/asm/2012,
  editor    = {John Derrick and
               John S. Fitzgerald and
               Stefania Gnesi and
               Sarfraz Khurshid and
               Michael Leuschel and
               Steve Reeves and
               Elvinia Riccobene},
  title     = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7316},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7},
  doi       = {10.1007/978-3-642-30885-7},
  isbn      = {978-3-642-30884-0},
  timestamp = {Sun, 02 Jun 2019 21:23:59 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/asm/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2012,
  editor    = {Bernhard Gramlich and
               Dale Miller and
               Uli Sattler},
  title     = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
               2012, Manchester, UK, June 26-29, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7364},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31365-3},
  doi       = {10.1007/978-3-642-31365-3},
  isbn      = {978-3-642-31364-6},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2011,
  editor    = {Nikolaj Bj{\o}rner and
               Viorica Sofronie{-}Stokkermans},
  title     = {Automated Deduction - {CADE-23} - 23rd International Conference on
               Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6803},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22438-6},
  doi       = {10.1007/978-3-642-22438-6},
  isbn      = {978-3-642-22437-9},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2011,
  editor    = {Cesare Tinelli and
               Viorica Sofronie{-}Stokkermans},
  title     = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
               2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6989},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-24364-6},
  doi       = {10.1007/978-3-642-24364-6},
  isbn      = {978-3-642-24363-9},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2010paar,
  editor    = {Renate A. Schmidt and
               Stephan Schulz and
               Boris Konev},
  title     = {Proceedings of the 2nd Workshop on Practical Aspects of Automated
               Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010},
  series    = {EPiC Series in Computing},
  volume    = {9},
  publisher = {EasyChair},
  year      = {2012},
  url       = {http://www.easychair.org/publications/?page=453348161},
  timestamp = {Thu, 16 Jun 2016 17:11:03 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2010paar},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2009,
  editor    = {Renate A. Schmidt},
  title     = {Automated Deduction - CADE-22, 22nd International Conference on Automated
               Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5663},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-02959-2},
  doi       = {10.1007/978-3-642-02959-2},
  isbn      = {978-3-642-02958-5},
  timestamp = {Tue, 14 May 2019 10:00:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/frocos/2009,
  editor    = {Silvio Ghilardi and
               Roberto Sebastiani},
  title     = {Frontiers of Combining Systems, 7th International Symposium, FroCoS
               2009, Trento, Italy, September 16-18, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5749},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04222-5},
  doi       = {10.1007/978-3-642-04222-5},
  isbn      = {978-3-642-04221-8},
  timestamp = {Tue, 14 May 2019 10:00:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/frocos/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2007verify,
  editor    = {Bernhard Beckert},
  title     = {Proceedings of 4th International Verification Workshop in connection
               with CADE-21, Bremen, Germany, July 15-16, 2007},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {259},
  publisher = {CEUR-WS.org},
  year      = {2007},
  url       = {http://ceur-ws.org/Vol-259},
  urn       = {urn:nbn:de:0074-259-9},
  timestamp = {Tue, 28 May 2019 16:23:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2007verify},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictac/2006,
  editor    = {Kamel Barkaoui and
               Ana Cavalcanti and
               Antonio Cerone},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International
               Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4281},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11921240},
  doi       = {10.1007/11921240},
  isbn      = {3-540-48815-4},
  timestamp = {Tue, 14 May 2019 10:00:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictac/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2006,
  editor    = {Holger Hermanns and
               Jens Palsberg},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               12th International Conference, {TACAS} 2006 Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2006,
               Vienna, Austria, March 25 - April 2, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3920},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11691372},
  doi       = {10.1007/11691372},
  isbn      = {3-540-33056-9},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2004,
  editor    = {Franz Baader and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
               International Conference, {LPAR} 2004, Montevideo, Uruguay, March
               14-18, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3452},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b106931},
  doi       = {10.1007/b106931},
  isbn      = {3-540-25236-3},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2003,
  editor    = {Hubert Garavel and
               John Hatcliff},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               9th International Conference, {TACAS} 2003, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2619},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36577-X},
  doi       = {10.1007/3-540-36577-X},
  isbn      = {3-540-00898-5},
  timestamp = {Tue, 14 May 2019 10:00:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2002,
  editor    = {Matthias Baaz and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 9th
               International Conference, {LPAR} 2002, Tbilisi, Georgia, October 14-18,
               2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2514},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36078-6},
  doi       = {10.1007/3-540-36078-6},
  isbn      = {3-540-00010-0},
  timestamp = {Tue, 14 May 2019 10:00:55 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics