Ondrej Kuncar
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
3
Active years
2011–2018
Best venue rank
B
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CPP | Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). | Jose Divasn, Sebastiaan J. C. Joosten, Ondrej Kuncar, Ren Thiemann, Akihisa Yamada |
| 2017 | ESOP | Comprehending Isabelle/HOL's Consistency. | Ondrej Kuncar, Andrei Popescu |
| 2016 | ITP | From Types to Sets by Local Type Definitions in Higher-Order Logic. | Ondrej Kuncar, Andrei Popescu |
| 2015 | CPP | Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants. | Ondrej Kuncar |
| 2015 | ITP | A Consistent Foundation for Isabelle/HOL. | Ondrej Kuncar, Andrei Popescu |
| 2013 | CPP | Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. | Brian Huffman, Ondrej Kuncar |
| 2013 | ITP | Data Refinement in Isabelle/HOL. | Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow |
| 2011 | ITP | Proving Valid Quantified Boolean Formulas in HOL Light. | Ondrej Kuncar |