Mark Reynolds

Tim French, John Christopher McCabe-Dansted, Mark Reynolds: Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA 2013: 50-68

Tim French, John Christopher McCabe-Dansted, Mark Reynolds: Synthesis for Temporal Logic over the Reals. Advances in Modal Logic 2012: 217-238

Mark Reynolds, Bruce H. Thomas (Eds.): Thirty-Fifth Australasian Computer Science Conference, ACSC 2012, Melbourne, Australia, January 2012. CRPIT 122, Australian Computer Society 2012, isbn 978-1-921770-03-6

Ben C. Moszkowski, Mark Reynolds, Paolo Terenziani (Eds.): 19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012. IEEE Computer Society 2012, isbn 978-1-4673-2659-9

Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings: Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology. CoRR abs/1201.3416 (2012)

Mark Reynolds: A tableau-based decision procedure for CTL. Formal Asp. Comput. 23(6): 739-779 (2011)

Mehmet A. Orgun, Guido Governatori, Chuchang Liu, Mark Reynolds, Abdul Sattar: Special issue on logics for intelligent agents and multi-agent systems. J. Applied Logic 9(4): 221-222 (2011)

Saeed Danesh, Wei Liu, Tim French, Mark Reynolds: An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) 2011: 162-174

Mark Reynolds: A Tableau for Until and Since over Linear Time. TIME 2011: 41-48

Mark Reynolds (Ed.): Thirty-Fourth Australasian Computer Science Conference, ACSC 2011, Perth, Australia, January 2011. CRPIT 113, Australian Computer Society 2011, isbn 978-1-920682-93-4

Dianhui Wang, Mark Reynolds (Eds.): AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings. Lecture Notes in Computer Science 7106, Springer 2011, isbn 978-3-642-25831-2

Tim French, John Christopher McCabe-Dansted, Mark Reynolds: Axioms for Obligation and Robustness with Temporal Logic. DEON 2010: 66-83

Nazri Kama, Tim French, Mark Reynolds: Considering Patterns in Class Interactions Prediction. FGIT-ASEA 2010: 11-22

Nazri Kama, Tim French, Mark Reynolds: Impact Analysis using Class Interaction Prediction Approach. SoMeT 2010: 96-111

Mark Reynolds: A Tableau for CTL. FM 2009: 403-418

Mark Reynolds: Dense Time Reasoning via Mosaics. TIME 2009: 3-10

John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat: On the Expressivity of RoCTL*. TIME 2009: 37-44

Szabolcs Mikulás, Mark Reynolds, Tim French: Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME 2009: 81-87

Bernard Mans, Mark Reynolds (Eds.): Computer Science 2010, Thirty-Third Australasian Computer Science Conference (ACSC 2010), Brisbane, Australia, January 18-22, 2010, Proceedings. CRPIT 102, Australian Computer Society 2009, isbn 978-1-920682-83-5

David J. Montana, Mark Reynolds: Validation Algorithms for a Secure Internet Routing PKI. EuroPKI 2008: 17-30

Majigsuren Enkhsaikhan, Wei Liu, Mark Reynolds: Geographical and Temporal Visualisation of Social Relationships. PACIS 2008: 243

Mark Reynolds: A Tableau for Bundled CTL. J. Log. Comput. 17(1): 117-132 (2007)

Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501

Majigsuren Enkhsaikhan, Wilson Wong, Wei Liu, Mark Reynolds: Measuring Data-Driven Ontology Changes using Text Mining. AusDM 2007: 39-46

Tim French, John Christopher McCabe-Dansted, Mark Reynolds: A Temporal Logic of Robustness. FroCoS 2007: 193-205

Mark Reynolds, Abdul Sattar: Editors' introduction. J. Applied Logic 4(2): 117-118 (2006)

Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds: Verification of Multi-agent Systems Via Bounded Model Checking. Australian Conference on Artificial Intelligence 2006: 69-78

Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz: A Space and Time Requirements Logic for Sensor Networks. ISoLA 2006: 283-289

Mark Reynolds: An axiomatization of PCTL*. Inf. Comput. 201(1): 72-119 (2005)

Ian M. Hodkinson, Mark Reynolds: Separation - Past, Present, and Future. We Will Show Them! (2) 2005: 117-142

Mark Reynolds: Towards a CTL* Tableau. FSTTCS 2005: 384-395

Renate A. Schmidt, Ian Pratt-Hartmann, Mark Reynolds, Heinrich Wansing (Eds.): Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004. King's College Publications 2005, isbn 1-904987-22-2

Tim French, Ron van der Meyden, Mark Reynolds: Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. Advances in Modal Logic 2004: 53-72

April Krukowski, Mark Reynolds: Students as service champions: a success story. SIGUCCS 2004: 284-288

Mark Reynolds: The complexity of the temporal logic with "until" over general linear time. J. Comput. Syst. Sci. 66(2): 393-426 (2003)

Mark Reynolds: Axioms for Branching Time. J. Log. Comput. 12(4): 679-697 (2002)

Tim French, Mark Reynolds: A Sound and Complete Proof System for QPTL. Advances in Modal Logic 2002: 127-148

Mark Reynolds: An Axiomatization of Full Computation Tree Logic. J. Symb. Log. 66(3): 1011-1057 (2001)

Mark Reynolds, Michael Zakharyaschev: On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001)

Mark Reynolds: Continuous Temporal Models. Australian Joint Conference on Artificial Intelligence 2001: 414-425

Mark Reynolds: More Past Glories. LICS 2000: 229-240

Maarten Marx, Szabolcs Mikulás, Mark Reynolds: The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340

Alberto Zanardo, Bruno Barcellan, Mark Reynolds: Non-Definability of the Class of Complete Bundled Trees. Logic Journal of the IGPL 7(1): 125-136 (1999)

Maarten Marx, Mark Reynolds: Undecidability of Compass Logic. J. Log. Comput. 9(6): 897-914 (1999)

Mark Reynolds: A Decidable Temporal Logic of Parallelism. Notre Dame Journal of Formal Logic 38(3): 419-436 (1997)

Howard Barringer, Graham Gough, Derek Brough, Dov M. Gabbay, Ian M. Hodkinson, Anthony Hunter, Richard Owens, Peter McBrien, Mark Reynolds, Michael Fisher: Languages, Meta-languages and METATEM, A Discussion Paper. Logic Journal of the IGPL 4(2): 255-272 (1996)

Mark Reynolds: Axiomatising first-order temporal logic: until and since over linear time. Studia Logica 57(2/3): 279-302 (1996)

Mark Reynolds: Axiomatizing U and S over Integer Time. ICTL 1994: 117-132

Mark Reynolds: Towards First-Order Concurrent METATEM. Executable Modal and Temporal Logics 1993: 118-143

Mark Reynolds: An Axiomatization for Until and Since over the Reals without the IRR Rule. Studia Logica 51(2): 165-193 (1992)