| 2024 | FSCD | Commutation Groups and State-Independent Contextuality. | Samson Abramsky, Serban-Ion Cercelescu, Carmen Maria Constantin |
| 2022 | MFCS | Comonadic semantics for hybrid logic. | Samson Abramsky, Dan Marsden |
| 2021 | CSL | The Logic of Contextuality. | Samson Abramsky, Rui Soares Barbosa |
| 2021 | ICALP | Arboreal Categories and Resources. | Samson Abramsky, Luca Reggio |
| 2021 | LICS | Comonadic semantics for guarded fragments. | Samson Abramsky, Dan Marsden |
| 2019 | LICS | A comonadic view of simulation and quantum resources. | Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield |
| 2018 | CSL | Relating Structure and Power: Comonadic Semantics for Computational Resources. | Samson Abramsky, Nihil Shah |
| 2017 | LICS | The pebbling comonad in Finite Model Theory. | Samson Abramsky, Anuj Dawar, Pengming Wang |
| 2017 | MFCS | The Quantum Monad on Relational Structures. | Samson Abramsky, Rui Soares Barbosa, Nadish de Silva, Octavio Zapata |
| 2015 | CSL | Contextuality, Cohomology and Paradox. | Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield |
| 2015 | ICALP | Games for Dependent Types. | Samson Abramsky, Radha Jagadeesan, Matthijs Vkr |
| 2013 | IJCAI | Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. | Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis |
| 2012 | UC | Heterotic Computing Examples with Optics, Bacteria, and Chemicals. | Susan Stepney, Samson Abramsky, Matthias Bechmann, Jerzy Gorecki, Viv Kendon, Thomas J. Naughton, Mario J. Prez-Jimnez, Francisco Jos Romero-Campero, Angelika Sebald |
| 2011 | UC | The Logic and Topology of Non-locality and Contextuality. | Samson Abramsky |
| 2010 | LICS | Coalgebras, Chu Spaces, and Representations of Physical Systems. | Samson Abramsky |
| 2007 | CSL | Full Completeness: Interactive and Geometric Characterizations of the Space of Proofs (Abstract). | Samson Abramsky |
| 2006 | CSL | The Ackermann Award 2006. | Samson Abramsky, Erich Grdel, Johann A. Makowsky |
| 2005 | CALCO | Abstract Scalars, Loops, and Free Traced and Strongly Compact Closed Categories. | Samson Abramsky |
| 2005 | SAS | Algorithmic Game Semantics and Static Analysis. | Samson Abramsky |
| 2004 | LICS | High-Level Methods for Quantum Computation and Information. | Samson Abramsky |
| 2004 | LICS | A Categorical Semantics of Quantum Protocols. | Samson Abramsky, Bob Coecke |
| 2004 | LICS | Nominal Games and Full Abstraction for the Nu-Calculus. | Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong, Ian David Bede Stark |
| 2004 | TACAS | Applying Game Semantics to Compositional Software Modeling and Verification. | Samson Abramsky, Dan R. Ghica, Andrzej S. Murawski, C.-H. Luke Ong |
| 2003 | FOSSACS | A Game Semantics for Generic Polymorphism. | Samson Abramsky, Radha Jagadeesan |
| 2001 | CSL | Fully Complete Minimal PER Models for the Simply Typed lambda-Calculus. | Samson Abramsky, Marina Lenisa |
| 2000 | CSL | A Fully Complete PER Model for ML Polymorphic Types. | Samson Abramsky, Marina Lenisa |
| 2000 | ICALP | Game Semantics: Achievements and Prospects. | Samson Abramsky |
| 2000 | MFCS | Axiomatizing Fully Complete Models for ML Polymorphic Types. | Samson Abramsky, Marina Lenisa |
| 1999 | LICS | Concurrent Games and Full Completeness. | Samson Abramsky, Paul-Andr Mellis |
| 1998 | LICS | A Fully Abstract Game Semantics for General References. | Samson Abramsky, Kohei Honda, Guy McCusker |
| 1997 | CSL | Call-by-Value Games. | Samson Abramsky, Guy McCusker |
| 1997 | MFCS | Game Semantics for Programming Languages (Abstract). | Samson Abramsky |
| 1996 | CONCUR | Retracing Some Paths in Process Algebra. | Samson Abramsky |
| 1995 | LICS | Games and Full Abstraction for the Lazy lambda-Calculus | Samson Abramsky, Guy McCusker |
| 1992 | LICS | New Foundations for the Geometry of Interaction | Samson Abramsky, Radha Jagadeesan |
| 1991 | POPL | A Relational Approach to Strictness Analysis for Higher-Order Polymorphic Functions. | Samson Abramsky, Thomas P. Jensen |
| 1990 | ECOOP | Foundations of object-based concurrent programming (panel session). | Gul Agha, Akinori Yonezawa, Peter Wegner, Samson Abramsky |
| 1990 | OOPSLA | Foundations of Concurrent Object-Oriented Programming (Panel). | Gul Agha, Samson Abramsky, Carl Hewitt, Robin Milner, Peter Wegner, Akinori Yonezawa |
| 1989 | MFPS | A Generalized Kahn Principle for Abstract Asynchronous Networks. | Samson Abramsky |
| 1987 | LICS | Domain Theory in Logical Form | Samson Abramsky |
| 1983 | FCT | Experiments, Powerdomains and Fully Abstract Models for Applicative Multiprogramming. | Samson Abramsky |
| 1983 | ICALP | On Semantic Foundations for Applicative Multiprogramming. | Samson Abramsky |