| The Fukushima Accident. | 0 | 0.34 | 2012 |
| Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies. | 0 | 0.34 | 2009 |
| Causal analysis of the ACAS/TCAS sociotechnical system | 2 | 0.57 | 2004 |
| Two causal analyses of the Black Hawk shootdown during operation provide comfort | 0 | 0.34 | 2003 |
| Simple Reasoning with Time-Dependent Propositions | 6 | 0.57 | 2002 |
| Causal Reasoning about Aircraft Accidents | 6 | 1.34 | 2000 |
| Cyber Threats (Panel) | 0 | 0.34 | 1998 |
| Risks of Technological Remedy | 0 | 0.34 | 1997 |
| From logic to manuals again | 8 | 0.78 | 1997 |
| Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA | 0 | 0.34 | 1997 |
| Fast algebraic methods for interval constraint problems | 22 | 1.97 | 1997 |
| Implementing and verifying MSC specifications using Promela/XSpin. | 15 | 0.99 | 1996 |
| A Proper Explanation When You Need One | 10 | 2.11 | 1995 |
| Interpreting Message Flow Graphs | 26 | 5.64 | 1995 |
| Four issues concerning the semantics of Message Flow Graphs | 10 | 1.65 | 1994 |
| Static analysis of multiway synchronization | 0 | 0.34 | 1994 |
| On binary constraint problems | 117 | 8.10 | 1994 |
| What Do Message Sequence Charts Mean? | 22 | 5.83 | 1993 |
| Compile-time analysis of communicating processes | 7 | 0.85 | 1992 |
| A Symbolic Approach to Interval Constraint Problems | 9 | 0.81 | 1992 |
| Effective solution of qualitative interval constraint problems | 71 | 4.46 | 1992 |
| On the Semantics of Message Sequence Charts | 3 | 0.39 | 1992 |
| Integrating metric and qualitative temporal reasoning | 116 | 12.95 | 1991 |
| Satisfying First-Order Constraints About Time Intervals | 13 | 4.35 | 1988 |
| Models of axioms for time intervals | 33 | 5.36 | 1987 |
| Specification of time dependencies and synthesis of concurrent processes | 10 | 1.81 | 1987 |
| The completeness of a natural system for reasoning with time intervals | 28 | 5.46 | 1987 |
| Time Representation: A Taxonomy of Internal Relations | 49 | 15.96 | 1986 |
| Primitives and Units for Time Specification | 43 | 6.18 | 1986 |
