Statistics
Publications
18
Citations
816
H-Index
14
Active since
1985
Affiliations
Christoph Kreitz is an author at Cornell University specializing in computer science, formal methods, and computing.
Publications per year
1985–2020
18
18
Christoph Kreitz, Klaus Weihrauch · Theoretical Computer Science · 1985 · 160 citations
Building reliable, high-performance communication systems from components
Xiaoming Liu, Christoph Kreitz, Robbert van Renesse et al. · 1999 · 113 citations · Full text
Innovations in computational type theory using Nuprl
Stuart F. Allen, Mark Bickford, Robert L. Constable et al. · Journal of Applied Logic · 2005 · 91 citations
The Horus and Ensemble projects: accomplishments and limitations
Ken Birman, Bob Constable, M. Hayden et al. · 2002 · 69 citations
1–5 of 18