Mark Reynolds
According to our database^{1},
Mark Reynolds
authored at least 119 papers
between 1988 and 2019.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepages:

at orcid.org
On csauthors.net:
Bibliography
2019
A Quest for a OneSizeFitsAll Neural Network: Early Prediction of Students at Risk in Online Courses.
TLT, 2019
LocationVelocity Attention for Pedestrian Trajectory Prediction.
Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2019
Pedestrian Tracking and Stereo Matching of Tracklets for Autonomous Vehicles.
Proceedings of the 89th IEEE Vehicular Technology Conference, 2019
A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.
Proceedings of the Model Checking Software  26th International Symposium, 2019
Pedestrian Trajectory Prediction Using a Social Pyramid.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
CliqueBased Traffic Control Strategy Using VehicleToVehicle Communication.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Aleatoric Dynamic Epistemic Logic for Learning Agents.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019
Urban Area Vehicle ReIdentification With SelfAttention Stair Feature Fusion and Temporal Bayesian ReRanking.
Proceedings of the International Joint Conference on Neural Networks, 2019
Epistemic model checking of distributed commit protocols with byzantine faults.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
A Modal Aleatoric Calculus for Probabilistic Reasoning.
Proceedings of the Logic and Its Applications  8th Indian Conference, 2019
When GeoText Meets Security: PrivacyPreserving Boolean Spatial Keyword Queries.
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019
Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem.
Proceedings of the IEEE Congress on Evolutionary Computation, 2019
Dynamic Aleatoric Reasoning in Games of Bluffing and Chance.
Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019
Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification.
Proceedings of the ThirtyThird AAAI Conference on Artificial Intelligence, 2019
2018
The Temporal Logic of two dimensional Minkowski Spacetime is Decidable.
J. Symb. Log., 2018
A modal aleatoric calculus for probabilistic reasoning: extended version.
CoRR, 2018
Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table.
CoRR, 2018
OnePass and TreeShaped Tableau Systems for TPTL and TPTLb+Past.
Proceedings of the Proceedings Ninth International Symposium on Games, 2018
A gametheoretic approach to timelinebased planning with uncertainty.
CoRR, 2018
SSLSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction.
Proceedings of the 2018 IEEE Winter Conference on Applications of Computer Vision, 2018
Population Based Methods for Optimising Infinite Behaviours of Timed Automata.
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
A GameTheoretic Approach to TimelineBased Planning with Uncertainty.
Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018
A Comparative Study of Decision Diagrams for RealTime Model Checking.
Proceedings of the Model Checking Software  25th International Symposium, 2018
A Novel Framework for Constructing Partially Monotone Rule Ensembles.
Proceedings of the 34th IEEE International Conference on Data Engineering, 2018
Genetic Algorithms for Scheduling and Optimization of Ore Train Networks.
Proceedings of the GCAI2018, 2018
A Cooperative Coevolutionary Algorithm for RealTime Underground Mine Scheduling.
Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018
2017
A Profile for BGPsec Router Certificates, Certificate Revocation Lists, and Certification Requests.
RFC, September, 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
Cyclic scheduling for an ethylene cracking furnace system using diversity learning teachinglearningbased optimization.
Computers & Chemical Engineering, 2017
To be fair, use bundles.
Ann. Math. Artif. Intell., 2017
Variable length encoded genetic algorithm for optimal electrical distribution network routing.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017
Using marketbased optimisation to solve the dynamic vehicle routing problem.
Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017
Privacypreserving Data clustering in Cloud Computing based on Fully Homomorphic Encryption.
Proceedings of the 21st Pacific Asia Conference on Information Systems, 2017
A OnePass TreeShaped Tableau for LTL+Past.
Proceedings of the LPAR21, 2017
A Genetic Algorithm for Truck Dispatching in Mining.
Proceedings of the GCAI 2017, 2017
BiPrediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification.
Proceedings of the 2017 International Conference on Digital Image Computing: Techniques and Applications, 2017
Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking.
Proceedings of the 2017 International Conference on Digital Image Computing: Techniques and Applications, 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 treestyle 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 OnePass TreeShaped Tableau.
Proceedings of the TwentyFifth 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 NonClassical 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 DifferenceBound 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
Webbased simulation of fruit fly to support biosecurity decisionmaking.
Ecological Informatics, 2012
Verifying Realtime Commit Protocols Using Densetime 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 multiagent systems.
J. Applied Logic, 2011
A tableaubased 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 Autoassociative 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 NonClassical 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 DataDriven 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 TwentySecond AAAI Conference on Artificial Intelligence, 2007
Temporal logic.
Proceedings of the Handbook of Modal Logic., 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 Multiagent Systems Via Bounded Model Checking.
Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006
2005
TheoremProving 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, papers from the fourth conference on "Advances in Modal logic," held in Toulouse, France, 30 September, 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
NonDefinability 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 firstorder temporal logic: until and since over linear time.
Studia Logica, 1996
Languages, Metalanguages 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 FirstOrder 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
1988
The expressive power of query languages based on logic programming.
PhD thesis, 1988