Statistics
Publications
22
Citations
1.2K
H-Index
15
Active since
1986
Peter B. Ladkin is an author at Kestrel Institute specializing in computer science, computing, and temporal logic.
Publications per year
1986–2020
22
22
Integrating metric and qualitative temporal reasoning
Henry Kautz, Peter B. Ladkin · 1991 · 192 citations
Peter B. Ladkin, Roger D. Maddux · Journal of the ACM · 1994 · 190 citations · Full text
Time representation: a taxonomy of interval relations
Peter B. Ladkin · 1986 · 137 citations
Interpreting Message Flow Graphs
Peter B. Ladkin, Stefan Leue · Formal Aspects of Computing · 1995 · 92 citations · Full text
1–5 of 22