The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Mark Reynolds: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tim French, Ron van der Meyden, Mark Reynolds
    Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2004, pp:53-72 [Conf]
  2. Tim French, Mark Reynolds
    A Sound and Complete Proof System for QPTL. [Citation Graph (0, 0)][DBLP]
    Advances in Modal Logic, 2002, pp:127-148 [Conf]
  3. Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds
    Verification of Multi-agent Systems Via Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    Australian Conference on Artificial Intelligence, 2006, pp:69-78 [Conf]
  4. Mark Reynolds
    Continuous Temporal Models. [Citation Graph (0, 0)][DBLP]
    Australian Joint Conference on Artificial Intelligence, 2001, pp:414-425 [Conf]
  5. Ian M. Hodkinson, Mark Reynolds
    Separation - Past, Present, and Future. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:117-142 [Conf]
  6. Mark Reynolds
    Towards a CTL* Tableau. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2005, pp:384-395 [Conf]
  7. Mark Reynolds
    Axiomatizing U and S over Integer Time. [Citation Graph (0, 0)][DBLP]
    ICTL, 1994, pp:117-132 [Conf]
  8. Mark Reynolds
    Towards First-Order Concurrent METATEM. [Citation Graph (0, 0)][DBLP]
    Executable Modal and Temporal Logics, 1993, pp:118-143 [Conf]
  9. Mark Reynolds
    More Past Glories. [Citation Graph (0, 0)][DBLP]
    LICS, 2000, pp:229-240 [Conf]
  10. April Krukowski, Mark Reynolds
    Students as service champions: a success story. [Citation Graph (0, 0)][DBLP]
    SIGUCCS, 2004, pp:284-288 [Conf]
  11. Maarten Marx, Szabolcs Mikulás, Mark Reynolds
    The Mosaic Method for Temporal Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2000, pp:324-340 [Conf]
  12. Mark Reynolds
    An axiomatization of PCTL*. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2005, v:201, n:1, pp:72-119 [Journal]
  13. Alberto Zanardo, Bruno Barcellan, Mark Reynolds
    Non-Definability of the Class of Complete Bundled Trees. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:1, pp:125-136 [Journal]
  14. Mark Reynolds, Abdul Sattar
    Editors' introduction. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2006, v:4, n:2, pp:117-118 [Journal]
  15. Mark Reynolds
    The complexity of the temporal logic with "until" over general linear time. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2003, v:66, n:2, pp:393-426 [Journal]
  16. Mark Reynolds
    An Axiomatization of Full Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1011-1057 [Journal]
  17. Maarten Marx, Mark Reynolds
    Undecidability of Compass Logic. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1999, v:9, n:6, pp:897-914 [Journal]
  18. Mark Reynolds
    Axioms for Branching Time. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:4, pp:679-697 [Journal]
  19. Mark Reynolds, Michael Zakharyaschev
    On the Products of Linear Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2001, v:11, n:6, pp:909-931 [Journal]
  20. Mark Reynolds
    A Decidable Temporal Logic of Parallelism. [Citation Graph (0, 0)][DBLP]
    Notre Dame Journal of Formal Logic, 1997, v:38, n:3, pp:419-436 [Journal]
  21. Mark Reynolds
    An Axiomatization for Until and Since over the Reals without the IRR Rule. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1992, v:51, n:2, pp:165-193 [Journal]
  22. Mark Reynolds
    Axiomatising first-order temporal logic: until and since over linear time. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:279-302 [Journal]
  23. Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds
    A Modal Logic for Beliefs and Pro Attitudes. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:496-501 [Conf]
  24. Tim French, John C. McCabe-Dansted, Mark Reynolds
    A Temporal Logic of Robustness. [Citation Graph (0, 0)][DBLP]
    FroCos, 2007, pp:193-205 [Conf]
  25. Mark Reynolds
    A Tableau for Bundled CTL. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2007, v:17, n:1, pp:117-132 [Journal]

  26. Measuring Data-Driven Ontology Changes using Text Mining. [Citation Graph (, )][DBLP]


  27. Axioms for Obligation and Robustness with Temporal Logic. [Citation Graph (, )][DBLP]


  28. Validation Algorithms for a Secure Internet Routing PKI. [Citation Graph (, )][DBLP]


  29. A Tableau for CTL. [Citation Graph (, )][DBLP]


  30. A Space and Time Requirements Logic for Sensor Networks. [Citation Graph (, )][DBLP]


  31. On the Expressivity of RoCTL*. [Citation Graph (, )][DBLP]


  32. Dense Time Reasoning via Mosaics. [Citation Graph (, )][DBLP]


  33. Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. [Citation Graph (, )][DBLP]


Search in 0.091secs, Finished in 0.092secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
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 asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002