| 2025 | TABLEAUX | Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract). | Yll Buzoku, David J. Pym |
| 2023 | TABLEAUX | Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. | Alexander V. Gheorghiu, Tao Gu, David J. Pym |
| 2020 | FSCD | Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. | Paul Brunet, David J. Pym |
| 2020 | ICIS | Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things. | David J. Pym, Will Venters |
| 2018 | FOSSACS | Modular Tableaux Calculi for Separation Theories. | Simon Docherty, David J. Pym |
| 2017 | IJCAI | Intuitionistic Layered Graph Logic. | Simon Docherty, David J. Pym |
| 2017 | NSPW | Practicing a Science of Security: A Philosophy of Science Perspective. | Jonathan M. Spring, Tyler Moore, David J. Pym |
| 2016 | CADE | Intuitionistic Layered Graph Logic. | Simon Docherty, David J. Pym |
| 2016 | FC | Discrete Choice, Social Interaction, and Policy in Encryption Technology Adoption (Short Paper). | Tristan Caulfield, Christos Ioannidis, David J. Pym |
| 2014 | HCI | Compositional Security Modelling - Structure, Economics, and Behaviour. | Tristan Caulfield, David J. Pym, Julian Williams |
| 2013 | CloudCom | Developing a Conceptual Framework for Cloud Security Assurance. | Bob Duncan, David J. Pym, Mark Whittington |
| 2013 | TARK | Utility-based Decision-making in Distributed Systems Modelling. | Gabrielle Anderson, Matthew Collinson, David J. Pym |
| 2011 | CloudCom | Information Stewardship in Cloud Ecosystems: Towards Models, Economics, and Delivery. | Adrian Baldwin, David J. Pym, Martin Sadler, Simon Shiu |
| 2010 | LICS | Modal Location-Resource-Process Logic for Access Control. | David J. Pym |
| 2009 | FC | Investments and Trade-offs in the Economics of Information Security. | Christos Ioannidis, David J. Pym, Julian Williams |
| 2007 | CSL | A Games Model of Bunched Implications. | Guy McCusker, David J. Pym |
| 2005 | CSL | On Bunched Polymorphism. | Matthew Collinson, David J. Pym, Edmund Robinson |
| 2004 | LICS | On the Geometry of Interaction for Classical Logic. | Carsten Fhrmann, David J. Pym |
| 2002 | CSL | Resource Tableaux. | Didier Galmiche, Daniel Mry, David J. Pym |
| 2001 | CADE | Bunched Logic Programming. | Pablo A. Armeln, David J. Pym |
| 1999 | CSL | Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. | Samin S. Ishtiaq, David J. Pym |
| 1999 | LICS | On Bunched Predicate Logic. | David J. Pym |
| 1997 | CADE | Resource-Distribution via Boolean Constraint (Extended Abstract). | James Harland, David J. Pym |
| 1996 | CADE | Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). | Eike Ritter, David J. Pym, Lincoln A. Wallen |
| 1996 | TABLEAUX | On the Intuitionistic Force of Classical Search (Extended Abstract). | Eike Ritter, David J. Pym, Lincoln A. Wallen |
| 1992 | LPAR | On Resolution in Fragments of Classical Linear Logic. | James Harland, David J. Pym |
| 1990 | CADE | Investigations into Proof-Search in a System of First-Order Dependent Function Types. | David J. Pym, Lincoln A. Wallen |