TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs. - Sun, Qiang; Li, Sirui; Huynh, Du; Reynolds, Mark; Liu, Wei (CoRR, 2025)

Tomo-NeRL: tomographic neural representation learning for implicit CT image reconstruction. - Tang, Xiaoqin; Tan, Boheng; Guo, Yuanhao; Yu, Xianping; Kendrick, Jake; Reynolds, Mark (2024)

Are Graph Embeddings the Panacea? - An Empirical Survey from the Data Fitness Perspective. - Sun, Qiang; Huynh, Du Q.; Reynolds, Mark; Liu, Wei (2024)

Developing machine learning systems worthy of trust for infection science: a requirement for future implementation into clinical practice. - McFadden, Benjamin R.; Reynolds, Mark; Inglis, Timothy J. J. (Frontiers Digit. Health, 2023)

Top-k Socio-Spatial Co-Engaged Location Selection for Social Users. - Haldar, Nur Al Hasan; Li, Jianxin; Ali, Mohammed Eunus; Cai, Taotao; Chen, Yunliang; Sellis, Timos; Reynolds, Mark (IEEE Trans. Knowl. Data Eng., 2023)

A Visual Data Storytelling Framework. - Zhang, Yangjinbo; Reynolds, Mark; Lugmayr, Artur; Damjanov, Katarina; Hassan, Ghulam Mubashar (Informatics, 2022)

Finding an optimised infrastructure for electricity distribution networks in rural areas - A comparison of different approaches. - Rosenberg, Manou; French, Tim; Reynolds, Mark; While, Lyndon (Swarm Evol. Comput., 2022)

Graph Embeddings for Non-IID Data Feature Representation Learning. - Sun, Qiang; Liu, Wei; Huynh, Du; Reynolds, Mark (2022)

Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. - Rosenberg, Manou; Reynolds, Mark; French, Tim; While, Lyndon (2022)

One-pass and tree-shaped tableau systems for TPTL and TPTLb+Past. - Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark (Inf. Comput., 2021)

A Vision-Based Pipeline for Vehicle Counting, Speed Estimation, and Classification. - Liu, Chenghuan; Huynh, Du Q.; Sun, Yuchao; Reynolds, Mark; Atkinson, Steve (IEEE Trans. Intell. Transp. Syst., 2021)

PoPPL: Pedestrian Trajectory Prediction by LSTM With Automatic Route Class Clustering. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (IEEE Trans. Neural Networks Learn. Syst., 2021)

A Review of Methods to Compute Minkowski Operations for Geometric Overlap Detection. - Cox, Wesley; While, Lyndon; Reynolds, Mark (IEEE Trans. Vis. Comput. Graph., 2021)

Activity location inference of users based on social relationship. - Haldar, Nur Al Hasan; Reynolds, Mark; Shao, Quanxi; Paris, Cécile; Li, Jianxin; Chen, Yunliang (World Wide Web, 2021)

A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. - Rosenberg, Manou; French, Tim; Reynolds, Mark; While, Lyndon (2021)

28th International Symposium on Temporal Representation and Reasoning, TIME 2021, September 27-29, 2021, Klagenfurt, Austria. (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021)

A Location-Velocity-Temporal Attention LSTM Model for Pedestrian Trajectory Prediction. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (IEEE Access, 2020)

A supervised learning framework: using assessment to identify students at risk of dropping out of a MOOC. - Olivé, David Monllaó; Huynh, Du Q.; Reynolds, Mark; Dougiamas, Martin; Wiese, Damyon (J. Comput. High. Educ., 2020)

On timeline-based games and their complexity. - Gigante, Nicola; Montanari, Angelo; Orlandini, Andrea; Mayer, Marta Cialdea; Reynolds, Mark (Theor. Comput. Sci., 2020)

Toward Occlusion Handling in Visual Tracking via Probabilistic Finite State Machines. - Liu, Chenghuan; Huynh, Du Q.; Reynolds, Mark (IEEE Trans. Cybern., 2020)

Maximum Entropy Reinforced Single Object Visual Tracking. - Liu, Chenghuan; Huynh, Du Q.; Reynolds, Mark (2020)

Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (2020)

SHADOW: A workflow scheduling algorithm reference and testing framework. - Bunney, Ryan W.; Wicenec, Andreas; Reynolds, Mark (2020)

Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (CoRR, 2020)

Top-k Socio-Spatial Co-engaged Location Selection for Social Users. - Haldar, Nur Al Hasan; Li, Jianxin; Ali, Mohammed Eunus; Cai, Taotao; Sellis, Timos; Reynolds, Mark (CoRR, 2020)

Scene Gated Social Graph: Pedestrian Trajectory Prediction Based on Dynamic Social Graphs and Scene Constraints. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (CoRR, 2020)

Efficient Decentralized LTL Monitoring Framework Using Tableau Technique. - Al-Bataineh, Omar I.; Rosenblum, David S.; Reynolds, Mark (ACM Trans. Embed. Comput. Syst., 2019)

A Quest for a One-Size-Fits-All Neural Network: Early Prediction of Students at Risk in Online Courses. - Olivé, David Monllaó; Huynh, Du Q.; Reynolds, Mark; Dougiamas, Martin; Wiese, Damyon (IEEE Trans. Learn. Technol., 2019)

Location prediction in large-scale social networks: an in-depth benchmarking study. - Haldar, Nur Al Hasan; Li, Jianxin; Reynolds, Mark; Sellis, Timos; Yu, Jeffrey Xu (VLDB J., 2019)

Evidence-driven dubious decision making in online shopping. - Tian, Qiao; Li, Jianxin; Chen, Lu; Deng, Ke; Li, Rong-Hua; Reynolds, Mark; Liu, Chengfei (World Wide Web, 2019)

Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification. - Bartley, Christopher; Liu, Wei; Reynolds, Mark (2019)

Dynamic Aleatoric Reasoning in Games of Bluffing and Chance. - French, Tim; Gozzard, Andrew; Reynolds, Mark (2019)

Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem. - Rosenberg, Manou; Fletcher, James R. E.; Reynolds, Mark; French, Tim; While, Lyndon (2019)

When Geo-Text Meets Security: Privacy-Preserving Boolean Spatial Keyword Queries. - Cui, Ningning; Li, Jianxin; Yang, Xiaochun; Wang, Bin; Reynolds, Mark; Xiang, Yong (2019)

A Modal Aleatoric Calculus for Probabilistic Reasoning. - French, Tim; Gozzard, Andrew; Reynolds, Mark (2019)

Epistemic model checking of distributed commit protocols with byzantine faults. - Al-Bataineh, Omar I.; Reynolds, Mark (2019)

Urban Area Vehicle Re-Identification With Self-Attention Stair Feature Fusion and Temporal Bayesian Re-Ranking. - Liu, Chenghuan; Huynh, Du Q.; Reynolds, Mark (2019)

Aleatoric Dynamic Epistemic Logic for Learning Agents. - French, Tim; Gozzard, Andrew; Reynolds, Mark (2019)

Pedestrian Trajectory Prediction Using a Social Pyramid. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (2019)

Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication. - Gee, Lauren M.; Reynolds, Mark (2019)

A Novel Decentralized LTL Monitoring Framework Using Formula Progression Table. - Al-Bataineh, Omar I.; Rosenblum, David S.; Reynolds, Mark (2019)

Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. - Brunello, Andrea; Montanari, Angelo; Reynolds, Mark (2019)

Pedestrian Tracking and Stereo Matching of Tracklets for Autonomous Vehicles. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (2019)

Location-Velocity Attention for Pedestrian Trajectory Prediction. - Xue, Hao; Huynh, Du; Reynolds, Mark (2019)

OZCHI'19: 31st Australian Conference on Human-Computer-Interaction, Fremantle, WA, Australia, December, 2-5, 2019 (ACM, 2019)

The Temporal Logic of two dimensional Minkowski Spacetime is Decidable. - Hirsch, Robin; Reynolds, Mark (J. Symb. Log., 2018)

A Cooperative Coevolutionary Algorithm for Real-Time Underground Mine Scheduling. - Cox, Wesley; French, Tim; Reynolds, Mark; While, Lyndon (2018)

A supervised learning framework for learning management systems. - Olivé, David Monllaó; Huynh, Du Q.; Reynolds, Mark; Dougiamas, Martin; Wiese, Damyon (2018)

Genetic Algorithms for Scheduling and Optimization of Ore Train Networks. - Hassan, Ghulam Mubashar; Reynolds, Mark (2018)

A Novel Framework for Constructing Partially Monotone Rule Ensembles. - Bartley, Christopher; Liu, Wei; Reynolds, Mark (2018)

A Comparative Study of Decision Diagrams for Real-Time Model Checking. - Al-Bataineh, Omar I.; Reynolds, Mark; Rosenblum, David S. (2018)

A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. - Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark (2018)

Population Based Methods for Optimising Infinite Behaviours of Timed Automata. - Tolonen, Lewis; French, Tim; Reynolds, Mark (2018)

SS-LSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (2018)

One-Pass and Tree-Shaped Tableau Systems for TPTL and TPTLb+Past. - Geatti, Luca; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark (2018)

A game-theoretic approach to timeline-based planning with uncertainty. - Gigante, Nicola; Montanari, Angelo; Mayer, Marta Cialdea; Orlandini, Andrea; Reynolds, Mark (CoRR, 2018)

Efficient LTL Decentralized Monitoring Framework Using Formula Simplification Table. - Al-Bataineh, Omar I.; Rosenblum, David S.; Reynolds, Mark (CoRR, 2018)

A modal aleatoric calculus for probabilistic reasoning: extended version. - French, Tim; Gozzard, Andrew; Reynolds, Mark (CoRR, 2018)

To be fair, use bundles. - McCabe-Dansted, John Christopher; Reynolds, Mark (Ann. Math. Artif. Intell., 2017)

Cyclic scheduling for an ethylene cracking furnace system using diversity learning teaching-learning-based optimization. - Yu, Kunjie; While, Lyndon; Reynolds, Mark; Wang, Xin; Wang, Zhenlei (Comput. Chem. Eng., 2017)

Rewrite rules for CTL. - McCabe-Dansted, John Christopher; Reynolds, Mark (J. Appl. Log., 2017)

Finding minimum and maximum termination time of timed automata models with cyclic behaviour. - Al-Bataineh, Omar I.; Reynolds, Mark; French, Tim (Theor. Comput. Sci., 2017)

Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking. - Liu, Chenghuan; Huynh, Du Q.; Reynolds, Mark (2017)

Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification. - Xue, Hao; Huynh, Du Q.; Reynolds, Mark (2017)

A Genetic Algorithm for Truck Dispatching in Mining. - Cox, Wesley; French, Tim; Reynolds, Mark; While, Lyndon (2017)

Review of clustering algorithms for microgrid formation. - Cheong, D. M. Li Kwok; Fernando, Tyrone; Iu, Herbert H. C.; Reynolds, Mark; Fletcher, James R. E. (2017)

Economic feasibility of stand-alone power systems for existing distribution networks in rural areas. - Fletcher, James R. E.; Fernando, Tyrone; Iu, Herbert H. C.; Reynolds, Mark; Fani, Shervin (2017)

A One-Pass Tree-Shaped Tableau for LTL+Past. - Gigante, Nicola; Montanari, Angelo; Reynolds, Mark (2017)

Using market-based optimisation to solve the dynamic vehicle routing problem. - Bright, Callan; While, Lyndon; French, Tim; Reynolds, Mark (2017)

Variable length encoded genetic algorithm for optimal electrical distribution network routing. - Fletcher, James R. E.; Fernando, Tyrone; Iu, Herbert H. C.; Reynolds, Mark; Fani, Shervin (2017)

A Parallel Linear Temporal Logic Tableau. - McCabe-Dansted, John Christopher; Reynolds, Mark (2017)

Metric temporal logic revisited. - Reynolds, Mark (Acta Informatica, 2016)

A complete axiomatization of a temporal logic with obligation and robustness. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (J. Log. Comput., 2016)

Effective Monotone Knowledge Integration in Kernel Support Vector Machines. - Bartley, Christopher; Liu, Wei; Reynolds, Mark (2016)

Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. - Bertello, Matteo; Gigante, Nicola; Montanari, Angelo; Reynolds, Mark (2016)

Modelling Systems over General Linear Time. - McCabe-Dansted, John Christopher; Reynolds, Mark; French, Tim (2016)

A New Rule for LTL Tableaux. - Reynolds, Mark (2016)

A traditional tree-style tableau for LTL. - Reynolds, Mark (CoRR, 2016)

Termination of Monotone Programs. - Al-Bataineh, Omar I.; Xie, Xiaofei; Tiu, Alwen; Reynolds, Mark (CoRR, 2016)

Finding Minimum and Maximum Termination Time of Timed Automata Models with Cyclic Behaviour. - Al-Bataineh, Omar I.; Reynolds, Mark; French, Tim (CoRR, 2016)

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour. - Al-Bataineh, Omar I.; Reynolds, Mark; French, Tim (Formal Aspects Comput., 2015)

Expressiveness and succinctness of a logic of robustness. - McCabe-Dansted, John Christopher; French, Tim; Pinchinat, Sophie; Reynolds, Mark (J. Appl. Non Class. Logics, 2015)

Synthesis for continuous time. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (Theor. Comput. Sci., 2015)

Hourglass Systems. - Osada, Yuki; Reynolds, Mark; French, Tim (2015)

A case study on optimizing an electrical distribution network using a genetic algorithm. - Fletcher, James R. E.; Fernando, Tyrone; Iu, Herbert H. C.; Reynolds, Mark; Fani, Shervin (2015)

A Tableau for Bundled Strategies. - McCabe-Dansted, John Christopher; Reynolds, Mark (2015)

A Tableau for Temporal Logic over the Reals. - Reynolds, Mark (2014)

Finding Best and Worst Case Execution Times of Systems Using Difference-Bound Matrices. - Al-Bataineh, Omar I.; Reynolds, Mark; French, Tim (2014)

Verification of Rewrite Rules for Computation Tree Logics. - McCabe-Dansted, John Christopher; Reynolds, Mark (2014)

Fairness with EXPTIME Bundled CTL Tableau. - McCabe-Dansted, John Christopher; Reynolds, Mark (2014)

Hourglass Automata. - Osada, Yuki; French, Tim; Reynolds, Mark; Smallbone, Harry (2014)

A tableau for general linear temporal logic. - Reynolds, Mark Alexander (J. Log. Comput., 2013)

An Efficient Tableau for Linear Time Temporal Logic. - Bian, Ji; French, Tim; Reynolds, Mark (2013)

Indiscrete Models: Model Building and Model Checking over Linear Time. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (2013)

Verifying Temporal Properties in Real Models. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (2013)

Model Checking General Linear Temporal Logic. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (2013)

A New Metric Temporal Logic for Hybrid Systems. - Reynolds, Mark (2013)

An Algebraic System of Temporal Structures. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (2013)

Complexity of Model Checking over General Linear Time. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (2013)

A Faster Tableau for CTL. - Reynolds, Mark (2013)

Specifying Robustness. - McCabe-Dansted, John Christopher; French, Tim; Reynolds, Mark; Pinchinat, Sophie (CoRR, 2013)

Web-based simulation of fruit fly to support biosecurity decision-making. - Adeva, J. J. García; Reynolds, Mark (Ecol. Informatics, 2012)

Synthesis for Temporal Logic over the Reals. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (2012)

Thirty-Fifth Australasian Computer Science Conference, ACSC 2012, Melbourne, Australia, January 2012 (Australian Computer Society, 2012)

19th International Symposium on Temporal Representation and Reasoning, TIME 2012, Leicester, United Kingdom, September 12-14, 2012 (IEEE Computer Society, 2012)

Verifying Real-time Commit Protocols Using Dense-time Model Checking Technology - Al-Bataineh, Omar I.; Reynolds, Mark; French, Tim; Woodings, Terry (CoRR, 2012)

A tableau-based decision procedure for CTL. - Reynolds, Mark (Formal Aspects Comput., 2011)

Special issue on logics for intelligent agents and multi-agent systems. - Orgun, Mehmet A.; Governatori, Guido; Liu, Chuchang; Reynolds, Mark; Sattar, Abdul (J. Appl. Log., 2011)

An Investigation of Recursive Auto-associative Memory in Sentiment Detection. - Danesh, Saeed; Liu, Wei; French, Tim; Reynolds, Mark (2011)

A Tableau for Until and Since over Linear Time. - Reynolds, Mark (2011)

Thirty-Fourth Australasian Computer Science Conference, ACSC 2011, Perth, Australia, January 2011 (Australian Computer Society, 2011)

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

The complexity of temporal logic over the reals. - Reynolds, Mark (Ann. Pure Appl. Log., 2010)

Metric temporal reasoning with less than two clocks. - Reynolds, Mark (J. Appl. Non Class. Logics, 2010)

Axioms for Obligation and Robustness with Temporal Logic. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (2010)

Considering Patterns in Class Interactions Prediction. - Kama, Nazri; French, Tim; Reynolds, Mark (2010)

Impact Analysis using Class Interaction Prediction Approach. - Kama, Nazri; French, Tim; Reynolds, Mark (2010)

A Tableau for CTL. - Reynolds, Mark (2009)

Dense Time Reasoning via Mosaics. - Reynolds, Mark (2009)

On the Expressivity of RoCTL*. - McCabe-Dansted, John Christopher; French, Tim; Reynolds, Mark; Pinchinat, Sophie (2009)

Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. - Mikulás, Szabolcs; Reynolds, Mark; French, Tim (2009)

Computer Science 2010, Thirty-Third Australasian Computer Science Conference (ACSC 2010), Brisbane, Australia, January 18-22, 2010, Proceedings (Australian Computer Society, 2009)

Geographical and Temporal Visualisation of Social Relationships. - Enkhsaikhan, Majigsuren; Liu, Wei; Reynolds, Mark (2008)

A Tableau for Bundled CTL. - Reynolds, Mark (J. Log. Comput., 2007)

A Modal Logic for Beliefs and Pro Attitudes. - Su, Kaile; Sattar, Abdul; Lin, Han; Reynolds, Mark (2007)

Measuring Data-Driven Ontology Changes using Text Mining. - Enkhsaikhan, Majigsuren; Wong, Wilson; Liu, Wei; Reynolds, Mark (2007)

A Temporal Logic of Robustness. - French, Tim; McCabe-Dansted, John Christopher; Reynolds, Mark (2007)

Temporal logic. - Hodkinson, Ian M.; Reynolds, Mark (2007)

Editors' introduction. - Reynolds, Mark; Sattar, Abdul (J. Appl. Log., 2006)

Verification of Multi-agent Systems Via Bounded Model Checking. - Luo, Xiangyu; Su, Kaile; Sattar, Abdul; Reynolds, Mark (2006)

A Space and Time Requirements Logic for Sensor Networks. - Cardell-Oliver, Rachel; Reynolds, Mark; Kranz, Mark (2006)

An axiomatization of PCTL*. - Reynolds, Mark (Inf. Comput., 2005)

Separation - Past, Present, and Future. - Hodkinson, Ian M.; Reynolds, Mark (2005)

Towards a CTL* Tableau. - Reynolds, Mark (2005)

Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester, UK, 9-11 September 2004 (King's College Publications, 2005)

Theorem-Proving for Discrete Temporal Logic. - Reynolds, Mark; Dixon, Clare (2005)

Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. - French, Tim; Meyden, Ron van der; Reynolds, Mark (2004)

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

Axioms for Branching Time. - Reynolds, Mark (J. Log. Comput., 2002)

A Sound and Complete Proof System for QPTL. - French, Tim; Reynolds, Mark (2002)

An Axiomatization of Full Computation Tree Logic. - Reynolds, Mark (J. Symb. Log., 2001)

On the Products of Linear Modal Logics. - Reynolds, Mark; Zakharyaschev, Michael (J. Log. Comput., 2001)

Continuous Temporal Models. - Reynolds, Mark (2001)

More Past Glories. - Reynolds, Mark (2000)

The Mosaic Method for Temporal Logics. - Marx, Maarten; Mikulás, Szabolcs; Reynolds, Mark (2000)

Non-Definability of the Class of Complete Bundled Trees. - Zanardo, Alberto; Barcellan, Bruno; Reynolds, Mark (Log. J. IGPL, 1999)

Undecidability of Compass Logic. - Marx, Maarten; Reynolds, Mark (J. Log. Comput., 1999)

The Complexity of Temporal Logic over the Reals - Reynolds, Mark (CoRR, 1999)

A Decidable Temporal Logic of Parallelism. - Reynolds, Mark (Notre Dame J. Formal Log., 1997)

Languages, Meta-languages and METATEM, A Discussion Paper. - Barringer, Howard; Gough, Graham; Brough, Derek; Gabbay, Dov M.; Hodkinson, Ian M.; Hunter, Anthony; Owens, Richard; McBrien, Peter; Reynolds, Mark; Fisher, Michael (Log. J. IGPL, 1996)

Axiomatising first-order temporal logic: until and since over linear time. - Reynolds, Mark (Stud Logica, 1996)

Axiomatisation and decidability ofF andP in cyclical time. - Reynolds, Mark (J. Philos. Log., 1994)

Axiomatizing U and S over Integer Time. - Reynolds, Mark (1994)

Towards First-Order Concurrent METATEM. - Reynolds, Mark (1993)

An Axiomatization for Until and Since over the Reals without the IRR Rule. - Reynolds, Mark (Stud Logica, 1992)

The expressive power of query languages based on logic programming. - Reynolds, Mark (1988)