Christoph Kreitz

Christoph Kreitz

Universität Potsdam - Potsdam / Germany
Others
AD Scientific Index ID: 1786497
University of Potsdam
person_outline Christoph Kreitz's MOST POPULAR ARTICLES
1-) Theory of representationsC Kreitz, K WeihrauchTheoretical computer science 38, 35-53, 19851871985
2-) Building reliable, high-performance communication systems from componentsX Liu, C Kreitz, R Van Renesse, J Hickey, M Hayden, K Birman, ...ACM SIGOPS Operating Systems Review 33 (5), 80-92, 19991801999
3-) Innovations in computational type theory using NuprlSF Allen, M Bickford, RL Constable, R Eaton, C Kreitz, L Lorigo, E MoranJournal of Applied Logic 4 (4), 428-469, 20061242006
4-) The Horus and Ensemble projects: Accomplishments and limitationsK Birman, B Constable, M Hayden, J Hickey, C Kreitz, R Van Renesse, ...Proceedings DARPA Information Survivability Conference and Exposition …, 20001222000
5-) Model elimination and connection tableau proceduresC KREITZ1082001