Christoph Kreitz
University of Potsdam(DE)
Publications by Year
Research Areas
Logic, programming, and type systems, Formal Methods in Verification, Logic, Reasoning, and Knowledge, Parallel Computing and Optimization Techniques, Semantic Web and Ontologies
Most-Cited Works
- → Theory of representations(1985)159 cited
- → Building reliable, high-performance communication systems from components(1999)113 cited
- → Innovations in computational type theory using Nuprl(2005)91 cited
- → The Horus and Ensemble projects: accomplishments and limitations(2002)69 cited
- → The ILTP Problem Library for Intuitionistic Logic(2007)61 cited
- → Representations of the real numbers and of the open subsets of the set of real numbers(1987)53 cited
- → The Nuprl Open Logical Environment(2000)51 cited