| 2025 | ACL | DocSpiral: A Platform for Integrated Assistive Document Annotation through Human-in-the-Spiral. | Qiang Sun, Sirui Li, Tingting Bi, Du Q. Huynh, Mark Reynolds, Yuanyi Luo, Wei Liu |
| 2025 | WWW | TimelineKGQA: A Comprehensive Question-Answer Pair Generator for Temporal Knowledge Graphs. | Qiang Sun, Sirui Li, Du Huynh, Mark Reynolds, Wei Liu |
| 2024 | AusDM | Identifying Individual Anchoring Regions by Mining Public Transport Smart Card Data. | Megan Born, Mark Reynolds, Rachel Cardell-Oliver |
| 2024 | PAKDD | Are Graph Embeddings the Panacea? - An Empirical Survey from the Data Fitness Perspective. | Qiang Sun, Du Q. Huynh, Mark Reynolds, Wei Liu |
| 2022 | AusDM | Graph Embeddings for Non-IID Data Feature Representation Learning. | Qiang Sun, Wei Liu, Du Huynh, Mark Reynolds |
| 2022 | CEC | Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. | Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While |
| 2021 | GECCO | A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. | Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While |
| 2020 | AMIA | Genomic Sequencing : Tracking, Ordering and Collaboration with GNomEx. | Arthur T. Maness, Erik Rasmussen, Aika Cho, John Hofer, Jared Luther, Mark Reynolds, Shirleen Hewitt, David Nix, Andrew Post |
| 2020 | ECAI | Maximum Entropy Reinforced Single Object Visual Tracking. | Chenghuan Liu, Du Q. Huynh, Mark Reynolds |
| 2020 | ICONIP | Take a NAP: Non-Autoregressive Prediction for Pedestrian Trajectories. | Hao Xue, Du Q. Huynh, Mark Reynolds |
| 2019 | AAAI | Enhanced Random Forest Algorithms for Partially Monotone Ordinal Classification. | Christopher Bartley, Wei Liu, Mark Reynolds |
| 2019 | CEC | Identifying Isolated Microgrids in Rural Areas : An Evolutionary Algorithm Approach for a Graph Clustering Problem. | Manou Rosenberg, James R. E. Fletcher, Mark Reynolds, Tim French, Lyndon While |
| 2019 | ICDE | When Geo-Text Meets Security: Privacy-Preserving Boolean Spatial Keyword Queries. | Ningning Cui, Jianxin Li, Xiaochun Yang, Bin Wang, Mark Reynolds, Yong Xiang |
| 2019 | IJCNN | Urban Area Vehicle Re-Identification With Self-Attention Stair Feature Fusion and Temporal Bayesian Re-Ranking. | Chenghuan Liu, Du Q. Huynh, Mark Reynolds |
| 2019 | ICSE | Epistemic model checking of distributed commit protocols with byzantine faults. | Omar I. Al-Bataineh, Mark Reynolds |
| 2019 | PRICAI | Aleatoric Dynamic Epistemic Logic for Learning Agents. | Tim French, Andrew Gozzard, Mark Reynolds |
| 2019 | PRICAI | Clique-Based Traffic Control Strategy Using Vehicle-To-Vehicle Communication. | Lauren M. Gee, Mark Reynolds |
| 2019 | PRICAI | Pedestrian Trajectory Prediction Using a Social Pyramid. | Hao Xue, Du Q. Huynh, Mark Reynolds |
| 2019 | VTC | Pedestrian Tracking and Stereo Matching of Tracklets for Autonomous Vehicles. | Hao Xue, Du Q. Huynh, Mark Reynolds |
| 2019 | WACV | Location-Velocity Attention for Pedestrian Trajectory Prediction. | Hao Xue, Du Huynh, Mark Reynolds |
| 2019 | TIME | Synthesis of LTL Formulas from Natural Language Texts: State of the Art and Research Directions. | Andrea Brunello, Angelo Montanari, Mark Reynolds |
| 2018 | ICDE | A Novel Framework for Constructing Partially Monotone Rule Ensembles. | Christopher Bartley, Wei Liu, Mark Reynolds |
| 2018 | WACV | SS-LSTM: A Hierarchical LSTM Model for Pedestrian Trajectory Prediction. | Hao Xue, Du Q. Huynh, Mark Reynolds |
| 2018 | TIME | A Game-Theoretic Approach to Timeline-Based Planning with Uncertainty. | Nicola Gigante, Angelo Montanari, Marta Cialdea Mayer, Andrea Orlandini, Mark Reynolds |
| 2018 | TIME | Population Based Methods for Optimising Infinite Behaviours of Timed Automata. | Lewis Tolonen, Tim French, Mark Reynolds |
| 2017 | DICTA | Learning Variance Kernelized Correlation Filters for Robust Visual Object Tracking. | Chenghuan Liu, Du Q. Huynh, Mark Reynolds |
| 2017 | DICTA | Bi-Prediction: Pedestrian Trajectory Prediction Based on Bidirectional LSTM Classification. | Hao Xue, Du Q. Huynh, Mark Reynolds |
| 2017 | LPAR | A One-Pass Tree-Shaped Tableau for LTL+Past. | Nicola Gigante, Angelo Montanari, Mark Reynolds |
| 2016 | ADMA | Effective Monotone Knowledge Integration in Kernel Support Vector Machines. | Christopher Bartley, Wei Liu, Mark Reynolds |
| 2016 | IJCAI | Leviathan: A New LTL Satisfiability Checking Tool Based on a One-Pass Tree-Shaped Tableau. | Matteo Bertello, Nicola Gigante, Angelo Montanari, Mark Reynolds |
| 2016 | TIME | Modelling Systems over General Linear Time. | John Christopher McCabe-Dansted, Mark Reynolds, Tim French |
| 2015 | TABLEAUX | A Tableau for Bundled Strategies. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2014 | AiML | A Tableau for Temporal Logic over the Reals. | Mark Reynolds |
| 2014 | TIME | Verification of Rewrite Rules for Computation Tree Logics. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2014 | TIME | Fairness with EXPTIME Bundled CTL Tableau. | John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | LPAR | Verifying Temporal Properties in Real Models. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | TABLEAUX | Model Checking General Linear Temporal Logic. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | TIME | An Algebraic System of Temporal Structures. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | TIME | Complexity of Model Checking over General Linear Time. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | TIME | A New Metric Temporal Logic for Hybrid Systems. | Mark Reynolds |
| 2012 | AiML | Synthesis for Temporal Logic over the Reals. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2011 | ADMA | An Investigation of Recursive Auto-associative Memory in Sentiment Detection. | Saeed Danesh, Wei Liu, Tim French, Mark Reynolds |
| 2011 | TIME | A Tableau for Until and Since over Linear Time. | Mark Reynolds |
| 2010 | SoMeT | Impact Analysis using Class Interaction Prediction Approach. | Nazri Kama, Tim French, Mark Reynolds |
| 2009 | FM | A Tableau for CTL. | Mark Reynolds |
| 2009 | TIME | On the Expressivity of RoCTL*. | John Christopher McCabe-Dansted, Tim French, Mark Reynolds, Sophie Pinchinat |
| 2009 | TIME | Axiomatizations for Temporal Epistemic Logic with Perfect Recall over Linear Time. | Szabolcs Mikuls, Mark Reynolds, Tim French |
| 2009 | TIME | Dense Time Reasoning via Mosaics. | Mark Reynolds |
| 2007 | AAAI | A Modal Logic for Beliefs and Pro Attitudes. | Kaile Su, Abdul Sattar, Han Lin, Mark Reynolds |
| 2007 | AusDM | Measuring Data-Driven Ontology Changes using Text Mining. | Majigsuren Enkhsaikhan, Wilson Wong, Wei Liu, Mark Reynolds |
| 2006 | ISoLA | A Space and Time Requirements Logic for Sensor Networks. | Rachel Cardell-Oliver, Mark Reynolds, Mark Kranz |
| 2004 | AiML | Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. | Tim French, Ron van der Meyden, Mark Reynolds |
| 2004 | SIGUCCS | Students as service champions: a success story. | April Krukowski, Mark Reynolds |
| 2002 | AiML | A Sound and Complete Proof System for QPTL. | Tim French, Mark Reynolds |
| 2000 | LICS | More Past Glories. | Mark Reynolds |
| 2000 | TABLEAUX | The Mosaic Method for Temporal Logics. | Maarten Marx, Szabolcs Mikuls, Mark Reynolds |
| 1993 | IJCAI | Towards First-Order Concurrent METATEM. | Mark Reynolds |