Christian Doczkal

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium Advances in Cryptology – CRYPTO 2023	2024-02-06	Paper
scientific article; zbMATH DE number 7699434 (Why is no real title available?)	2023-06-20	Paper
Treewidth-two graphs as a free algebra	2021-08-04	Paper
Graph theory in Coq: minors, treewidth, and isomorphisms Journal of Automated Reasoning	2020-11-02	Paper
A formal proof of the minor-exclusion property for treewidth-two graphs	2018-10-04	Paper
Regular language representations in the constructive type theory of Coq Journal of Automated Reasoning	2018-08-21	Paper
Two-Way Automata in Coq Interactive Theorem Proving	2016-10-27	Paper
Completeness and decidability results for CTL in constructive type theory Journal of Automated Reasoning	2016-05-26	Paper
Transfinite constructions in classical type theory Interactive Theorem Proving	2015-09-14	Paper
A constructive theory of regular languages in Coq Certified Programs and Proofs	2015-01-13	Paper
Completeness and Decidability Results for CTL in Coq Interactive Theorem Proving	2014-09-08	Paper
Constructive completeness for modal logic with transitive closure Certified Programs and Proofs	2013-04-19	Paper
Constructive Formalization of Hybrid Logic with Eventualities Certified Programs and Proofs	2011-11-22	Paper

Research outcomes over time

This page was built for person: Christian Doczkal