default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDChristoph Kreitz
Person information
- affiliation: University of Potsdam, Germany
- affiliation (former): Cornell University, Ithaca, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
[p1]Christoph Kreitz, Mario Frank
:
Automatische Inferenz. Handbuch der Künstlichen Intelligenz 2020: 143-188
2010 – 2019
- 2019
- [c40]Mohammadreza Ashouri, Christoph Kreitz:
Scalayzer: a portable tool for vulnerability analysis in scala. SEC 2019: 371-376 - [c39]Mohammadreza Ashouri, Christoph Kreitz:
Hybrid Taint Flow Analysis in Scala. SSCI 2019: 657-663 - 2017
- [c38]Maria Knobelsdorf, Christiane Frede, Sebastian Böhne, Christoph Kreitz:
Theorem Provers as a Learning Tool in Theory of Computation. ICER 2017: 83-92 - [c37]Sebastian Böhne, Christoph Kreitz:
Learning how to Prove: From the Coq Proof Assistant to Textbook Style. ThEdu@CADE 2017: 1-18 - [c36]Mario Frank, Christoph Kreitz:
A Theorem Prover for Scientific and Educational Purposes. ThEdu@CADE 2017: 59-69 - 2016
- [c35]Sebastian Böhne, Maria Knobelsdorf, Christoph Kreitz:
Mathematisches Argumentieren und Beweisen mit dem Theorembeweiser Coq. HDI 2016: 69-80 - 2014
- [c34]Maria Knobelsdorf, Christoph Kreitz, Sebastian Böhne:
Teaching theoretical computer science using a cognitive apprenticeship approach. SIGCSE 2014: 67-72 - 2012
- [c33]Christoph Kreitz:
Nuprl as Logical Framework for Automating Proofs in Category Theory. Logic and Program Semantics 2012: 124-148 - 2010
- [c32]Christoph Brandt, Jens Otten, Christoph Kreitz, Wolfgang Bibel:
Specifying and Verifying Organizational Security Properties in First-Order Logic. Verification, Induction, Termination Analysis 2010: 38-53
2000 – 2009
- 2009
- [j15]Wolfgang Bibel, Christoph Kreitz:
Connection method. Scholarpedia 4(1): 6816 (2009) - 2007
- [j14]Thomas Raths, Jens Otten, Christoph Kreitz:
The ILTP Problem Library for Intuitionistic Logic. J. Autom. Reason. 38(1-3): 261-271 (2007) - 2006
- [j13]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): 428-469 (2006) - [j12]Christoph Kreitz:
Formale Methoden der Künstlichen Intelligenz. Künstliche Intell. 20(4): 22-28 (2006) - [c31]Dexter Kozen, Christoph Kreitz, Eva Richter:
Automating Proofs in Category Theory. IJCAR 2006: 392-407 - 2005
- [c30]Thomas Raths, Jens Otten, Christoph Kreitz:
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. TABLEAUX 2005: 333-337 - 2004
- [j11]Christoph Kreitz, Heiko Mantel:
A Matrix Characterization for Multiplicative Exponential Linear Logic. J. Autom. Reason. 32(2): 121-166 (2004) - [j10]Christoph Kreitz:
Building reliable, high-performance networks with the Nuprl proof development system. J. Funct. Program. 14(1): 21-68 (2004) - 2003
- [c29]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: 287-303 - 2001
- [j9]Christoph Kreitz, Brigitte Pientka:
Connection-Driven Inductive Theorem Proving. Stud Logica 69(2): 293-326 (2001) - [c28]Stephan Schmitt, Lori Lorigo, Christoph Kreitz, Aleksey Nogin:
JProver : Integrating Connection-Based Theorem Proving into Interactive Proof Assistants. IJCAR 2001: 421-426 - [c27]Xiaoming Liu, Robbert van Renesse, Mark Bickford, Christoph Kreitz, Robert L. Constable:
Protocol Switching: Exploiting Meta-Properties. ICDCS Workshops 2001: 37-42 - [c26]Mark Bickford, Christoph Kreitz, Robbert van Renesse, Xiaoming Liu:
Proving Hybrid Protocols Correct. TPHOLs 2001: 105-120 - 2000
- [j8]Christoph Kreitz, Stephan Schmitt:
A Uniform Procedure for Converting Matrix Proofs into Sequent-Style Systems. Inf. Comput. 162(1-2): 226-254 (2000) - [c25]Christoph Kreitz:
Prologue. Intellectics and Computational Logic 2000: 1-2 - [c24]Christoph Kreitz, Jens Otten, Stephan Schmitt, Brigitte Pientka:
Matrix-based Constructive Theorem Proving. Intellectics and Computational Logic 2000: 189-205 - [c23]Christoph Kreitz:
Epilogue. Intellectics and Computational Logic 2000: 387 - [c22]Stuart F. Allen, Robert L. Constable, Richard Eaton, Christoph Kreitz, Lori Lorigo:
The Nuprl Open Logical Environment. CADE 2000: 170-176 - [c21]Christoph Kreitz, Brigitte Pientka:
Matrix-Based Inductive Theorem Proving. TABLEAUX 2000: 294-308
1990 – 1999
- 1999
- [j7]Brigitte Pientka, Christoph Kreitz:
Automating Inductive Specification Proofs. Fundam. Informaticae 39(1-2): 189-209 (1999) - [j6]Christoph Kreitz, Jens Otten:
Connection-based Theorem Proving in Classical and Non-classical Logics. J. Univers. Comput. Sci. 5(3): 88-112 (1999) - [c20]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: 80-92 - [c19]Christoph Kreitz:
Automated Fast-Track Reconfiguration of Group Communication Systems. TACAS 1999: 104-118 - 1998
- [c18]Brigitte Pientka, Christoph Kreitz:
Instantiation of Existentially Quantified Variables in Inductive Specification Proofs. AISC 1998: 247-258 - [c17]Christoph Kreitz, Mark Hayden, Jason Hickey:
A Proof Environment for the Development of Group Communication Systems. CADE 1998: 317-332 - [c16]Heiko Mantel, Christoph Kreitz:
A Matrix Characterization for MELL. JELIA 1998: 169-183 - [c15]Stephan Schmitt, Christoph Kreitz:
Deleting Redundancy in Proof Reconstruction. TABLEAUX 1998: 262-276 - 1997
- [c14]Daniel S. Korn, Christoph Kreitz:
Deciding Intuitionistic Propositional Logic via Translation into Classical Logic. CADE 1997: 131-145 - [c13]Christoph Kreitz, Heiko Mantel, Jens Otten, Stephan Schmitt:
Connection-Based Proof Construction in Linear Logic. CADE 1997: 207-221 - [c12]Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, F. Kurucz, Jens Otten, Stephen Schmitt, G. Stolpmann:
A Multi-level Approach to Program Synthesis. LOPSTR 1997: 1-27 - 1996
- [j5]Christoph Kreitz:
Formal Mathematics for Verifiably Correct Program Synthesis. Log. J. IGPL 4(1): 75-94 (1996) - [c11]Stephan Schmitt, Christoph Kreitz:
Converting Non-Classical Matrix Proofs into Sequent-Style Systems. CADE 1996: 418-432 - [c10]Wolfgang Bibel, Daniel S. Korn, Christoph Kreitz, Stephen Schmitt:
Problem-Oriented Applications of Automated Theorem Proving. DISCO 1996: 1-21 - [c9]Christoph Kreitz, Kung-Kiu Lau, Mario Ornaghi:
Formal Reasoning about Modules, Reuse and their Correctness. FAPR 1996: 384-398 - [c8]Jens Otten, Christoph Kreitz:
A Uniform Proof Procedure for Classical and Non-Classical Logics. KI 1996: 307-319 - [c7]Jens Otten, Christoph Kreitz:
T-String Unification: Unifying Prefixes in Non-classical Proof Methods. TABLEAUX 1996: 244-260 - 1995
- [c6]Christoph Kreitz, Jens Otten, Stephan Schmitt:
Guiding Program Development Systems by a Connection Based Proof Strategy. LOPSTR 1995: 137-151 - [c5]Stephan Schmitt, Christoph Kreitz:
On Transforming Intuitionistic Matrix Proofs into Standard-Sequent Proofs. TABLEAUX 1995: 106-121 - 1992
- [c4]Thierry Boy de la Tour, Christoph Kreitz:
Building Proofs by Analogy via the Curry-Horward Isomorphism. LPAR 1992: 202-213 - 1991
- [j4]Klaus Weihrauch, Christoph Kreitz:
Type 2 Computational Complexity of Functions on Cantor's Space. Theor. Comput. Sci. 82(1): 1-18 (1991) - 1990
- [c3]Christoph Kreitz:
The Representation of Program Synthesis in Higher Order Logic. GWAI 1990: 171-180
1980 – 1989
- 1989
- [c2]Gerd Neugebauer, Bertram Fronhöfer, Christoph Kreitz:
XPRTS - An Implementation Tool for Program Synthesis. GWAI 1989: 348-357 - 1988
- [i1]Christoph Kreitz, Gerd Neugebauer, Bertram Fronhöfer:
Logic oriented program synthesis. Forschungsberichte, TU Munich FKI 90 88: 1-9 (1988) - 1987
- [j3]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: 247-260 (1987) - [j2]Christoph Kreitz, Klaus Weihrauch:
Compactness in constructive analysis revisited. Ann. Pure Appl. Log. 36: 29-38 (1987) - 1985
- [j1]Christoph Kreitz, Klaus Weihrauch:
Theory of Representations. Theor. Comput. Sci. 38: 35-53 (1985) - 1984
- [b1]Christoph Kreitz:
Theorie der Darstellungen und ihre Anwendungen in der konstruktiven Analysis. University of Hagen, Germany, Informatik Berichte / FernUniversität-Gesamthochschule Hagen / Fachbereich Informatik 50, 1984, pp. 1-124 - 1983
- [c1]Christoph Kreitz, Klaus Weihrauch:
Complexity theory on real numbers and functions. Theoretical Computer Science 1983: 165-174
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
