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 discipline of mathematical systems modelling
M Collinson, B Monahan, D Pym
College Publications, 2012
602012
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
452018
Semantics for structured systems modelling and simulation
M Collinson, B Monahan, D Pym
Proceedings of the 3rd International ICST Conference on Simulation Tools and …, 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
292019
A substructural logic for layered graphs
M Collinson, K McDonald, D Pym
Journal of Logic and Computation 24 (4), 953-988, 2014
222014
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
172017
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
172016
Algebra and logic for access control
M Collinson, D Pym
Formal Aspects of Computing 22 (2), 83-104, 2010
172010
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
International Workshop on Computer Science Logic, 36-50, 2005
82005
Exploring susceptibility measures to persuasion
JP Vargheese, M Collinson, J Masthoff
International Conference on Persuasive Technology, 16-29, 2020
72020
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
Trust domains: an algebraic, logical, and utility-theoretic approach
G Anderson, M Collinson, D Pym
International Conference on Trust and Trustworthy Computing, 232-249, 2013
52013
Semantics and proof theory of an intuitionistic modal sequent calculus
MJ Collinson, BP Hilken, DE Rydeheard
University of Manchester, Department of Computer Science, 1999
51999
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
Utility-based decision-making in distributed systems modelling
G Anderson, M Collinson, D Pym
arXiv preprint arXiv:1310.6405, 2013
32013
The system can't perform the operation now. Try again later.
Articles 1–20