According to our database1, Ondrej Kuncar authored at least 13 papers between 2011 and 2019.
Legend:Book In proceedings Article PhD thesis Other
J. Autom. Reason., 2019
Proc. ACM Program. Lang., 2018
Efficient certification of complexity proofs: formalizing the Perron-Frobenius theorem (invited talk paper).
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018
Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017
Proceedings of the Programming Languages and Systems, 2017
PhD thesis, 2016
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016
Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants.
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
Proceedings of the Certified Programs and Proofs - Third International Conference, 2013
Proceedings of the Interactive Theorem Proving - Second International Conference, 2011