Christian Doczkal

Available identifiers

Publication	Date of Publication	Type
Fixing and mechanizing the security proof of Fiat-Shamir with aborts and Dilithium	2024-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q6099604	2023-06-20	Paper
Treewidth-two graphs as a free algebra	2021-08-04	Paper
Graph theory in Coq: minors, treewidth, and isomorphisms	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	2018-08-21	Paper
Two-Way Automata in Coq	2016-10-27	Paper
Completeness and decidability results for CTL in constructive type theory	2016-05-26	Paper
Transfinite constructions in classical type theory	2015-09-14	Paper
A constructive theory of regular languages in Coq	2015-01-13	Paper
Completeness and Decidability Results for CTL in Coq	2014-09-08	Paper
Constructive completeness for modal logic with transitive closure	2013-04-19	Paper
Constructive Formalization of Hybrid Logic with Eventualities	2011-11-22	Paper

This page was built for person: Christian Doczkal