| 2024 | ICAISC | Investigating HuBERT-Based Speech Emotion Recognition Generalisation Capability. | Letian Li, Cornelius Glackin, Nigel Cannings, Vito Veneziano, Jack Barker, Olakunle Oduola, Chris Woodruff, Thea Laird, James Laird, Yi Sun |
| 2023 | FSCD | Dinaturality Meets Genericity: A Game Semantics of Bounded Polymorphism. | James Laird |
| 2022 | DASC | Speaker Recognition using Multiple X-Vector Speaker Representations with Two-Stage Clustering and Outlier Detection Refinement. | Roman Shrestha, Cornelius Glackin, Julie A. Wall, Nigel Cannings, Marvin Rajwadi, Satya Kada, James Laird, Thea Laird, Chris Woodruff |
| 2021 | ICANN | Resolving Ambiguity in Hedge Detection by Automatic Generation of Linguistic Rules. | Tracy Goodluck Constance, Nikesh Bajaj, Marvin Rajwadi, Harry Maltby, Julie A. Wall, Mansour Moniri, Chris Woodruff, Thea Laird, James Laird, Cornelius Glackin, Nigel Cannings |
| 2021 | LICS | A Compositional Cost Model for the λ-calculus. | James Laird |
| 2020 | FOSSACS | A Curry-style Semantics of Interaction: From Untyped to Second-Order Lazy λ μ-Calculus. | James Laird |
| 2017 | CALCO | Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. | William John Gowers, James Laird |
| 2017 | FOSSACS | From Qualitative to Quantitative Semantics - By Change of Base. | James Laird |
| 2016 | CSL | Polymorphic Game Semantics for Dynamic Binding. | James Laird |
| 2016 | FOSSACS | Game Semantics for Bounded Polymorphism. | James Laird |
| 2016 | LICS | Fixed Points In Quantitative Semantics. | James Laird |
| 2011 | LICS | Imperative Programs as Proofs via Game Semantics. | Martin Churchill, James Laird, Guy McCusker |
| 2010 | CSL | A Logic of Sequentiality. | Martin Churchill, James Laird |
| 2010 | ICALP | Game Semantics for Call-by-Value Polymorphism. | James Laird |
| 2010 | LICS | Game Semantics for a Polymorphic Programming Language. | James Laird |
| 2009 | CSL | Nondeterminism and Observable Sequentiality. | James Laird |
| 2007 | ICALP | A Fully Abstract Trace Semantics for General References. | James Laird |
| 2006 | FOSSACS | Bidomains and Full Abstraction for Countable Nondeterminism. | James Laird |
| 2005 | ICALP | Decidability in Syntactic Control of Interference. | James Laird |
| 2004 | FOSSACS | A Game Semantics of Local Names and Good Variables. | James Laird |
| 2004 | ICALP | A Calculus of Coroutines. | James Laird |
| 2003 | CSL | Bistability: An Extensional Characterization of Sequentiality. | James Laird |
| 2003 | FOSSACS | A Game Semantics of Linearly Used Continuations. | James Laird |
| 2002 | ESOP | Exceptions, Continuations and Macro-expressiveness. | James Laird |
| 2001 | LICS | A Fully Abstract Game Semantics of Local Exceptions. | James Laird |
| 2000 | CSL | Finite Models and Full Completeness. | James Laird |
| 1997 | LICS | Full Abstraction for Functional Languages with Control. | James Laird |