Christoph Kreitz

Publication Activity (10 Years)

Years Active: 1983-2019
Publications (10 Years): 6

Top Venues

ThEdu@CADE

HDI

SSCI

SEC

University of Hagen, Germany (PHD)

Education History

University of Hagen, Germany

PHD

Publications

Mohammadreza Ashouri, Christoph Kreitz
Scalayzer: a portable tool for vulnerability analysis in scala. SEC (2019)
Mohammadreza Ashouri, Christoph Kreitz
Hybrid Taint Flow Analysis in Scala. SSCI (2019)
Mario Frank, Christoph Kreitz
A Theorem Prover for Scientific and Educational Purposes. ThEdu@CADE (2017)
Maria Knobelsdorf, Christiane Frede, Sebastian Böhne, Christoph Kreitz
Theorem Provers as a Learning Tool in Theory of Computation. ICER (2017)
Sebastian Böhne, Christoph Kreitz
Learning how to Prove: From the Coq Proof Assistant to Textbook Style. ThEdu@CADE (2017)
Sebastian Böhne, Maria Knobelsdorf, Christoph Kreitz
Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq. HDI (2016)
Maria Knobelsdorf, Christoph Kreitz, Sebastian Böhne
Teaching theoretical computer science using a cognitive apprenticeship approach. SIGCSE (2014)
Christoph Kreitz
Nuprl as Logical Framework for Automating Proofs in Category Theory. Logic and Program Semantics (2012)
Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel
Specifying and Verifying Organizational Security Properties in First-Order Logic. Verification, Induction, Termination Analysis (2010)
Wolfgang Bibel, Christoph Kreitz
Connection method. Scholarpedia 4 (1) (2009)
Thomas Raths, Jens Otten, Christoph Kreitz
The ILTP Problem Library for Intuitionistic Logic. J. Autom. Reason. 38 (1-3) (2007)
Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran
Innovations in computational type theory using Nuprl. J. Appl. Log. 4 (4) (2006)
Dexter Kozen, Christoph Kreitz, Eva Richter
Automating Proofs in Category Theory. IJCAR (2006)
Christoph Kreitz
Formale Methoden der Künstlichen Intelligenz. Künstliche Intell. 20 (4) (2006)
Thomas Raths, Jens Otten, Christoph Kreitz
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. TABLEAUX (2005)
Christoph Kreitz, Heiko Mantel
A Matrix Characterization for Multiplicative Exponential Linear Logic. J. Autom. Reason. 32 (2) (2004)
Christoph Kreitz
Building reliable, high-performance networks with the Nuprl proof development system. J. Funct. Program. 14 (1) (2004)
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
MetaPRL - A Modular Logical Environment. TPHOLs (2003)
Christoph Kreitz, Brigitte Pientka
Connection-Driven Inductive Theorem Proving. Stud Logica 69 (2) (2001)
Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR (2001)
Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu
Proving Hybrid Protocols Correct. TPHOLs (2001)
Xiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable
Protocol Switching: Exploiting Meta-Properties. ICDCS Workshops (2001)
Christoph Kreitz
Prologue. Intellectics and Computational Logic (2000)
Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka
Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic (2000)
Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo
The Nuprl Open Logical Environment. CADE (2000)
Christoph Kreitz, Stephan Schmitt
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems. Inf. Comput. 162 (1-2) (2000)
Christoph Kreitz
Epilogue. Intellectics and Computational Logic (2000)
Christoph Kreitz, Brigitte Pientka
Matrix-Based Inductive Theorem Proving. TABLEAUX (2000)
Brigitte Pientka, Christoph Kreitz
Automating Inductive Specification Proofs. Fundam. Informaticae 39 (1-2) (1999)
Christoph Kreitz
Automated Fast-Track Reconfiguration of Group Communication Systems. TACAS (1999)
Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable
Building reliable, high-performance communication systems from components. SOSP (1999)
Christoph Kreitz, Jens Otten
Connection-based Theorem Proving in Classical and Non-classical Logics. J. Univers. Comput. Sci. 5 (3) (1999)
Brigitte Pientka, Christoph Kreitz
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. AISC (1998)
Heiko Mantel, Christoph Kreitz
A Matrix Characterization for MELL. JELIA (1998)
Christoph Kreitz, Mark Hayden, Jason Hickey
A Proof Environment for the Development of Group Communication Systems. CADE (1998)
Stephan Schmitt, Christoph Kreitz
Deleting Redundancy in Proof Reconstruction. TABLEAUX (1998)
Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt
Connection-Based Proof Construction in Linear Logic. CADE (1997)
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann
A Multi-level Approach to Program Synthesis. LOPSTR (1997)
Daniel S. Korn, Christoph Kreitz
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. CADE (1997)
Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt
Problem-Oriented Applications of Automated Theorem Proving. DISCO (1996)
Stephan Schmitt, Christoph Kreitz
Converting Non-Classical Matrix Proofs into Sequent-Style Systems. CADE (1996)
Christoph Kreitz
Formal Mathematics for Verifiably Correct Program Synthesis. Log. J. IGPL 4 (1) (1996)
Jens Otten, Christoph Kreitz
T-String Unification: Unifying Prefixes in Non-classical Proof Methods. TABLEAUX (1996)
Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi
Formal Reasoning about Modules, Reuse and their Correctness. FAPR (1996)
Jens Otten, Christoph Kreitz
A Uniform Proof Procedure for Classical and Non-Classical Logics. KI (1996)
Christoph Kreitz, Jens Otten, Stephan Schmitt
Guiding Program Development Systems by a Connection Based Proof Strategy. LOPSTR (1995)
Stephan Schmitt, Christoph Kreitz
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. TABLEAUX (1995)
Thierry Boy de la Tour, Christoph Kreitz
Building Proofs by Analogy via the Curry-Horward Isomorphism. LPAR (1992)
Klaus Weihrauch, Christoph Kreitz
Type 2 Computational Complexity of Functions on Cantor's Space. Theor. Comput. Sci. 82 (1) (1991)
Christoph Kreitz
The Representation of Program Synthesis in Higher Order Logic. GWAI (1990)
Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz
XPRTS - An Implementation Tool for Program Synthesis. GWAI (1989)
Christoph Kreitz, Gerd Neugebauer, Bertram Fronhöfer
Logic oriented program synthesis Forschungsberichte, TU Munich (1988)
Christoph Kreitz, Klaus Weihrauch
Compactness in constructive analysis revisited. Ann. Pure Appl. Log. 36 (1987)
Klaus Weihrauch, Christoph Kreitz
Representations of the real numbers and of the open subsets of the set of real numbers. Ann. Pure Appl. Log. 35 (1987)
Christoph Kreitz, Klaus Weihrauch
Theory of Representations. Theor. Comput. Sci. 38 (1985)
Christoph Kreitz, Klaus Weihrauch
Complexity theory on real numbers and functions. Theoretical Computer Science (1983)

Christoph Kreitz.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Christoph Kreitz