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
662009
A discipline of mathematical systems modelling
M Collinson, B Monahan, D Pym
College Publications, 2012
532012
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
412010
A logical and computational theory of located resource
M Collinson, B Monahan, D Pym
Journal of Logic and Computation 19 (6), 1207-1244, 2009
402009
A substructural logic for layered graphs
M Collinson, K McDonald, D Pym
Journal of Logic and Computation 24 (4), 953-988, 2014
202014
Algebra and logic for access control
M Collinson, D Pym
Formal Aspects of Computing 22 (2), 83-104, 2010
182010
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
122016
Bunched polymorphism
M Collinson, D Pym, E Robinson
Mathematical Structures in Computer Science 18 (6), 1091-1132, 2008
102008
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
82007
On bunched polymorphism
M Collinson, D Pym, E Robinson
International Workshop on Computer Science Logic, 36-50, 2005
82005
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
52018
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
Erratum to: Algebra and logic for access control
M Collinson, D Pym
Formal aspects of computing 22 (3-4), 483, 2010
42010
Bunching for regions and locations
M Collinson, D Pym
Electronic Notes in Theoretical Computer Science 158, 171-197, 2006
42006
Semantics and proof theory of an intuitionistic modal sequent calculus
MJ Collinson, BP Hilken, DE Rydeheard
University of Manchester, Department of Computer Science, 1999
41999
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
32018
Utility-based decision-making in distributed systems modelling
G Anderson, M Collinson, D Pym
arXiv preprint arXiv:1310.6405, 2013
32013
An update to located Demos2k
M Collinson, B Monahan, D Pym
Technical Report HPL-2008-205, 2008
32008
Located Demos2k—towards a tool for modelling processes and distributed resources
M Collinson, B Monahan, D Pym
Technical Report HPL-2008-76, Hewlett-Packard Laboratories, 2008
32008
The system can't perform the operation now. Try again later.
Articles 1–20