Christoph Kreitz - Concepedia

Author

Christoph Kreitz

Cornell University

Also Known As

C. Kreitz, CHRISTOPH KREITZ, Christoph Kreitz, Kreitz, Christoph

Publications

1.5K

Citations

H-Index

Concepts

All Affiliations

Cornell University University of Hagen University of Potsdam

About

Christoph Kreitz is an author at Cornell University specializing in formal methods, engineering, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	466
2	Education	2	2	54
3	Social Sciences	1	1	12
4	Cognitive Science	1	1	38
5	Communication	1	1	36

Christoph Kreitz

Publications

811

Citations

H-Index

Page 1

	Year	Citations
Theory of representations Christoph Kreitz, Klaus Weihrauch Theoretical Computer Science Geometric RepresentationGroup RepresentationRepresentation Theory	1985	159
Building reliable, high-performance communication systems from components Xiaoming Liu, Christoph Kreitz, Robbert van Renesse, EngineeringComputer ArchitectureFault ToleranceSystem SynthesisCommunication Architecture	1999	113
Innovations in computational type theory using Nuprl Stuart F. Allen, Mark Bickford, Robert L. Constable, Journal of Applied Logic EngineeringGeneric ProgrammingAutomated ReasoningType TheoryFormal Methods	2005	91
The Horus and Ensemble projects: accomplishments and limitations Ken Birman, Bob Constable, M. Hayden, EngineeringProject ManagementVerificationFault ToleranceFault-tolerant Messaging	2002	69
The ILTP Problem Library for Intuitionistic Logic Thomas Raths, Jens Otten, Christoph Kreitz Journal of Automated Reasoning EngineeringAutomated ReasoningIltp Problem LibraryConstructive LogicFormal Methods	2007	61
Representations of the real numbers and of the open subsets of the set of real numbers Klaus Weihrauch, Christoph Kreitz Annals of Pure and Applied Logic Real NumbersSet-theoretic TopologyRepresentation TheoryOpen Subsets	1987	53
Connection-Based Theorem Proving in Classical and Non-Classical Logics Christoph Kreitz, Jens Otten TUbilio (Technical University of Darmstadt)	2020	45
Teaching theoretical computer science using a cognitive apprenticeship approach Maria Knobelsdorf, Christoph Kreitz, Sebastian Böhne Stem EducationCognitive ScienceEducationLearning AnalyticsComputer Science	2014	38
Protocol switching: exploiting meta-properties Xiaoming Liu, Robbert van Renesse, Mark Bickford, EngineeringInformation SecurityProtocol ComplianceCommunicationHybrid Network	2002	36
Compactness in constructive analysis revisited Christoph Kreitz, Klaus Weihrauch Annals of Pure and Applied Logic Constructive MathematicsConstructive AnalysisAutomated ReasoningSet-theoretic TopologyTopological Property	1987	29

Page 1