Matthew Collinson

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 13

Top Topics

Critical Infrastructure

Defeasible Logic

Relational Structures

Password Guessing

Top Venues

J. Log. Comput.

Publications

John Paul Vargheese, Matthew Collinson, Judith Masthoff
A Quantitative Field Study of a Persuasive Security Technology in the Wild. SocInfo (2022)
Nasser Al-Hadhrami, Matthew Collinson, Nir Oren
Modelling Security Risk Scenarios Using Subjective Attack Trees. CRiSIS (2020)
Nasser Al-Hadhrami, Matthew Collinson, Nir Oren
A Subjective Network Approach for Cybersecurity Risk Assessment. SIN (2020)
John Paul Vargheese, Matthew Collinson, Judith Masthoff
Exploring Susceptibility Measures to Persuasion. PERSUASIVE (2020)
Nasser Al-Hadhrami, Matthew Collinson, Nir Oren
Security Analysis Using Subjective Attack Trees. SECITC (2020)
Ruizhe Li, Chenghua Lin, Matthew Collinson, Xiao Li, Guanyi Chen
A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification. CoNLL (2019)
Ruizhe Li, Xiao Li, Chenghua Lin, Matthew Collinson, Rui Mao
A Stable Variational Autoencoder for Text Modelling. INLG (2019)
Ruizhe Li, Xiao Li, Chenghua Lin, Matthew Collinson, Rui Mao
A Stable Variational Autoencoder for Text Modelling. CoRR (2019)
Matthew Collinson
A logic of hypothetical conjunction. J. Log. Comput. 29 (6) (2019)
Ruizhe Li, Chenghua Lin, Matthew Collinson, Xiao Li, Guanyi Chen
A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification. CoRR (2018)
Matthew Collinson, Kevin McDonald, David J. Pym
Layered graph logic as an assertion language for access control policy models. J. Log. Comput. 27 (1) (2017)
Matthew Collinson, Kevin McDonald, Simon Docherty, David J. Pym
Erratum to: A substructural logic for layered graphs. J. Log. Comput. 27 (1) (2017)
Fabio Massacci, Raminder S. Ruprai, Matthew Collinson, Julian Williams
Economic Impacts of Rules- versus Risk-Based Cybersecurity Regulations for Critical Infrastructure Providers. IEEE Secur. Priv. 14 (3) (2016)
Matthew Collinson, Kevin McDonald, David J. Pym
A substructural logic for layered graphs. J. Log. Comput. 24 (4) (2014)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Utility-based Decision-making in Distributed Systems Modelling. CoRR (2013)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach. TRUST (2013)
Gabrielle Anderson, Matthew Collinson, David J. Pym
Utility-based Decision-making in Distributed Systems Modelling. TARK (2013)
Matthew Collinson, David J. Pym, Barry Taylor
A Framework for Modelling Security Architectures in Services Ecosystems. ESOCC (2012)
Matthew Collinson, David J. Pym
Erratum to: Algebra and logic for access control. Formal Aspects Comput. 22 (3-4) (2010)
Matthew Collinson, David J. Pym
Algebra and logic for access control. Formal Aspects Comput. 22 (2) (2010)
Matthew Collinson, Brian Monahan, David J. Pym
Semantics for structured systems modelling and simulation. SimuTools (2010)
Matthew Collinson, Brian Monahan, David J. Pym
A Logical and Computational Theory of Located Resource. J. Log. Comput. 19 (6) (2009)
Matthew Collinson, David J. Pym
Algebra and logic for resource-based systems modelling. Math. Struct. Comput. Sci. 19 (5) (2009)
Matthew Collinson, David J. Pym, Edmund Robinson
Bunched polymorphism. Math. Struct. Comput. Sci. 18 (6) (2008)
Matthew Collinson, David J. Pym, Chris M. N. Tofts
(2006) 18: 495-517 and their consequences. Formal Aspects Comput. 19 (4) (2007)
Matthew Collinson, David J. Pym
Bunching for Regions and Locations. MFPS (2006)
Matthew Collinson, David J. Pym, Edmund Robinson
On Bunched Polymorphism. CSL (2005)