| 2004 |
|---|
| 29 | EE | Peter B. Ladkin:
Causal Analysis of the ACAS/TCAS Sociotechnical System.
SCS 2004: 3-12 |
| 2003 |
|---|
| 28 | EE | Peter B. Ladkin,
Jörn Stuphorn:
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort.
SCS 2003: 3-23 |
| 2002 |
|---|
| 27 | EE | Maroua Bouzid,
Peter B. Ladkin:
Simple Reasoning with Time-Dependent Propositions.
Logic Journal of the IGPL 10(4): 379-399 (2002) |
| 2000 |
|---|
| 26 | EE | Peter B. Ladkin:
Causal Reasoning about Aircraft Accidents.
SAFECOMP 2000: 344-360 |
| 1999 |
|---|
| 25 | EE | Peter B. Ladkin,
Leslie Lamport,
Bryan Olivier,
Denis Roegel:
Lazy Caching in TLA.
Distributed Computing 12(2-3): 151-174 (1999) |
| 1998 |
|---|
| 24 | | Wendy Bartlett,
Peter B. Ladkin,
Derek Long,
Brian Randell:
Cyber Threats (Panel).
FTCS 1998: 104-106 |
| 23 | | Peter B. Ladkin:
The Risks of Hubris.
Commun. ACM 41(12): 160 (1998) |
| 1997 |
|---|
| 22 | | Lutz Sommerfeld,
Peter B. Ladkin:
Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+.
FBT 1997: 79-88 |
| 21 | | Peter B. Ladkin,
Alexander Reinefeld:
Fast Algebraic Methods for Interval Constraint Problems.
Ann. Math. Artif. Intell. 19(3-4): 383-411 (1997) |
| 20 | | Peter B. Ladkin:
Risks of Technological Remedy.
Commun. ACM 40(11): 160 (1997) |
| 19 | | Harold W. Thimbleby,
Peter B. Ladkin:
From logic to manuals again.
IEE Proceedings - Software 144(3): 185-192 (1997) |
| 1995 |
|---|
| 18 | | Harold W. Thimbleby,
Peter B. Ladkin:
A Proper Explanation When You Need One.
BCS HCI 1995: 107-118 |
| 17 | | Peter B. Ladkin,
Stefan Leue:
Interpreting Message Flow Graphs.
Formal Asp. Comput. 7(5): 473-509 (1995) |
| 1994 |
|---|
| 16 | EE | Peter B. Ladkin,
Barbara B. Simons:
Static analysis of multiway synchronization.
CASCON 1994: 39 |
| 15 | | Peter B. Ladkin,
Stefan Leue:
Four issues concerning the semantics of Message Flow Graphs.
FORTE 1994: 355-369 |
| 14 | EE | Peter B. Ladkin,
Harold W. Thimbleby:
Comments on a paper by Voas, Payne and Cohen: 'A model for detecting the existence of software corruption in real time'.
Computers & Security 13(6): 527-531 (1994) |
| 13 | EE | Peter B. Ladkin,
Roger D. Maddux:
On Binary Constraint Problems.
J. ACM 41(3): 435-469 (1994) |
| 1993 |
|---|
| 12 | | Peter B. Ladkin,
Stefan Leue:
What Do Message Sequence Charts Mean?
FORTE 1993: 301-316 |
| 1992 |
|---|
| 11 | | Peter B. Ladkin,
Alexander Reinefeld:
A Symbolic Approach to Interval Constraint Problems.
AISMC 1992: 65-84 |
| 10 | | Peter B. Ladkin,
Stefan Leue:
On the Semantics of Message Sequence Charts.
FBT 1992: 88-104 |
| 9 | EE | Peter B. Ladkin,
Barbara Simons:
Compile-time analysis of communicating processes.
ICS 1992: 248-259 |
| 8 | | Peter B. Ladkin,
Alexander Reinefeld:
Effective Solution of Qualitative Interval Constraint Problems.
Artif. Intell. 57(1): 105-124 (1992) |
| 1991 |
|---|
| 7 | | Henry A. Kautz,
Peter B. Ladkin:
Integrating Metric and Qualitative Temporal Reasoning.
AAAI 1991: 241-246 |
| 1988 |
|---|
| 6 | | Peter B. Ladkin:
Satisfying First-Order Constraints About Time Intervals.
AAAI 1988: 512-517 |
| 1987 |
|---|
| 5 | | Peter B. Ladkin:
Models of Axioms for Time Intervals.
AAAI 1987: 234-239 |
| 4 | | Peter B. Ladkin:
Specification of Time Dependencies and Synthesis of Concurrent Processes.
ICSE 1987: 106-115 |
| 3 | | Peter B. Ladkin:
The Completeness of a Natural System for Reasoning with Time Intervals.
IJCAI 1987: 462-465 |
| 1986 |
|---|
| 2 | | Peter B. Ladkin:
Primitives and Units for Time Specification.
AAAI 1986: 353-359 |
| 1 | | Peter B. Ladkin:
Time Representation: A Taxonomy of Internal Relations.
AAAI 1986: 360-366 |
