The SCEAS System
Navigation Menu

Search the dblp DataBase


Peter B. Ladkin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Peter B. Ladkin
    Time Representation: A Taxonomy of Internal Relations. [Citation Graph (3, 0)][DBLP]
    AAAI, 1986, pp:360-366 [Conf]
  2. Peter B. Ladkin
    Satisfying First-Order Constraints About Time Intervals. [Citation Graph (2, 0)][DBLP]
    AAAI, 1988, pp:512-517 [Conf]
  3. Henry A. Kautz, Peter B. Ladkin
    Integrating Metric and Qualitative Temporal Reasoning. [Citation Graph (1, 0)][DBLP]
    AAAI, 1991, pp:241-246 [Conf]
  4. Peter B. Ladkin
    Primitives and Units for Time Specification. [Citation Graph (1, 0)][DBLP]
    AAAI, 1986, pp:353-359 [Conf]
  5. Peter B. Ladkin
    The Completeness of a Natural System for Reasoning with Time Intervals. [Citation Graph (1, 0)][DBLP]
    IJCAI, 1987, pp:462-465 [Conf]
  6. Peter B. Ladkin
    Models of Axioms for Time Intervals. [Citation Graph (0, 0)][DBLP]
    AAAI, 1987, pp:234-239 [Conf]
  7. Peter B. Ladkin, Alexander Reinefeld
    A Symbolic Approach to Interval Constraint Problems. [Citation Graph (0, 0)][DBLP]
    AISMC, 1992, pp:65-84 [Conf]
  8. Harold W. Thimbleby, Peter B. Ladkin
    A Proper Explanation When You Need One. [Citation Graph (0, 0)][DBLP]
    BCS HCI, 1995, pp:107-118 [Conf]
  9. Peter B. Ladkin, Barbara B. Simons
    Static analysis of multiway synchronization. [Citation Graph (0, 0)][DBLP]
    CASCON, 1994, pp:39- [Conf]
  10. Lutz Sommerfeld, Peter B. Ladkin
    Beschreibung eines vagen Echtzeit-Hybrid-Systems in TLA+. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:79-88 [Conf]
  11. Peter B. Ladkin, Stefan Leue
    On the Semantics of Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
    FBT, 1992, pp:88-104 [Conf]
  12. Peter B. Ladkin, Stefan Leue
    What Do Message Sequence Charts Mean? [Citation Graph (0, 0)][DBLP]
    FORTE, 1993, pp:301-316 [Conf]
  13. Peter B. Ladkin, Stefan Leue
    Four issues concerning the semantics of Message Flow Graphs. [Citation Graph (0, 0)][DBLP]
    FORTE, 1994, pp:355-369 [Conf]
  14. Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell
    Cyber Threats (Panel). [Citation Graph (0, 0)][DBLP]
    FTCS, 1998, pp:104-106 [Conf]
  15. Peter B. Ladkin, Barbara Simons
    Compile-time analysis of communicating processes. [Citation Graph (0, 0)][DBLP]
    ICS, 1992, pp:248-259 [Conf]
  16. Peter B. Ladkin
    Specification of Time Dependencies and Synthesis of Concurrent Processes. [Citation Graph (0, 0)][DBLP]
    ICSE, 1987, pp:106-115 [Conf]
  17. Peter B. Ladkin
    Causal Reasoning about Aircraft Accidents. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2000, pp:344-360 [Conf]
  18. Peter B. Ladkin
    Causal Analysis of the ACAS/TCAS Sociotechnical System. [Citation Graph (0, 0)][DBLP]
    SCS, 2004, pp:3-12 [Conf]
  19. Peter B. Ladkin, Jörn Stuphorn
    Two Causal Analyses of the Black Hawk Shootdown during Operation Provide Comfort. [Citation Graph (0, 0)][DBLP]
    SCS, 2003, pp:3-23 [Conf]
  20. Peter B. Ladkin, Alexander Reinefeld
    Effective Solution of Qualitative Interval Constraint Problems. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 1992, v:57, n:1, pp:105-124 [Journal]
  21. Peter B. Ladkin, Alexander Reinefeld
    Fast Algebraic Methods for Interval Constraint Problems. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1997, v:19, n:3-4, pp:383-411 [Journal]
  22. Peter B. Ladkin
    Risks of Technological Remedy. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1997, v:40, n:11, pp:160- [Journal]
  23. Peter B. Ladkin
    The Risks of Hubris. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1998, v:41, n:12, pp:160- [Journal]
  24. Peter B. Ladkin, Harold W. Thimbleby
    Comments on a paper by Voas, Payne and Cohen: 'A model for detecting the existence of software corruption in real time'. [Citation Graph (0, 0)][DBLP]
    Computers & Security, 1994, v:13, n:6, pp:527-531 [Journal]
  25. Peter B. Ladkin, Leslie Lamport, Bryan Olivier, Denis Roegel
    Lazy Caching in TLA. [Citation Graph (0, 0)][DBLP]
    Distributed Computing, 1999, v:12, n:2-3, pp:151-174 [Journal]
  26. Peter B. Ladkin, Stefan Leue
    Interpreting Message Flow Graphs. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1995, v:7, n:5, pp:473-509 [Journal]
  27. Harold W. Thimbleby, Peter B. Ladkin
    From logic to manuals again. [Citation Graph (0, 0)][DBLP]
    IEE Proceedings - Software, 1997, v:144, n:3, pp:185-192 [Journal]
  28. Maroua Bouzid, Peter B. Ladkin
    Simple Reasoning with Time-Dependent Propositions. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2002, v:10, n:4, pp:379-399 [Journal]
  29. Peter B. Ladkin, Roger D. Maddux
    On Binary Constraint Problems. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1994, v:41, n:3, pp:435-469 [Journal]

Search in 0.007secs, Finished in 0.008secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002