BibTeX records: Ondrej Kuncar

download as .bib file

@inproceedings{DBLP:conf/esop/Kuncar017,
  author    = {Ondrej Kuncar and
               Andrei Popescu},
  title     = {Comprehending Isabelle/HOL's Consistency},
  booktitle = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  pages     = {724--749},
  year      = {2017},
  crossref  = {DBLP:conf/esop/2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1_27},
  doi       = {10.1007/978-3-662-54434-1_27},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/esop/Kuncar017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/frocos/BiendarraBBDFHK17,
  author    = {Julian Biendarra and
               Jasmin Christian Blanchette and
               Aymeric Bouzy and
               Martin Desharnais and
               Mathias Fleury and
               Johannes H{\"{o}}lzl and
               Ondrej Kuncar and
               Andreas Lochbihler and
               Fabian Meier and
               Lorenz Panny and
               Andrei Popescu and
               Christian Sternagel and
               Ren{\'{e}} Thiemann and
               Dmitriy Traytel},
  title     = {Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic},
  booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
               2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
  pages     = {3--21},
  year      = {2017},
  crossref  = {DBLP:conf/frocos/2017},
  url       = {https://doi.org/10.1007/978-3-319-66167-4_1},
  doi       = {10.1007/978-3-319-66167-4_1},
  timestamp = {Tue, 05 Sep 2017 14:29:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/frocos/BiendarraBBDFHK17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Kuncar16,
  author    = {Ondrej Kuncar},
  title     = {Types, Abstraction and Parametric Polymorphism in Higher-Order Logic},
  school    = {Technical University Munich, Germany},
  year      = {2016},
  url       = {http://nbn-resolving.de/urn:nbn:de:bvb:91-diss-20160408-1285267-1-5},
  urn       = {urn:nbn:de:bvb:91-diss-20160408-1285267-1-5},
  timestamp = {Wed, 09 Nov 2016 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/phd/dnb/Kuncar16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/afp/DivasonKTY16,
  author    = {Jose Divas{\'{o}}n and
               Ondrej Kuncar and
               Ren{\'{e}} Thiemann and
               Akihisa Yamada},
  title     = {Perron-Frobenius Theorem for Spectral Radius Analysis},
  journal   = {Archive of Formal Proofs},
  volume    = {2016},
  year      = {2016},
  url       = {https://www.isa-afp.org/entries/Perron_Frobenius.shtml},
  timestamp = {Mon, 19 Sep 2016 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/afp/DivasonKTY16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/Kuncar016,
  author    = {Ondrej Kuncar and
               Andrei Popescu},
  title     = {From Types to Sets by Local Type Definitions in Higher-Order Logic},
  booktitle = {Interactive Theorem Proving - 7th International Conference, {ITP}
               2016, Nancy, France, August 22-25, 2016, Proceedings},
  pages     = {200--218},
  year      = {2016},
  crossref  = {DBLP:conf/itp/2016},
  url       = {https://doi.org/10.1007/978-3-319-43144-4_13},
  doi       = {10.1007/978-3-319-43144-4_13},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/Kuncar016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Kuncar15,
  author    = {Ondrej Kuncar},
  title     = {Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading
               in Proof Assistants},
  booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
               {CPP} 2015, Mumbai, India, January 15-17, 2015},
  pages     = {85--94},
  year      = {2015},
  crossref  = {DBLP:conf/cpp/2015},
  url       = {http://doi.acm.org/10.1145/2676724.2693175},
  doi       = {10.1145/2676724.2693175},
  timestamp = {Thu, 22 Jan 2015 10:08:37 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpp/Kuncar15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/Kuncar015,
  author    = {Ondrej Kuncar and
               Andrei Popescu},
  title     = {A Consistent Foundation for Isabelle/HOL},
  booktitle = {Interactive Theorem Proving - 6th International Conference, {ITP}
               2015, Nanjing, China, August 24-27, 2015, Proceedings},
  pages     = {234--252},
  year      = {2015},
  crossref  = {DBLP:conf/itp/2015},
  url       = {https://doi.org/10.1007/978-3-319-22102-1_16},
  doi       = {10.1007/978-3-319-22102-1_16},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/Kuncar015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cpp/HuffmanK13,
  author    = {Brian Huffman and
               Ondrej Kuncar},
  title     = {Lifting and Transfer: {A} Modular Design for Quotients in Isabelle/HOL},
  booktitle = {Certified Programs and Proofs - Third International Conference, {CPP}
               2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
  pages     = {131--146},
  year      = {2013},
  crossref  = {DBLP:conf/cpp/2013},
  url       = {https://doi.org/10.1007/978-3-319-03545-1_9},
  doi       = {10.1007/978-3-319-03545-1_9},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpp/HuffmanK13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/HaftmannKKN13,
  author    = {Florian Haftmann and
               Alexander Krauss and
               Ondrej Kuncar and
               Tobias Nipkow},
  title     = {Data Refinement in Isabelle/HOL},
  booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
               2013, Rennes, France, July 22-26, 2013. Proceedings},
  pages     = {100--115},
  year      = {2013},
  crossref  = {DBLP:conf/itp/2013},
  url       = {https://doi.org/10.1007/978-3-642-39634-2_10},
  doi       = {10.1007/978-3-642-39634-2_10},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/HaftmannKKN13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/Kuncar11,
  author    = {Ondrej Kuncar},
  title     = {Proving Valid Quantified Boolean Formulas in {HOL} Light},
  booktitle = {Interactive Theorem Proving - Second International Conference, {ITP}
               2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
  pages     = {184--199},
  year      = {2011},
  crossref  = {DBLP:conf/itp/2011},
  url       = {https://doi.org/10.1007/978-3-642-22863-6_15},
  doi       = {10.1007/978-3-642-22863-6_15},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/Kuncar11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/esop/2017,
  editor    = {Hongseok Yang},
  title     = {Programming Languages and Systems - 26th European Symposium on Programming,
               {ESOP} 2017, Held as Part of the European Joint Conferences on Theory
               and Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
               2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10201},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-662-54434-1},
  doi       = {10.1007/978-3-662-54434-1},
  isbn      = {978-3-662-54433-4},
  timestamp = {Fri, 19 May 2017 01:25:18 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/esop/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/frocos/2017,
  editor    = {Clare Dixon and
               Marcelo Finger},
  title     = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
               2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10483},
  publisher = {Springer},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-66167-4},
  doi       = {10.1007/978-3-319-66167-4},
  isbn      = {978-3-319-66166-7},
  timestamp = {Tue, 05 Sep 2017 14:29:33 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/frocos/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2016,
  editor    = {Jasmin Christian Blanchette and
               Stephan Merz},
  title     = {Interactive Theorem Proving - 7th International Conference, {ITP}
               2016, Nancy, France, August 22-25, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9807},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-43144-4},
  doi       = {10.1007/978-3-319-43144-4},
  isbn      = {978-3-319-43143-7},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpp/2015,
  editor    = {Xavier Leroy and
               Alwen Tiu},
  title     = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
               {CPP} 2015, Mumbai, India, January 15-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2676724},
  isbn      = {978-1-4503-3296-5},
  timestamp = {Thu, 22 Jan 2015 10:08:37 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2015,
  editor    = {Christian Urban and
               Xingyuan Zhang},
  title     = {Interactive Theorem Proving - 6th International Conference, {ITP}
               2015, Nanjing, China, August 24-27, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9236},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-22102-1},
  doi       = {10.1007/978-3-319-22102-1},
  isbn      = {978-3-319-22101-4},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cpp/2013,
  editor    = {Georges Gonthier and
               Michael Norrish},
  title     = {Certified Programs and Proofs - Third International Conference, {CPP}
               2013, Melbourne, VIC, Australia, December 11-13, 2013, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8307},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-319-03545-1},
  doi       = {10.1007/978-3-319-03545-1},
  isbn      = {978-3-319-03544-4},
  timestamp = {Thu, 25 May 2017 00:42:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cpp/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2013,
  editor    = {Sandrine Blazy and
               Christine Paulin{-}Mohring and
               David Pichardie},
  title     = {Interactive Theorem Proving - 4th International Conference, {ITP}
               2013, Rennes, France, July 22-26, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7998},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39634-2},
  doi       = {10.1007/978-3-642-39634-2},
  isbn      = {978-3-642-39633-5},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2011,
  editor    = {Marko C. J. D. van Eekelen and
               Herman Geuvers and
               Julien Schmaltz and
               Freek Wiedijk},
  title     = {Interactive Theorem Proving - Second International Conference, {ITP}
               2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6898},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22863-6},
  doi       = {10.1007/978-3-642-22863-6},
  isbn      = {978-3-642-22862-9},
  timestamp = {Sun, 21 May 2017 00:18:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier