Follow
Peter B. Ladkin
Peter B. Ladkin
Bielefeld University
Verified email at causalis.com
Title
Cited by
Cited by
Year
Integrating Metric and Qualitative Temporal Reasoning.
HA Kautz, PB Ladkin
AAAI 91, 241-246, 1991
3121991
On binary constraint problems
PB Ladkin, RD Maddux
Journal of the ACM (JACM) 41 (3), 435-469, 1994
2921994
Time Representation: A Taxonomy of Internal Relations.
PB Ladkin
AAAI, 360-366, 1986
2381986
Effective solution of qualitative interval constraint problems
PB Ladkin, A Reinefeld
Artificial Intelligence 57 (1), 105-124, 1992
1891992
Interpreting message flow graphs
PB Ladkin, S Leue
Formal Aspects of Computing 7, 473-509, 1995
1521995
Primitives and Units for Time Specification.
PB Ladkin
AAAI 86, 354-359, 1986
1391986
The logic of time representation
PB Ladkin
University California, Berkeley, 1987
1241987
On binary constraint networks
PB Ladkin, RD Maddux
Kestrel Institute, 1988
1011988
Models of Axioms for Time Intervals.
PB Ladkin
AAAI 87, 234-239, 1987
991987
What do message sequence charts mean?
PB Ladkin, S Leue
781994
The Completeness of a Natural System for Reasoning with Time Intervals.
PB Ladkin
IJCAI, 462-465, 1987
701987
Lazy caching in TLA
P Ladkin, L Lamport, B Olivier, D Roegel
Distributed Computing 12 (2), 151-174, 1999
651999
Fast algebraic methods for interval constraint problems
PB Ladkin, A Reinefeld
Annals of Mathematics and Artificial Intelligence 19, 383-411, 1997
501997
Why-because analysis: Formal reasoning about incidents
P Ladkin, K Loer
Bielefeld, Germany, Document RVS-Bk-98-01, Technischen Fakultat der …, 1998
451998
Implementing and verifying msc specifications using promela/xspin
S Leue, PB Ladkin
371997
Satisfying First-Order Constraints About Time Intervals.
PB Ladkin
AAAI, 512-517, 1988
351988
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
341995
Representation and reasoning with convex time intervals
Kestrel Institute, PB Ladkin, R Maddux
291988
Privacy enhancing technology concepts for RFID technology scrutinised
JE Hennig, PB Ladkin, B Sieker
RVS Group, Bieldefeld, 2004
282004
Analysis of a technical description of the Airbus A320 braking system
PB Ladkin
High Integrity Systems 1, 331-350, 1995
281995
The system can't perform the operation now. Try again later.
Articles 1–20