David J. Pym - RankMe

155 papers A* 3A 5B 15C 4Journal 80Unranked 44

Year	Rank	Type	Title / Venue / Authors
2025	B	`conf`	Base-Extension Semantics for Intuitionistic Modal Logics (Extended Abstract). TABLEAUX Yll Buzoku, David J. Pym
2025	J	`jnl`	Base-extension Semantics for Intuitionistic Modal Logics. CoRR Yll Buzoku, David J. Pym
2025	J	`jnl`	Base-extension semantics for S5 modal logic. Log. J. IGPL Timo Eckhardt, David J. Pym
2025	B	`conf`	Bifurcation Logic: Separation Through Ordering. TARK Didier Galmiche, Timo Lang, Daniel Méry, David J. Pym
2025	J	`jnl`	Categorical Proof-theoretic Semantics. Stud Logica David J. Pym, Eike Ritter, Edmund Robinson
2025	J	`jnl`	Causality and Decision-making: A Logical Framework for Systems and Security Modelling. CoRR Pinaki Chakraborty, Tristan Caulfield, David J. Pym
2025	J	`jnl`	Co-designing heterogeneous models: a distributed systems approach. J. Cybersecur. Marius-Constantin Ilau, Tristan Caulfield, David J. Pym
2025	J	`jnl`	Defining logical systems via algebraic constraints on proofs. J. Log. Comput. Alexander V. Gheorghiu, David J. Pym
2025	J	`jnl`	Journal of Cybersecurity Special Collection: Philosophy of information security. J. Cybersecur. David J. Pym, Jonathan M. Spring
2025	—	`conf`	Local Causal Reasoning in Multiagent Systems (Extended Abstract). CALM Pinaki Chakraborty, Tristan Caulfield, David J. Pym
2025	J	`jnl`	Modelling and simulating organizational ransomware recovery: structure, methodology, and decisions. J. Cybersecur. Marius-Constantin Ilau, Adrian Baldwin, Tristan Caulfield, David J. Pym
2025	J	`jnl`	Proof-theoretic Semantics for Second-order Logic. CoRR Alexander V. Gheorghiu, David J. Pym
2024	J	`jnl`	'The trivial tickets build the trust': a co-design approach to understanding security support interactions in a large university. J. Cybersecur. Albesë Demjaha, David J. Pym, Tristan Caulfield, Simon Parkin
2024	—	`conf`	A Logic for Resource-Sensitive Coalition Games. GameSec (1) Pinaki Chakraborty, Tristan Caulfield, David J. Pym
2024	J	`jnl`	A Note on an Inferentialist Approach to Resource Semantics. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024	J	`jnl`	A Note on the Practice of Logical Inferentialism. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024	J	`jnl`	Base-extension Semantics for Modal Logic. CoRR Timo Eckhardt, David J. Pym
2024	J	`jnl`	Co-designing heterogeneous models: a distributed systems approach. CoRR Marius-Constantin Ilau, Tristan Caulfield, David J. Pym
2024	B	`conf`	Inferentialist Resource Semantics. MFPS Alexander V. Gheorghiu, Tao Gu, David J. Pym
2024	—	`conf`	Interfaces in Ecosystems: Concepts, Form, and Implementation. SimuTools Manuela Bujorianu, Tristan Caulfield, Marius-Constantin Ilau, David J. Pym
2024	—	`conf`	Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. SimuTools Didier Galmiche, Timo Lang, David J. Pym
2024	J	`jnl`	Minimalistic System Modelling: Behaviours, Interfaces, and Local Reasoning. CoRR Didier Galmiche, Timo Lang, David J. Pym
2024	J	`jnl`	Semantic Foundations of Reductive Reasoning. CoRR Alexander V. Gheorghiu, David J. Pym
2023	J	`jnl`	Categorical Proof-Theoretic Semantics. CoRR David J. Pym, Eike Ritter, Edmund Robinson
2023	J	`jnl`	Defining Logical Systems via Algebraic Constraints on Proofs. CoRR Alexander V. Gheorghiu, David J. Pym
2023	—	`conf`	From MDP to POMDP and Back: Safety and Compositionality. ECC Manuela-Luminita Bujorianu, Tristan Caulfield, David J. Pym, Rafael Wisniewski
2023	J	`jnl`	Pricing cyber-insurance for systems via maturity models. CoRR Henry R. K. Skeoch, David J. Pym
2023	B	`conf`	Proof-Theoretic Semantics for Intuitionistic Multiplicative Linear Logic. TABLEAUX Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023	J	`jnl`	Proof-theoretic Semantics and Tactical Proof. CoRR Alexander V. Gheorghiu, David J. Pym
2023	J	`jnl`	Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic. CoRR Alexander V. Gheorghiu, Tao Gu, David J. Pym
2023	J	`jnl`	Proof-theoretic Semantics for the Logic of Bunched Implications. CoRR Tao Gu, Alexander V. Gheorghiu, David J. Pym
2023	J	`jnl`	Semantical Analysis of the Logic of Bunched Implications. Stud Logica Alexander V. Gheorghiu, David J. Pym
2022	J	`jnl`	From Proof-theoretic Validity to Base-extension Semantics for Intuitionistic Propositional Logic. CoRR Alexander V. Gheorghiu, David J. Pym
2022	J	`jnl`	Negation-as-Failure in the Base-extension Semantics for Intuitionistic Propositional Logic. CoRR Alexander V. Gheorghiu, David J. Pym
2022	J	`jnl`	Semantical Analysis of the Logic of Bunched Implications. CoRR Alexander V. Gheorghiu, David J. Pym
2022	J	`jnl`	The boundedly rational employee: Security economics for behaviour intervention support in organizations. J. Comput. Secur. Albesë Demjaha, Simon Parkin, David J. Pym
2021	—	`conf`	Engineering Ecosystem Models: Semantics and Pragmatics. SimuTools Tristan Caulfield, Marius-Constantin Ilau, David J. Pym
2021	—	`conf`	Found in Translation: Co-design for Security Modelling. STAST Albesë Demjaha, David J. Pym, Tristan Caulfield
2021	—	`conf`	Meta-modelling for Ecosystems Security. SimuTools Tristan Caulfield, Marius-Constantin Ilau, David J. Pym
2021	—	`conf`	Modelling Organizational Recovery. SimuTools Adrian Baldwin, Tristan Caulfield, Marius-Constantin Ilau, David J. Pym
2020	C	`conf`	Modelling Interfaces and Things Within the Decentralized Ecosystems of the Internet of Things. ICIS David J. Pym, Will Venters
2020	B	`conf`	Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. FSCD Paul Brunet, David J. Pym
2019	—	`conf`	2 Fast 2 Secure: A Case Study of Post-Breach Security Changes. EuroS&P Workshops Albese Demjaha, Tristan Caulfield, M. Angela Sasse, David J. Pym
2019	—	`ed.`	5th International Workshop on Graphical Models for Security, held in conjunction with the Federated Logic Conference (FLoC) 2018, GraMSec@FLoC 2018, Oxford, UK, July 8, 2018, Revised Selected Papers GraMSec George Cybenko, David J. Pym, Barbara Fila
2019	J	`jnl`	A Substructural Epistemic Resource Logic: Theory and Modelling Applications. CoRR Didier Galmiche, Pierre Kimmel, David J. Pym
2019	J	`jnl`	A substructural epistemic resource logic: theory and modelling applications. J. Log. Comput. Didier Galmiche, Pierre Kimmel, David J. Pym
2019	—	`conf`	Asset-Oriented Access Control: Towards a New IoT Framework. IOT Thomas Cattermole, Simon Docherty, David J. Pym, M. Angela Sasse
2019	J	`jnl`	Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra. CoRR Paul Brunet, David J. Pym
2019	J	`jnl`	Resilience in information stewardship. Eur. J. Oper. Res. Christos Ioannidis, David J. Pym, Julian Williams, Iffat Gheyas
2019	J	`jnl`	Resource semantics: logic as a modelling technology. ACM SIGLOG News David J. Pym
2019	J	`jnl`	Stone-Type Dualities for Separation Logics. Log. Methods Comput. Sci. Simon Docherty, David J. Pym
2019	—	`conf`	You've Left Me No Choices: Security Economics to Inform Behaviour Intervention Support in Organizations. STAST Albesë Demjaha, Simon Parkin, David J. Pym
2018	B	`conf`	A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. MFPS Simon Docherty, David J. Pym
2018	J	`jnl`	Intuitionistic Layered Graph Logic: Semantics and Proof Theory. Log. Methods Comput. Sci. Simon Docherty, David J. Pym
2018	B	`conf`	Modular Tableaux Calculi for Separation Theories. FoSSaCS Simon Docherty, David J. Pym
2018	J	`jnl`	Preface. J. Log. Comput. Didier Galmiche, David J. Pym
2018	—	`conf`	Towards Scientific Incident Response. GameSec Jonathan M. Spring, David J. Pym
2018	J	`jnl`	Trust domains in system models: algebra, logic, utility, and combinators. J. Log. Comput. Gabrielle Anderson, David J. Pym
2017	—	`conf`	A Substructural Epistemic Resource Logic. ICLA Didier Galmiche, Pierre Kimmel, David J. Pym
2017	J	`jnl`	A Substructural Modal Logic of Utility. J. Log. Comput. Gabrielle Anderson, David J. Pym
2017	J	`jnl`	Coalgebraic completeness-via-canonicity for distributive substructural logics. J. Log. Algebraic Methods Program. Fredrik Dahlqvist, David J. Pym
2017	J	`jnl`	Contagion in cyber security attacks. J. Oper. Res. Soc. Adrian Baldwin, Iffat Gheyas, Christos Ioannidis, David J. Pym, Julian Williams
2017	J	`jnl`	Erratum to: A substructural logic for layered graphs. J. Log. Comput. Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym
2017	A*	`conf`	Intuitionistic Layered Graph Logic. IJCAI Simon Docherty, David J. Pym
2017	J	`jnl`	Intuitionistic Layered Graph Logic: Semantics and Proof Theory. CoRR Simon Docherty, David J. Pym
2017	J	`jnl`	Layered graph logic as an assertion language for access control policy models. J. Log. Comput. Matthew Collinson, Kevin McDonald, David J. Pym
2017	C	`conf`	Practicing a Science of Security: A Philosophy of Science Perspective. NSPW Jonathan M. Spring, Tyler Moore, David J. Pym
2017	J	`jnl`	Stone-Type Dualities for Separation Logics. CoRR Simon Docherty, David J. Pym
2017	—	`conf`	The U.S. Vulnerabilities Equities Process: An Economic Perspective. GameSec Tristan Caulfield, Christos Ioannidis, David J. Pym
2016	—	`conf`	A Logic for the Compliance Budget. GameSec Gabrielle Anderson, Guy McCusker, David J. Pym
2016	J	`jnl`	A calculus and logic of bunched resources and processes. Theor. Comput. Sci. Gabrielle Anderson, David J. Pym
2016	J	`jnl`	A logic of separating modalities. Theor. Comput. Sci. Jean-René Courtault, Didier Galmiche, David J. Pym
2016	—	`conf`	Discrete Choice, Social Interaction, and Policy in Encryption Technology Adoption (Short Paper). Financial Cryptography Tristan Caulfield, Christos Ioannidis, David J. Pym
2016	J	`jnl`	Editorial. J. Cybersecur. Tyler Moore, David J. Pym
2016	J	`jnl`	Introduction. J. Cybersecur. Tyler Moore, David J. Pym, Michel van Eeten
2016	A	`conf`	Intuitionistic Layered Graph Logic. IJCAR Simon Docherty, David J. Pym
2016	—	`conf`	On the Adoption of Privacy-enhancing Technologies. GameSec Tristan Caulfield, Christos Ioannidis, David J. Pym
2015	C	`conf`	Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective. RAMiCS Fredrik Dahlqvist, David J. Pym
2015	J	`jnl`	Completeness via canonicity for distributive substructural logics: a coalgebraic perspective. CoRR Fredrik Dahlqvist, David J. Pym
2015	J	`jnl`	Improving Security Policy Decisions with Models. IEEE Secur. Priv. Tristan Caulfield, David J. Pym
2015	—	`conf`	Modelling and simulating systems security policy. SimuTools Tristan Caulfield, David J. Pym
2015	J	`jnl`	Welcome from the Editors-in-Chief. J. Cybersecur. Tyler Moore, David J. Pym
2014	J	`jnl`	A proof-theoretic analysis of the classical propositional matrix method. J. Log. Comput. David J. Pym, Eike Ritter, Edmund Robinson
2014	J	`jnl`	A substructural logic for layered graphs. J. Log. Comput. Matthew Collinson, Kevin McDonald, David J. Pym
2014	—	`conf`	Compositional Security Modelling - Structure, Economics, and Behaviour. HCI (24) Tristan Caulfield, David J. Pym, Julian Williams
2013	—	`conf`	Developing a Conceptual Framework for Cloud Security Assurance. CloudCom (2) Bob Duncan, David J. Pym, Mark Whittington
2013	—	`conf`	Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach. TRUST Gabrielle Anderson, Matthew Collinson, David J. Pym
2013	B	`conf`	Utility-based Decision-making in Distributed Systems Modelling. TARK Gabrielle Anderson, Matthew Collinson, David J. Pym
2013	J	`jnl`	Utility-based Decision-making in Distributed Systems Modelling. CoRR Gabrielle Anderson, Matthew Collinson, David J. Pym
2012	—	`conf`	A Framework for Modelling Security Architectures in Services Ecosystems. ESOCC Matthew Collinson, David J. Pym, Barry Taylor
2012	—	`conf`	Contagion in Cybersecurity Attacks. WEIS Adrian Baldwin, Iffat Gheyas, Christos Ioannidis, David J. Pym, Julian Williams
2012	J	`jnl`	Information security trade-offs and optimal patching policies. Eur. J. Oper. Res. Christos Ioannidis, David J. Pym, Julian Williams
2011	—	`conf`	Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach. WEIS Christos Ioannidis, David J. Pym, Julian Williams
2011	—	`conf`	Fixed Costs, Investment Rigidities, and Risk Aversion in Information Security: A Utility-theoretic Approach. WEIS (Springer Volume) Christos Ioannidis, David J. Pym, Julian Williams
2011	C	`conf`	Information Stewardship in Cloud Ecosystems: Towards Models, Economics, and Delivery. CloudCom Adrian Baldwin, David J. Pym, Martin Sadler, Simon Shiu
2010	J	`jnl`	Algebra and logic for access control. Formal Aspects Comput. Matthew Collinson, David J. Pym
2010	J	`jnl`	Erratum to: Algebra and logic for access control. Formal Aspects Comput. Matthew Collinson, David J. Pym
2010	J	`jnl`	Information Stewardship in Cloud Computing. Int. J. Serv. Sci. Manag. Eng. Technol. David J. Pym, Martin Sadler
2010	—	`conf`	Modal Location-Resource-Process Logic for Access Control. LAM@LICS David J. Pym
2010	—	`conf`	Semantics for structured systems modelling and simulation. SimuTools Matthew Collinson, Brian Monahan, David J. Pym
2010	—	`conf`	Structured Systems Economics for Security Management. WEIS Adam Beautement, David J. Pym
2009	J	`jnl`	A Logical and Computational Theory of Located Resource. J. Log. Comput. Matthew Collinson, Brian Monahan, David J. Pym
2009	J	`jnl`	Algebra and logic for resource-based systems modelling. Math. Struct. Comput. Sci. Matthew Collinson, David J. Pym
2009	—	`conf`	Investments and Trade-offs in the Economics of Information Security. Financial Cryptography Christos Ioannidis, David J. Pym, Julian Williams
2009	—	`ch.`	Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. Managing Information Risk and the Economics of Security Adam Beautement, Robert Coles, Jonathan Griffin, Christos Ioannidis, Brian Monahan, David J. Pym, M. Angela Sasse, Mike Wonham
2008	J	`jnl`	Bunched polymorphism. Math. Struct. Comput. Sci. Matthew Collinson, David J. Pym, Edmund Robinson
2008	—	`conf`	Modelling the Human and Technological Costs and Benefits of USB Memory Stick Security. WEIS Adam Beautement, Robert Coles, Jonathan Griffin, Christos Ioannidis, Brian Monahan, David J. Pym, M. Angela Sasse, Mike Wonham
2007	B	`conf`	A Games Model of Bunched Implications. CSL Guy McCusker, David J. Pym
2007	—	`conf`	Assessing the Value of Investments in Network Security Operations: A Systems Analytics Approach. WEIS Jonathan Griffin, Brian Monahan, David J. Pym, Mike Wonham, Mike Yearworth
2007	—	`conf`	Economic aspects of a utility computing service. GridNets Jean Paul Degabriele, David J. Pym
2007	J	`jnl`	Errata for Formal Aspects Comput. Matthew Collinson, David J. Pym, Chris M. N. Tofts
2007	J	`jnl`	On categorical models of classical logic and the Geometry of Interaction. Math. Struct. Comput. Sci. Carsten Führmann, David J. Pym
2007	—	`conf`	Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. Computation, Meaning, and Logic David J. Pym, Chris M. N. Tofts
2006	J	`jnl`	A Calculus and logic of resources and processes. Formal Aspects Comput. David J. Pym, Chris M. N. Tofts
2006	B	`conf`	Bunching for Regions and Locations. MFPS Matthew Collinson, David J. Pym
2006	J	`jnl`	Editorial. J. Log. Comput. David J. Pym
2005	—	`conf`	A games semantics for reductive logic and proof-search. GALOP@ETAPS David J. Pym, Eike Ritter
2005	J	`jnl`	Editorial. J. Log. Comput. David J. Pym
2005	B	`conf`	On Bunched Polymorphism. CSL Matthew Collinson, David J. Pym, Edmund Robinson
2005	J	`jnl`	The semantics of BI and resource tableaux. Math. Struct. Comput. Sci. Didier Galmiche, Daniel Méry, David J. Pym
2004	A*	`conf`	On the Geometry of Interaction for Classical Logic. LICS Carsten Führmann, David J. Pym
2004	J	`jnl`	Possible worlds and resources: the semantics of BI. Theor. Comput. Sci. David J. Pym, Peter W. O'Hearn, Hongseok Yang
2004	—	`book`	Reductive logic and proof-search - proof theory, semantics, and control. David J. Pym, Eike Ritter
2003	J	`jnl`	Editorial. J. Log. Comput. David J. Pym
2003	J	`jnl`	Forthcoming Papers. J. Log. Comput. David J. Pym
2003	J	`jnl`	Resource-distribution via Boolean constraints. ACM Trans. Comput. Log. James Harland, David J. Pym
2002	J	`jnl`	Kripke Resource Models of a Dependently-typed, Bunched λ-calculus. J. Log. Comput. Samin S. Ishtiaq, David J. Pym
2002	B	`conf`	Resource Tableaux. CSL Didier Galmiche, Daniel Méry, David J. Pym
2002	—	`book`	The semantics and proof theory of the logic of bunched implications. David J. Pym
2001	A	`conf`	Bunched Logic Programming. IJCAR Pablo A. Armelín, David J. Pym
2000	—	`conf`	Forward and Backward Chaining in Linear Logic. ARW James Harland, David J. Pym, Michael Winikoff
2000	—	`conf`	Forward and Backward Chaining in Linear Logic. Workshop on Type-Theoretic Languages: Proof Search and Semantics James Harland, David J. Pym, Michael Winikoff
2000	—	`conf`	Notes Towards a Semantics for Proof-search. Workshop on Type-Theoretic Languages: Proof Search and Semantics David J. Pym
2000	J	`jnl`	On the intuitionistic force of classical search. Theor. Comput. Sci. Eike Ritter, David J. Pym, Lincoln A. Wallen
2000	J	`jnl`	Proof-search in type-theoretic languages: an introduction. Theor. Comput. Sci. Didier Galmiche, David J. Pym
2000	J	`jnl`	Proof-terms for classical and intuitionistic resolution. J. Log. Comput. Eike Ritter, David J. Pym, Lincoln A. Wallen
2000	J	`jnl`	Resource-distribution via Boolean constraints CoRR James Harland, David J. Pym
1999	B	`conf`	Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. CSL Samin S. Ishtiaq, David J. Pym
1999	A*	`conf`	On Bunched Predicate Logic. LICS David J. Pym
1999	J	`jnl`	The logic of bunched implications. Bull. Symb. Log. Peter W. O'Hearn, David J. Pym
1998	J	`jnl`	A Relevant Analysis of Natural Deduction. J. Log. Comput. Samin S. Ishtiaq, David J. Pym
1998	—	`conf`	Logic Programming with Bunched Implications. Proof Search in Type-Theoretic Languages@CADE David J. Pym
1997	A	`conf`	Resource-Distribution via Boolean Constraint (Extended Abstract). CADE James Harland, David J. Pym
1996	B	`conf`	On the Intuitionistic Force of Classical Search (Extended Abstract). TABLEAUX Eike Ritter, David J. Pym, Lincoln A. Wallen
1996	—	`conf`	Programming in Lygon: A System Demonstration. AMAST James Harland, David J. Pym, Michael Winikoff
1996	—	`conf`	Programming in Lygon: An Overview. AMAST James Harland, David J. Pym, Michael Winikoff
1996	A	`conf`	Proof-Terms for Classical and Intuitionistic Resolution (Extended Abstract). CADE Eike Ritter, David J. Pym, Lincoln A. Wallen
1995	J	`jnl`	A note on the proof theory of the lambda-II-calculus. Stud Logica David J. Pym
1995	—	`conf`	Programming in Lygon: A Brief Overview. ILPS James Harland, David J. Pym, Michael Winikoff
1994	J	`jnl`	A Uniform Proof-Theoretic Investigation of Linear Logic Programming. J. Log. Comput. David J. Pym, James Harland
1992	J	`jnl`	A Unification Algorithm for the lambda-Pi-Calculus. Int. J. Found. Comput. Sci. David J. Pym
1992	—	`conf`	Logic Programming via Proof-valued Computations. ALPUK David J. Pym, Lincoln A. Wallen
1992	B	`conf`	On Resolution in Fragments of Classical Linear Logic. LPAR James Harland, David J. Pym
1991	—	`conf`	The Uniform Proof-Theoretic Foundation of Linear Logic Programming. ISLP James Harland, David J. Pym
1990	A	`conf`	Investigations into Proof-Search in a System of First-Order Dependent Function Types. CADE David J. Pym, Lincoln A. Wallen