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

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

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

Semantics for structured systems modelling and simulation M Collinson, B Monahan, D Pym 3rd International ICST Conference on Simulation Tools and Techniques, 2010 | 44 | 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 | 44 | 2009 |

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

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

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

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

Exploring susceptibility measures to persuasion JP Vargheese, M Collinson, J Masthoff Persuasive Technology. Designing for Future Change: 15th International …, 2020 | 17 | 2020 |

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

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 Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual …, 2005 | 8 | 2005 |

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 |

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

Trust domains: an algebraic, logical, and utility-theoretic approach G Anderson, M Collinson, D Pym Trust and Trustworthy Computing: 6th International Conference, TRUST 2013 …, 2013 | 5 | 2013 |

Modelling security risk scenarios using subjective attack trees N Al-Hadhrami, M Collinson, N Oren International Conference on Risks and Security of Internet and Systems, 201-218, 2020 | 4 | 2020 |

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 |