Peter B. Ladkin

Publication Activity (10 Years)

Years Active: 1986-2012
Publications (10 Years): 0

Top Topics

Evolutionary Algorithm

Multi Agent Systems

Top Venues

Publications

Peter B. Ladkin
The Fukushima Accident. SSS (2012)
Jörn Stuphorn, Bernd Sieker, Peter B. Ladkin
Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies. SSS (2009)
Peter B. Ladkin
Causal Analysis of the ACAS/TCAS Sociotechnical System. SCS (2004)
Peter B. Ladkin, Jörn Stuphorn
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. SCS (2003)
Maroua Bouzid, Peter B. Ladkin
Simple Reasoning with Time-Dependent Propositions. Log. J. IGPL 10 (4) (2002)
Peter B. Ladkin
Causal Reasoning about Aircraft Accidents. SAFECOMP (2000)
Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel
Lazy Caching in TLA. Distributed Comput. 12 (2-3) (1999)
Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell
Cyber Threats (Panel). FTCS (1998)
Peter B. Ladkin
The Risks of Hubris. Commun. ACM 41 (12) (1998)
Peter B. Ladkin
Risks of Technological Remedy. Commun. ACM 40 (11) (1997)
Harold W. Thimbleby, Peter B. Ladkin
From logic to manuals again. IEE Proc. Softw. Eng. 144 (3) (1997)
Lutz Sommerfeld, Peter B. Ladkin
Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+. FBT (1997)
Peter B. Ladkin, Alexander Reinefeld
Fast Algebraic Methods for Interval Constraint Problems. Ann. Math. Artif. Intell. 19 (3-4) (1997)
Harold Thimbleby, Peter B. Ladkin
From logic to manuals. Softw. Eng. J. 11 (6) (1996)
Stefan Leue, Peter B. Ladkin
Implementing and verifying MSC specifications using Promela/XSpin. The Spin Verification System (1996)
Harold W. Thimbleby, Peter B. Ladkin
A Proper Explanation When You Need One. BCS HCI (1995)
Peter B. Ladkin, Stefan Leue
Interpreting Message Flow Graphs. Formal Aspects Comput. 7 (5) (1995)
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'. Comput. Secur. 13 (6) (1994)
Peter B. Ladkin, Barbara B. Simons
Static analysis of multiway synchronization. CASCON (1994)
Peter B. Ladkin, Roger D. Maddux
On Binary Constraint Problems. J. ACM 41 (3) (1994)
Peter B. Ladkin, Stefan Leue
Four issues concerning the semantics of Message Flow Graphs. FORTE (1994)
Peter B. Ladkin, Stefan Leue
What Do Message Sequence Charts Mean? FORTE (1993)
Peter B. Ladkin, Stefan Leue
On the Semantics of Message Sequence Charts. FBT (1992)
Peter B. Ladkin, Barbara Simons
Compile-time analysis of communicating processes. ICS (1992)
Peter B. Ladkin, Alexander Reinefeld
A Symbolic Approach to Interval Constraint Problems. AISMC (1992)
Peter B. Ladkin, Alexander Reinefeld
Effective Solution of Qualitative Interval Constraint Problems. Artif. Intell. 57 (1) (1992)
Henry A. Kautz, Peter B. Ladkin
Integrating Metric and Qualitative Temporal Reasoning. AAAI (1991)
Peter B. Ladkin
Satisfying First-Order Constraints About Time Intervals. AAAI (1988)
Peter B. Ladkin
Models of Axioms for Time Intervals. AAAI (1987)
Peter B. Ladkin
Specification of Time Dependencies and Synthesis of Concurrent Processes. ICSE (1987)
Peter B. Ladkin
The Completeness of a Natural System for Reasoning with Time Intervals. IJCAI (1987)
Peter B. Ladkin
Time Representation: A Taxonomy of Internal Relations. AAAI (1986)
Peter B. Ladkin
Primitives and Units for Time Specification. AAAI (1986)