Ondrej Kuncar

ORCID

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 10

Top Venues

ITP

CPP

J. Autom. Reason.

Proc. ACM Program. Lang.

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Ondrej Kuncar, Andrei Popescu
From Types to Sets by Local Type Definition in Higher-Order Logic. J. Autom. Reason. 62 (2) (2019)
Ondrej Kuncar, Andrei Popescu
A Consistent Foundation for Isabelle/HOL. J. Autom. Reason. 62 (4) (2019)
Jose Divasón, Sebastiaan J. C. Joosten, Ondrej Kuncar, René Thiemann, Akihisa Yamada
Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper). CPP (2018)
Ondrej Kuncar, Andrei Popescu
Safety and conservativity of definitions in HOL and Isabelle/HOL. Proc. ACM Program. Lang. 2 (POPL) (2018)
Julian Biendarra, Jasmin Christian Blanchette, Aymeric Bouzy, Martin Desharnais, Mathias Fleury, Johannes Hölzl, Ondrej Kuncar, Andreas Lochbihler, Fabian Meier, Lorenz Panny, Andrei Popescu, Christian Sternagel, René Thiemann, Dmitriy Traytel
Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. FroCoS (2017)
Ondrej Kuncar, Andrei Popescu
Comprehending Isabelle/HOL's Consistency. ESOP (2017)
Jose Divasón, Ondrej Kuncar, René Thiemann, Akihisa Yamada
Perron-Frobenius Theorem for Spectral Radius Analysis. Arch. Formal Proofs 2016 (2016)
Ondrej Kuncar, Andrei Popescu
From Types to Sets by Local Type Definitions in Higher-Order Logic. ITP (2016)
Ondrej Kuncar, Andrei Popescu
A Consistent Foundation for Isabelle/HOL. ITP (2015)
Ondrej Kuncar
Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants. CPP (2015)
Florian Haftmann, Alexander Krauss, Ondrej Kuncar, Tobias Nipkow
Data Refinement in Isabelle/HOL. ITP (2013)
Brian Huffman, Ondrej Kuncar
Lifting and Transfer: A Modular Design for Quotients in Isabelle/HOL. CPP (2013)
Ondrej Kuncar
Proving Valid Quantified Boolean Formulas in HOL Light. ITP (2011)

Ondrej Kuncar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ondrej Kuncar