Matthew Collinson

27 papers B 6C 2Journal 14Unranked 5

Year	Rank	Type	Title / Venue / Authors
2022	—	`conf`	A Quantitative Field Study of a Persuasive Security Technology in the Wild. SocInfo John Paul Vargheese, Matthew Collinson, Judith Masthoff
2020	C	`conf`	A Subjective Network Approach for Cybersecurity Risk Assessment. SIN Nasser Al-Hadhrami, Matthew Collinson, Nir Oren
2020	B	`conf`	Exploring Susceptibility Measures to Persuasion. PERSUASIVE John Paul Vargheese, Matthew Collinson, Judith Masthoff
2020	C	`conf`	Modelling Security Risk Scenarios Using Subjective Attack Trees. CRiSIS Nasser Al-Hadhrami, Matthew Collinson, Nir Oren
2020	—	`conf`	Security Analysis Using Subjective Attack Trees. SECITC Nasser Al-Hadhrami, Matthew Collinson, Nir Oren
2019	B	`conf`	A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification. CoNLL Ruizhe Li, Chenghua Lin, Matthew Collinson, Xiao Li, Guanyi Chen
2019	B	`conf`	A Stable Variational Autoencoder for Text Modelling. INLG Ruizhe Li, Xiao Li, Chenghua Lin, Matthew Collinson, Rui Mao
2019	J	`jnl`	A Stable Variational Autoencoder for Text Modelling. CoRR Ruizhe Li, Xiao Li, Chenghua Lin, Matthew Collinson, Rui Mao
2019	J	`jnl`	A logic of hypothetical conjunction. J. Log. Comput. Matthew Collinson
2018	J	`jnl`	A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification. CoRR Ruizhe Li, Chenghua Lin, Matthew Collinson, Xiao Li, Guanyi Chen
2017	J	`jnl`	Erratum to: A substructural logic for layered graphs. J. Log. Comput. Matthew Collinson, Kevin McDonald, 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
2016	J	`jnl`	Economic Impacts of Rules- versus Risk-Based Cybersecurity Regulations for Critical Infrastructure Providers. IEEE Secur. Priv. Fabio Massacci, Raminder S. Ruprai, Matthew Collinson, Julian Williams
2014	J	`jnl`	A substructural logic for layered graphs. J. Log. Comput. Matthew Collinson, Kevin McDonald, David J. Pym
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
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	—	`conf`	Semantics for structured systems modelling and simulation. SimuTools Matthew Collinson, Brian Monahan, 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
2008	J	`jnl`	Bunched polymorphism. Math. Struct. Comput. Sci. Matthew Collinson, David J. Pym, Edmund Robinson
2007	J	`jnl`	Errata for Formal Aspects Comput. Matthew Collinson, David J. Pym, Chris M. N. Tofts
2006	B	`conf`	Bunching for Regions and Locations. MFPS Matthew Collinson, David J. Pym
2005	B	`conf`	On Bunched Polymorphism. CSL Matthew Collinson, David J. Pym, Edmund Robinson