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 | 183 | 1999 |

Theory of representations C Kreitz, K Weihrauch Theoretical computer science 38, 35-53, 1985 | 174 | 1985 |

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 | 121 | 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 | 117 | 2006 |

The Nuprl open logical environment SF Allen, RL Constable, R Eaton, C Kreitz, L Lorigo International Conference on Automated Deduction, 170-176, 2000 | 83 | 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 Journal of Universal Computer Science 5 (3), 88-112, 1999 | 69 | 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 |

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 | 60 | 1996 |

A connection based proof method for intuitionistic logic J Otten, C Kreitz International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1995 | 60 | 1995 |

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 | 59 | 2001 |

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 | 58 | 1987 |

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 proof environment for the development of group communication systems C Kreitz, M Hayden, J Hickey International Conference on Automated Deduction, 317-332, 1998 | 51 | 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 | 48 | 1995 |

A uniform proof procedure for classical and non-classical logics J Otten, C Kreitz Annual Conference on Artificial Intelligence, 307-319, 1996 | 45 | 1996 |

The Nuprl Proof Development System, Version 5: Reference Manual and User’s Guide C Kreitz Department of Computer Science, Cornell University, 2002 | 39 | 2002 |

Converting non-classical matrix proofs into sequent-style systems S Schmitt, C Kreitz International Conference on Automated Deduction, 418-432, 1996 | 39 | 1996 |

Program synthesis C Kreitz Automated Deduction—A Basis for Applications, 105-134, 1998 | 37 | 1998 |

A multi-level approach to program synthesis W Bibel, D Korn, C Kreitz, F Kurucz, J Otten, S Schmitt, G Stolpmann International Workshop on Logic Programming Synthesis and Transformation, 1-27, 1997 | 32 | 1997 |