Matthew Collinson

According to our database, Matthew Collinson authored at least 23 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

A Quantitative Field Study of a Persuasive Security Technology in the Wild.

John Paul Vargheese, Matthew Collinson, Judith Masthoff

Proceedings of the Social Informatics - 13th International Conference, 2022

2020

A Subjective Network Approach for Cybersecurity Risk Assessment.

Nasser Al-Hadhrami, Matthew Collinson, Nir Oren

Proceedings of the SIN 2020: 13th International Conference on Security of Information and Networks, 2020

Security Analysis Using Subjective Attack Trees.

Nasser Al-Hadhrami, Matthew Collinson, Nir Oren

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2020

Exploring Susceptibility Measures to Persuasion.

John Paul Vargheese, Matthew Collinson, Judith Masthoff

Proceedings of the Persuasive Technology. Designing for Future Change, 2020

Modelling Security Risk Scenarios Using Subjective Attack Trees.

Nasser Al-Hadhrami, Matthew Collinson, Nir Oren

Proceedings of the Risks and Security of Internet and Systems, 2020

2019

A logic of hypothetical conjunction.

Matthew Collinson

J. Log. Comput., 2019

A Stable Variational Autoencoder for Text Modelling.

Ruizhe Li, Xiao Li, Chenghua Lin, Matthew Collinson, Rui Mao

Proceedings of the 12th International Conference on Natural Language Generation, 2019

A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification.

Ruizhe Li, Chenghua Lin, Matthew Collinson, Xiao Li, Guanyi Chen

Proceedings of the 23rd Conference on Computational Natural Language Learning, 2019

2017

Layered graph logic as an assertion language for access control policy models.

Matthew Collinson, Kevin McDonald, 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

2016

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

2014

A substructural logic for layered graphs.

Matthew Collinson, Kevin McDonald, David J. Pym

J. Log. Comput., 2014

2013

Trust Domains: An Algebraic, Logical, and Utility-Theoretic Approach.

Gabrielle Anderson, Matthew Collinson, David J. Pym

Proceedings of the Trust and Trustworthy Computing - 6th International Conference, 2013

Utility-based Decision-making in Distributed Systems Modelling.

Gabrielle Anderson, Matthew Collinson, David J. Pym

Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), 2013

2012

A Framework for Modelling Security Architectures in Services Ecosystems.

Matthew Collinson, David J. Pym, Barry Taylor

Proceedings of the Service-Oriented and Cloud Computing - First European Conference, 2012

2010

Erratum to: Algebra and logic for access control.

Matthew Collinson, David J. Pym

Formal Aspects Comput., 2010

Algebra and logic for access control.

Matthew Collinson, David J. Pym

Formal Aspects Comput., 2010

Semantics for structured systems modelling and simulation.

Matthew Collinson, Brian Monahan, David J. Pym

Proceedings of the 3rd International Conference on Simulation Tools and Techniques, 2010

2009

Algebra and logic for resource-based systems modelling.

Matthew Collinson, David J. Pym

Math. Struct. Comput. Sci., 2009

A Logical and Computational Theory of Located Resource.

Matthew Collinson, Brian Monahan, David J. Pym

J. Log. Comput., 2009

2008

Bunched polymorphism.

Matthew Collinson, David J. Pym, Edmund Robinson

Math. Struct. Comput. Sci., 2008

2007

Errata for <i>Formal Aspects of Computing</i> (2006) 18: 495-517 and their consequences.

Matthew Collinson, David J. Pym, Chris M. N. Tofts

Formal Aspects Comput., 2007

2006

Bunching for Regions and Locations.

Matthew Collinson, David J. Pym

Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, 2006