Investigations into Proof-Search in a System of First-Order Dependent Function Types. - David J. Pym; Lincoln A. Wallen (CADE, 1990)

The Uniform Proof-Theoretic Foundation of Linear Logic Programming. - James Harland; David J. Pym (ISLP, 1991)

Logic Programming via Proof-valued Computations. - David J. Pym; Lincoln A. Wallen (ALPUK, 1992)

On Resolution in Fragments of Classical Linear Logic. - James Harland; David J. Pym (LPAR, 1992)

A Unification Algorithm for the lambda-Pi-Calculus. - David J. Pym (Int. J. Found. Comput. Sci., 1992)

A Uniform Proof-Theoretic Investigation of Linear Logic Programming. - David J. Pym; James Harland (J. Log. Comput., 1994)

Programming in Lygon: A Brief Overview. - James Harland; David J. Pym; Michael Winikoff (ILPS, 1995)

A note on the proof theory of the lambda-II-calculus. - David J. Pym (Stud Logica, 1995)

Programming in Lygon: An Overview. - James Harland; David J. Pym; Michael Winikoff (AMAST, 1996)

Programming in Lygon: A System Demonstration. - James Harland; David J. Pym; Michael Winikoff (AMAST, 1996)

Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). - Eike Ritter; David J. Pym; Lincoln A. Wallen (CADE, 1996)

On the Intuitionistic Force of Classical Search (Extended Abstract). - Eike Ritter; David J. Pym; Lincoln A. Wallen (TABLEAUX, 1996)

Resource-Distribution via Boolean Constraint (Extended Abstract). - James Harland; David J. Pym (CADE, 1997)

Logic Programming with Bunched Implications. - David J. Pym (Proof Search in Type-Theoretic Languages@CADE, 1998)

A Relevant Analysis of Natural Deduction. - Samin S. Ishtiaq; David J. Pym (J. Log. Comput., 1998)

Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. - Samin S. Ishtiaq; David J. Pym (CSL, 1999)

On Bunched Predicate Logic. - David J. Pym (LICS, 1999)

The logic of bunched implications. - Peter W. O'Hearn; David J. Pym (Bull. Symb. Log., 1999)

Forward and Backward Chaining in Linear Logic. - James Harland; David J. Pym; Michael Winikoff (Workshop on Type-Theoretic Languages: Proof Search and Semantics, 2000)

Notes Towards a Semantics for Proof-search. - David J. Pym (Workshop on Type-Theoretic Languages: Proof Search and Semantics, 2000)

Proof-terms for classical and intuitionistic resolution. - Eike Ritter; David J. Pym; Lincoln A. Wallen (J. Log. Comput., 2000)

Proof-search in type-theoretic languages: an introduction. - Didier Galmiche; David J. Pym (Theor. Comput. Sci., 2000)

On the intuitionistic force of classical search. - Eike Ritter; David J. Pym; Lincoln A. Wallen (Theor. Comput. Sci., 2000)

Bunched Logic Programming. - Pablo A. Armelín; David J. Pym (IJCAR, 2001)

The semantics and proof theory of the logic of bunched implications. - David J. Pym (Kluwer, 2002)

Resource Tableaux. - Didier Galmiche; Daniel Méry; David J. Pym (CSL, 2002)

Kripke Resource Models of a Dependently-typed, Bunched λ-calculus. - Samin S. Ishtiaq; David J. Pym (J. Log. Comput., 2002)

Editorial. - David J. Pym (J. Log. Comput., 2003)

Forthcoming Papers. - David J. Pym (J. Log. Comput., 2003)

Resource-distribution via Boolean constraints. - James Harland; David J. Pym (ACM Trans. Comput. Log., 2003)

Reductive logic and proof-search - proof theory, semantics, and control. - David J. Pym; Eike Ritter (Oxford University Press, 2004)

On the Geometry of Interaction for Classical Logic. - Carsten Führmann; David J. Pym (LICS, 2004)

Possible worlds and resources: the semantics of BI. - David J. Pym; Peter W. O'Hearn; Hongseok Yang (Theor. Comput. Sci., 2004)

A games semantics for reductive logic and proof-search. - David J. Pym; Eike Ritter (GALOP@ETAPS, 2005)

The semantics of BI and resource tableaux. - Didier Galmiche; Daniel Méry; David J. Pym (Math. Struct. Comput. Sci., 2005)

Bunching for Regions and Locations. - Matthew Collinson; David J. Pym (MFPS, 2006)

A Calculus and logic of resources and processes. - David J. Pym; Chris M. N. Tofts (Formal Aspects Comput., 2006)

A Games Model of Bunched Implications. - Guy McCusker; David J. Pym (CSL, 2007)

Economic aspects of a utility computing service. - Jean Paul Degabriele; David J. Pym (GridNets, 2007)

Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach. - Jonathan Griffin; Brian Monahan; David J. Pym; Mike Wonham; Mike Yearworth (WEIS, 2007)

Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. - David J. Pym; Chris M. N. Tofts (Computation, Meaning, and Logic, 2007)

Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences. - Matthew Collinson; David J. Pym; Chris M. N. Tofts (Formal Aspects Comput., 2007)

On categorical models of classical logic and the Geometry of Interaction. - Carsten Führmann; David J. Pym (Math. Struct. Comput. Sci., 2007)

Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. - Adam Beautement; Robert Coles; Jonathan Griffin; Christos Ioannidis; Brian Monahan; David J. Pym; M. Angela Sasse; Mike Wonham (WEIS, 2008)

Bunched polymorphism. - Matthew Collinson; David J. Pym; Edmund Robinson (Math. Struct. Comput. Sci., 2008)

Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. - Adam Beautement; Robert Coles; Jonathan Griffin; Christos Ioannidis; Brian Monahan; David J. Pym; M. Angela Sasse; Mike Wonham (Managing Information Risk and the Economics of Security, 2009)

Investments and Trade-offs in the Economics of Information Security. - Christos Ioannidis; David J. Pym; Julian Williams (Financial Cryptography, 2009)

A Logical and Computational Theory of Located Resource. - Matthew Collinson; Brian Monahan; David J. Pym (J. Log. Comput., 2009)

Algebra and logic for resource-based systems modelling. - Matthew Collinson; David J. Pym (Math. Struct. Comput. Sci., 2009)

Modal Location-Resource-Process Logic for Access Control. - David J. Pym (LAM@LICS, 2010)

Semantics for structured systems modelling and simulation. - Matthew Collinson; Brian Monahan; David J. Pym (SimuTools, 2010)

Structured Systems Economics for Security Management. - Adam Beautement; David J. Pym (WEIS, 2010)

Algebra and logic for access control. - Matthew Collinson; David J. Pym (Formal Aspects Comput., 2010)

Erratum to: Algebra and logic for access control. - Matthew Collinson; David J. Pym (Formal Aspects Comput., 2010)

Information Stewardship in Cloud Computing. - David J. Pym; Martin Sadler (Int. J. Serv. Sci. Manag. Eng. Technol., 2010)

Information Stewardship in Cloud Ecosystems: Towards Models, Economics, and Delivery. - Adrian Baldwin; David J. Pym; Martin Sadler; Simon Shiu (CloudCom, 2011)

Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach. - Christos Ioannidis; David J. Pym; Julian Williams (WEIS (Springer Volume), 2011)

A Framework for Modelling Security Architectures in Services Ecosystems. - Matthew Collinson; David J. Pym; Barry Taylor (ESOCC, 2012)

Contagion in Cybersecurity Attacks. - Adrian Baldwin; Iffat Gheyas; Christos Ioannidis; David J. Pym; Julian Williams (WEIS, 2012)

Information security trade-offs and optimal patching policies. - Christos Ioannidis; David J. Pym; Julian Williams (Eur. J. Oper. Res., 2012)

Developing a Conceptual Framework for Cloud Security Assurance. - Bob Duncan; David J. Pym; Mark Whittington (CloudCom (2), 2013)

Utility-based Decision-making in Distributed Systems Modelling. - Gabrielle Anderson; Matthew Collinson; David J. Pym (TARK, 2013)

Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach. - Gabrielle Anderson; Matthew Collinson; David J. Pym (TRUST, 2013)

Compositional Security Modelling - Structure, Economics, and Behaviour. - Tristan Caulfield; David J. Pym; Julian Williams (HCI (24), 2014)

A substructural logic for layered graphs. - Matthew Collinson; Kevin McDonald; David J. Pym (J. Log. Comput., 2014)

A proof-theoretic analysis of the classical propositional matrix method. - David J. Pym; Eike Ritter; Edmund Robinson (J. Log. Comput., 2014)

Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. - Fredrik Dahlqvist; David J. Pym (RAMiCS, 2015)

Modelling and simulating systems security policy. - Tristan Caulfield; David J. Pym (SimuTools, 2015)

Welcome from the Editors-in-Chief. - Tyler Moore 001; David J. Pym (J. Cybersecur., 2015)

Improving Security Policy Decisions with Models. - Tristan Caulfield; David J. Pym (IEEE Secur. Priv., 2015)

Discrete Choice, Social Interaction, and Policy in Encryption Technology Adoption (Short Paper). - Tristan Caulfield; Christos Ioannidis; David J. Pym (Financial Cryptography, 2016)

A Logic for the Compliance Budget. - Gabrielle Anderson; Guy McCusker; David J. Pym (GameSec, 2016)

On the Adoption of Privacy-enhancing Technologies. - Tristan Caulfield; Christos Ioannidis; David J. Pym (GameSec, 2016)

Editorial. - Tyler Moore 001; David J. Pym (J. Cybersecur., 2016)

Introduction. - Tyler Moore 001; David J. Pym; Michel van Eeten (J. Cybersecur., 2016)

A calculus and logic of bunched resources and processes. - Gabrielle Anderson; David J. Pym (Theor. Comput. Sci., 2016)

A logic of separating modalities. - Jean-René Courtault; Didier Galmiche; David J. Pym (Theor. Comput. Sci., 2016)

The U.S. Vulnerabilities Equities Process: An Economic Perspective. - Tristan Caulfield; Christos Ioannidis; David J. Pym (GameSec, 2017)

A Substructural Epistemic Resource Logic. - Didier Galmiche; Pierre Kimmel; David J. Pym (ICLA, 2017)

Intuitionistic Layered Graph Logic. - Simon Docherty; David J. Pym (IJCAI, 2017)

Practicing a Science of Security: A Philosophy of Science Perspective. - Jonathan M. Spring; Tyler Moore 001; David J. Pym (NSPW, 2017)

Coalgebraic completeness-via-canonicity for distributive substructural logics. - Fredrik Dahlqvist; David J. Pym (J. Log. Algebraic Methods Program., 2017)

Contagion in cyber security attacks. - Adrian Baldwin; Iffat Gheyas; Christos Ioannidis; David J. Pym; Julian Williams (J. Oper. Res. Soc., 2017)

A Substructural Modal Logic of Utility. - Gabrielle Anderson; David J. Pym (J. Log. Comput., 2017)

Erratum to: A substructural logic for layered graphs. - Matthew Collinson; Kevin McDonald; Simon Docherty; David J. Pym (J. Log. Comput., 2017)

Layered graph logic as an assertion language for access control policy models. - Matthew Collinson; Kevin McDonald; David J. Pym (J. Log. Comput., 2017)

Modular Tableaux Calculi for Separation Theories. - Simon Docherty; David J. Pym (FoSSaCS, 2018)

Towards Scientific Incident Response. - Jonathan M. Spring; David J. Pym (GameSec, 2018)

A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. - Simon Docherty; David J. Pym (MFPS, 2018)

Intuitionistic Layered Graph Logic: Semantics and Proof Theory. - Simon Docherty; David J. Pym (Log. Methods Comput. Sci., 2018)

Trust domains in system models: algebra, logic, utility, and combinators. - Gabrielle Anderson; David J. Pym (J. Log. Comput., 2018)

Preface. - Didier Galmiche; David J. Pym (J. Log. Comput., 2018)

2 Fast 2 Secure: A Case Study of Post-Breach Security Changes. - Albese Demjaha; Tristan Caulfield; M. Angela Sasse; David J. Pym (EuroS&P Workshops, 2019)

Asset-Oriented Access Control: Towards a New IoT Framework. - Thomas Cattermole; Simon Docherty; David J. Pym; M. Angela Sasse (IOT, 2019)

You've Left Me No Choices: Security Economics to Inform Behaviour Intervention Support in Organizations. - Albesë Demjaha; Simon Parkin; David J. Pym (STAST, 2019)

Resilience in information stewardship. - Christos Ioannidis; David J. Pym; Julian Williams; Iffat Gheyas (Eur. J. Oper. Res., 2019)

Stone-Type Dualities for Separation Logics. - Simon Docherty; David J. Pym (Log. Methods Comput. Sci., 2019)

A substructural epistemic resource logic: theory and modelling applications. - Didier Galmiche; Pierre Kimmel; David J. Pym (J. Log. Comput., 2019)

Resource semantics: logic as a modelling technology. - David J. Pym (ACM SIGLOG News, 2019)

Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. - Paul Brunet; David J. Pym (FSCD, 2020)

Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things. - David J. Pym; Will Venters (ICIS, 2020)

Modelling Organizational Recovery. - Adrian Baldwin; Tristan Caulfield; Marius-Constantin Ilau; David J. Pym (SimuTools, 2021)

Engineering Ecosystem Models: Semantics and Pragmatics. - Tristan Caulfield; Marius-Constantin Ilau; David J. Pym (SimuTools, 2021)

Meta-modelling for Ecosystems Security. - Tristan Caulfield; Marius-Constantin Ilau; David J. Pym (SimuTools, 2021)

Found in Translation: Co-design for Security Modelling. - Albesë Demjaha; David J. Pym; Tristan Caulfield (STAST, 2021)

Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic. - Alexander V. Gheorghiu; David J. Pym (CoRR, 2022)

From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic. - Alexander V. Gheorghiu; David J. Pym (CoRR, 2022)

The boundedly rational employee: Security economics for behaviour intervention support in organizations. - Albesë Demjaha; Simon Parkin; David J. Pym (J. Comput. Secur., 2022)

From MDP to POMDP and Back: Safety and Compositionality. - Manuela-Luminita Bujorianu; Tristan Caulfield; David J. Pym; Rafael Wisniewski (ECC, 2023)

Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (TABLEAUX, 2023)

Proof-theoretic Semantics and Tactical Proof. - Alexander V. Gheorghiu; David J. Pym (CoRR, 2023)

Pricing cyber-insurance for systems via maturity models. - Henry R. K. Skeoch; David J. Pym (CoRR, 2023)

Proof-theoretic Semantics for the Logic of Bunched Implications. - Tao Gu 002; Alexander V. Gheorghiu; David J. Pym (CoRR, 2023)

Semantical Analysis of the Logic of Bunched Implications. - Alexander V. Gheorghiu; David J. Pym (Stud Logica, 2023)

Base-extension Semantics for Modal Logic. - Timo Eckhardt; David J. Pym (CoRR, 2024)

Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. - Didier Galmiche; Timo Lang; David J. Pym (CoRR, 2024)

Inferentialist Resource Semantics. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)

A Note on the Practice of Logical Inferentialism. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)

A Note on an Inferentialist Approach to Resource Semantics. - Alexander V. Gheorghiu; Tao Gu 002; David J. Pym (CoRR, 2024)

Co-designing heterogeneous models: a distributed systems approach. - Marius-Constantin Ilau; Tristan Caulfield; David J. Pym (CoRR, 2024)

Semantic Foundations of Reductive Reasoning. - Alexander V. Gheorghiu; David J. Pym (CoRR, 2024)

'The trivial tickets build the trust': a co-design approach to understanding security support interactions in a large university. - Albesë Demjaha; David J. Pym; Tristan Caulfield; Simon Parkin (J. Cybersecur., 2024)

Base-extension semantics for S5 modal logic. - Timo Eckhardt; David J. Pym (Log. J. IGPL, 2025)

Defining logical systems via algebraic constraints on proofs. - Alexander V. Gheorghiu; David J. Pym (J. Log. Comput., 2025)

Categorical Proof-theoretic Semantics. - David J. Pym; Eike Ritter; Edmund Robinson (Stud Logica, 2025)

Base-extension Semantics for Intuitionistic Modal Logics. - Yll Buzoku; David J. Pym (CoRR, 2025)

Causality and Decision-making: A Logical Framework for Systems and Security Modelling. - Pinaki Chakraborty; Tristan Caulfield; David J. Pym (CoRR, 2025)