| 2026 | ENASE | Trustworthy AI Agent Pipelines via Authenticated Data Structures. | Nasser Alzahrani, James Harland, Maria Spichkova |
| 2025 | RE | Cultural Impact on Requirements Engineering Activities: Bangladeshi Practitioners' View. | Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland |
| 2025 | RE | Towards Using Personas in Requirements Engineering: What Has Been Changed Recently? | Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland |
| 2024 | Mobiquitous | Spatio-Temporal Analysis of Concurrent Networks. | Heinz W. Schmidt, Peter Herrmann, Maria Spichkova, James Harland, Ian Peake, Ergys Puka |
| 2023 | Mobiquitous | Cultural Influence on Autonomous Vehicles Acceptance. | Chowdhury Shahriar Muzammel, Maria Spichkova, James Harland |
| 2022 | ENASE | Application of Property-based Testing Tools for Metamorphic Testing. | Nasser Alzahrani, Maria Spichkova, James Harland |
| 2021 | RE | Impact of Organisational Culture on the Requirement Engineering Activities. | Maria Spichkova, Tawfeeq Alsanoosy, James Harland |
| 2020 | EASE | Formal vs. Case-Study-Based Approaches for the Identification of Cultural Influences in Requirements Engineering. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2020 | ICSE | Identification of cultural influences on requirements engineering activities. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2020 | KES | Exploratory analysis of cultural influences on requirements engineering activities based on stakeholders' profile. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2020 | RE | Does our culture influence requirements engineering activities? Vietnamese practitioners' view. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2019 | KES | The influence of power distance on requirements engineering activities. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2018 | ENASE | Cultural Influences on Requirements Engineering Process in the Context of Saudi Arabia. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2018 | ENASE | A Detailed Analysis of the Influence of Saudi Arabia Culture on the Requirement Engineering Process. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2018 | ICECCS | Cultural Influences on the Requirements Engineering Process: Lessons Learned from Practice. | Tawfeeq Alsanoosy, Maria Spichkova, James Harland |
| 2016 | ECAI | Towards a BDI Player Model for Interactive Narratives. | Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry |
| 2016 | ENASE | Formal Behavioural Models to Facilitate Distributed Development and Commissioning in Industrial Automation. | James Harland, Jan Olaf Blech, Ian Peake, Luke Trodd |
| 2016 | ICIDS | Using BDI to Model Players Behaviour in an Interactive Fiction Game. | Jessica Rivera-Villicana, Fabio Zambetta, James Harland, Marsha Berry |
| 2015 | ACE | Repository of Wisdom: Automated Support for Composing Programming Exams. | Keith Foster, Daryl J. D'Souza, Margaret Hamilton, James Harland |
| 2014 | ECAI | Checking The Correctness of Agent Designs Against Model-Based Requirements. | Yoosef B. Abushark, Michael Winikoff, Tim Miller, James Harland, John Thangarajah |
| 2014 | ECAI | Quantifying the Completeness of Goals in BDI Agent Systems. | John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith |
| 2013 | ACE | A conceptual model for reflecting on expected learning vs. demonstrated student performance. | Richard Gluga, Judy Kay, Raymond Lister, Simon, Michael A. Charleston, James Harland, Donna Teague |
| 2013 | ACE | A comparative analysis of results on programming exams. | James Harland, Daryl J. D'Souza, Margaret Hamilton |
| 2013 | ACE | How difficult are exams?: a framework for assessing the complexity of introductory programming exams. | Judy Sheard, Simon, Angela Carbone, Donald Chinn, Tony Clear, Malcolm Corney, Daryl J. D'Souza, Joel Fenwick, James Harland, Mikko-Jussi Laakso, Donna Teague |
| 2013 | TrustCom | An Endorsement Trust Model. | Charles Thevathayan, James Harland, Peter Bertk |
| 2012 | AAMAS | Agent deliberation via forward and backward chaining in linear logic. | Luke Trodd, James Harland, John Thangarajah |
| 2011 | ICER | Exploring programming assessment instruments: a classification scheme for examination questions. | Judy Sheard, Simon, Angela Carbone, Donald Chinn, Mikko-Jussi Laakso, Tony Clear, Michael de Raadt, Daryl J. D'Souza, James Harland, Raymond Lister, Anne Philpott, Geoff Warburton |
| 2011 | IJCAI | Reasoning about Preferences in Intelligent Agent Systems. | Simeon Visser, John Thangarajah, James Harland |
| 2010 | ECAI | On the Life-Cycle of BDI Agent Goals. | John Thangarajah, James Harland, David N. Morley, Neil Yorke-Smith |
| 2008 | ICSOC | VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning. | Nalaka Gooneratne, Zahir Tari, James Harland |
| 2007 | SAC | Verification of web service descriptions using graph-based traversal algorithms. | Nalaka Gooneratne, Zahir Tari, James Harland |
| 2005 | TABLEAUX | A Redundancy Analysis of Sequent Proofs. | Tatjana Lutovac, James Harland |
| 2004 | ECAI | Expectation Reasoning Using Regret and Disappointment. | Bnh Vu Trn, James Harland, Margaret Hamilton |
| 2004 | KR | Observation Expectation Reasoning in Agent Systems. | Bnh Vu Trn, James Harland, Margaret Hamilton |
| 2003 | ACE | Experiences in Teaching Computing Theory via Aspects of Problem-based Learning. | Margaret Hamilton, James Harland, Lin Padgham |
| 2002 | KR | Declarative & Procedural Goals in Intelligent Agent Systems. | Michael Winikoff, Lin Padgham, James Harland, John Thangarajah |
| 2000 | PRICAI | Agent-Oriented Programming in Linear Logic: An Example. | Abdullah-Al Amin, Michael Winikoff, James Harland |
| 1997 | CADE | Resource-Distribution via Boolean Constraint (Extended Abstract). | James Harland, David J. Pym |
| 1994 | EDBT | Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. | Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao |
| 1993 | ICLP | Constraint Propagation for Linear Recursive Rules. | James Harland, Kotagiri Ramamohanarao |
| 1993 | ICLP | Status of the Aditi Deductive Database System. | Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland |
| 1992 | ICLP | On Normal Forms and Equivalence for Logic Programs. | James Harland |
| 1992 | LPAR | On Resolution in Fragments of Classical Linear Logic. | James Harland, David J. Pym |
| 1991 | ICLP | A Clausal Form for the Completion of Logic Programs. | James Harland |