Christoph Kreitz

According to our database, Christoph Kreitz authored at least 58 papers between 1983 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2020

Automatische Inferenz.

Christoph Kreitz, Mario Frank

Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2019

Hybrid Taint Flow Analysis in Scala.

Mohammadreza Ashouri, Christoph Kreitz

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019

Scalayzer: a portable tool for vulnerability analysis in scala.

Mohammadreza Ashouri, Christoph Kreitz

Proceedings of the 4th ACM/IEEE Symposium on Edge Computing, 2019

2017

A Theorem Prover for Scientific and Educational Purposes.

Mario Frank, Christoph Kreitz

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

Learning how to Prove: From the Coq Proof Assistant to Textbook Style.

Sebastian Böhne, Christoph Kreitz

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

Theorem Provers as a Learning Tool in Theory of Computation.

Maria Knobelsdorf, Christiane Frede, Sebastian Böhne, Christoph Kreitz

Proceedings of the 2017 ACM Conference on International Computing Education Research, 2017

2016

Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq.

Sebastian Böhne, Maria Knobelsdorf, Christoph Kreitz

Proceedings of the Hochschuldidaktik der Informatik, 2016

2014

Teaching theoretical computer science using a cognitive apprenticeship approach.

Maria Knobelsdorf, Christoph Kreitz, Sebastian Böhne

Proceedings of the 45th ACM Technical Symposium on Computer Science Education, 2014

2012

Nuprl as Logical Framework for Automating Proofs in Category Theory.

Christoph Kreitz

Proceedings of the Logic and Program Semantics, 2012

2010

Specifying and Verifying Organizational Security Properties in First-Order Logic.

Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

Connection method.

Wolfgang Bibel, Christoph Kreitz

Scholarpedia, 2009

2007

The ILTP Problem Library for Intuitionistic Logic.

Thomas Raths, Jens Otten, Christoph Kreitz

J. Autom. Reason., 2007

2006

Formale Methoden der Künstlichen Intelligenz.

Christoph Kreitz

Künstliche Intell., 2006

Innovations in computational type theory using Nuprl.

Stuart F. Allen, Mark Bickford, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo, E. Moran

J. Appl. Log., 2006

Automating Proofs in Category Theory.

Dexter Kozen, Christoph Kreitz, Eva Richter

Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005

The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic.

Thomas Raths, Jens Otten, Christoph Kreitz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2005

2004

Building reliable, high-performance networks with the Nuprl proof development system.

Christoph Kreitz

J. Funct. Program., 2004

A Matrix Characterization for Multiplicative Exponential Linear Logic.

Christoph Kreitz, Heiko Mantel

J. Autom. Reason., 2004

2003

MetaPRL - A Modular Logical Environment.

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

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

2001

Connection-Driven Inductive Theorem Proving.

Christoph Kreitz, Brigitte Pientka

Stud Logica, 2001

Proving Hybrid Protocols Correct.

Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu

Proceedings of the Theorem Proving in Higher Order Logics, 14th International Conference, 2001

Protocol Switching: Exploiting Meta-Properties.

Xiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable

Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants.

Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin

Proceedings of the Automated Reasoning, First International Joint Conference, 2001

2000

A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems.

Christoph Kreitz, Stephan Schmitt

Inf. Comput., 2000

Matrix-Based Inductive Theorem Proving.

Christoph Kreitz, Brigitte Pientka

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

The Nuprl Open Logical Environment.

Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo

Proceedings of the Automated Deduction, 2000

Matrix-based Constructive Theorem Proving.

Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Epilogue.

Christoph Kreitz

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Prologue.

Christoph Kreitz

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

1999

Connection-based Theorem Proving in Classical and Non-classical Logics.

Christoph Kreitz, Jens Otten

J. Univers. Comput. Sci., 1999

Automating Inductive Specification Proofs.

Brigitte Pientka, Christoph Kreitz

Fundam. Informaticae, 1999

Automated Fast-Track Reconfiguration of Group Communication Systems.

Christoph Kreitz

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1999

Building reliable, high-performance communication systems from components.

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable

Proceedings of the 17th ACM Symposium on Operating System Principles, 1999

1998

Deleting Redundancy in Proof Reconstruction.

Stephan Schmitt, Christoph Kreitz

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1998

A Matrix Characterization for MELL.

Heiko Mantel, Christoph Kreitz

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

A Proof Environment for the Development of Group Communication Systems.

Christoph Kreitz, Mark Hayden, Jason Hickey

Proceedings of the Automated Deduction, 1998

Instantiation of Existentially Quantified Variables in Inductive Specification Proofs.

Brigitte Pientka, Christoph Kreitz

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

1997

A Multi-level Approach to Program Synthesis.

Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann

Proceedings of the Logic Programming Synthesis and Transformation, 1997

Connection-Based Proof Construction in Linear Logic.

Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt

Proceedings of the Automated Deduction, 1997

Deciding Intuitionistic Propositional Logic via Translation into Classical Logic.

Daniel S. Korn, Christoph Kreitz

Proceedings of the Automated Deduction, 1997

1996

Formal Mathematics for Verifiably Correct Program Synthesis.

Christoph Kreitz

Log. J. IGPL, 1996

T-String Unification: Unifying Prefixes in Non-classical Proof Methods.

Jens Otten, Christoph Kreitz

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996

A Uniform Proof Procedure for Classical and Non-Classical Logics.

Jens Otten, Christoph Kreitz

Proceedings of the KI-96: Advances in Artificial Intelligence, 1996

Formal Reasoning about Modules, Reuse and their Correctness.

Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi

Proceedings of the Practical Reasoning, 1996

Problem-Oriented Applications of Automated Theorem Proving.

Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt

Proceedings of the Design and Implementation of Symbolic Computation Systems, 1996

Converting Non-Classical Matrix Proofs into Sequent-Style Systems.

Stephan Schmitt, Christoph Kreitz

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

1995

On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs.

Stephan Schmitt, Christoph Kreitz

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1995

Guiding Program Development Systems by a Connection Based Proof Strategy.

Christoph Kreitz, Jens Otten, Stephan Schmitt

Proceedings of the Logic Programming Synthesis and Transformation, 1995

1992

Building Proofs by Analogy via the Curry-Horward Isomorphism.

Thierry Boy de la Tour, Christoph Kreitz

Proceedings of the Logic Programming and Automated Reasoning, 1992

1991

Type 2 Computational Complexity of Functions on Cantor's Space.

Klaus Weihrauch, Christoph Kreitz

Theor. Comput. Sci., 1991

1990

The Representation of Program Synthesis in Higher Order Logic.

Christoph Kreitz

Proceedings of the GWAI-90, 1990

1989

XPRTS - An Implementation Tool for Program Synthesis.

Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz

Proceedings of the GWAI-89, 1989

1988

Logic oriented program synthesis

Christoph Kreitz, Gerd Neugebauer, Bertram Fronhöfer

Forschungsberichte, TU Munich, 1988

1987

Representations of the real numbers and of the open subsets of the set of real numbers.

Klaus Weihrauch, Christoph Kreitz

Ann. Pure Appl. Log., 1987

Compactness in constructive analysis revisited.

Christoph Kreitz, Klaus Weihrauch

Ann. Pure Appl. Log., 1987

1985

Theory of Representations.

Christoph Kreitz, Klaus Weihrauch

Theor. Comput. Sci., 1985

1984

Theorie der Darstellungen und ihre Anwendungen in der konstruktiven Analysis.

Christoph Kreitz

PhD thesis, 1984

1983

Complexity theory on real numbers and functions.

Christoph Kreitz, Klaus Weihrauch

Proceedings of the Theoretical Computer Science, 1983