Integrating Metric and Qualitative Temporal Reasoning. HA Kautz, PB Ladkin AAAI 91, 241-246, 1991 | 312 | 1991 |

On binary constraint problems PB Ladkin, RD Maddux Journal of the ACM (JACM) 41 (3), 435-469, 1994 | 292 | 1994 |

Time Representation: A Taxonomy of Internal Relations. PB Ladkin AAAI, 360-366, 1986 | 238 | 1986 |

Effective solution of qualitative interval constraint problems PB Ladkin, A Reinefeld Artificial Intelligence 57 (1), 105-124, 1992 | 189 | 1992 |

Interpreting message flow graphs PB Ladkin, S Leue Formal Aspects of Computing 7, 473-509, 1995 | 152 | 1995 |

Primitives and Units for Time Specification. PB Ladkin AAAI 86, 354-359, 1986 | 139 | 1986 |

The logic of time representation PB Ladkin University California, Berkeley, 1987 | 124 | 1987 |

On binary constraint networks PB Ladkin, RD Maddux Kestrel Institute, 1988 | 101 | 1988 |

Models of Axioms for Time Intervals. PB Ladkin AAAI 87, 234-239, 1987 | 99 | 1987 |

What do message sequence charts mean? PB Ladkin, S Leue | 78 | 1994 |

The Completeness of a Natural System for Reasoning with Time Intervals. PB Ladkin IJCAI, 462-465, 1987 | 70 | 1987 |

Lazy caching in TLA P Ladkin, L Lamport, B Olivier, D Roegel Distributed Computing 12 (2), 151-174, 1999 | 65 | 1999 |

Fast algebraic methods for interval constraint problems PB Ladkin, A Reinefeld Annals of Mathematics and Artificial Intelligence 19, 383-411, 1997 | 50 | 1997 |

Why-because analysis: Formal reasoning about incidents P Ladkin, K Loer Bielefeld, Germany, Document RVS-Bk-98-01, Technischen Fakultat der …, 1998 | 45 | 1998 |

Implementing and verifying msc specifications using promela/xspin S Leue, PB Ladkin | 37 | 1997 |

Satisfying First-Order Constraints About Time Intervals. PB Ladkin AAAI, 512-517, 1988 | 35 | 1988 |

Four issues concerning the semantics of Message Flow Graphs PB Ladkin, S Leue Formal Description Techniques VII: Proceedings of the 7th IFIP WG 6.1 …, 1995 | 34 | 1995 |

Representation and reasoning with convex time intervals Kestrel Institute, PB Ladkin, R Maddux | 29 | 1988 |

Privacy enhancing technology concepts for RFID technology scrutinised JE Hennig, PB Ladkin, B Sieker RVS Group, Bieldefeld, 2004 | 28 | 2004 |

Analysis of a technical description of the Airbus A320 braking system PB Ladkin High Integrity Systems 1, 331-350, 1995 | 28 | 1995 |