Skip to content
cs-conference-ranking.org

Peter B. Ladkin

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

7

Active years

1986–2000

Best venue rank

A*

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2000SAFECOMPCausal Reasoning about Aircraft Accidents.Peter B. Ladkin
1994FORTEFour issues concerning the semantics of Message Flow Graphs.Peter B. Ladkin, Stefan Leue
1993FORTEWhat Do Message Sequence Charts Mean?Peter B. Ladkin, Stefan Leue
1992AISCA Symbolic Approach to Interval Constraint Problems.Peter B. Ladkin, Alexander Reinefeld
1992ICSCompile-time analysis of communicating processes.Peter B. Ladkin, Barbara Simons
1991AAAIIntegrating Metric and Qualitative Temporal Reasoning.Henry A. Kautz, Peter B. Ladkin
1988AAAISatisfying First-Order Constraints About Time Intervals.Peter B. Ladkin
1987AAAIModels of Axioms for Time Intervals.Peter B. Ladkin
1987IJCAIThe Completeness of a Natural System for Reasoning with Time Intervals.Peter B. Ladkin
1987ICSESpecification of Time Dependencies and Synthesis of Concurrent Processes.Peter B. Ladkin
1986AAAIPrimitives and Units for Time Specification.Peter B. Ladkin
1986AAAITime Representation: A Taxonomy of Internal Relations.Peter B. Ladkin