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

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

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

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 | 43 | 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 | 43 | 2009 |

A stable variational autoencoder for text modelling R Li, X Li, C Lin, M Collinson, R Mao arXiv preprint arXiv:1911.05343, 2019 | 29 | 2019 |

A substructural logic for layered graphs M Collinson, K McDonald, D Pym Journal of Logic and Computation 24 (4), 953-988, 2014 | 22 | 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 | 17 | 2017 |

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

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

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

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

Exploring susceptibility measures to persuasion JP Vargheese, M Collinson, J Masthoff International Conference on Persuasive Technology, 16-29, 2020 | 7 | 2020 |

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

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 |

Semantics and proof theory of an intuitionistic modal sequent calculus MJ Collinson, BP Hilken, DE Rydeheard University of Manchester, Department of Computer Science, 1999 | 5 | 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 | 4 | 2018 |

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 |

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