Peter B. Ladkin

According to our database1, Peter B. Ladkin authored at least 33 papers between 1986 and 2012.

Collaborative distances:
  • Dijkstra number2 of two.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2012
The Fukushima Accident.
Proceedings of the Achieving Systems Safety, 2012

2009
Dependable Risk Analysis for Systems with E/E/PE Components: Two Case Studies.
Proceedings of the Safety-Critical Systems: Problems, Process and Practice, 2009

2004
Causal Analysis of the ACAS/TCAS Sociotechnical System.
Proceedings of the Safety Critical Systems and Software 2004, 2004

2003
Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort.
Proceedings of the Safety Critical Systems and Software 2003, 2003

2002
Simple Reasoning with Time-Dependent Propositions.
Logic Journal of the IGPL, 2002

2000
Causal Reasoning about Aircraft Accidents.
Proceedings of the Computer Safety, 2000

1999
Lazy Caching in TLA.
Distributed Computing, 1999

1998
The Risks of Hubris.
Commun. ACM, 1998

Cyber Threats (Panel).
Proceedings of the Digest of Papers: FTCS-28, 1998

1997
From logic to manuals again.
Software Engineering - IEE Proceedings, 1997

Risks of Technological Remedy.
Commun. ACM, 1997

Fast Algebraic Methods for Interval Constraint Problems.
Ann. Math. Artif. Intell., 1997

Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

1996
From logic to manuals.
Software Engineering Journal, 1996

Implementing and verifying MSC specifications using Promela/XSpin.
Proceedings of the Spin Verification System, 1996

1995
Interpreting Message Flow Graphs.
Formal Asp. Comput., 1995

A Proper Explanation When You Need One.
Proceedings of the People and Computers X, 1995

1994
On Binary Constraint Problems.
J. ACM, 1994

Comments on a paper by Voas, Payne and Cohen: 'A model for detecting the existence of software corruption in real time'.
Computers & Security, 1994

Four issues concerning the semantics of Message Flow Graphs.
Proceedings of the Formal Description Techniques VII, 1994

Static analysis of multiway synchronization.
Proceedings of the 1994 Conference of the Centre for Advanced Studies on Collaborative Research, October 31, 1994

1993
What Do Message Sequence Charts Mean?
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992
Effective Solution of Qualitative Interval Constraint Problems.
Artif. Intell., 1992

Compile-time analysis of communicating processes.
Proceedings of the 6th international conference on Supercomputing, 1992

On the Semantics of Message Sequence Charts.
Proceedings of the Formale Methoden für verteilte Systeme, 1992

A Symbolic Approach to Interval Constraint Problems.
Proceedings of the Artificial Intelligence and Symbolic Mathematical Computation, 1992

1991
Integrating Metric and Qualitative Temporal Reasoning.
Proceedings of the 9th National Conference on Artificial Intelligence, 1991

1988
Satisfying First-Order Constraints About Time Intervals.
Proceedings of the 7th National Conference on Artificial Intelligence, 1988

1987
The Completeness of a Natural System for Reasoning with Time Intervals.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

Specification of Time Dependencies and Synthesis of Concurrent Processes.
Proceedings of the Proceedings, 9th International Conference on Software Engineering, Monterey, California, USA, March 30, 1987

Models of Axioms for Time Intervals.
Proceedings of the 6th National Conference on Artificial Intelligence. Seattle, 1987

1986
Time Representation: A Taxonomy of Internal Relations.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986

Primitives and Units for Time Specification.
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, 1986


  Loading...