Mark Reynolds

According to our database1, Mark Reynolds
  • authored at least 86 papers between 1992 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Finding minimum and maximum termination time of timed automata models with cyclic behaviour.
Theor. Comput. Sci., 2017

Rewrite rules for CTL.
J. Applied Logic, 2017

A Parallel Linear Temporal Logic Tableau.
Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Trace Expressiveness of Timed and Probabilistic Automata.
CoRR, 2017

Timed Automata with Polynomial Delay and their Expressiveness.
CoRR, 2017

Cyclic scheduling for an ethylene cracking furnace system using diversity learning teaching-learning-based optimization.
Computers & Chemical Engineering, 2017

To be fair, use bundles.
Ann. Math. Artif. Intell., 2017

A One-Pass Tree-Shaped Tableau for LTL+Past.
Proceedings of the LPAR-21, 2017

2016
A complete axiomatization of a temporal logic with obligation and robustness.
J. Log. Comput., 2016

A New Rule for LTL Tableaux.
Proceedings of the Seventh International Symposium on Games, 2016

A traditional tree-style tableau for LTL.
CoRR, 2016

Termination of Monotone Programs.
CoRR, 2016

Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour.
CoRR, 2016

Metric temporal logic revisited.
Acta Inf., 2016

Modelling Systems over General Linear Time.
Proceedings of the 23rd International Symposium on Temporal Representation and Reasoning, 2016

Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Effective Monotone Knowledge Integration in Kernel Support Vector Machines.
Proceedings of the Advanced Data Mining and Applications - 12th International Conference, 2016

2015
Synthesis for continuous time.
Theor. Comput. Sci., 2015

Expressiveness and succinctness of a logic of robustness.
Journal of Applied Non-Classical Logics, 2015

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour.
Formal Asp. Comput., 2015

A Tableau for Bundled Strategies.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Hourglass Systems.
Proceedings of the 38th Australasian Computer Science Conference, 2015

2014
Hourglass Automata.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Fairness with EXPTIME Bundled CTL Tableau.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Verification of Rewrite Rules for Computation Tree Logics.
Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

A Tableau for Temporal Logic over the Reals.
Proceedings of the Advances in Modal Logic 10, 2014

2013
A tableau for general linear temporal logic.
J. Log. Comput., 2013

A Faster Tableau for CTL.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Specifying Robustness.
CoRR, 2013

A New Metric Temporal Logic for Hybrid Systems.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Complexity of Model Checking over General Linear Time.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

An Algebraic System of Temporal Structures.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Model Checking General Linear Temporal Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Verifying Temporal Properties in Real Models.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Indiscrete Models: Model Building and Model Checking over Linear Time.
Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

An Efficient Tableau for Linear Time Temporal Logic.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012
Web-based simulation of fruit fly to support biosecurity decision-making.
Ecological Informatics, 2012

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology
CoRR, 2012

Synthesis for Temporal Logic over the Reals.
Proceedings of the Advances in Modal Logic 9, 2012

2011
Special issue on logics for intelligent agents and multi-agent systems.
J. Applied Logic, 2011

A tableau-based decision procedure for CTL.
Formal Asp. Comput., 2011

A Tableau for Until and Since over Linear Time.
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

An Investigation of Recursive Auto-associative Memory in Sentiment Detection.
Proceedings of the Advanced Data Mining and Applications - 7th International Conference, 2011

2010
Metric temporal reasoning with less than two clocks.
Journal of Applied Non-Classical Logics, 2010

The complexity of temporal logic over the reals.
Ann. Pure Appl. Logic, 2010

Impact Analysis using Class Interaction Prediction Approach.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Considering Patterns in Class Interactions Prediction.
Proceedings of the Advances in Software Engineering, 2010

Axioms for Obligation and Robustness with Temporal Logic.
Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009
Dense Time Reasoning via Mosaics.
Proceedings of the TIME 2009, 2009

Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.
Proceedings of the TIME 2009, 2009

On the Expressivity of RoCTL*.
Proceedings of the TIME 2009, 2009

A Tableau for CTL.
Proceedings of the FM 2009: Formal Methods, 2009

2008
Geographical and Temporal Visualisation of Social Relationships.
Proceedings of the Pacific Asia Conference on Information Systems, 2008

Validation Algorithms for a Secure Internet Routing PKI.
Proceedings of the Public Key Infrastructure, 2008

2007
A Tableau for Bundled CTL.
J. Log. Comput., 2007

A Temporal Logic of Robustness.
Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

Measuring Data-Driven Ontology Changes using Text Mining.
Proceedings of the Data Mining and Analytics 2007, 2007

A Modal Logic for Beliefs and Pro Attitudes.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Editors' introduction.
J. Applied Logic, 2006

A Space and Time Requirements Logic for Sensor Networks.
Proceedings of the Leveraging Applications of Formal Methods, 2006

Verification of Multi-agent Systems Via Bounded Model Checking.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005
Theorem-Proving for Discrete Temporal Logic.
Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

An axiomatization of PCTL*.
Inf. Comput., 2005

Towards a CTL* Tableau.
Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Separation - Past, Present, and Future.
Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004
Students as service champions: a success story.
Proceedings of the 32nd Annual ACM SIGUCCS Conference on User Services 2004, 2004

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States.
Proceedings of the Advances in Modal Logic 5, 2004

2003
The complexity of the temporal logic with "until" over general linear time.
J. Comput. Syst. Sci., 2003

2002
Axioms for Branching Time.
J. Log. Comput., 2002

A Sound and Complete Proof System for QPTL.
Proceedings of the Advances in Modal Logic 4, 2002

2001
On the Products of Linear Modal Logics.
J. Log. Comput., 2001

An Axiomatization of Full Computation Tree Logic.
J. Symb. Log., 2001

Continuous Temporal Models.
Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000
The Mosaic Method for Temporal Logics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2000

More Past Glories.
Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science, 2000

1999
Undecidability of Compass Logic.
J. Log. Comput., 1999

Non-Definability of the Class of Complete Bundled Trees.
Logic Journal of the IGPL, 1999

The Complexity of Temporal Logic over the Reals
CoRR, 1999

1997
A Decidable Temporal Logic of Parallelism.
Notre Dame Journal of Formal Logic, 1997

1996
Axiomatising first-order temporal logic: until and since over linear time.
Studia Logica, 1996

Languages, Meta-languages and METATEM, A Discussion Paper.
Logic Journal of the IGPL, 1996

1994
Axiomatisation and decidability ofF andP in cyclical time.
J. Philosophical Logic, 1994

Axiomatizing U and S over Integer Time.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
Towards First-Order Concurrent METATEM.
Proceedings of the Executable Modal and Temporal Logics, 1993

1992
An Axiomatization for Until and Since over the Reals without the IRR Rule.
Studia Logica, 1992


  Loading...