Mark Reynolds

Timothy J. J. Inglis

Frontiers Digit. Health, March, 2023

2022

A Visual Data Storytelling Framework.

[BibT_eX]

[DOI]

Ghulam Mubashar Hassan

Informatics, December, 2022

Finding an optimised infrastructure for electricity distribution networks in rural areas - A comparison of different approaches.

[BibT_eX]

[DOI]

Swarm Evol. Comput., 2022

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

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2022

Graph Embeddings for Non-IID Data Feature Representation Learning.

[BibT_eX]

[DOI]

Proceedings of the Data Mining - 20th Australasian Conference, AusDM 2022, Western Sydney, 2022

2021

Activity location inference of users based on social relationship.

[BibT_eX]

[DOI]

World Wide Web, 2021

A Review of Methods to Compute Minkowski Operations for Geometric Overlap Detection.

[BibT_eX]

[DOI]

Wesley Cox

Lyndon While

IEEE Trans. Vis. Comput. Graph., 2021

PoPPL: Pedestrian Trajectory Prediction by LSTM With Automatic Route Class Clustering.

[BibT_eX]

[DOI]

IEEE Trans. Neural Networks Learn. Syst., 2021

A Vision-Based Pipeline for Vehicle Counting, Speed Estimation, and Classification.

[BibT_eX]

[DOI]

IEEE Trans. Intell. Transp. Syst., 2021

One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past.

[BibT_eX]

[DOI]

Inf. Comput., 2021

A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles.

[BibT_eX]

[DOI]

Proceedings of the GECCO '21: Genetic and Evolutionary Computation Conference, 2021

2020

Toward Occlusion Handling in Visual Tracking via Probabilistic Finite State Machines.

[BibT_eX]

[DOI]

IEEE Trans. Cybern., 2020

On timeline-based games and their complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2020

A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC.

[BibT_eX]

[DOI]

J. Comput. High. Educ., 2020

Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints.

[BibT_eX]

[DOI]

CoRR, 2020

Top-k Socio-Spatial Co-engaged Location Selection for Social Users.

[BibT_eX]

[DOI]

CoRR, 2020

A Location-Velocity-Temporal Attention LSTM Model for Pedestrian Trajectory Prediction.

[BibT_eX]

[DOI]

IEEE Access, 2020

SHADOW: A workflow scheduling algorithm reference and testing framework.

[BibT_eX]

[DOI]

Ryan W. Bunney

Andreas Wicenec

Proceedings of the 19th Python in Science Conference 2020 (SciPy 2020), Virtual Conference, July 6, 2020

Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories.

[BibT_eX]

[DOI]

Proceedings of the Neural Information Processing - 27th International Conference, 2020

Maximum Entropy Reinforced Single Object Visual Tracking.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

2019

Evidence-driven dubious decision making in online shopping.

[BibT_eX]

[DOI]

World Wide Web, 2019

Location prediction in large-scale social networks: an in-depth benchmarking study.

[BibT_eX]

[DOI]

VLDB J., 2019

A Quest for a One-Size-Fits-All Neural Network: Early Prediction of Students at Risk in Online Courses.

[BibT_eX]

[DOI]

IEEE Trans. Learn. Technol., 2019

Efficient Decentralized LTL Monitoring Framework Using Tableau Technique.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2019

Location-Velocity Attention for Pedestrian Trajectory Prediction.

[BibT_eX]

[DOI]

Du Huynh

Proceedings of the IEEE Winter Conference on Applications of Computer Vision, 2019

Pedestrian Tracking and Stereo Matching of Tracklets for Autonomous Vehicles.

[BibT_eX]

[DOI]

Proceedings of the 89th IEEE Vehicular Technology Conference, 2019

Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions.

[BibT_eX]

[DOI]

Andrea Brunello

Angelo Montanari

Proceedings of the 26th International Symposium on Temporal Representation and Reasoning, 2019

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Pedestrian Trajectory Prediction Using a Social Pyramid.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication.

[BibT_eX]

[DOI]

Lauren M. Gee

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Aleatoric Dynamic Epistemic Logic for Learning Agents.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

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

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2019

Epistemic model checking of distributed commit protocols with byzantine faults.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

A Modal Aleatoric Calculus for Probabilistic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IEEE Congress on Evolutionary Computation, 2019

Dynamic Aleatoric Reasoning in Games of Bluffing and Chance.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, 2019

Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification.

[BibT_eX]

[DOI]

Christopher Bartley

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

The Temporal Logic of two dimensional Minkowski Spacetime is Decidable.

[BibT_eX]

[DOI]

Robin Hirsch

J. Symb. Log., 2018

A modal aleatoric calculus for probabilistic reasoning: extended version.

[BibT_eX]

[DOI]

CoRR, 2018

Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table.

[BibT_eX]

[DOI]

CoRR, 2018

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Winter Conference on Applications of Computer Vision, 2018

Population Based Methods for Optimising Infinite Behaviours of Timed Automata.

[BibT_eX]

[DOI]

Lewis Tolonen

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Temporal Representation and Reasoning, 2018

A Comparative Study of Decision Diagrams for Real-Time Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software - 25th International Symposium, 2018

A Novel Framework for Constructing Partially Monotone Rule Ensembles.

[BibT_eX]

[DOI]

Christopher Bartley

Proceedings of the 34th IEEE International Conference on Data Engineering, 2018

Genetic Algorithms for Scheduling and Optimization of Ore Train Networks.

[BibT_eX]

[DOI]

Ghulam Mubashar Hassan

Proceedings of the GCAI-2018, 2018

A supervised learning framework for learning management systems.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Data Science, 2018

A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling.

[BibT_eX]

[DOI]

Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

2017

Finding minimum and maximum termination time of timed automata models with cyclic behaviour.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2017

Rewrite rules for CTL.

[BibT_eX]

[DOI]

J. Appl. Log., 2017

A Parallel Linear Temporal Logic Tableau.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Eighth International Symposium on Games, 2017

Cyclic scheduling for an ethylene cracking furnace system using diversity learning teaching-learning-based optimization.

[BibT_eX]

[DOI]

Comput. Chem. Eng., 2017

To be fair, use bundles.

[BibT_eX]

[DOI]

Ann. Math. Artif. Intell., 2017

Variable length encoded genetic algorithm for optimal electrical distribution network routing.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Symposium Series on Computational Intelligence, 2017

A One-Pass Tree-Shaped Tableau for LTL+Past.

[BibT_eX]

[DOI]

Nicola Gigante

Angelo Montanari

Proceedings of the LPAR-21, 2017

Economic feasibility of stand-alone power systems for existing distribution networks in rural areas.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Innovative Smart Grid Technologies - Asia, 2017

Review of clustering algorithms for microgrid formation.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Innovative Smart Grid Technologies - Asia, 2017

A Genetic Algorithm for Truck Dispatching in Mining.

[BibT_eX]

[DOI]

Proceedings of the GCAI 2017, 2017

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

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Digital Image Computing: Techniques and Applications, 2017

Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

J. Log. Comput., 2016

A New Rule for LTL Tableaux.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Games, 2016

A traditional tree-style tableau for LTL.

[BibT_eX]

[DOI]

CoRR, 2016

Termination of Monotone Programs.

[BibT_eX]

[DOI]

CoRR, 2016

Metric temporal logic revisited.

[BibT_eX]

[DOI]

Acta Informatica, 2016

Modelling Systems over General Linear Time.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Effective Monotone Knowledge Integration in Kernel Support Vector Machines.

[BibT_eX]

[DOI]

Christopher Bartley

Proceedings of the Advanced Data Mining and Applications - 12th International Conference, 2016

2015

Synthesis for continuous time.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2015

Expressiveness and succinctness of a logic of robustness.

[BibT_eX]

[DOI]

Sophie Pinchinat

J. Appl. Non Class. Logics, 2015

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2015

A Tableau for Bundled Strategies.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

A case study on optimizing an electrical distribution network using a genetic algorithm.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Symposium on Industrial Electronics, 2015

Hourglass Systems.

[BibT_eX]

[DOI]

Yuki Osada

Proceedings of the 38th Australasian Computer Science Conference, 2015

2014

Hourglass Automata.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Fairness with EXPTIME Bundled CTL Tableau.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Temporal Representation and Reasoning, 2014

Verification of Rewrite Rules for Computation Tree Logics.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2014

A Tableau for Temporal Logic over the Reals.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 10, 2014

2013

A tableau for general linear temporal logic.

[BibT_eX]

[DOI]

Mark Alexander Reynolds

J. Log. Comput., 2013

A Faster Tableau for CTL.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Specifying Robustness.

[BibT_eX]

[DOI]

Sophie Pinchinat

CoRR, 2013

A New Metric Temporal Logic for Hybrid Systems.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Complexity of Model Checking over General Linear Time.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

An Algebraic System of Temporal Structures.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Model Checking General Linear Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

Verifying Temporal Properties in Real Models.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Indiscrete Models: Model Building and Model Checking over Linear Time.

[BibT_eX]

[DOI]

Proceedings of the Logic and Its Applications, 5th Indian Conference, 2013

An Efficient Tableau for Linear Time Temporal Logic.

[BibT_eX]

[DOI]

Ji Bian

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

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

[BibT_eX]

[DOI]

J. J. García Adeva

Ecol. Informatics, 2012

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology

[BibT_eX]

[DOI]

CoRR, 2012

Synthesis for Temporal Logic over the Reals.

[BibT_eX]

[DOI]

Proceedings of the Advances in Modal Logic 9, 2012

2011

Special issue on logics for intelligent agents and multi-agent systems.

[BibT_eX]

[DOI]

J. Appl. Log., 2011

A tableau-based decision procedure for CTL.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2011

A Tableau for Until and Since over Linear Time.

[BibT_eX]

[DOI]

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

An Investigation of Recursive Auto-associative Memory in Sentiment Detection.

[BibT_eX]

[DOI]

Proceedings of the Advanced Data Mining and Applications - 7th International Conference, 2011

2010

Metric temporal reasoning with less than two clocks.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2010

The complexity of temporal logic over the reals.

[BibT_eX]

[DOI]

Ann. Pure Appl. Log., 2010

Impact Analysis using Class Interaction Prediction Approach.

[BibT_eX]

[DOI]

Nazri Kama

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

Considering Patterns in Class Interactions Prediction.

[BibT_eX]

[DOI]

Nazri Kama

Proceedings of the Advances in Software Engineering, 2010

Axioms for Obligation and Robustness with Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic in Computer Science, 10th International Conference, 2010

2009

Dense Time Reasoning via Mosaics.

[BibT_eX]

[DOI]

Proceedings of the TIME 2009, 2009

Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time.

[BibT_eX]

[DOI]

Szabolcs Mikulás

Proceedings of the TIME 2009, 2009

On the Expressivity of RoCTL*.

[BibT_eX]

[DOI]

Sophie Pinchinat

Proceedings of the TIME 2009, 2009

A Tableau for CTL.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

2008

Geographical and Temporal Visualisation of Social Relationships.

[BibT_eX]

[DOI]

Majigsuren Enkhsaikhan

Proceedings of the Pacific Asia Conference on Information Systems, 2008

2007

A Tableau for Bundled CTL.

[BibT_eX]

[DOI]

J. Log. Comput., 2007

A Temporal Logic of Robustness.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 6th International Symposium, 2007

Measuring Data-Driven Ontology Changes using Text Mining.

[BibT_eX]

[DOI]

Majigsuren Enkhsaikhan

Wilson Wong

Proceedings of the Data Mining and Analytics 2007, 2007

A Modal Logic for Beliefs and Pro Attitudes.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Temporal logic.

[BibT_eX]

[DOI]

Ian M. Hodkinson

Proceedings of the Handbook of Modal Logic., 2007

2006

Editors' introduction.

[BibT_eX]

[DOI]

Abdul Sattar

J. Appl. Log., 2006

A Space and Time Requirements Logic for Sensor Networks.

[BibT_eX]

[DOI]

Rachel Cardell-Oliver

Mark Kranz

Proceedings of the Leveraging Applications of Formal Methods, 2006

Verification of Multi-agent Systems Via Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the AI 2006: Advances in Artificial Intelligence, 2006

2005

Theorem-Proving for Discrete Temporal Logic.

[BibT_eX]

[DOI]

Clare Dixon

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

An axiomatization of PCTL*.

[BibT_eX]

[DOI]

Inf. Comput., 2005

Towards a CTL* Tableau.

[BibT_eX]

[DOI]

Proceedings of the FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 2005

Separation - Past, Present, and Future.

[BibT_eX]

Ian M. Hodkinson

Proceedings of the We Will Show Them! Essays in Honour of Dov Gabbay, Volume Two, 2005

2004

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

[BibT_eX]

[DOI]

Ron van der Meyden

Proceedings of the Advances in Modal Logic 5, 2004

2003

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

[BibT_eX]

[DOI]

J. Comput. Syst. Sci., 2003

2002

Axioms for Branching Time.

[BibT_eX]

[DOI]

J. Log. Comput., 2002

A Sound and Complete Proof System for QPTL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michael Zakharyaschev

J. Log. Comput., 2001

An Axiomatization of Full Computation Tree Logic.

[BibT_eX]

[DOI]