Mark Reynolds

发表

Undecidability of Compass Logic

Maarten Marx, Mark Reynolds, maarten marx, 1999, J. Log. Comput..

Temporal Logic Mathematical Foundations and Computational Aspects

D. Gabbay, Mark Reynolds, I. Hodkinson, 1994 .

More Past Glories

Mark Reynolds, 2000, LICS 2000.

Temporal expressive completeness in the presence of gaps

D. Gabbay, Mark Reynolds, I. Hodkinson, 1993 .

The complexity of the temporal logic with "until" over general linear time

Mark Reynolds, Mark Reynolds, 2003, J. Comput. Syst. Sci..

A Tableau for RTL ( long version )

Mark Reynolds, 2013 .

When Geo-Text Meets Security: Privacy-Preserving Boolean Spatial Keyword Queries

Xiaochun Yang, Yong Xiang, Mark Reynolds, 2019, 2019 IEEE 35th International Conference on Data Engineering (ICDE).

Dynamic Aleatoric Reasoning in Games of Bluffing and Chance

Tim French, Mark Reynolds, Andrew Gozzard, 2019, AAMAS.

The Logic of E-contracting The Logic of E-contracting

Mark Reynolds, 2001 .

A New Tableau-Based Satisfiability Checker for Linear Temporal Logic

A. Montanari, Mark Reynolds, N. Gigante, 2016 .

Temporal logic (vol. 1): mathematical foundations and computational aspects

Dov M. Gabbay, Mark Reynolds, Ian Hodkinson, 1994 .

The imperative future: principles of executable temporal logic

Dov M. Gabbay, Michael Fisher, Howard Barringer, 1996 .

Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints

Tim French, L. While, Mark Reynolds, 2022, 2022 IEEE Congress on Evolutionary Computation (CEC).

Simulation of Honeybee Nectar Foraging for Determining Effects on Local Flora

Mark Reynolds, J. Adeva, L. Lach, 2011 .

au Verification of Multi-agent Systems Via Bounded Model Checking

A. Sattar, Mark Reynolds, Kaile Su, 2017 .

From Peptide to Non-Peptide. Part 2. The de novo Design of Potent, Non- Peptidal Inhibitors of Platelet Aggregation Based on a Benzodiazepinedione Scaffold.

Mark Reynolds, M. Venuti, E. Thorsett, 1994 .

Temporal logic

Mark Reynolds, Ian Hodkinson, Mark Reynolds, 2007, Handbook of Modal Logic.

Continuous Temporal Models

Mark Reynolds, Mark Reynolds, 2001, Australian Joint Conference on Artificial Intelligence.

Using market-based optimisation to solve the dynamic vehicle routing problem

R. Lyndon While, Mark Reynolds, Tim French, 2017, 2017 IEEE Symposium Series on Computational Intelligence (SSCI).

A simulation modelling approach to forecast establishment and spread of Bactrocera fruit flies

Mark Reynolds, J. J. García Adeva, J. H. Botha, 2012 .

An Investigation of Recursive Auto-associative Memory in Sentiment Detection

Mark Reynolds, Wei Liu, Tim French, 2011, ADMA.

A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling

R. Lyndon While, Mark Reynolds, Tim French, 2018, Australasian Conference on Artificial Intelligence.

SARS-CoV-2 evolution during treatment of chronic infection

Graham W. Taylor, William L. Hamilton, Joshua B. Singer, 2021, Nature.

Recurrent emergence of SARS-CoV-2 spike deletion H69/V70 and its role in the Alpha variant B.1.1.7

William T. Harvey, Graham W. Taylor, William L. Hamilton, 2021, Cell Reports.

A Modal Aleatoric Calculus for Probabilistic Reasoning

Mark Reynolds, Tim French, Andrew Gozzard, 2019, ICLA.

A modal aleatoric calculus for probabilistic reasoning: extended version pdf

Mark Reynolds, Tim French, Andrew Gozzard, 2018, ArXiv.

Investigation of Alternative Power Distribution and Optimal Configuration through the Implementation of Clustering Algorithms-Based Microgrids for a Case Study

Tyrone Fernando, Mark Reynolds, Herbert Ho-Ching Iu, 2018 .

Genomic reconstruction of the SARS-CoV-2 epidemic in England

William T. Harvey, William L. Hamilton, Richard J. Goater, 2021, Nature.

SARS-CoV-2 evolution during treatment of chronic infection

Graham W. Taylor, William L. Hamilton, Joshua B. Singer, 2021, Nature.

On the Products of Linear Modal Logics

Michael Zakharyaschev, Mark Reynolds, M. Zakharyaschev, 2001, J. Log. Comput..

A Decidable Temporal Logic of Parallelism

Mark Reynolds, Mark Reynolds, 1997, Notre Dame J. Formal Log..

Axiomatising first-order temporal logic: Until and since over linear time

Mark Reynolds, Mark Reynolds, 1996, Stud Logica.

An Investigation of Video-Based Technologies for In-Service Training in Mainstreaming for Music Educators. Final Report, Phase I.

Mark Reynolds, 1992 .

Understanding Requirements Engineering

Mark Reynolds, Terry Woodings, S. Ahmad, 2007 .

A game-theoretic approach to timeline-based planning with uncertainty

Angelo Montanari, Mark Reynolds, Marta Cialdea Mayer, 2018, TIME.

Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time

Szabolcs Mikulás, Mark Reynolds, Tim French, 2009, 2009 16th International Symposium on Temporal Representation and Reasoning.

Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification

Mark Reynolds, Du Q. Huynh, Hao Xue, 2017, 2017 International Conference on Digital Image Computing: Techniques and Applications (DICTA).

Sublogics of a branching time logic of robustness

Clare Dixon, Mark Reynolds, Tim French, 2019, Information and Computation.

Expressiveness and succinctness of a logic of robustness

Sophie Pinchinat, Mark Reynolds, Tim French, 2015, J. Appl. Non Class. Logics.

Specifying Robustness pdf

Sophie Pinchinat, Mark Reynolds, Tim French, 2013, ArXiv.

Advanced Tense Logic

Dov M. Gabbay, Mark Reynolds, Marcelo Finger, 2002 .

An axiomatization of PCTL*

Mark Reynolds, Mark Reynolds, 2005, Inf. Comput..

Sensitivity of SARS-CoV-2 B.1.1.7 to mRNA vaccine-elicited antibodies

Graham W. Taylor, William L. Hamilton, Joshua B. Singer, 2021, Nature.

SS-LSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction

Mark Reynolds, Du Q. Huynh, Hao Xue, 2018, 2018 IEEE Winter Conference on Applications of Computer Vision (WACV).

Toward Occlusion Handling in Visual Tracking via Probabilistic Finite State Machines

Mark Reynolds, Chenghuan Liu, Du Q Huynh, 2020, IEEE Transactions on Cybernetics.

Axioms for Branching Time

Mark Reynolds, Mark Reynolds, 2002, J. Log. Comput..

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States

Mark Reynolds, Ron van der Meyden, Tim French, 2004, Advances in Modal Logic.

Two-Dimensional Temporal Logic

Mark Reynolds, Mark Reynolds, 1998 .

Population Based Methods for Optimising Infinite Behaviours of Timed Automata

Mark Reynolds, Tim French, Lewis Tolonen, 2018, TIME.

Non-Definability of the Class of Complete Bundled Trees

Mark Reynolds, Alberto Zanardo, Bruno Barcellan, 1999, Log. J. IGPL.

AI 2011: Advances in Artificial Intelligence - 24th Australasian Joint Conference, Perth, Australia, December 5-8, 2011. Proceedings

Dianhui Wang, Mark Reynolds, Dianhui Wang, 2011, Australasian Conference on Artificial Intelligence.

Multiobjective optimization of ethylene cracking furnace system using self-adaptive multiobjective teaching-learning-based optimization

Xin Wang, Mark Reynolds, Liang Zhao, 2018 .

The Effects of Repeated Low-Level Sarin Exposure on Muscarinic M1 Receptor Binding, Amyloid Precursor Protein Levels and Neuropathology

Mark Reynolds, J. McDonough, R. Kan, 2005 .

A Modal Logic for Beliefs and Pro Attitudes

Abdul Sattar, Kaile Su, Mark Reynolds, 2007, AAAI.

Pedestrian Tracking and Stereo Matching of Tracklets for Autonomous Vehicles

Mark Reynolds, Du Q. Huynh, Hao Xue, 2019, 2019 IEEE 89th Vehicular Technology Conference (VTC2019-Spring).

Web-based simulation of fruit fly to support biosecurity decision-making

Mark Reynolds, Juan Jose García Adeva, Mark Reynolds, 2012, Ecol. Informatics.

Location-Velocity Attention for Pedestrian Trajectory Prediction

Mark Reynolds, Hao Xue, Du Huynh, 2019, 2019 IEEE Winter Conference on Applications of Computer Vision (WACV).

Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification

Wei Liu, Mark Reynolds, Christopher Bartley, 2019, AAAI.

An axiomatization of full Computation Tree Logic

Mark Reynolds, Mark Reynolds, 2001, Journal of Symbolic Logic.

Essentials for Attorneys in Child Support Enforcement.

Mark Reynolds, Michael R. Henry, Victoria S. Schwartz, 1986 .

Spatial Optimization for the Planning of Sparse Power Distribution Networks

Mark Reynolds, Tyrone Fernando, Herbert Ho-Ching Iu, 2018, IEEE Transactions on Power Systems.

Towards First-Order Concurrent METATEM

Mark Reynolds, Mark Reynolds, 1993, Executable Modal and Temporal Logics.

Changing the pattern out of hours: a survey of general practice cooperatives

L. Jessopp, Mark Reynolds, J. Dale, 1997, BMJ.

Effective Monotone Knowledge Integration in Kernel Support Vector Machines

Mark Reynolds, Wei Liu, Christopher Bartley, 2016, ADMA.

Languages, Meta-languages and Metatem, a Discussion Paper

Dov M. Gabbay, Michael Fisher, Anthony Hunter, 1996 .

Theorem-Proving for Discrete Temporal Logic

Clare Dixon, Mark Reynolds, Mark Reynolds, 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

Temporal logic

Mark Reynolds, I. Hodkinson, 2007, Handbook of Modal Logic.

THE TEMPORAL LOGIC OF TWO DIMENSIONAL MINKOWSKI SPACETIME IS DECIDABLE

Mark Reynolds, Robin Hirsch, Mark Reynolds, 2015, The Journal of Symbolic Logic.

Axiomatizing U and S over Integer Time

Mark Reynolds, Mark Reynolds, 1994, ICTL.

Axiomatisation and decidability ofF andP in cyclical time

Mark Reynolds, Mark Reynolds, 1994, J. Philos. Log..

An axiomatization for until and since over the reals without the IRR rule

Mark Reynolds, Mark Reynolds, 1992, Stud Logica.

The complexity of Decision Problems for Linear Temporal Logics

Mark Reynolds, Mark Reynolds, 2010 .

Design Patterns Consideration in Class Interactions Prediction Development

Mark Reynolds, Nazri Kama, Tim French, 2011 .

A tableau-based decision procedure for CTL*

Mark Reynolds, Mark Reynolds, 2011, Formal Aspects of Computing.

A Tableau for Until and Since over Linear Time

Mark Reynolds, Mark Reynolds, 2011, 2011 Eighteenth International Symposium on Temporal Representation and Reasoning.

A Tableau for CTL

Mark Reynolds, 2009, FM.

A Tableau for Bundled CTL

Mark Reynolds, Mark Reynolds, 2006, J. Log. Comput..

Towards a CTL* Tableau

Mark Reynolds, Mark Reynolds, 2005, FSTTCS.

The Mosaic Method for Temporal Logics

Maarten Marx, Szabolcs Mikulás, Mark Reynolds, 2000, TABLEAUX.

More past glories [temporal logic]

Mark Reynolds, Mark Reynolds, 2000, Proceedings Fifteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.99CB36332).

REVIEWS-Many-dimensional modal logics: Theory and applications

Frank Wolter, Michael Zakharyaschev, Mark Reynolds, 2005 .

Hourglass Automata

Mark Reynolds, Tim French, Yuki Osada, 2014, GandALF.

Hourglass Systems

Mark Reynolds, Tim French, Yuki Osada, 2015, ACSC.

Urban Area Vehicle Re-Identification With Self-Attention Stair Feature Fusion and Temporal Bayesian Re-Ranking

Mark Reynolds, Du Q. Huynh, Chenghuan Liu, 2019, 2019 International Joint Conference on Neural Networks (IJCNN).

Verification of Multi-agent Systems Via Bounded Model Checking

Abdul Sattar, Kaile Su, Xiangyu Luo, 2006, Australian Conference on Artificial Intelligence.

A Tableau for Temporal Logic over the Reals

Mark Reynolds, Mark Reynolds, 2014, Advances in Modal Logic.

Measuring Data-Driven Ontology Changes using Text Mining

Mark Reynolds, Wilson Wong, Wei Liu, 2007, AusDM.

Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking

Mark Reynolds, Du Q. Huynh, Chenghuan Liu, 2017, 2017 International Conference on Digital Image Computing: Techniques and Applications (DICTA).

Languages, Meta-languages and METATEM, A Discussion Paper

D. Gabbay, Michael Fisher, A. Hunter, 1996, Log. J. IGPL.

Products of idempotent linear transformations

Mark Reynolds, Mark Reynolds, R. P. Sullivan, 1985, Proceedings of the Royal Society of Edinburgh: Section A Mathematics.

Considering Patterns in Class Interactions Prediction

Mark Reynolds, Nazri Kama, Tim French, 2010, FGIT-ASEA.

Review of clustering algorithms for microgrid formation

T. Fernando, James R. E. Fletcher, J. Fletcher, 2017, 2017 IEEE Innovative Smart Grid Technologies - Asia (ISGT-Asia).

Timed Automata with Polynomial Delay and their Expressiveness pdf

Mark Reynolds, Tim French, Valentin Bura, 2017, ArXiv.

Trace Expressiveness of Timed and Probabilistic Automata pdf

Mark Reynolds, Tim French, Valentin Bura, 2017, ArXiv.