Christian Doczkal: Publications

Saarland University Computer Science

Drafts

Regular Language Representations in the Constructive Type Theory of Coq   (pdf)
Christian Doczkal, Gert Smolka
Technical Report, submitted for review, 2017.

Journal, conference and workshop publications

Two-Way Automata in Coq   (pdf)
Christian Doczkal, Gert Smolka
Interactive Theorem Proving (ITP 2016), 2016.

Completeness and Decidability Results for CTL in Constructive Type Theory   (pdf)
Christian Doczkal, Gert Smolka
Journal of Automated Reasoning, 2016.
This is an extended and revised version of the ITP 2014 paper.

Transfinite Constructions in Classical Type Theory   (pdf)
Gert Smolka, Steven Schäfer, Christian Doczkal
Interactive Theorem Proving - 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, 2015.

Completeness and Decidability Results for CTL in Coq   (pdf)
Christian Doczkal, Gert Smolka
Interactive Theorem Proving (ITP 2014), 2014.

A Constructive Theory of Regular Languages in Coq   (pdf)
Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka
Certified Programs and Proofs, Third International Conference (CPP 2013), 2013.

Constructive Completeness for Modal Logic with Transitive Closure   (pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs, Second International Conference (CPP 2012), 2012.

Constructive Formalization of Hybrid Logic with Eventualities   (pdf)
Christian Doczkal, Gert Smolka
Certified Programs and Proofs, First International Conference (CPP 2011), 2011.

Formalizing a Strong Normalization Proof for Moggi's Computational Metalanguage   (pdf)
Christian Doczkal, Jan Schwinghammer
4th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP'09), 2009.

Theses

A Machine-Checked Constructive Metatheory of Computation Tree Logic   (pdf)
Christian Doczkal
PhD Thesis, Saarland University, 2016.

Formalizing TT-lifting in Isabelle/HOL-Nominal
Christian Doczkal
Master's Thesis, Saarland University, 2009.

Strong Normalization of Call-by-push-value   (pdf)
Christian Doczkal
B.Sc. Thesis, Programming Systems Lab, Department of Informatics, Saarland University, 2007.


Christian Doczkal, Tue Jun 25 12:18:28 2013