Follow
Dr Matthew Collinson
Dr Matthew Collinson
Lecturer in Computing Science, University of Aberdeen
Verified email at abdn.ac.uk - Homepage
Title
Cited by
Cited by
Year
Algebra and logic for resource-based systems modelling
M Collinson, D Pym
Mathematical Structures in Computer Science 19 (5), 959-1027, 2009
722009
A dual-attention hierarchical recurrent neural network for dialogue act classification
R Li, C Lin, M Collinson, X Li, G Chen
arXiv preprint arXiv:1810.09154, 2018
672018
A discipline of mathematical systems modelling
M Collinson, B Monahan, D Pym
College Publications, 2012
672012
Semantics for structured systems modelling and simulation
M Collinson, B Monahan, D Pym
3rd International ICST Conference on Simulation Tools and Techniques, 2010
432010
A logical and computational theory of located resource
M Collinson, B Monahan, D Pym
Journal of Logic and Computation 19 (6), 1207-1244, 2009
432009
A stable variational autoencoder for text modelling
R Li, X Li, C Lin, M Collinson, R Mao
arXiv preprint arXiv:1911.05343, 2019
372019
A substructural logic for layered graphs
M Collinson, K McDonald, D Pym
Journal of Logic and Computation 24 (4), 953-988, 2014
212014
Economic impacts of rules-versus risk-based cybersecurity regulations for critical infrastructure providers
F Massacci, R Ruprai, M Collinson, J Williams
IEEE Security & Privacy 14 (3), 52-60, 2016
182016
Algebra and logic for access control
M Collinson, D Pym
Formal Aspects of Computing 22, 83-104, 2010
172010
Layered graph logic as an assertion language for access control policy models
M Collinson, K McDonald, D Pym
Journal of Logic and Computation 27 (1), 41-80, 2017
162017
Exploring susceptibility measures to persuasion
JP Vargheese, M Collinson, J Masthoff
Persuasive Technology. Designing for Future Change: 15th International …, 2020
152020
Bunched polymorphism
M Collinson, D Pym, E Robinson
Mathematical Structures in Computer Science 18 (6), 1091-1132, 2008
132008
On bunched polymorphism
M Collinson, D Pym, E Robinson
Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual …, 2005
82005
Errata for Formal Aspects of Computing (2006) 18: 495-517 and their consequences
M Collinson, D Pym, C Tofts
Formal Aspects of Computing 19 (4), 551, 2007
72007
Semantics and proof theory of an intuitionistic modal sequent calculus
MJ Collinson, BP Hilken, DE Rydeheard
University of Manchester, Department of Computer Science, 1999
61999
Trust domains: an algebraic, logical, and utility-theoretic approach
G Anderson, M Collinson, D Pym
Trust and Trustworthy Computing: 6th International Conference, TRUST 2013 …, 2013
52013
Modelling security risk scenarios using subjective attack trees
N Al-Hadhrami, M Collinson, N Oren
International Conference on Risks and Security of Internet and Systems, 201-218, 2020
42020
Caught by phishing emails? How can argumentation schemes be used to protect users?
RJ Thomas, M Collinson, J Masthoff
2018 Convention of the Society for the Study of Artificial Intelligence and …, 2018
42018
Erratum to: Algebra and logic for access control
M Collinson, D Pym
Formal aspects of computing 22 (3), 483-484, 2010
42010
Bunching for regions and locations
M Collinson, D Pym
Electronic Notes in Theoretical Computer Science 158, 171-197, 2006
42006
The system can't perform the operation now. Try again later.
Articles 1–20