| 2026 | ICDAR | LMS-Retrieval: Layout-Aware, Modality-Aware, Structure-Aware Document Retrieval. | Man Qin, Tim French, Wei Liu |
| 2025 | EDUCON | Postgraduate Cybersecurity Education for Non-Specialist Professionals. | James H. Davenport, Tim French |
| 2025 | WWW | Spherical Embeddings for Atomic Relation Projection Reaching Complex Logical Query Answering. | Chau D. M. Nguyen, Tim French, Michael Stewart, Melinda Hodkiewicz, Wei Liu |
| 2024 | AAAI | Automated State Estimation for Summarizing the Dynamics of Complex Urban Systems Using Representation Learning. | Maira Alvi, Tim French, Philip Keymer, Rachel Cardell-Oliver |
| 2024 | COLING | MaintIE: A Fine-Grained Annotation Schema and Benchmark for Information Extraction from Maintenance Short Texts. | Tyler K. Bikaun, Tim French, Michael Stewart, Wei Liu, Melinda Hodkiewicz |
| 2024 | ISAGA | Simulating Complex Adaptive Software System Technical Debt. | David Gould, Tim French, Melinda Hodkiewicz |
| 2023 | ACL | SConE: Simplified Cone Embeddings with Symbolic Operators for Complex Logical Queries. | Chau D. M. Nguyen, Tim French, Wei Liu, Michael Stewart |
| 2023 | EACL | CylE: Cylinder Embeddings for Multi-hop Reasoning over Knowledge Graphs. | Chau D. M. Nguyen, Tim French, Wei Liu, Michael Stewart |
| 2023 | WoLLIC | Aleatoric Propositions: Reasoning About Coins. | Tim French |
| 2022 | AusDM | Natural Language Query for Technical Knowledge Graph Navigation. | Ziyu Zhao, Michael Stewart, Wei Liu, Tim French, Melinda Hodkiewicz |
| 2022 | CEC | Evolutionary Algorithms for Planning Remote Electricity Distribution Networks Considering Isolated Microgrids and Geographical Constraints. | Manou Rosenberg, Mark Reynolds, Tim French, Lyndon While |
| 2022 | SENSYS | Utilizing autoencoders to improve transfer learning when sensor data is sparse. | Maira Alvi, Rachel Cardell-Oliver, Tim French |
| 2021 | CHI | Using Job Characteristics to Inform Interface Design for Industrial Maintenance Procedures. | Caitlin Woods, Mark A. Griffin, Tim French, Melinda Hodkiewicz |
| 2021 | EMNLP | LexiClean: An annotation tool for rapid multi-task lexical normalisation. | Tyler Bikaun, Tim French, Melinda Hodkiewicz, Michael Stewart, Wei Liu |
| 2021 | GECCO | A genetic algorithm approach for the Euclidean Steiner tree problem with soft obstacles. | Manou Rosenberg, Tim French, Mark Reynolds, Lyndon While |
| 2021 | OZCHI | Digitisation of maintenance work management - a work design perspective: Lessons Learned in an Industry Study. | Caitlin Woods, Mark A. Griffin, Melinda Hodkiewicz, Tim French |
| 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 | OZCHI | Requirements for Adaptive User Interfaces for Industrial Maintenance Procedures: A discussion of context, requirements and research opportunities. | Caitlin Woods, Melinda Hodkiewicz, Tim French |
| 2019 | PRICAI | Aleatoric Dynamic Epistemic Logic for Learning Agents. | Tim French, Andrew Gozzard, Mark Reynolds |
| 2018 | TIME | Population Based Methods for Optimising Infinite Behaviours of Timed Automata. | Lewis Tolonen, Tim French, Mark Reynolds |
| 2016 | TIME | Modelling Systems over General Linear Time. | John Christopher McCabe-Dansted, Mark Reynolds, Tim French |
| 2014 | AiML | A Composable Language for Action Models. | Tim French, James Hales, Edwin Tay |
| 2013 | CEC | Online learning classifiers in dynamic environments with incomplete feedback. | Mohammad Behdad, Tim French |
| 2013 | LPAR | Verifying Temporal Properties in Real Models. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | SIGMOD | Towards a model for replicating aesthetic literary appreciation. | Tess Crosbie, Tim French, Marc Conrad |
| 2013 | TABLEAUX | Model Checking General Linear Temporal Logic. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2013 | TARK | Knowledge, awareness, and bisimulation. | Hans van Ditmarsch, Tim French, Fernando R. Velzquez-Quesada, Y N. Wng |
| 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 |
| 2012 | AAMAS | Action models for knowledge and awareness. | Hans van Ditmarsch, Tim French, Fernando R. Velzquez-Quesada |
| 2012 | AiML | Synthesis for Temporal Logic over the Reals. | Tim French, John Christopher McCabe-Dansted, Mark Reynolds |
| 2012 | AiML | Refinement Quantified Logics of Knowledge and Belief for Multiple Agentsc. | James Hales, Tim French, Rowan Davies |
| 2012 | APSEC | A Two-Level Prioritization Approach for Regression Testing of Web Applications. | Deepak Garg, Amitava Datta, Tim French |
| 2012 | TIME | Formal Modeling and Analysis of a Distributed Transaction Protocol in UPPAAL. | Omar I. Al-Bataineh, Tim French, Terry Woodings |
| 2011 | ADMA | An Investigation of Recursive Auto-associative Memory in Sentiment Detection. | Saeed Danesh, Wei Liu, Tim French, Mark Reynolds |
| 2011 | GECCO | PCA for improving the performance of XCSF in classification of high-dimensional problems. | Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun |
| 2011 | HCI | Bringing the Home into the Hospital: Assisting the Pre-Discharge Home Visit Process Using 3D Home Visualization Software. | Arthur G. Money, Anne McIntyre, Anita Atwal, Georgia Spiliotopoulou, Tony Elliman, Tim French |
| 2011 | IJCAI | Succinctness of Epistemic Languages. | Tim French, Wiebe van der Hoek, Petar Iliev, Barteld P. Kooi |
| 2010 | AiML | Future Event Logic - Axioms and Complexity. | Hans van Ditmarsch, Tim French, Sophie Pinchinat |
| 2010 | CEC | A comparative study of NEAT and XCS in Robocode. | David G. Nidorf, Luigi Barone, Tim French |
| 2010 | GECCO | An investigation of real-valued accuracy-based learning classifier systems for electronic fraud detection. | Mohammad Behdad, Luigi Barone, Tim French, Mohammed Bennamoun |
| 2010 | GECCO | On the problems of using learning classifier systems for fraud detection. | Mohammad Behdad, Tim French, Luigi Barone, Mohammed Bennamoun |
| 2010 | SoMeT | Impact Analysis using Class Interaction Prediction Approach. | Nazri Kama, Tim French, 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 |
| 2008 | AiML | Undecidability for arbitrary public announcement logic. | Tim French, Hans van Ditmarsch |
| 2006 | AiML | Bisimulation Quantified Modal Logics: Decidability. | Tim French |
| 2006 | IV | A Pragmatic and Musically Pleasing Production System for Sonic Events. | Marc Conrad, Tim French, Marcia Gibson |
| 2004 | AiML | Axioms for Logics of Knowledge and Past Time: Synchrony and Unique Initial States. | Tim French, Ron van der Meyden, Mark Reynolds |
| 2004 | ITiCSE | Using the synergies between the object-oriented paradigm and mathematics in joint mathematics/computer science programs. | Marc Conrad, Tim French |
| 2003 | Interact | The Role of Cultural Theories within International Usability. | Andy Smith, Tim French |
| 2003 | IV | A Visual Formalism for Graphical User Interfaces based on State Transition Diagrams. | Carsten Maple, Tim French, Marc Conrad |
| 2003 | TIME | Quantified Propositional Temporal Logic with Repeating States. | Tim French |
| 2002 | AiML | A Sound and Complete Proof System for QPTL. | Tim French, Mark Reynolds |