Dr Matthew Collinson
Dr Matthew Collinson
Lecturer in Computing Science, University of Aberdeen
Verified email at abdn.ac.uk - Homepage
TitleCited byYear
Algebra and logic for resource-based systems modelling
M Collinson, D Pym
Mathematical Structures in Computer Science 19 (5), 959-1027, 2009
652009
A discipline of mathematical systems modelling
M Collinson, B Monahan, D Pym
College Publications, 2012
542012
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
402010
A logical and computational theory of located resource
M Collinson, B Monahan, D Pym
Journal of Logic and Computation 19 (6), 1207-1244, 2009
382009
A substructural logic for layered graphs
M Collinson, K McDonald, D Pym
Journal of Logic and Computation 24 (4), 953-988, 2014
202014
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
182017
Algebra and logic for access control
M Collinson, D Pym
Formal Aspects of Computing 22 (2), 83-104, 2010
182010
Bunched polymorphism
M Collinson, D Pym, E Robinson
Mathematical Structures in Computer Science 18 (6), 1091-1132, 2008
112008
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
82016
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-554, 2007
82007
On bunched polymorphism
M Collinson, D Pym, E Robinson
International Workshop on Computer Science Logic, 36-50, 2005
82005
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), 483-484, 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
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
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
22018
Utility-based decision-making in distributed systems modelling
G Anderson, M Collinson, D Pym
arXiv preprint arXiv:1310.6405, 2013
22013
The system can't perform the operation now. Try again later.
Articles 1–20