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

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)

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

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)

Semantics for structured systems modelling and simulation. - Matthew Collinson; Brian Monahan; David J. Pym (SimuTools, 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)

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

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)

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

Economic Impacts of Rules- versus Risk-Based Cybersecurity Regulations for Critical Infrastructure Providers. - Fabio Massacci; Raminder S. Ruprai; Matthew Collinson; Julian Williams (IEEE Secur. Priv., 2016)

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)

A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification. - Ruizhe Li 001; Chenghua Lin; Matthew Collinson; Xiao Li; Guanyi Chen (CoNLL, 2019)

A Stable Variational Autoencoder for Text Modelling. - Ruizhe Li 001; Xiao Li; Chenghua Lin; Matthew Collinson; Rui Mao 010 (INLG, 2019)

A logic of hypothetical conjunction. - Matthew Collinson (J. Log. Comput., 2019)

Modelling Security Risk Scenarios Using Subjective Attack Trees. - Nasser Al-Hadhrami; Matthew Collinson; Nir Oren (CRiSIS, 2020)

Exploring Susceptibility Measures to Persuasion. - John Paul Vargheese; Matthew Collinson; Judith Masthoff (PERSUASIVE, 2020)

Security Analysis Using Subjective Attack Trees. - Nasser Al-Hadhrami; Matthew Collinson; Nir Oren (SECITC, 2020)

A Subjective Network Approach for Cybersecurity Risk Assessment. - Nasser Al-Hadhrami; Matthew Collinson; Nir Oren (SIN, 2020)

A Quantitative Field Study of a Persuasive Security Technology in the Wild. - John Paul Vargheese; Matthew Collinson; Judith Masthoff (SocInfo, 2022)