| 2015 | ICONIP | A Cortically-Inspired Model for Bioacoustics Recognition. | Linda Main, John Thornton |
| 2015 | IJCNN | Distal dendrite feedback in hierarchical temporal memory. | Adam Kneller, John Thornton |
| 2014 | AAAI | Tailoring Local Search for Partial MaxSAT. | Shaowei Cai, Chuan Luo, John Thornton, Kaile Su |
| 2014 | PRICAI | Cortically-Inspired Overcomplete Feature Learning for Colour Images. | Benjamin Cowley, Adam Kneller, John Thornton |
| 2012 | PRICAI | Probabilistic Reasoning in DL-Lite. | Raghav Ramachandran, Guilin Qi, Kewen Wang, Junhu Wang, John Thornton |
| 2008 | AAAI | Efficiently Exploiting Dependencies in Local Search for SAT. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2008 | PRICAI | Using Cost Distributions to Guide Weight Decay in Local Search for SAT. | John Thornton, Duc Nghia Pham |
| 2007 | IJCAI | Building Structure into Local Search for SAT. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2006 | CP | Adaptive Clause Weight Redistribution. | Abdelraouf Ishtaiwi, John Thornton, Anbulagan, Abdul Sattar, Duc Nghia Pham |
| 2006 | CP | Towards an Efficient SAT Encoding for Temporal Reasoning. | Duc Nghia Pham, John Thornton, Abdul Sattar |
| 2005 | AAAI | SAT-Based versus CSP-Based Constraint Weighting for Satisfiability. | Duc Nghia Pham, John Thornton, Abdul Sattar, Abdelraouf Ishtaiwi |
| 2005 | CP | Evolving Variable-Ordering Heuristics for Constrained Optimisation. | Stuart Bain, John Thornton, Abdul Sattar |
| 2005 | CP | Neighbourhood Clause Weight Redistribution in Local Search for SAT. | Abdelraouf Ishtaiwi, John Thornton, Abdul Sattar, Duc Nghia Pham |
| 2004 | AAAI | Additive versus Multiplicative Clause Weighting for SAT. | John Thornton, Duc Nghia Pham, Stuart Bain, Valnir Ferreira Jr. |
| 2004 | ADC | An Efficient Method for Indexing Now-relative Bitemporal data. | Bela Stantic, Sankalp Khanna, John Thornton |
| 2004 | CEC | Evolving algorithms for constraint satisfaction. | Stuart Bain, John Thornton, Abdul Sattar |
| 2004 | FlAIRS | Dynamic Agent-Ordering and Nogood-Repairing in Distributed Constraint Satisfaction Problems. | Lingzhong Zhou, John Thornton, Abdul Sattar |
| 2004 | PRICAI | Methods of Automatic Algorithm Generation. | Stuart Bain, John Thornton, Abdul Sattar |
| 2004 | PRICAI | Solving Over-Constrained Temporal Reasoning Problems Using Local Search. | Matthew Beaumont, John Thornton, Abdul Sattar, Michael J. Maher |
| 2003 | GLOBECOM | Improving the system capacity of mm-wave broadband services using multiple high altitude platforms. | David Grace, Guanhua Chen, George P. White, John Thornton, Tim C. Tozer |
| 2003 | TIME | A Novel Approach to Model NOW in Temporal Databases. | Bela Stantic, John Thornton, Abdul Sattar |
| 2002 | PIMRC | Channel assignment strategies for a high altitude platform spot-beam architecture. | David Grace, Candida Spillard, John Thornton, Tim C. Tozer |
| 2002 | TIME | Applying Local Search to Temporal Reasoning. | John Thornton, Matthew Beaumont, Abdul Sattar, Michael J. Maher |
| 2000 | CP | On Dual Encodings for Non-binary Constraint Satisfaction Problems. | Sivakumar Nagarajan, Scott D. Goodwin, Abdul Sattar, John Thornton |
| 1999 | CP | On the Behavior and Application of Constraint Weighting. | John Thornton, Abdul Sattar |
| 1998 | AAAI | Using Arc Weights to Improve Iterative Repair. | John Thornton, Abdul Sattar |
| 1998 | PRICAI | Dynamic Constraint Weighting for Over-Constrained Problems. | John Thornton, Abdul Sattar |
| 1987 | SIGUCCS | Converting from a DEC system-10 to VAX. | John Thornton |
| 1984 | SIGUCCS | An Experiment in senior staff working alongside student consultants. | John Thornton, Agnes A. Hoey |