| VIScover: Visualizing, exploring, and analysing structured data | 2 | 0.41 | 2009 |
| Organizing Knowledge as an Ontology of the Domain of Resilient Computing by Means of Natural Language Processing - An Experience Report | 3 | 0.55 | 2009 |
| Real-World Reasoning with OWL | 17 | 1.05 | 2007 |
| Modular formal analysis of the central guardian in the Time-Triggered Architecture | 2 | 0.40 | 2007 |
| Explanation Support for OWL Authoring | 1 | 0.36 | 2005 |
| Reasoning Services for an OWL Authoring Tool: An Experience Report | 3 | 0.54 | 2004 |
| A Completely Verified Realistic Bootstrap Compiler | 7 | 0.54 | 2003 |
| Formal analysis for dependability properties: the time-triggered architecture example | 1 | 0.38 | 2001 |
| Formal Development of Object-Based Systems in a Temporal Logic Setting | 0 | 0.34 | 1999 |
| Mechanical Verification of Clock Synchronization Algorithms | 12 | 1.80 | 1998 |
| Case Studies in Meta-Level Theorem Proving | 13 | 1.29 | 1998 |
| Formal Verification of Transformations for Peephole Optimization | 4 | 0.99 | 1997 |
| Typelab: An Environment for Modular Program Development | 2 | 0.40 | 1997 |
| The TYPELAB Specification and Verification Environment | 2 | 0.42 | 1996 |
| Formal verification for fault-tolerant architectures: prolegomena to the design of PVS | 326 | 34.40 | 1995 |
| Construction and Deduction Methods for the Formal Development of Software | 5 | 0.60 | 1995 |
| Putting Software Technology to Work | 1 | 0.42 | 1994 |
| Formal Verification for Fault-Tolerant Architectures: Some Lessons Learned | 8 | 1.36 | 1993 |
| Formal Transformations and the Development of Programs | 2 | 0.36 | 1977 |
| Towards automation of proofs by induction | 0 | 0.34 | 1977 |
| An Algebraic Approach to Data Types, Program Verification, and Program Synthesis | 10 | 0.79 | 1976 |
| On primitive recursive wordfunctions | 1 | 0.41 | 1975 |
| Hierarchies of Primitive Recursive Wordfunctions and Transductions Defined by Automata | 3 | 0.91 | 1972 |
