Concepedia

Christoph Kreitz

CK

18

Publications

811

Citations

14

H-Index

1985

Active since

Affiliations

Cornell University(Current)

University of Hagen

University of Potsdam

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

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationVerificationSystems EngineeringFault ToleranceSystem SoftwareComputer Engineering

Publications per year

1985–2020

18

Publications

18

Theory of representations

Christoph Kreitz, Klaus Weihrauch · Theoretical Computer Science · 1985 · 159 citations

Geometric Representation, Group Representation, Representation Theory

Building reliable, high-performance communication systems from components

Xiaoming Liu, Christoph Kreitz, Robbert van Renesse et al. · 1999 · 113 citations · Full text

Engineering, Computer Architecture, Fault Tolerance +16

Innovations in computational type theory using Nuprl

Stuart F. Allen, Mark Bickford, Robert L. Constable et al. · Journal of Applied Logic · 2005 · 91 citations

Engineering, Generic Programming, Automated Reasoning +4

The Horus and Ensemble projects: accomplishments and limitations

Ken Birman, Bob Constable, M. Hayden et al. · 2002 · 69 citations

Engineering, Project Management, Verification +18

The ILTP Problem Library for Intuitionistic Logic

Thomas Raths, Jens Otten, Christoph Kreitz · Journal of Automated Reasoning · 2007 · 61 citations

Engineering, Automated Reasoning, Iltp Problem Library +5

Rows per page

1–5 of 18