Concepedia

Matthew Collinson

MC

8

Publications

232

Citations

8

H-Index

2008

Active since

Affiliations

Hewlett-Packard (United States)(Current)

University of Aberdeen

University of Bath

University of Sheffield

Bristol Laboratories (United Kingdom)

Matthew Collinson is an author at Hewlett-Packard (United States) specializing in engineering, formal methods, and automated reasoning.

ORCID

Top concepts

Publications per year

2008–2019

8

Publications

8

Algebra and logic for resource-based systems modelling

Matthew Collinson, David Pym · Mathematical Structures in Computer Science · 2009 · 62 citations

, , +15

A Dual-Attention Hierarchical Recurrent Neural Network for Dialogue Act Classification

Ruizhe Li, Chenghua Lin, Matthew Collinson et al. · 2019 · 57 citations · Full text

Semantics for structured systems modelling and simulation

Matthew Collinson, Brian Monahan, David Pym · 2010 · 27 citations · Full text

, , +19

A Stable Variational Autoencoder for Text Modelling

Ruizhe Li, Xiao Li, Chenghua Lin et al. · 2019 · 25 citations · Full text

Algebra and logic for access control

Matthew Collinson, David Pym · Formal Aspects of Computing · 2009 · 20 citations · Full text

Rows per page

1–5 of 8