Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mark Reynolds
2010 – today
- 2013
[c29]Tim French, John Christopher McCabe-Dansted, Mark Reynolds: Indiscrete Models: Model Building and Model Checking over Linear Time. ICLA 2013: 50-68- [c28]Tim French, John Christopher McCabe-Dansted, Mark Reynolds: Model Checking General Linear Temporal Logic. TABLEAUX 2013: 119-133
- [i4]
- [i3]John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat: Specifying Robustness. CoRR abs/1309.4416 (2013)
- 2012
- [j18]J. J. García Adeva, Mark Reynolds: Web-based simulation of fruit fly to support biosecurity decision-making. Ecological Informatics 9: 19-36 (2012)
- [c27]Tim French, John Christopher McCabe-Dansted, Mark Reynolds: Synthesis for Temporal Logic over the Reals. Advances in Modal Logic 2012: 217-238
- [e6]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
- [e5]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
- [i2]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)
- 2011
- [j17]Mark Reynolds: A tableau-based decision procedure for CTL. Formal Asp. Comput. 23(6): 739-779 (2011)
- [j16]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)
- [c26]Saeed Danesh, Wei Liu, Tim French, Mark Reynolds: An Investigation of Recursive Auto-associative Memory in Sentiment Detection. ADMA (1) 2011: 162-174
- [c25]
- [e4]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
- [e3]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
- 2010
- [j15]Mark Reynolds: The complexity of temporal logic over the reals. Ann. Pure Appl. Logic 161(8): 1063-1096 (2010)
- [j14]Mark Reynolds: Metric temporal reasoning with less than two clocks. Journal of Applied Non-Classical Logics 20(4): 437-455 (2010)
- [c24]Tim French, John Christopher McCabe-Dansted, Mark Reynolds: Axioms for Obligation and Robustness with Temporal Logic. DEON 2010: 66-83
- [c23]Nazri Kama, Tim French, Mark Reynolds: Considering Patterns in Class Interactions Prediction. FGIT-ASEA 2010: 11-22
- [c22]Nazri Kama, Tim French, Mark Reynolds: Impact Analysis using Class Interaction Prediction Approach. SoMeT 2010: 96-111
2000 – 2009
- 2009
- [c21]
- [c20]
- [c19]John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat: On the Expressivity of RoCTL*. TIME 2009: 37-44
- [c18]Szabolcs Mikulás, Mark Reynolds, Tim French: Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. TIME 2009: 81-87
- [e2]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
- 2008
- [c17]David J. Montana, Mark Reynolds: Validation Algorithms for a Secure Internet Routing PKI. EuroPKI 2008: 17-30
- [c16]Majigsuren Enkhsaikhan, Wei Liu, Mark Reynolds: Geographical and Temporal Visualisation of Social Relationships. PACIS 2008: 243
- 2007
- [j13]
- [c15]Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds: A Modal Logic for Beliefs and Pro Attitudes. AAAI 2007: 496-501
- [c14]Majigsuren Enkhsaikhan, Wilson Wong, Wei Liu, Mark Reynolds: Measuring Data-Driven Ontology Changes using Text Mining. AusDM 2007: 39-46
- [c13]Tim French, John Christopher McCabe-Dansted, Mark Reynolds: A Temporal Logic of Robustness. FroCoS 2007: 193-205
- 2006
- [j12]
- [c12]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
- [c11]Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz: A Space and Time Requirements Logic for Sensor Networks. ISoLA 2006: 283-289
- 2005
- [j11]
- [c10]Ian M. Hodkinson, Mark Reynolds: Separation - Past, Present, and Future. We Will Show Them! (2) 2005: 117-142
- [c9]
- [e1]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
- 2004
- [c8]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
- [c7]April Krukowski, Mark Reynolds: Students as service champions: a success story. SIGUCCS 2004: 284-288
- 2003
- [j10]Mark Reynolds: The complexity of the temporal logic with "until" over general linear time. J. Comput. Syst. Sci. 66(2): 393-426 (2003)
- 2002
- [j9]
- [c6]Tim French, Mark Reynolds: A Sound and Complete Proof System for QPTL. Advances in Modal Logic 2002: 127-148
- 2001
- [j8]Mark Reynolds: An Axiomatization of Full Computation Tree Logic. J. Symb. Log. 66(3): 1011-1057 (2001)
- [j7]Mark Reynolds, Michael Zakharyaschev: On the Products of Linear Modal Logics. J. Log. Comput. 11(6): 909-931 (2001)
- [c5]Mark Reynolds: Continuous Temporal Models. Australian Joint Conference on Artificial Intelligence 2001: 414-425
- 2000
- [c4]
- [c3]Maarten Marx, Szabolcs Mikulás, Mark Reynolds: The Mosaic Method for Temporal Logics. TABLEAUX 2000: 324-340
1990 – 1999
- 1999
- [j6]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)
- [j5]
- [i1]
- 1997
- [j4]Mark Reynolds: A Decidable Temporal Logic of Parallelism. Notre Dame Journal of Formal Logic 38(3): 419-436 (1997)
- 1996
- [j3]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)
- [j2]Mark Reynolds: Axiomatising first-order temporal logic: until and since over linear time. Studia Logica 57(2/3): 279-302 (1996)
- 1994
- [c2]
- 1993
- [c1]Mark Reynolds: Towards First-Order Concurrent METATEM. Executable Modal and Temporal Logics 1993: 118-143
- 1992
- [j1]Mark Reynolds: An Axiomatization for Until and Since over the Reals without the IRR Rule. Studia Logica 51(2): 165-193 (1992)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16 21:27 CEST by the dblp team