Programming Systems Lab: Publications by Christian Doczkal

Saarland University Computer Science

Select author:

2017

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

2016

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

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

Completeness and Decidability Results for CTL in Constructive Type Theory   (pdf)
Christian Doczkal, Gert Smolka
Journal of Automated Reasoning

2015

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

2014

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

2013

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)

2012

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

2011

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

2009

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

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)

2007

A Proof of Strong Normalization for Call-by-push-value   (pdf)
Christian Doczkal, Jan Schwinghammer

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


Login to edit


Webmaster, Mon May 30 13:48:30 2016