BibTeX records: Laura Kovács

download as .bib file

@article{DBLP:journals/amai/SchreckIK19,
  author    = {Pascal Schreck and
               Tetsuo Ida and
               Laura Kov{\'{a}}cs},
  title     = {Foreword - Formalization of geometry, automated and interactive geometric
               reasoning},
  journal   = {Ann. Math. Artif. Intell.},
  volume    = {85},
  number    = {2-4},
  pages     = {71--72},
  year      = {2019},
  url       = {https://doi.org/10.1007/s10472-019-9617-2},
  doi       = {10.1007/s10472-019-9617-2},
  timestamp = {Fri, 22 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/amai/SchreckIK19},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KotelnikovKV18,
  author    = {Evgenii Kotelnikov and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {A FOOLish Encoding of the Next State Relations of Imperative Programs},
  booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings},
  pages     = {405--421},
  year      = {2018},
  crossref  = {DBLP:conf/cade/2018},
  url       = {https://doi.org/10.1007/978-3-319-94205-6\_27},
  doi       = {10.1007/978-3-319-94205-6\_27},
  timestamp = {Mon, 09 Jul 2018 12:59:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/KotelnikovKV18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/GleissKR18,
  author    = {Bernhard Gleiss and
               Laura Kov{\'{a}}cs and
               Simon Robillard},
  title     = {Loop Analysis by Quantification over Iterations},
  booktitle = {{LPAR-22.} 22nd International Conference on Logic for Programming,
               Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
               2018},
  pages     = {381--399},
  year      = {2018},
  crossref  = {DBLP:conf/lpar/2018},
  url       = {http://www.easychair.org/publications/paper/W2Db},
  timestamp = {Mon, 31 Dec 2018 12:25:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/GleissKR18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/HumenbergerJK18,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  title     = {Aligator.jl - {A} Julia Package for Loop Invariant Generation},
  booktitle = {Intelligent Computer Mathematics - 11th International Conference,
               {CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
  pages     = {111--117},
  year      = {2018},
  crossref  = {DBLP:conf/mkm/2018},
  url       = {https://doi.org/10.1007/978-3-319-96812-4\_10},
  doi       = {10.1007/978-3-319-96812-4\_10},
  timestamp = {Thu, 02 Aug 2018 15:08:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/HumenbergerJK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HumenbergerJK18,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  title     = {Invariant Generation for Multi-Path Loops with Polynomial Assignments},
  booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
               Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
               Proceedings},
  pages     = {226--246},
  year      = {2018},
  crossref  = {DBLP:conf/vmcai/2018},
  url       = {https://doi.org/10.1007/978-3-319-73721-8\_11},
  doi       = {10.1007/978-3-319-73721-8\_11},
  timestamp = {Wed, 03 Jan 2018 17:48:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/HumenbergerJK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-03967,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  title     = {Invariant Generation for Multi-Path Loops with Polynomial Assignments},
  journal   = {CoRR},
  volume    = {abs/1801.03967},
  year      = {2018},
  url       = {http://arxiv.org/abs/1801.03967},
  archivePrefix = {arXiv},
  eprint    = {1801.03967},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1801-03967},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1808-05394,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  title     = {Aligator.jl - {A} Julia Package for Loop Invariant Generation},
  journal   = {CoRR},
  volume    = {abs/1808.05394},
  year      = {2018},
  url       = {http://arxiv.org/abs/1808.05394},
  archivePrefix = {arXiv},
  eprint    = {1808.05394},
  timestamp = {Sun, 02 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1808-05394},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/KnoopKZ17,
  author    = {Jens Knoop and
               Laura Kov{\'{a}}cs and
               Jakob Zwirchmayr},
  title     = {Replacing conjectures by positive knowledge: Inferring proven precise
               worst-case execution time bounds using symbolic execution},
  journal   = {J. Symb. Comput.},
  volume    = {80},
  pages     = {101--124},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jsc.2016.07.023},
  doi       = {10.1016/j.jsc.2016.07.023},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/KnoopKZ17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/GleissK017,
  author    = {Bernhard Gleiss and
               Laura Kov{\'{a}}cs and
               Martin Suda},
  title     = {Splitting Proofs for Interpolation},
  booktitle = {Automated Deduction - {CADE} 26 - 26th International Conference on
               Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings},
  pages     = {291--309},
  year      = {2017},
  crossref  = {DBLP:conf/cade/2017},
  url       = {https://doi.org/10.1007/978-3-319-63046-5\_18},
  doi       = {10.1007/978-3-319-63046-5\_18},
  timestamp = {Wed, 12 Jul 2017 10:06:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/GleissK017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Kovacs17,
  author    = {Laura Kov{\'{a}}cs},
  title     = {First-Order Interpolation and Grey Areas of Proofs (Invited Talk)},
  booktitle = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
               August 20-24, 2017, Stockholm, Sweden},
  pages     = {3:1--3:1},
  year      = {2017},
  crossref  = {DBLP:conf/csl/2017},
  url       = {https://doi.org/10.4230/LIPIcs.CSL.2017.3},
  doi       = {10.4230/LIPIcs.CSL.2017.3},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/Kovacs17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ClaessenKKL17,
  author    = {Koen Claessen and
               Jonatan Kilhamn and
               Laura Kov{\'{a}}cs and
               Bengt Lennartson},
  title     = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
  booktitle = {Hardware and Software: Verification and Testing - 13th International
               Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
               13-15, 2017, Proceedings},
  pages     = {115--130},
  year      = {2017},
  crossref  = {DBLP:conf/hvc/2017},
  url       = {https://doi.org/10.1007/978-3-319-70389-3\_8},
  doi       = {10.1007/978-3-319-70389-3\_8},
  timestamp = {Tue, 14 Nov 2017 14:53:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/ClaessenKKL17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issac/HumenbergerJK17,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  title     = {Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric
               Sequences},
  booktitle = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
               and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
               July 25-28, 2017},
  pages     = {221--228},
  year      = {2017},
  crossref  = {DBLP:conf/issac/2017},
  url       = {https://doi.org/10.1145/3087604.3087623},
  doi       = {10.1145/3087604.3087623},
  timestamp = {Tue, 06 Nov 2018 16:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/HumenbergerJK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KovacsV17,
  author    = {Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {First-Order Interpolation and Interpolating Proof Systems},
  booktitle = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
               Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  pages     = {49--64},
  year      = {2017},
  crossref  = {DBLP:conf/lpar/2017},
  url       = {http://www.easychair.org/publications/paper/340364},
  timestamp = {Wed, 10 Apr 2019 09:28:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/KovacsV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/KovacsRV17,
  author    = {Laura Kov{\'{a}}cs and
               Simon Robillard and
               Andrei Voronkov},
  title     = {Coming to terms with quantified reasoning},
  booktitle = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  pages     = {260--270},
  year      = {2017},
  crossref  = {DBLP:conf/popl/2017},
  url       = {http://dl.acm.org/citation.cfm?id=3009887},
  timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/KovacsRV17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2016vampire,
  editor    = {Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra,
               Portugal, July 2, 2016},
  series    = {EPiC Series in Computing},
  volume    = {44},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/Vampire\_2016},
  timestamp = {Tue, 12 Dec 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2016vampire},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Kovacs17,
  author    = {Laura Kov{\'{a}}cs},
  title     = {Symbolic Computation and Automated Reasoning for Program Analysis},
  journal   = {CoRR},
  volume    = {abs/1704.03202},
  year      = {2017},
  url       = {http://arxiv.org/abs/1704.03202},
  archivePrefix = {arXiv},
  eprint    = {1704.03202},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Kovacs17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HumenbergerJK17,
  author    = {Andreas Humenberger and
               Maximilian Jaroschek and
               Laura Kov{\'{a}}cs},
  title     = {Automated Generation of Non-Linear Loop Invariants Utilizing Hypergeometric
               Sequences},
  journal   = {CoRR},
  volume    = {abs/1705.02863},
  year      = {2017},
  url       = {http://arxiv.org/abs/1705.02863},
  archivePrefix = {arXiv},
  eprint    = {1705.02863},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/HumenbergerJK17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-02503,
  author    = {Bernhard Gleiss and
               Laura Kov{\'{a}}cs and
               Martin Suda},
  title     = {Splitting Proofs for Interpolation},
  journal   = {CoRR},
  volume    = {abs/1711.02503},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.02503},
  archivePrefix = {arXiv},
  eprint    = {1711.02503},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-02503},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-06501,
  author    = {Koen Claessen and
               Jonatan Kilhamn and
               Laura Kov{\'{a}}cs and
               Bengt Lennartson},
  title     = {A Supervisory Control Algorithm Based on Property-Directed Reachability},
  journal   = {CoRR},
  volume    = {abs/1711.06501},
  year      = {2017},
  url       = {http://arxiv.org/abs/1711.06501},
  archivePrefix = {arXiv},
  eprint    = {1711.06501},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1711-06501},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChenKR16,
  author    = {Yuting Chen and
               Laura Kov{\'{a}}cs and
               Simon Robillard},
  title     = {Theory-Specific Reasoning about Loops with Arrays using Vampire},
  booktitle = {Vampire@IJCAR 2016. Proceedings of the 3rd Vampire Workshop, Coimbra,
               Portugal, July 2, 2016.},
  pages     = {16--32},
  year      = {2016},
  crossref  = {DBLP:conf/cade/2016vampire},
  url       = {http://www.easychair.org/publications/paper/298337},
  timestamp = {Tue, 12 Dec 2017 14:10:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/ChenKR16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/KotelnikovKRV16,
  author    = {Evgenii Kotelnikov and
               Laura Kov{\'{a}}cs and
               Giles Reger and
               Andrei Voronkov},
  title     = {The vampire and the {FOOL}},
  booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
               and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
  pages     = {37--48},
  year      = {2016},
  crossref  = {DBLP:conf/cpp/2016},
  url       = {https://doi.org/10.1145/2854065.2854071},
  doi       = {10.1145/2854065.2854071},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/KotelnikovKRV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gcai/KotelnikovK0V16,
  author    = {Evgenii Kotelnikov and
               Laura Kov{\'{a}}cs and
               Martin Suda and
               Andrei Voronkov},
  title     = {A Clausal Normal Form Translation for {FOOL}},
  booktitle = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
               19 - October 2, 2016, Berlin, Germany},
  pages     = {53--71},
  year      = {2016},
  crossref  = {DBLP:conf/gcai/2016},
  url       = {http://www.easychair.org/publications/paper/305689},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/KotelnikovK0V16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Kovacs16,
  author    = {Laura Kov{\'{a}}cs},
  title     = {Symbolic Computation and Automated Reasoning for Program Analysis},
  booktitle = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
  pages     = {20--27},
  year      = {2016},
  crossref  = {DBLP:conf/ifm/2016},
  url       = {https://doi.org/10.1007/978-3-319-33693-0\_2},
  doi       = {10.1007/978-3-319-33693-0\_2},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/Kovacs16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2014-15vampire,
  editor    = {Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
               Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
               August 2, 2015},
  series    = {EPiC Series in Computing},
  volume    = {38},
  publisher = {EasyChair},
  year      = {2016},
  url       = {http://www.easychair.org/publications/volume/Vampire\_2014\_and\_2015},
  timestamp = {Thu, 16 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2014-15vampire},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KovacsRV16,
  author    = {Laura Kov{\'{a}}cs and
               Simon Robillard and
               Andrei Voronkov},
  title     = {Coming to Terms with Quantified Reasoning},
  journal   = {CoRR},
  volume    = {abs/1611.02908},
  year      = {2016},
  url       = {http://arxiv.org/abs/1611.02908},
  archivePrefix = {arXiv},
  eprint    = {1611.02908},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KovacsRV16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BouhoulaBKK15,
  author    = {Adel Bouhoula and
               Bruno Buchberger and
               Laura Kov{\'{a}}cs and
               Temur Kutsia},
  title     = {Special issue on symbolic computation in software science},
  journal   = {J. Symb. Comput.},
  volume    = {69},
  pages     = {1--2},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.jsc.2014.09.027},
  doi       = {10.1016/j.jsc.2014.09.027},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/BouhoulaBKK15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KovacsR15,
  author    = {Laura Kov{\'{a}}cs and
               Simon Robillard},
  title     = {Reasoning About Loops Using Vampire},
  booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
               Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
               August 2, 2015},
  pages     = {52--62},
  year      = {2015},
  crossref  = {DBLP:conf/cade/2014-15vampire},
  url       = {http://www.easychair.org/publications/paper/241522},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/KovacsR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/CernyHKRZ15,
  author    = {Pavol Cern{\'{y}} and
               Thomas A. Henzinger and
               Laura Kov{\'{a}}cs and
               Arjun Radhakrishna and
               Jakob Zwirchmayr},
  title     = {Segment Abstraction for Worst-Case Execution Time Analysis},
  booktitle = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  pages     = {105--131},
  year      = {2015},
  crossref  = {DBLP:conf/esop/2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8\_5},
  doi       = {10.1007/978-3-662-46669-8\_5},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/CernyHKRZ15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AhrendtKR15,
  author    = {Wolfgang Ahrendt and
               Laura Kov{\'{a}}cs and
               Simon Robillard},
  title     = {Reasoning About Loops Using Vampire in KeY},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
               International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
               2015, Proceedings},
  pages     = {434--443},
  year      = {2015},
  crossref  = {DBLP:conf/lpar/2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7\_30},
  doi       = {10.1007/978-3-662-48899-7\_30},
  timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/AhrendtKR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/KotelnikovKV15,
  author    = {Evgenii Kotelnikov and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {A First Class Boolean Sort in First-Order Theorem Proving and {TPTP}},
  booktitle = {Intelligent Computer Mathematics - International Conference, {CICM}
               2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
  pages     = {71--86},
  year      = {2015},
  crossref  = {DBLP:conf/mkm/2015},
  url       = {https://doi.org/10.1007/978-3-319-20615-8\_5},
  doi       = {10.1007/978-3-319-20615-8\_5},
  timestamp = {Fri, 02 Nov 2018 09:40:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/KotelnikovKV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2015,
  editor    = {Laura Kov{\'{a}}cs and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {17th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2015, Timisoara, Romania, September
               21-24, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7425657},
  isbn      = {978-1-5090-0461-4},
  timestamp = {Tue, 10 May 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KotelnikovKV15,
  author    = {Evgenii Kotelnikov and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {A First Class Boolean Sort in First-Order Theorem Proving and {TPTP}},
  journal   = {CoRR},
  volume    = {abs/1505.01682},
  year      = {2015},
  url       = {http://arxiv.org/abs/1505.01682},
  archivePrefix = {arXiv},
  eprint    = {1505.01682},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KotelnikovKV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KotelnikovKRV15,
  author    = {Evgenii Kotelnikov and
               Laura Kov{\'{a}}cs and
               Giles Reger and
               Andrei Voronkov},
  title     = {The Vampire and the {FOOL}},
  journal   = {CoRR},
  volume    = {abs/1510.04821},
  year      = {2015},
  url       = {http://arxiv.org/abs/1510.04821},
  archivePrefix = {arXiv},
  eprint    = {1510.04821},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/KotelnikovKRV15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Kovacs14,
  author    = {Laura Kov{\'{a}}cs},
  title     = {Symbol Elimination for Automated Generation of Program Properties},
  journal   = {{ECEASST}},
  volume    = {70},
  year      = {2014},
  url       = {https://doi.org/10.14279/tuj.eceasst.70.974},
  doi       = {10.14279/tuj.eceasst.70.974},
  timestamp = {Wed, 12 Dec 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/eceasst/Kovacs14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GuptaKKV14,
  author    = {Ashutosh Gupta and
               Laura Kov{\'{a}}cs and
               Bernhard Kragl and
               Andrei Voronkov},
  title     = {Extensional Crisis and Proving Identity},
  booktitle = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  pages     = {185--200},
  year      = {2014},
  crossref  = {DBLP:conf/atva/2014},
  url       = {https://doi.org/10.1007/978-3-319-11936-6\_14},
  doi       = {10.1007/978-3-319-11936-6\_14},
  timestamp = {Fri, 02 Nov 2018 09:35:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atva/GuptaKKV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/BiereDKV14,
  author    = {Armin Biere and
               Ioan Dragan and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {{SAT} solving experiments in Vampire},
  booktitle = {Proceedings of the 1st and 2nd Vampire Workshops, Vampire@VSL 2014,
               Vienna, Austria, July 23, 2014 / Vampire@CADE 2015, Berlin, Germany,
               August 2, 2015},
  pages     = {29--32},
  year      = {2014},
  crossref  = {DBLP:conf/cade/2014-15vampire},
  url       = {http://www.easychair.org/publications/paper/181258},
  timestamp = {Tue, 25 Jul 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/BiereDKV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/DraganK14,
  author    = {Ioan Dragan and
               Laura Kov{\'{a}}cs},
  title     = {Lingva: Generating and Proving Program Properties Using Symbol Elimination},
  booktitle = {Perspectives of System Informatics - 9th International Ershov Informatics
               Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
               Revised Selected Papers},
  pages     = {67--75},
  year      = {2014},
  crossref  = {DBLP:conf/ershov/2014},
  url       = {https://doi.org/10.1007/978-3-662-46823-4\_6},
  doi       = {10.1007/978-3-662-46823-4\_6},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/DraganK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ShoaeiKL14,
  author    = {Mohammad Reza Shoaei and
               Laura Kov{\'{a}}cs and
               Bengt Lennartson},
  title     = {Supervisory Control of Discrete-Event Systems via {IC3}},
  booktitle = {Hardware and Software: Verification and Testing - 10th International
               Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
               18-20, 2014. Proceedings},
  pages     = {252--266},
  year      = {2014},
  crossref  = {DBLP:conf/hvc/2014},
  url       = {https://doi.org/10.1007/978-3-319-13338-6\_19},
  doi       = {10.1007/978-3-319-13338-6\_19},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/ShoaeiKL14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/BiereDKV14,
  author    = {Armin Biere and
               Ioan Dragan and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Experimenting with {SAT} Solvers in Vampire},
  booktitle = {Human-Inspired Computing and Its Applications - 13th Mexican International
               Conference on Artificial Intelligence, {MICAI} 2014, Tuxtla Guti{\'{e}}rrez,
               Mexico, November 16-22, 2014. Proceedings, Part {I}},
  pages     = {431--442},
  year      = {2014},
  crossref  = {DBLP:conf/micai/2014-1},
  url       = {https://doi.org/10.1007/978-3-319-13647-9\_39},
  doi       = {10.1007/978-3-319-13647-9\_39},
  timestamp = {Wed, 24 May 2017 08:27:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micai/BiereDKV14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/KovacsPST13,
  author    = {Laura Kov{\'{a}}cs and
               Rosario Pugliese and
               Josep Silva and
               Francesco Tiezzi},
  title     = {Special issue on Automated Specification and Verification of Web Systems},
  journal   = {J. Log. Algebr. Program.},
  volume    = {82},
  number    = {8},
  pages     = {241--242},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.jlap.2013.05.007},
  doi       = {10.1016/j.jlap.2013.05.007},
  timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/jlp/KovacsPST13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/BiereKKZ13,
  author    = {Armin Biere and
               Jens Knoop and
               Laura Kov{\'{a}}cs and
               Jakob Zwirchmayr},
  title     = {SmacC: {A} Retargetable Symbolic Execution Engine},
  booktitle = {Automated Technology for Verification and Analysis - 11th International
               Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
  pages     = {482--486},
  year      = {2013},
  crossref  = {DBLP:conf/atva/2013},
  url       = {https://doi.org/10.1007/978-3-319-02444-8\_40},
  doi       = {10.1007/978-3-319-02444-8\_40},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/BiereKKZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KovacsV13,
  author    = {Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {First-Order Theorem Proving and Vampire},
  booktitle = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  pages     = {1--35},
  year      = {2013},
  crossref  = {DBLP:conf/cav/2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8\_1},
  doi       = {10.1007/978-3-642-39799-8\_1},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/KovacsV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlancGKK13,
  author    = {R{\'{e}}gis Blanc and
               Ashutosh Gupta and
               Laura Kov{\'{a}}cs and
               Bernhard Kragl},
  title     = {Tree Interpolation in Vampire},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
               International Conference, LPAR-19, Stellenbosch, South Africa, December
               14-19, 2013. Proceedings},
  pages     = {173--181},
  year      = {2013},
  crossref  = {DBLP:conf/lpar/2013},
  url       = {https://doi.org/10.1007/978-3-642-45221-5\_13},
  doi       = {10.1007/978-3-642-45221-5\_13},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BlancGKK13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/KovacsMV13,
  author    = {Laura Kov{\'{a}}cs and
               Andrei Mantsivoda and
               Andrei Voronkov},
  title     = {The Inverse Method for Many-Valued Logics},
  booktitle = {Advances in Artificial Intelligence and Its Applications - 12th Mexican
               International Conference on Artificial Intelligence, {MICAI} 2013,
               Mexico City, Mexico, November 24-30, 2013, Proceedings, Part {I}},
  pages     = {12--23},
  year      = {2013},
  crossref  = {DBLP:conf/micai/2013-1},
  url       = {https://doi.org/10.1007/978-3-642-45114-0\_2},
  doi       = {10.1007/978-3-642-45114-0\_2},
  timestamp = {Sun, 04 Jun 2017 10:04:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micai/KovacsMV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/KovacsRS13,
  author    = {Laura Kov{\'{a}}cs and
               Simone Fulvio Rollini and
               Natasha Sharygina},
  title     = {A Parametric Interpolation Framework for First-Order Theories},
  booktitle = {Advances in Artificial Intelligence and Its Applications - 12th Mexican
               International Conference on Artificial Intelligence, {MICAI} 2013,
               Mexico City, Mexico, November 24-30, 2013, Proceedings, Part {I}},
  pages     = {24--40},
  year      = {2013},
  crossref  = {DBLP:conf/micai/2013-1},
  url       = {https://doi.org/10.1007/978-3-642-45114-0\_3},
  doi       = {10.1007/978-3-642-45114-0\_3},
  timestamp = {Sun, 04 Jun 2017 10:04:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micai/KovacsRS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/KnoopKZ13,
  author    = {Jens Knoop and
               Laura Kov{\'{a}}cs and
               Jakob Zwirchmayr},
  title     = {{WCET} squeezing: on-demand feasibility refinement for proven precise
               WCET-bounds},
  booktitle = {21st International Conference on Real-Time Networks and Systems, {RTNS}
               2013, Sophia Antipolis, France, October 17-18, 2013},
  pages     = {161--170},
  year      = {2013},
  crossref  = {DBLP:conf/rtns/2013},
  url       = {https://doi.org/10.1145/2516821.2516847},
  doi       = {10.1145/2516821.2516847},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtns/KnoopKZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/DraganKKV13,
  author    = {Ioan Dragan and
               Konstantin Korovin and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Bound Propagation for Arithmetic Reasoning in Vampire},
  booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
               23-26, 2013},
  pages     = {169--176},
  year      = {2013},
  crossref  = {DBLP:conf/synasc/2013},
  url       = {https://doi.org/10.1109/SYNASC.2013.30},
  doi       = {10.1109/SYNASC.2013.30},
  timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/DraganKKV13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcet/BiereKKZ13,
  author    = {Armin Biere and
               Jens Knoop and
               Laura Kov{\'{a}}cs and
               Jakob Zwirchmayr},
  title     = {The Auspicious Couple: Symbolic Execution and {WCET} Analysis},
  booktitle = {13th International Workshop on Worst-Case Execution Time Analysis,
               {WCET} 2013, July 9, 2013, Paris, France},
  pages     = {53--63},
  year      = {2013},
  crossref  = {DBLP:conf/wcet/2013},
  url       = {https://doi.org/10.4230/OASIcs.WCET.2013.53},
  doi       = {10.4230/OASIcs.WCET.2013.53},
  timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcet/BiereKKZ13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sycss/2013,
  editor    = {Laura Kov{\'{a}}cs and
               Temur Kutsia},
  title     = {5th International Symposium on Symbolic Computation in Software Science,
               {SCSS} 2013, Castle of Hagenberg, Austria},
  series    = {EPiC Series in Computing},
  volume    = {15},
  publisher = {EasyChair},
  year      = {2013},
  url       = {http://www.easychair.org/publications/?page=607702502},
  timestamp = {Thu, 16 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sycss/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wwv/2010,
  editor    = {Laura Kov{\'{a}}cs and
               Temur Kutsia},
  title     = {6th International Workshop on Automated Specification and Verification
               of Web Systems, {WWV} 2010, Vienna, Austria, July 30-31, 2010},
  series    = {EPiC Series in Computing},
  volume    = {18},
  publisher = {EasyChair},
  year      = {2013},
  url       = {http://www.easychair.org/publications/?page=1080130689},
  timestamp = {Thu, 16 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wwv/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/KovacsK12,
  author    = {Laura Kov{\'{a}}cs and
               Temur Kutsia},
  title     = {Special issue on Automated Specification and Verification of Web Systems},
  journal   = {J. Applied Logic},
  volume    = {10},
  number    = {1},
  pages     = {1},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jal.2011.11.001},
  doi       = {10.1016/j.jal.2011.11.001},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/japll/KovacsK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BjornerK12,
  author    = {Nikolaj Bj{\o}rner and
               Laura Kov{\'{a}}cs},
  title     = {Foreword},
  journal   = {J. Symb. Comput.},
  volume    = {47},
  number    = {12},
  pages     = {1413--1415},
  year      = {2012},
  url       = {https://doi.org/10.1016/j.jsc.2011.12.047},
  doi       = {10.1016/j.jsc.2011.12.047},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/BjornerK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/HoderHKV12,
  author    = {Krystof Hoder and
               Andreas Holzer and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Vinter: {A} Vampire-Based Tool for Interpolation},
  booktitle = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  pages     = {148--156},
  year      = {2012},
  crossref  = {DBLP:conf/aplas/2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2\_11},
  doi       = {10.1007/978-3-642-35182-2\_11},
  timestamp = {Fri, 02 Nov 2018 09:39:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/HoderHKV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KnoopKZ12,
  author    = {Jens Knoop and
               Laura Kov{\'{a}}cs and
               Jakob Zwirchmayr},
  title     = {r-TuBound: Loop Bounds for {WCET} Analysis (Tool Paper)},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
               International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
               11-15, 2012. Proceedings},
  pages     = {435--444},
  year      = {2012},
  crossref  = {DBLP:conf/lpar/2012},
  url       = {https://doi.org/10.1007/978-3-642-28717-6\_34},
  doi       = {10.1007/978-3-642-28717-6\_34},
  timestamp = {Tue, 23 May 2017 01:12:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/KnoopKZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/HoderKV12,
  author    = {Krystof Hoder and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Playing in the grey area of proofs},
  booktitle = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
               USA, January 22-28, 2012},
  pages     = {259--272},
  year      = {2012},
  crossref  = {DBLP:conf/popl/2012},
  url       = {https://doi.org/10.1145/2103656.2103689},
  doi       = {10.1145/2103656.2103689},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/HoderKV12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtns/BonenfantCMKKZ12,
  author    = {Armelle Bonenfant and
               Hugues Cass{\'{e}} and
               Marianne De Michiel and
               Jens Knoop and
               Laura Kov{\'{a}}cs and
               Jakob Zwirchmayr},
  title     = {{FFX:} a portable {WCET} annotation language},
  booktitle = {20th International Conference on Real-Time and Network Systems, {RTNS}
               '12, Pont a Mousson, France - November 08 - 09, 2012},
  pages     = {91--100},
  year      = {2012},
  crossref  = {DBLP:conf/rtns/2012},
  url       = {https://doi.org/10.1145/2392987.2392999},
  doi       = {10.1145/2392987.2392999},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtns/BonenfantCMKKZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KovacsPK12,
  author    = {Laura Kov{\'{a}}cs and
               B{\'{e}}la Pal{\'{a}}ncz and
               Levente Kov{\'{a}}cs},
  title     = {Solving Robust Glucose-Insulin Control by Dixon Resultant Computations},
  booktitle = {14th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
               26-29, 2012},
  pages     = {53--61},
  year      = {2012},
  crossref  = {DBLP:conf/synasc/2012},
  url       = {https://doi.org/10.1109/SYNASC.2012.54},
  doi       = {10.1109/SYNASC.2012.54},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/KovacsPK12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2010wing,
  editor    = {Andrei Voronkov and
               Laura Kov{\'{a}}cs and
               Nikolaj Bj{\o}rner},
  title     = {Second International Workshop on Invariant Generation, {WING} 2009,
               York, UK, March 29, 2009 and Third International Workshop on Invariant
               Generation, {WING} 2010, Edinburgh, UK, July 21, 2010},
  series    = {EPiC Series in Computing},
  volume    = {1},
  publisher = {EasyChair},
  year      = {2012},
  url       = {http://www.easychair.org/publications/?page=764134496},
  timestamp = {Thu, 16 Jun 2016 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2010wing},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/BjornerCKM12,
  author    = {Nikolaj Bj{\o}rner and
               Krishnendu Chatterjee and
               Laura Kov{\'{a}}cs and
               Rupak Majumdar},
  title     = {Games and Decisions for Rigorous Systems Engineering (Dagstuhl Seminar
               12461)},
  journal   = {Dagstuhl Reports},
  volume    = {2},
  number    = {11},
  pages     = {45--65},
  year      = {2012},
  url       = {https://doi.org/10.4230/DagRep.2.11.45},
  doi       = {10.4230/DagRep.2.11.45},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/dagstuhl-reports/BjornerCKM12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KovacsMV11,
  author    = {Laura Kov{\'{a}}cs and
               Georg Moser and
               Andrei Voronkov},
  title     = {On Transfinite Knuth-Bendix Orders},
  booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
               Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
  pages     = {384--399},
  year      = {2011},
  crossref  = {DBLP:conf/cade/2011},
  url       = {https://doi.org/10.1007/978-3-642-22438-6\_29},
  doi       = {10.1007/978-3-642-22438-6\_29},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/KovacsMV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/KnoopKZ11,
  author    = {Jens Knoop and
               Laura Kov{\'{a}}cs and
               Jakob Zwirchmayr},
  title     = {Symbolic Loop Bound Computation for {WCET} Analysis},
  booktitle = {Perspectives of Systems Informatics - 8th International Andrei Ershov
               Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
               1, 2011, Revised Selected Papers},
  pages     = {227--242},
  year      = {2011},
  crossref  = {DBLP:conf/ershov/2011},
  url       = {https://doi.org/10.1007/978-3-642-29709-0\_20},
  doi       = {10.1007/978-3-642-29709-0\_20},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/KnoopKZ11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/HoderKV11,
  author    = {Krystof Hoder and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Case Studies on Invariant Generation Using a Saturation Theorem Prover},
  booktitle = {Advances in Artificial Intelligence - 10th Mexican International Conference
               on Artificial Intelligence, {MICAI} 2011, Puebla, Mexico, November
               26 - December 4, 2011, Proceedings, Part {I}},
  pages     = {1--15},
  year      = {2011},
  crossref  = {DBLP:conf/micai/2011-1},
  url       = {https://doi.org/10.1007/978-3-642-25324-9\_1},
  doi       = {10.1007/978-3-642-25324-9\_1},
  timestamp = {Wed, 14 Nov 2018 10:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/micai/HoderKV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/Kovacs11,
  author    = {Laura Kov{\'{a}}cs},
  title     = {Symbol Elimination in Program Analysis},
  booktitle = {13th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
               26-29, 2011},
  pages     = {12},
  year      = {2011},
  crossref  = {DBLP:conf/synasc/2011},
  url       = {https://doi.org/10.1109/SYNASC.2011.60},
  doi       = {10.1109/SYNASC.2011.60},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/Kovacs11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/HoderKV11,
  author    = {Krystof Hoder and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Invariant Generation in Vampire},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
               - 17th International Conference, {TACAS} 2011, Held as Part of the
               Joint European Conferences on Theory and Practice of Software, {ETAPS}
               2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  pages     = {60--64},
  year      = {2011},
  crossref  = {DBLP:conf/tacas/2011},
  url       = {https://doi.org/10.1007/978-3-642-19835-9\_7},
  doi       = {10.1007/978-3-642-19835-9\_7},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/HoderKV11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1108-2085,
  editor    = {Laura Kov{\'{a}}cs and
               Rosario Pugliese and
               Francesco Tiezzi},
  title     = {Proceedings 7th International Workshop on Automated Specification
               and Verification of Web Systems, {WWV} 2011, Reykjavik, Iceland, 9th
               June 2011},
  series    = {{EPTCS}},
  volume    = {61},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.61},
  doi       = {10.4204/EPTCS.61},
  timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1108-2085},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GieseIK10,
  author    = {Martin Giese and
               Andrew Ireland and
               Laura Kov{\'{a}}cs},
  title     = {Introduction},
  journal   = {J. Symb. Comput.},
  volume    = {45},
  number    = {11},
  pages     = {1097--1100},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.jsc.2010.06.002},
  doi       = {10.1016/j.jsc.2010.06.002},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jsc/GieseIK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HoderKV10,
  author    = {Krystof Hoder and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Interpolation and Symbol Elimination in Vampire},
  booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
               Edinburgh, UK, July 16-19, 2010. Proceedings},
  pages     = {188--195},
  year      = {2010},
  crossref  = {DBLP:conf/cade/2010},
  url       = {https://doi.org/10.1007/978-3-642-14203-1\_16},
  doi       = {10.1007/978-3-642-14203-1\_16},
  timestamp = {Fri, 02 Nov 2018 09:46:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/HoderKV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BlancHHK10,
  author    = {R{\'{e}}gis Blanc and
               Thomas A. Henzinger and
               Thibaud Hottelier and
               Laura Kov{\'{a}}cs},
  title     = {{ABC:} Algebraic Bound Computation for Loops},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  pages     = {103--118},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010d},
  url       = {https://doi.org/10.1007/978-3-642-17511-4\_7},
  doi       = {10.1007/978-3-642-17511-4\_7},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/BlancHHK10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HenzingerHKR10,
  author    = {Thomas A. Henzinger and
               Thibaud Hottelier and
               Laura Kov{\'{a}}cs and
               Andrey Rybalchenko},
  title     = {Aligators for Arrays (Tool Paper)},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
               International Conference, LPAR-17, Yogyakarta, Indonesia, October
               10-15, 2010. Proceedings},
  pages     = {348--356},
  year      = {2010},
  crossref  = {DBLP:conf/lpar/2010y},
  url       = {https://doi.org/10.1007/978-3-642-16242-8\_25},
  doi       = {10.1007/978-3-642-16242-8\_25},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/HenzingerHKR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/HenzingerHKV10,
  author    = {Thomas A. Henzinger and
               Thibaud Hottelier and
               Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Invariant and Type Inference for Matrices},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 11th International
               Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  pages     = {163--179},
  year      = {2010},
  crossref  = {DBLP:conf/vmcai/2010},
  url       = {https://doi.org/10.1007/978-3-642-11319-2\_14},
  doi       = {10.1007/978-3-642-11319-2\_14},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/HenzingerHKV10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KovacsV09,
  author    = {Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Interpolation and Symbol Elimination},
  booktitle = {Automated Deduction - CADE-22, 22nd International Conference on Automated
               Deduction, Montreal, Canada, August 2-7, 2009. Proceedings},
  pages     = {199--213},
  year      = {2009},
  crossref  = {DBLP:conf/cade/2009},
  url       = {https://doi.org/10.1007/978-3-642-02959-2\_17},
  doi       = {10.1007/978-3-642-02959-2\_17},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/KovacsV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ershov/Kovacs09,
  author    = {Laura Kov{\'{a}}cs},
  title     = {A Complete Invariant Generation Approach for P-solvable Loops},
  booktitle = {Perspectives of Systems Informatics, 7th International Andrei Ershov
               Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
               2009. Revised Papers},
  pages     = {242--256},
  year      = {2009},
  crossref  = {DBLP:conf/ershov/2009},
  url       = {https://doi.org/10.1007/978-3-642-11486-1\_21},
  doi       = {10.1007/978-3-642-11486-1\_21},
  timestamp = {Wed, 14 Nov 2018 10:57:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/Kovacs09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/KovacsV09,
  author    = {Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Finding Loop Invariants for Programs over Arrays Using a Theorem Prover},
  booktitle = {Fundamental Approaches to Software Engineering, 12th International
               Conference, {FASE} 2009, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
               22-29, 2009. Proceedings},
  pages     = {470--485},
  year      = {2009},
  crossref  = {DBLP:conf/fase/2009},
  url       = {https://doi.org/10.1007/978-3-642-00593-0\_33},
  doi       = {10.1007/978-3-642-00593-0\_33},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/KovacsV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KovacsV09,
  author    = {Laura Kov{\'{a}}cs and
               Andrei Voronkov},
  title     = {Finding Loop Invariants for Programs over Arrays Using a Theorem Prover},
  booktitle = {11th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
               26-29, 2009},
  pages     = {10},
  year      = {2009},
  crossref  = {DBLP:conf/synasc/2009},
  url       = {https://doi.org/10.1109/SYNASC.2009.66},
  doi       = {10.1109/SYNASC.2009.66},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/KovacsV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Kovacs08,
  author    = {Laura Kov{\'{a}}cs},
  title     = {Aligator: {A} Mathematica Package for Invariant Generation (System
               Description)},
  booktitle = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
               Sydney, Australia, August 12-15, 2008, Proceedings},
  pages     = {275--282},
  year      = {2008},
  crossref  = {DBLP:conf/cade/2008},
  url       = {https://doi.org/10.1007/978-3-540-71070-7\_22},
  doi       = {10.1007/978-3-540-71070-7\_22},
  timestamp = {Sun, 12 Nov 2017 23:10:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/Kovacs08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Kovacs08,
  author    = {Laura Kov{\'{a}}cs},
  title     = {Invariant Generation for P-Solvable Loops with Assignments},
  booktitle = {Computer Science - Theory and Applications, Third International Computer
               Science Symposium in Russia, {CSR} 2008, Moscow, Russia, June 7-12,
               2008, Proceedings},
  pages     = {349--359},
  year      = {2008},
  crossref  = {DBLP:conf/csr/2008},
  url       = {https://doi.org/10.1007/978-3-540-79709-8\_35},
  doi       = {10.1007/978-3-540-79709-8\_35},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csr/Kovacs08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/HenzingerHK08,
  author    = {Thomas A. Henzinger and
               Thibaud Hottelier and
               Laura Kov{\'{a}}cs},
  title     = {Valigator: {A} Verification Tool with Bound and Invariant Generation},
  booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  pages     = {333--342},
  year      = {2008},
  crossref  = {DBLP:conf/lpar/2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1\_24},
  doi       = {10.1007/978-3-540-89439-1\_24},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/HenzingerHK08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/Kovacs08,
  author    = {Laura Kov{\'{a}}cs},
  title     = {Reasoning Algebraically About P-Solvable Loops},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  pages     = {249--264},
  year      = {2008},
  crossref  = {DBLP:conf/tacas/2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3\_18},
  doi       = {10.1007/978-3-540-78800-3\_18},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/Kovacs08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/BuchbergerCJKKNPPRR06,
  author    = {Bruno Buchberger and
               Adrian Craciun and
               Tudor Jebelean and
               Laura Kov{\'{a}}cs and
               Temur Kutsia and
               Koji Nakagawa and
               Florina Piroi and
               Nikolaj Popov and
               Judit Robu and
               Markus Rosenkranz and
               Wolfgang Windsteiger},
  title     = {Theorema: Towards computer-aided mathematical theory exploration},
  journal   = {J. Applied Logic},
  volume    = {4},
  number    = {4},
  pages     = {470--504},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.jal.2005.10.006},
  doi       = {10.1016/j.jal.2005.10.006},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/japll/BuchbergerCJKKNPPRR06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KovacsPJ06,
  author    = {Laura Kov{\'{a}}cs and
               Nikolaj Popov and
               Tudor Jebelean},
  title     = {Combining Logic and Algebraic Techniques for Program Verification
               in Theorema},
  booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages     = {67--74},
  year      = {2006},
  crossref  = {DBLP:conf/isola/2006},
  url       = {https://doi.org/10.1109/ISoLA.2006.46},
  doi       = {10.1109/ISoLA.2006.46},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/KovacsPJ06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/KovacsJ05,
  author    = {Laura Ildik{\'{o}} Kov{\'{a}}cs and
               Tudor Jebelean},
  title     = {An Algorithm for Automated Generation of Invariants for Loops with
               Conditionals},
  booktitle = {Seventh International Symposium on Symbolic and Numeric Algorithms
               for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
               Romania},
  pages     = {245--249},
  year      = {2005},
  crossref  = {DBLP:conf/synasc/2005},
  url       = {https://doi.org/10.1109/SYNASC.2005.19},
  doi       = {10.1109/SYNASC.2005.19},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/KovacsJ05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/JebeleanKP04,
  author    = {Tudor Jebelean and
               Laura Kov{\'{a}}cs and
               Nikolaj Popov},
  title     = {Experimental Program Verification in the Theorema System},
  booktitle = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  pages     = {92--99},
  year      = {2004},
  crossref  = {DBLP:conf/isola/2004i},
  timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/JebeleanKP04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2018,
  editor    = {Didier Galmiche and
               Stephan Schulz and
               Roberto Sebastiani},
  title     = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
               2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
               UK, July 14-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10900},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-94205-6},
  doi       = {10.1007/978-3-319-94205-6},
  isbn      = {978-3-319-94204-9},
  timestamp = {Mon, 09 Jul 2018 12:59:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2018,
  editor    = {Gilles Barthe and
               Geoff Sutcliffe and
               Margus Veanes},
  title     = {{LPAR-22.} 22nd International Conference on Logic for Programming,
               Artificial Intelligence and Reasoning, Awassa, Ethiopia, 16-21 November
               2018},
  series    = {EPiC Series in Computing},
  volume    = {57},
  publisher = {EasyChair},
  year      = {2018},
  url       = {http://www.easychair.org/publications/volume/LPAR-22},
  timestamp = {Mon, 31 Dec 2018 12:25:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2018,
  editor    = {Florian Rabe and
               William M. Farmer and
               Grant O. Passmore and
               Abdou Youssef},
  title     = {Intelligent Computer Mathematics - 11th International Conference,
               {CICM} 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11006},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-96812-4},
  doi       = {10.1007/978-3-319-96812-4},
  isbn      = {978-3-319-96811-7},
  timestamp = {Thu, 02 Aug 2018 15:08:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2018,
  editor    = {Isil Dillig and
               Jens Palsberg},
  title     = {Verification, Model Checking, and Abstract Interpretation - 19th International
               Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10747},
  publisher = {Springer},
  year      = {2018},
  url       = {https://doi.org/10.1007/978-3-319-73721-8},
  doi       = {10.1007/978-3-319-73721-8},
  isbn      = {978-3-319-73720-1},
  timestamp = {Wed, 03 Jan 2018 17:48:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2018},
  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 = {Wed, 12 Jul 2017 10:06:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csl/2017,
  editor    = {Valentin Goranko and
               Mads Dam},
  title     = {26th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2017,
               August 20-24, 2017, Stockholm, Sweden},
  series    = {LIPIcs},
  volume    = {82},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2017},
  url       = {http://www.dagstuhl.de/dagpub/978-3-95977-045-3},
  isbn      = {978-3-95977-045-3},
  timestamp = {Wed, 27 Sep 2017 13:54:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2017,
  editor    = {Ofer Strichman and
               Rachel Tzoref{-}Brill},
  title     = {Hardware and Software: Verification and Testing - 13th International
               Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
               13-15, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10629},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-70389-3},
  doi       = {10.1007/978-3-319-70389-3},
  isbn      = {978-3-319-70388-6},
  timestamp = {Tue, 14 Nov 2017 14:53:18 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/issac/2017,
  editor    = {Michael A. Burr and
               Chee K. Yap and
               Mohab Safey El Din},
  title     = {Proceedings of the 2017 {ACM} on International Symposium on Symbolic
               and Algebraic Computation, {ISSAC} 2017, Kaiserslautern, Germany,
               July 25-28, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3087604},
  doi       = {10.1145/3087604},
  isbn      = {978-1-4503-5064-8},
  timestamp = {Tue, 06 Nov 2018 16:57:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/issac/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2017,
  editor    = {Thomas Eiter and
               David Sands},
  title     = {LPAR-21, 21st International Conference on Logic for Programming, Artificial
               Intelligence and Reasoning, Maun, Botswana, May 7-12, 2017},
  series    = {EPiC Series in Computing},
  volume    = {46},
  publisher = {EasyChair},
  year      = {2017},
  url       = {http://www.easychair.org/publications/volume/LPAR-21},
  timestamp = {Wed, 10 Apr 2019 09:28:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2017,
  editor    = {Giuseppe Castagna and
               Andrew D. Gordon},
  title     = {Proceedings of the 44th {ACM} {SIGPLAN} Symposium on Principles of
               Programming Languages, {POPL} 2017, Paris, France, January 18-20,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {https://doi.org/10.1145/3009837},
  doi       = {10.1145/3009837},
  isbn      = {978-1-4503-4660-3},
  timestamp = {Tue, 06 Nov 2018 11:07:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2017},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cpp/2016,
  editor    = {Jeremy Avigad and
               Adam Chlipala},
  title     = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs
               and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2854065},
  isbn      = {978-1-4503-4127-1},
  timestamp = {Mon, 18 Jan 2016 19:35:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cpp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gcai/2016,
  editor    = {Christoph Benzm{\"{u}}ller and
               Geoff Sutcliffe and
               Ra{\'{u}}l Rojas},
  title     = {{GCAI} 2016. 2nd Global Conference on Artificial Intelligence, September
               19 - October 2, 2016, Berlin, Germany},
  series    = {EPiC Series in Computing},
  volume    = {41},
  publisher = {EasyChair},
  year      = {2016},
  url       = {http://www.easychair.org/publications/volume/GCAI\_2016},
  timestamp = {Wed, 26 Apr 2017 13:32:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/gcai/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ifm/2016,
  editor    = {Erika {\'{A}}brah{\'{a}}m and
               Marieke Huisman},
  title     = {Integrated Formal Methods - 12th International Conference, {IFM} 2016,
               Reykjavik, Iceland, June 1-5, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9681},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33693-0},
  doi       = {10.1007/978-3-319-33693-0},
  isbn      = {978-3-319-33692-3},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ifm/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2015,
  editor    = {Jan Vitek},
  title     = {Programming Languages and Systems - 24th European Symposium on Programming,
               {ESOP} 2015, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9032},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46669-8},
  doi       = {10.1007/978-3-662-46669-8},
  isbn      = {978-3-662-46668-1},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/esop/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2015,
  editor    = {Martin Davis and
               Ansgar Fehnker and
               Annabelle McIver and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
               International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
               2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9450},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-48899-7},
  doi       = {10.1007/978-3-662-48899-7},
  isbn      = {978-3-662-48898-0},
  timestamp = {Fri, 02 Nov 2018 09:44:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mkm/2015,
  editor    = {Manfred Kerber and
               Jacques Carette and
               Cezary Kaliszyk and
               Florian Rabe and
               Volker Sorge},
  title     = {Intelligent Computer Mathematics - International Conference, {CICM}
               2015, Washington, DC, USA, July 13-17, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9150},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-20615-8},
  doi       = {10.1007/978-3-319-20615-8},
  isbn      = {978-3-319-20614-1},
  timestamp = {Fri, 02 Nov 2018 09:40:47 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mkm/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2014,
  editor    = {Franck Cassez and
               Jean{-}Fran{\c{c}}ois Raskin},
  title     = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8837},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-11936-6},
  doi       = {10.1007/978-3-319-11936-6},
  isbn      = {978-3-319-11935-9},
  timestamp = {Fri, 02 Nov 2018 09:35:17 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2014,
  editor    = {Andrei Voronkov and
               Irina Virbitskaite},
  title     = {Perspectives of System Informatics - 9th International Ershov Informatics
               Conference, {PSI} 2014, St. Petersburg, Russia, June 24-27, 2014.
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {8974},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-46823-4},
  doi       = {10.1007/978-3-662-46823-4},
  isbn      = {978-3-662-46822-7},
  timestamp = {Sun, 21 May 2017 00:18:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/hvc/2014,
  editor    = {Eran Yahav},
  title     = {Hardware and Software: Verification and Testing - 10th International
               Haifa Verification Conference, {HVC} 2014, Haifa, Israel, November
               18-20, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8855},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-13338-6},
  doi       = {10.1007/978-3-319-13338-6},
  isbn      = {978-3-319-13337-9},
  timestamp = {Fri, 19 May 2017 01:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/hvc/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micai/2014-1,
  editor    = {Alexander F. Gelbukh and
               F{\'{e}}lix Castro{-}Espinoza and
               Sof{\'{\i}}a N. Galicia{-}Haro},
  title     = {Human-Inspired Computing and Its Applications - 13th Mexican International
               Conference on Artificial Intelligence, {MICAI} 2014, Tuxtla Guti{\'{e}}rrez,
               Mexico, November 16-22, 2014. Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8856},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-13647-9},
  doi       = {10.1007/978-3-319-13647-9},
  isbn      = {978-3-319-13646-2},
  timestamp = {Wed, 24 May 2017 08:27:28 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micai/2014-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2013,
  editor    = {Dang Van Hung and
               Mizuhito Ogawa},
  title     = {Automated Technology for Verification and Analysis - 11th International
               Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8172},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-02444-8},
  doi       = {10.1007/978-3-319-02444-8},
  isbn      = {978-3-319-02443-1},
  timestamp = {Sun, 21 May 2017 00:22:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2013,
  editor    = {Natasha Sharygina and
               Helmut Veith},
  title     = {Computer Aided Verification - 25th International Conference, {CAV}
               2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8044},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39799-8},
  doi       = {10.1007/978-3-642-39799-8},
  isbn      = {978-3-642-39798-1},
  timestamp = {Thu, 25 May 2017 00:39:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2013,
  editor    = {Kenneth L. McMillan and
               Aart Middeldorp and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 19th
               International Conference, LPAR-19, Stellenbosch, South Africa, December
               14-19, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8312},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45221-5},
  doi       = {10.1007/978-3-642-45221-5},
  isbn      = {978-3-642-45220-8},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micai/2013-1,
  editor    = {F{\'{e}}lix Castro{-}Espinoza and
               Alexander F. Gelbukh and
               Miguel Gonz{\'{a}}lez{-}Mendoza},
  title     = {Advances in Artificial Intelligence and Its Applications - 12th Mexican
               International Conference on Artificial Intelligence, {MICAI} 2013,
               Mexico City, Mexico, November 24-30, 2013, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {8265},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-45114-0},
  doi       = {10.1007/978-3-642-45114-0},
  isbn      = {978-3-642-45113-3},
  timestamp = {Sun, 04 Jun 2017 10:04:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/micai/2013-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtns/2013,
  editor    = {Michel Auguin and
               Robert de Simone and
               Robert I. Davis and
               Emmanuel Grolleau},
  title     = {21st International Conference on Real-Time Networks and Systems, {RTNS}
               2013, Sophia Antipolis, France, October 17-18, 2013},
  publisher = {{ACM}},
  year      = {2013},
  url       = {http://dl.acm.org/citation.cfm?id=2516821},
  isbn      = {978-1-4503-2058-0},
  timestamp = {Tue, 24 Feb 2015 15:47:58 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtns/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2013,
  editor    = {Nikolaj Bj{\o}rner and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {15th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
               23-26, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6820820},
  isbn      = {978-1-4799-3035-7},
  timestamp = {Tue, 13 Jan 2015 18:19:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wcet/2013,
  editor    = {Claire Maiza},
  title     = {13th International Workshop on Worst-Case Execution Time Analysis,
               {WCET} 2013, July 9, 2013, Paris, France},
  series    = {{OASICS}},
  volume    = {30},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  year      = {2013},
  isbn      = {978-3-939897-54-5},
  timestamp = {Wed, 17 Jul 2013 13:06:29 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/wcet/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2012,
  editor    = {Ranjit Jhala and
               Atsushi Igarashi},
  title     = {Programming Languages and Systems - 10th Asian Symposium, {APLAS}
               2012, Kyoto, Japan, December 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7705},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-35182-2},
  doi       = {10.1007/978-3-642-35182-2},
  isbn      = {978-3-642-35181-5},
  timestamp = {Fri, 02 Nov 2018 09:39:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2012,
  editor    = {Nikolaj Bj{\o}rner and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
               International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
               11-15, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7180},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-28717-6},
  doi       = {10.1007/978-3-642-28717-6},
  isbn      = {978-3-642-28716-9},
  timestamp = {Tue, 23 May 2017 01:12:11 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2012,
  editor    = {John Field and
               Michael Hicks},
  title     = {Proceedings of the 39th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
               of Programming Languages, {POPL} 2012, Philadelphia, Pennsylvania,
               USA, January 22-28, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2103656},
  isbn      = {978-1-4503-1083-3},
  timestamp = {Sun, 03 Dec 2017 00:17:33 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/popl/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtns/2012,
  editor    = {Liliana Cucu{-}Grosjean and
               Nicolas Navet and
               Christine Rochange and
               James H. Anderson},
  title     = {20th International Conference on Real-Time and Network Systems, {RTNS}
               '12, Pont a Mousson, France - November 08 - 09, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2392987},
  isbn      = {978-1-4503-1409-1},
  timestamp = {Tue, 13 Nov 2012 17:27:02 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtns/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2012,
  editor    = {Andrei Voronkov and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {14th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2012, Timisoara, Romania, September
               26-29, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6480928},
  isbn      = {978-1-4673-5026-6},
  timestamp = {Tue, 13 Jan 2015 18:19:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/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 = {Sun, 21 May 2017 00:17:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2011,
  editor    = {Edmund M. Clarke and
               Irina Virbitskaite and
               Andrei Voronkov},
  title     = {Perspectives of Systems Informatics - 8th International Andrei Ershov
               Memorial Conference, {PSI} 2011, Novosibirsk, Russia, June 27-July
               1, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7162},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29709-0},
  doi       = {10.1007/978-3-642-29709-0},
  isbn      = {978-3-642-29708-3},
  timestamp = {Sun, 21 May 2017 00:18:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/micai/2011-1,
  editor    = {Ildar Z. Batyrshin and
               Grigori Sidorov},
  title     = {Advances in Artificial Intelligence - 10th Mexican International Conference
               on Artificial Intelligence, {MICAI} 2011, Puebla, Mexico, November
               26 - December 4, 2011, Proceedings, Part {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {7094},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-25324-9},
  doi       = {10.1007/978-3-642-25324-9},
  isbn      = {978-3-642-25323-2},
  timestamp = {Wed, 14 Nov 2018 10:59:49 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/micai/2011-1},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2011,
  editor    = {Dongming Wang and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Stephen M. Watt and
               Daniela Zaharie},
  title     = {13th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2011, Timisoara, Romania, September
               26-29, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6168887},
  isbn      = {978-1-4673-0207-4},
  timestamp = {Tue, 13 Jan 2015 18:19:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2011,
  editor    = {Parosh Aziz Abdulla and
               K. Rustan M. Leino},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems
               - 17th International Conference, {TACAS} 2011, Held as Part of the
               Joint European Conferences on Theory and Practice of Software, {ETAPS}
               2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6605},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19835-9},
  doi       = {10.1007/978-3-642-19835-9},
  isbn      = {978-3-642-19834-2},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2010,
  editor    = {J{\"{u}}rgen Giesl and
               Reiner H{\"{a}}hnle},
  title     = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
               Edinburgh, UK, July 16-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6173},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-14203-1},
  doi       = {10.1007/978-3-642-14203-1},
  isbn      = {978-3-642-14202-4},
  timestamp = {Fri, 02 Nov 2018 09:46:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010d,
  editor    = {Edmund M. Clarke and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 16th
               International Conference, LPAR-16, Dakar, Senegal, April 25-May 1,
               2010, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6355},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17511-4},
  doi       = {10.1007/978-3-642-17511-4},
  isbn      = {978-3-642-17510-7},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2010d},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2010y,
  editor    = {Christian G. Ferm{\"{u}}ller and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
               International Conference, LPAR-17, Yogyakarta, Indonesia, October
               10-15, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6397},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16242-8},
  doi       = {10.1007/978-3-642-16242-8},
  isbn      = {978-3-642-16241-1},
  timestamp = {Tue, 23 May 2017 01:12:10 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2010y},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2010,
  editor    = {Gilles Barthe and
               Manuel V. Hermenegildo},
  title     = {Verification, Model Checking, and Abstract Interpretation, 11th International
               Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5944},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11319-2},
  doi       = {10.1007/978-3-642-11319-2},
  isbn      = {978-3-642-11318-5},
  timestamp = {Wed, 24 May 2017 08:30:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2010},
  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 = {Sun, 21 May 2017 00:17:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ershov/2009,
  editor    = {Amir Pnueli and
               Irina Virbitskaite and
               Andrei Voronkov},
  title     = {Perspectives of Systems Informatics, 7th International Andrei Ershov
               Memorial Conference, {PSI} 2009, Novosibirsk, Russia, June 15-19,
               2009. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5947},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11486-1},
  doi       = {10.1007/978-3-642-11486-1},
  isbn      = {978-3-642-11485-4},
  timestamp = {Wed, 14 Nov 2018 10:57:09 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ershov/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2009,
  editor    = {Marsha Chechik and
               Martin Wirsing},
  title     = {Fundamental Approaches to Software Engineering, 12th International
               Conference, {FASE} 2009, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
               22-29, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5503},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00593-0},
  doi       = {10.1007/978-3-642-00593-0},
  isbn      = {978-3-642-00592-3},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fase/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2009,
  editor    = {Stephen M. Watt and
               Viorel Negru and
               Tetsuo Ida and
               Tudor Jebelean and
               Dana Petcu and
               Daniela Zaharie},
  title     = {11th International Symposium on Symbolic and Numeric Algorithms for
               Scientific Computing, {SYNASC} 2009, Timisoara, Romania, September
               26-29, 2009},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5459479},
  isbn      = {978-1-4244-5910-0},
  timestamp = {Tue, 13 Jan 2015 18:19:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cade/2008,
  editor    = {Alessandro Armando and
               Peter Baumgartner and
               Gilles Dowek},
  title     = {Automated Reasoning, 4th International Joint Conference, {IJCAR} 2008,
               Sydney, Australia, August 12-15, 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5195},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-71070-7},
  doi       = {10.1007/978-3-540-71070-7},
  isbn      = {978-3-540-71069-1},
  timestamp = {Sun, 12 Nov 2017 23:10:46 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/cade/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csr/2008,
  editor    = {Edward A. Hirsch and
               Alexander A. Razborov and
               Alexei L. Semenov and
               Anatol Slissenko},
  title     = {Computer Science - Theory and Applications, Third International Computer
               Science Symposium in Russia, {CSR} 2008, Moscow, Russia, June 7-12,
               2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5010},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-79709-8},
  doi       = {10.1007/978-3-540-79709-8},
  isbn      = {978-3-540-79708-1},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/csr/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpar/2008,
  editor    = {Iliano Cervesato and
               Helmut Veith and
               Andrei Voronkov},
  title     = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
               International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
               2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5330},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89439-1},
  doi       = {10.1007/978-3-540-89439-1},
  isbn      = {978-3-540-89438-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lpar/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2008,
  editor    = {C. R. Ramakrishnan and
               Jakob Rehof},
  title     = {Tools and Algorithms for the Construction and Analysis of Systems,
               14th International Conference, {TACAS} 2008, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2008,
               Budapest, Hungary, March 29-April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4963},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78800-3},
  doi       = {10.1007/978-3-540-78800-3},
  isbn      = {978-3-540-78799-0},
  timestamp = {Wed, 24 May 2017 08:28:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2006,
  title     = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4463675},
  isbn      = {978-0-7695-3071-0},
  timestamp = {Fri, 23 Dec 2016 12:21:36 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/synasc/2005,
  editor    = {Daniela Zaharie and
               Dana Petcu and
               Viorel Negru and
               Tudor Jebelean and
               Gabriel Ciobanu and
               Alexandru Cicortas and
               Ajith Abraham and
               Marcin Paprzycki},
  title     = {Seventh International Symposium on Symbolic and Numeric Algorithms
               for Scientific Computing {(SYNASC} 2005), 25-29 September 2005, Timisoara,
               Romania},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10639},
  isbn      = {0-7695-2453-2},
  timestamp = {Tue, 13 Jan 2015 18:19:56 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/synasc/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isola/2004i,
  editor    = {Tiziana Margaria and
               Bernhard Steffen and
               Anna Philippou and
               Manfred Reitenspie{\ss}},
  title     = {International Symposium on Leveraging Applications of Formal Methods,
               ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
               proceedings},
  series    = {Technical Report},
  volume    = {{TR-2004-6}},
  publisher = {Department of Computer Science, University of Cyprus},
  year      = {2004},
  timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isola/2004i},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI