Extensions to the Estimation Calculus. - Jeremy Gow; Alan Bundy; Ian Green (LPAR, 1999)

A Theoretical Analysis of Hierarchical Proofs. - Paul A. Cairns; Jeremy Gow (MKM, 2003)

On Dynamically Presenting a Topology Course. - Paul A. Cairns; Jeremy Gow; Peter Collins (Ann. Math. Artif. Intell., 2003)

Using and Parsing the Mizar Language. - Paul A. Cairns; Jeremy Gow (MKM Symposium, 2003)

MAUI: An Interface Design Tool Based on Matrix Algebra. - Jeremy Gow; Harold W. Thimbleby (CADUI, 2004)

Computer algebra in interface design research. - Harold W. Thimbleby; Jeremy Gow (IUI, 2004)

Automatic Critiques of Interface Modes. - Jeremy Gow; Harold W. Thimbleby; Paul A. Cairns (DSV-IS, 2005)

Literate Proving: Presenting and Documenting Formal Proofs. - Paul A. Cairns; Jeremy Gow (MKM, 2005)

Constructing Induction Rules for Deductive Synthesis Proofs. - Alan Bundy; Lucas Dixon; Jeremy Gow; Jacques D. Fleuriot (CLASE, 2005)

Representing Aggregate Works in the Digital Library. - George Buchanan 001; Jeremy Gow; Ann Blandford; Jon Rimmer; Claire Warwick (ECDL, 2006)

Applying Graph Theory to Interaction Design. - Harold W. Thimbleby; Jeremy Gow (EHCI/DS-VIS, 2007)

Creators, Composers and Consumers: Experiences of Designing a Digital Library. - Ann Blandford; Jeremy Gow; George Buchanan 001; Claire Warwick; Jon Rimmer (INTERACT (1), 2007)

Integrating Searching and Authoring in Mizar. - Paul A. Cairns; Jeremy Gow (J. Autom. Reason., 2007)

A library or just another information resource? A case study of users' mental models of traditional and digital libraries. - Stephann Makri; Ann Blandford; Jeremy Gow; Jon Rimmer; Claire Warwick; George Buchanan 001 (J. Assoc. Inf. Sci. Technol., 2007)

The PRET A Rapporter framework: Evaluating digital libraries from the perspective of information work. - Ann Blandford; Anne Adams; Simon Attfield; George Buchanan 001; Jeremy Gow; Stephann Makri; Jon Rimmer; Claire Warwick (Inf. Process. Manag., 2008)

Special issue on digital libraries in the context of users' broader activities. - Jeremy Gow; Ann Blandford; Sally Jo Cunningham (Inf. Process. Manag., 2008)

An examination of the physical and the digital qualities of humanities research. - Jon Rimmer; Claire Warwick; Ann Blandford; Jeremy Gow; George Buchanan 001 (Inf. Process. Manag., 2008)

Cognitive economy and satisficing in information seeking: A longitudinal study of undergraduate information behavior. - Claire Warwick; Jon Rimmer; Ann Blandford; Jeremy Gow; George Buchanan 001 (J. Assoc. Inf. Sci. Technol., 2009)

Documentation and the users of digital resources in the humanities. - Claire Warwick; Isabel Galina; Jon Rimmer; Melissa Terras; Ann Blandford; Jeremy Gow; George Buchanan 001 (J. Documentation, 2009)

Video games as research instruments. - Eduardo H. Calvillo Gámez; Paul A. Cairns; Jeremy Gow; Jonathan Back; Eddie Capstick (CHI Extended Abstracts, 2010)

Experiments in Objet Trouvé Browsing. - Simon Colton; Jeremy Gow; Pedro Torres 001; Paul A. Cairns (ICCC, 2010)

Introduction to special issue: Video games as research instruments. - Eduardo H. Calvillo Gámez; Jeremy Gow; Paul A. Cairns (Entertain. Comput., 2011)

Mining Rules from Player Experience and Activity Data. - Jeremy Gow; Simon Colton; Paul A. Cairns; Paul Miller (AIIDE, 2012)

Initial Results from Co-operative Co-evolution for Automated Platformer Design. - Michael Cook 001; Simon Colton; Jeremy Gow (EvoApplications, 2012)

Unsupervised Modeling of Player Style With LDA. - Jeremy Gow; Robin Baumgarten; Paul A. Cairns; Simon Colton; Paul Miller (IEEE Trans. Comput. Intell. AI Games, 2012)

Mechanic Miner: Reflection-Driven Game Mechanic Discovery and Level Design. - Michael Cook 001; Simon Colton; Azalea Raad; Jeremy Gow (EvoApplications, 2013)

Using Theory Formation Techniques for the Invention of Fictional Concepts. - Flaminia Cavallo; Alison Pease; Jeremy Gow; Simon Colton (ICCC, 2013)

Nobody's A Critic: On The Evaluation Of Creative Code Generators - A Case Study In Video Game Design. - Michael Cook 001; Simon Colton; Jeremy Gow (ICCC, 2013)

Baseline Methods for Automated Fictional Ideation. - Maria Teresa Llano; Rose Hepworth; Simon Colton; Jeremy Gow; John William Charnley; Nada Lavrac; Martin Znidarsic; Matic Perovsek; Mark Granroth-Wilding; Stephen Clark (ICCC, 2014)

Semi-Automated Design Space Exploration for Formal Modelling. - Gudmund Grov; Andrew Ireland; Maria Teresa Llano; Peter Kovacs; Simon Colton; Jeremy Gow (ABZ, 2016)

Towards the automatic optimisation of procedural content generators. - Michael Cook 001; Jeremy Gow; Simon Colton (CIG, 2016)

What If A Fish Got Drunk? Exploring the Plausibility of Machine-Generated Fictions. - Maria Teresa Llano; Christian Guckelsberger; Rose Hepworth; Jeremy Gow; Joseph Corneli; Simon Colton (ICCC, 2016)

Automated Fictional Ideation via Knowledge Base Manipulation. - Maria Teresa Llano; Simon Colton; Rose Hepworth; Jeremy Gow (Cogn. Comput., 2016)

Mixed-Initiative Creative Interfaces. - Sebastian Deterding; Jonathan Hook; Rebecca Fiebrink; Marco Gillies; Jeremy Gow; Memo Akten; Gillian Smith 001; Antonios Liapis; Kate Compton (CHI Extended Abstracts, 2017)

Predicting Player Experience without the Player.: An Exploratory Study. - Christian Guckelsberger; Christoph Salge; Jeremy Gow; Paul A. Cairns (CHI PLAY, 2017)

The ANGELINA Videogame Design System - Part I. - Michael Cook 001; Simon Colton; Jeremy Gow (IEEE Trans. Comput. Intell. AI Games, 2017)

The ANGELINA Videogame Design System - Part II. - Michael Cook 001; Simon Colton; Jeremy Gow (IEEE Trans. Comput. Intell. AI Games, 2017)

General Analytical Techniques For Parameter-Based Procedural Content Generators. - Michael Cook 001; Simon Colton; Jeremy Gow; Gillian Smith 001 (CoG, 2019)

Teaching on a Budget in Multi-Agent Deep Reinforcement Learning. - Ercüment Ilhan; Jeremy Gow; Diego Pérez-Liébana (CoG, 2019)

Action Advising with Advice Imitation in Deep Reinforcement Learning. - Ercument Ilhan; Jeremy Gow; Diego Perez Liebana (AAMAS, 2021)

Learning on a Budget via Teacher Imitation. - Ercüment Ilhan; Jeremy Gow; Diego Pérez-Liébana (CoG, 2021)

Adversarial Behaviour Debugging in a Two Button Fighting Game. - Nathan John; Jeremy Gow (CoG, 2021)

Danesh: Interactive Tools for Understanding Procedural Content Generators. - Michael Cook 001; Jeremy Gow; Gillian Smith 001; Simon Colton (IEEE Trans. Games, 2022)

Student-Initiated Action Advising via Advice Novelty. - Ercument Ilhan; Jeremy Gow; Diego Perez Liebana (IEEE Trans. Games, 2022)

Designing for Playfulness in Human-AI Authoring Tools. - Antonios Liapis; Christian Guckelsberger; Jichen Zhu; Casper Harteveld; Simone Kriglstein; Alena Denisova; Jeremy Gow; Mike Preuss (FDG, 2023)

Playing NetHack with LLMs: Potential & Limitations as Zero-Shot Agents. - Dominik Jeurissen; Diego Perez Liebana; Jeremy Gow; Duygu Çakmak; James Kwan (CoG, 2024)

Experiments in Motivating Exploratory Agents. - Bobby Khaleque; Michael Cook 001; Jeremy Gow (FDG, 2024)

Evaluating Environments Using Exploratory Agents. - Bobby Khaleque; Mike Cook; Jeremy Gow (CoRR, 2024)

Play Style Identification Using Low-Level Representations of Play Traces in Microrts. - Ruizhe Yu Xia; Jeremy Gow; Simon M. Lucas (CoG, 2025)