# Ondrej Kuncar

According to our database

Collaborative distances:

^{1}, Ondrej Kuncar authored at least 13 papers between 2011 and 2019.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2019

J. Autom. Reason., 2019

J. Autom. Reason., 2019

2018

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

2017

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

Proceedings of the Programming Languages and Systems, 2017

2016

PhD thesis, 2016

Arch. Formal Proofs, 2016

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

2015

Correctness of Isabelle's Cyclicity Checker: Implementability of Overloading in Proof Assistants.

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2013

Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013

Proceedings of the Certified Programs and Proofs - Third International Conference, 2013

2011

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011