| 2024 | LICS | Concurrent Games over Relational Structures: The Origin of Game Comonads. | Yov Montacute, Glynn Winskel |
| 2023 | LICS | Making Concurrency Functional. | Glynn Winskel |
| 2019 | CALCO | Causal Unfoldings. | Marc de Visme, Glynn Winskel |
| 2019 | RC | Concurrent Quantum Strategies. | Pierre Clairambault, Marc de Visme, Glynn Winskel |
| 2018 | CSL | The True Concurrency of Herbrand's Theorem. | Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel |
| 2018 | FOSSACS | Non-angelic Concurrent Game Semantics. | Simon Castellan, Pierre Clairambault, Jonathan Hayman, Glynn Winskel |
| 2018 | LICS | The concurrent game semantics of Probabilistic PCF. | Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |
| 2017 | CSL | Strategies with Parallel Causes. | Marc de Visme, Glynn Winskel |
| 2017 | MFCS | Distributed Strategies Made Easy. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2015 | ICTAC | On Probabilistic Distributed Strategies. | Glynn Winskel |
| 2015 | LICS | The Parallel Intensionally Fully Abstract Games Model of PCF. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2014 | CSL | Symmetry in concurrent games. | Simon Castellan, Pierre Clairambault, Glynn Winskel |
| 2013 | CONCUR | Borel Determinacy of Concurrent Games. | Julian Gutierrez, Glynn Winskel |
| 2013 | FOSSACS | Strategies as Profunctors. | Glynn Winskel |
| 2012 | FOSSACS | Bicategories of Concurrent Games - (Invited Paper). | Glynn Winskel |
| 2012 | LICS | The Winning Ways of Concurrent Games. | Pierre Clairambault, Julian Gutierrez, Glynn Winskel |
| 2011 | LICS | Concurrent Strategies. | Silvain Rideau, Glynn Winskel |
| 2010 | LICS | On the Expressivity of Symmetry in Event Structures. | Sam Staton, Glynn Winskel |
| 2009 | CSL | Nominal Domain Theory for Concurrency. | David Turner, Glynn Winskel |
| 2007 | CALCO | Symmetry and Concurrency. | Glynn Winskel |
| 2006 | LICS | Independence and Concurrent Separation Logic. | Jonathan Hayman, Glynn Winskel |
| 2005 | LICS | Relations in Concurrency. | Glynn Winskel |
| 2005 | LICS | Name Generation and Linearity. | Glynn Winskel |
| 2004 | CONCUR | Probabilistic Event Structures and Domains. | Daniele Varacca, Hagen Vlzer, Glynn Winskel |
| 2003 | CONCUR | Full Abstraction for HOPLA. | Mikkel Nygaard, Glynn Winskel |
| 2002 | CONCUR | HOPLA-A Higher-Order Process Language. | Mikkel Nygaard, Glynn Winskel |
| 2002 | LICS | Linearity in Process Languages. | Mikkel Nygaard, Glynn Winskel |
| 2001 | CCS | Events in security protocols. | Federico Crazzolara, Glynn Winskel |
| 1999 | CONCUR | Event Structures as Presheaves -Two Representation Theorems. | Glynn Winskel |
| 1999 | LICS | Weak Bisimulation and Open Maps. | Marcelo P. Fiore, Gian Luca Cattani, Glynn Winskel |
| 1998 | CONCUR | A Categorical Axiomatics for Bisimulation. | Gian Luca Cattani, John Power, Glynn Winskel |
| 1998 | CONCUR | A Relational Model of Non-deterministic Dataflow. | Thomas T. Hildebrandt, Prakash Panangaden, Glynn Winskel |
| 1998 | LICS | A Theory of Recursive Domains with Applications to Concurrency. | Gian Luca Cattani, Marcelo P. Fiore, Glynn Winskel |
| 1996 | CONCUR | A Presheaf Semantics of Value-Passing Processes. | Glynn Winskel |
| 1996 | CSL | Presheaf Models for Concurrency. | Gian Luca Cattani, Glynn Winskel |
| 1994 | ICALP | Bistructures, Bidomains and Linear Logic. | Gordon D. Plotkin, Glynn Winskel |
| 1994 | LICS | A Compositional Proof System for the Modal mu-Calculus | Henrik Reif Andersen, Colin Stirling, Glynn Winskel |
| 1994 | MFCS | Stable Bistructure Models of PCF. | Glynn Winskel |
| 1993 | CONCUR | A Classification of Models for Concurrency. | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1993 | LICS | Bisimulation and open maps | Andr Joyal, Mogens Nielsen, Glynn Winskel |
| 1993 | MFCS | Completeness Results for Linear Logic on Petri Nets. | Uffe Engberg, Glynn Winskel |
| 1993 | MFCS | Deterministic Behavioural Models for Concurrency. | Vladimiro Sassone, Mogens Nielsen, Glynn Winskel |
| 1991 | CAV | Compositional Checking of Satisfaction. | Henrik Reif Andersen, Glynn Winskel |
| 1991 | LICS | CCS with Priority Choice | Juanito Camilleri, Glynn Winskel |
| 1990 | CONCUR | On the Compositional Checking of Validity (Extended Abstract). | Glynn Winskel |
| 1989 | ICALP | A Note on Model Checking the Modal nu-Calculus. | Glynn Winskel |
| 1988 | LICS | A Category of Labelled Petri Nets and Compositional Proof System (Extended Abstract) | Glynn Winskel |
| 1987 | MFPS | DI-Domains as a Model of Polymorphism. | Thierry Coquand, Carl A. Gunter, Glynn Winskel |
| 1984 | CONCUR | On the Composition and Decomposition of Assertions. | Glynn Winskel |
| 1984 | CONCUR | Categories of Models for Concurrency. | Glynn Winskel |
| 1984 | STACS | A New Definition of Morphism on Petri Nets. | Glynn Winskel |
| 1983 | FCT | A Note on Powerdomains and Modalitiy. | Glynn Winskel |
| 1983 | ICALP | Synchronisation Trees. | Glynn Winskel |
| 1982 | ICALP | Event Structure Semantics for CCS and Related Languages. | Glynn Winskel |