| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Omar I. Al-Bataineh, Mark Reynolds, Tim French, Terry Woodings |
Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Mark Reynolds |
A tableau-based decision procedure for CTL. |
Formal Asp. Comput. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
A Tableau for Until and Since over Linear Time. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Dianhui Wang, Mark Reynolds (eds.) |
AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings |
Australasian Conference on Artificial Intelligence |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Saeed Danesh, Wei Liu, Tim French, Mark Reynolds |
An Investigation of Recursive Auto-associative Memory in Sentiment Detection. |
ADMA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
Axioms for Obligation and Robustness with Temporal Logic. |
DEON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazri Kama, Tim French, Mark Reynolds |
Impact Analysis using Class Interaction Prediction Approach. |
SoMeT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazri Kama, Tim French, Mark Reynolds |
Considering Patterns in Class Interactions Prediction. |
FGIT-ASEA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
Dense Time Reasoning via Mosaics. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
real-numbers time, complexity, temporal logic, reasoning |
| 1 | John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat |
On the Expressivity of RoCTL*. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
reliability, Robustness, time, logic, CTL |
| 1 | Szabolcs Mikulás, Mark Reynolds, Tim French |
Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. |
TIME |
2009 |
DBLP DOI BibTeX RDF |
temporal logic, epistemic logic, complete axiomatizations |
| 1 | Mark Reynolds |
A Tableau for CTL. |
FM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernard Mans, Mark Reynolds (eds.) |
Computer Science 2010, Thirty-Third Australasian Computer Science Conference (ACSC 2010), Brisbane, Australia, January 18-22, 2010, Proceedings |
ACSC |
2009 |
DBLP BibTeX RDF |
|
| 1 | Majigsuren Enkhsaikhan, Wei Liu, Mark Reynolds |
Geographical and Temporal Visualisation of Social Relationships. |
PACIS |
2008 |
DBLP BibTeX RDF |
|
| 1 | David J. Montana, Mark Reynolds |
Validation Algorithms for a Secure Internet Routing PKI. |
EuroPKI |
2008 |
DBLP DOI BibTeX RDF |
Resource PKI, Internet Routing PKI, Route Origination Attestation, Border Gateway Protocol |
| 1 | Mark Reynolds |
A Tableau for Bundled CTL. |
J. Log. Comput. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
A Temporal Logic of Robustness. |
FroCos |
2007 |
DBLP DOI BibTeX RDF |
RoCTL*, QCTL*, Robustness, Modal Logic, Decidability, Branching Time Logic |
| 1 | Majigsuren Enkhsaikhan, Wilson Wong, Wei Liu, Mark Reynolds |
Measuring Data-Driven Ontology Changes using Text Mining. |
AusDM |
2007 |
DBLP BibTeX RDF |
|
| 1 | Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds |
A Modal Logic for Beliefs and Pro Attitudes. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mark Reynolds, Abdul Sattar |
Editors' introduction. |
J. Applied Logic |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Luo, Kaile Su, Abdul Sattar, Mark Reynolds |
Verification of Multi-agent Systems Via Bounded Model Checking. |
Australian Conference on Artificial Intelligence |
2006 |
DBLP DOI BibTeX RDF |
temporal epistemic logic, bounded semantics, multi-agent systems, bounded model checking |
| 1 | Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz |
A Space and Time Requirements Logic for Sensor Networks. |
ISoLA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
An axiomatization of PCTL*. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
Advances in Modal Logic |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ian M. Hodkinson, Mark Reynolds |
Separation - Past, Present, and Future. |
We Will Show Them! |
2005 |
DBLP BibTeX RDF |
|
| 1 | Mark Reynolds |
Towards a CTL* Tableau. |
FSTTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | April Krukowski, Mark Reynolds |
Students as service champions: a success story. |
SIGUCCS |
2004 |
DBLP DOI BibTeX RDF |
second-level, management, support, students, staffing, helpdesk |
| 1 | Mark Reynolds |
The complexity of the temporal logic with "until" over general linear time. |
J. Comput. Syst. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
Axioms for Branching Time. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim French, Mark Reynolds |
A Sound and Complete Proof System for QPTL. |
Advances in Modal Logic |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mark Reynolds |
An Axiomatization of Full Computation Tree Logic. |
J. Symb. Log. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Mark Reynolds, Michael Zakharyaschev |
On the Products of Linear Modal Logics. |
J. Log. Comput. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
Continuous Temporal Models. |
Australian Joint Conference on Artificial Intelligence |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Szabolcs Mikulás, Mark Reynolds |
The Mosaic Method for Temporal Logics. |
TABLEAUX |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
More Past Glories. |
LICS |
2000 |
DBLP DOI BibTeX RDF |
temporal logic, automata, axiomatizations |
| 1 | Alberto Zanardo, Bruno Barcellan, Mark Reynolds |
Non-Definability of the Class of Complete Bundled Trees. |
Logic Journal of the IGPL |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Maarten Marx, Mark Reynolds |
Undecidability of Compass Logic. |
J. Log. Comput. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
A Decidable Temporal Logic of Parallelism. |
Notre Dame Journal of Formal Logic |
1997 |
DBLP BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
Axiomatising first-order temporal logic: until and since over linear time. |
Studia Logica |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
Axiomatizing U and S over Integer Time. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
Towards First-Order Concurrent METATEM. |
Executable Modal and Temporal Logics |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Reynolds |
An Axiomatization for Until and Since over the Reals without the IRR Rule. |
Studia Logica |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")