Christian Doczkal

Available identifiers

zbMath Open doczkal.christianMaRDI QIDQ287373

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q5005163	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Christian Doczkal