Theory of representations C Kreitz, K Weihrauch Theoretical computer science 38, 35-53, 1985 | 181 | 1985 |
Building reliable, high-performance communication systems from components X Liu, C Kreitz, R Van Renesse, J Hickey, M Hayden, K Birman, ... ACM SIGOPS Operating Systems Review 33 (5), 80-92, 1999 | 175 | 1999 |
The Horus and Ensemble projects: Accomplishments and limitations K Birman, B Constable, M Hayden, J Hickey, C Kreitz, R Van Renesse, ... Proceedings DARPA Information Survivability Conference and Exposition …, 2000 | 122 | 2000 |
Innovations in computational type theory using Nuprl SF Allen, M Bickford, RL Constable, R Eaton, C Kreitz, L Lorigo, E Moran Journal of Applied Logic 4 (4), 428-469, 2006 | 121 | 2006 |
Model elimination and connection tableau procedures C KREITZ | 95 | 2001 |
The Nuprl open logical environment SF Allen, RL Constable, R Eaton, C Kreitz, L Lorigo International Conference on Automated Deduction, 170-176, 2000 | 86 | 2000 |
The ILTP problem library for intuitionistic logic T Raths, J Otten, C Kreitz Journal of Automated Reasoning 38 (1), 261-271, 2007 | 77 | 2007 |
Connection-based Theorem Proving in Classical and Non-classical Logics. C Kreitz, J Otten J. Univers. Comput. Sci. 5 (3), 88-112, 1999 | 68 | 1999 |
MetaPRL–a modular logical environment J Hickey, A Nogin, RL Constable, BE Aydemir, E Barzilay, Y Bryukhov, ... International Conference on Theorem Proving in Higher Order Logics, 287-303, 2003 | 67 | 2003 |
Representations of the real numbers and of the open subsets of the set of real numbers K Weihrauch, C Kreitz Annals of Pure and Applied Logic 35, 247-260, 1987 | 62 | 1987 |
JProver: Integrating connection-based theorem proving into interactive proof assistants S Schmitt, L Lorigo, C Kreitz, A Nogin International Joint Conference on Automated Reasoning, 421-426, 2001 | 60 | 2001 |
T-string unification: Unifying prefixes in non-classical proof methods J Otten, C Kreitz International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996 | 59 | 1996 |
Protocol switching: Exploiting meta-properties X Liu, R Van Renesse, M Bickford, C Kreitz, R Constable Proceedings 21st International Conference on Distributed Computing Systems …, 2001 | 57 | 2001 |
A connection based proof method for intuitionistic logic J Otten, C Kreitz International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995 | 57 | 1995 |
A proof environment for the development of group communication systems C Kreitz, M Hayden, J Hickey International Conference on Automated Deduction, 317-332, 1998 | 50 | 1998 |
On transforming intuitionistic matrix proofs into standard-sequent proofs S Schmitt, C Kreitz International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995 | 46 | 1995 |
A uniform proof procedure for classical and non-classical logics J Otten, C Kreitz Annual Conference on Artificial Intelligence, 307-319, 1996 | 44 | 1996 |
The Nuprl Proof Development System, Version 5: Reference Manual and User’s Guide C Kreitz Department of Computer Science, Cornell University, 10, 2002 | 40 | 2002 |
Program synthesis C Kreitz Automated Deduction—A Basis for Applications, 105-134, 1998 | 40 | 1998 |
Converting non-classical matrix proofs into sequent-style systems S Schmitt, C Kreitz International Conference on Automated Deduction, 418-432, 1996 | 38 | 1996 |