Algebra and logic for resource-based systems modelling M Collinson, D Pym Mathematical Structures in Computer Science 19 (5), 959-1027, 2009 | 65 | 2009 |

A discipline of mathematical systems modelling M Collinson, B Monahan, D Pym College Publications, 2012 | 54 | 2012 |

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 | 40 | 2010 |

A logical and computational theory of located resource M Collinson, B Monahan, D Pym Journal of Logic and Computation 19 (6), 1207-1244, 2009 | 38 | 2009 |

A substructural logic for layered graphs M Collinson, K McDonald, D Pym Journal of Logic and Computation 24 (4), 953-988, 2014 | 20 | 2014 |

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 | 18 | 2017 |

Algebra and logic for access control M Collinson, D Pym Formal Aspects of Computing 22 (2), 83-104, 2010 | 18 | 2010 |

Bunched polymorphism M Collinson, D Pym, E Robinson Mathematical Structures in Computer Science 18 (6), 1091-1132, 2008 | 11 | 2008 |

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 | 8 | 2016 |

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 | 8 | 2007 |

On bunched polymorphism M Collinson, D Pym, E Robinson International Workshop on Computer Science Logic, 36-50, 2005 | 8 | 2005 |

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 | 5 | 2013 |

Erratum to: Algebra and logic for access control M Collinson, D Pym Formal aspects of computing 22 (3), 483-484, 2010 | 4 | 2010 |

Bunching for regions and locations M Collinson, D Pym Electronic Notes in Theoretical Computer Science 158, 171-197, 2006 | 4 | 2006 |

Semantics and proof theory of an intuitionistic modal sequent calculus MJ Collinson, BP Hilken, DE Rydeheard University of Manchester, Department of Computer Science, 1999 | 4 | 1999 |

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 | 3 | 2018 |

An update to located Demos2k M Collinson, B Monahan, D Pym Technical Report HPL-2008-205, 2008 | 3 | 2008 |

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 | 3 | 2008 |

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 | 2 | 2018 |

Utility-based decision-making in distributed systems modelling G Anderson, M Collinson, D Pym arXiv preprint arXiv:1310.6405, 2013 | 2 | 2013 |