Christoph Kreitz

58 papers A* 1A 10B 7C 2Misc 3Journal 16Unranked 17

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