| Integrating Metric and Qualitative Temporal Reasoning. HA Kautz, PB Ladkin AAAI 91, 241-246, 1991 | 310 | 1991 |
| On binary constraint problems PB Ladkin, RD Maddux Journal of the ACM (JACM) 41 (3), 435-469, 1994 | 289 | 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 | 188 | 1992 |
| Interpreting message flow graphs PB Ladkin, S Leue Formal Aspects of Computing 7, 473-509, 1995 | 153 | 1995 |
| Primitives and Units for Time Specification. PB Ladkin AAAI 86, 354-359, 1986 | 137 | 1986 |
| The logic of time representation PB Ladkin University California, Berkeley, 1987 | 126 | 1987 |
| On binary constraint networks PB Ladkin, RD Maddux Kestrel Institute, 1988 | 100 | 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 | 77 | 1994 |
| The Completeness of a Natural System for Reasoning with Time Intervals. PB Ladkin IJCAI, 462-465, 1987 | 72 | 1987 |
| Lazy caching in TLA P Ladkin, L Lamport, B Olivier, D Roegel Distributed Computing 12 (2), 151-174, 1999 | 63 | 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 | 46 | 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 |
| 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 |
| Representation and reasoning with convex time intervals Kestrel Institute, PB Ladkin, R Maddux | 28 | 1988 |
