Matthew James Collinson

Dr

    • AB24 3UE

    • 100 Citations
    20082019
    If you made any changes in Pure these will be visible here soon.

    Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

    • 1 Similar Profiles
    Logic Mathematics
    Semantics Engineering & Materials Science
    Substructural Logics Mathematics
    Airport security Engineering & Materials Science
    Access Control Mathematics
    Access control Engineering & Materials Science
    Ecosystems Engineering & Materials Science
    Algebra Engineering & Materials Science

    Network Recent external collaboration on country level. Dive into details by clicking on the dots.

    Research Output 2008 2019

    A logic of hypothetical conjunction

    Collinson, M., 17 Jun 2019, (Accepted/In press) In : Journal of Logic and Computation.

    Research output: Contribution to journalArticle

    Semantics
    Logic
    Binary relation
    Connectives
    Ternary

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

    Li, R., Lin, C., Collinson, M., Li, X. & Chen, G., 22 Oct 2018, (Submitted) ArXiv.

    Research output: Working paper

    File
    Recurrent neural networks
    Processing

    Caught by phishing emails? How can argumentation schemes be used to protect users?

    Thomas, R. J., Collinson, M. & Masthoff, J., 1 Jan 2018, p. 9-12. 4 p.

    Research output: Contribution to conferencePaper

    Argumentation
    Electronic mail
    Electronic Mail
    Attack
    2 Downloads (Pure)

    Erratum to: A substructural logic for layered graphs

    Collinson, M., McDonald, K., Docherty, S. & Pym, D., Feb 2017, In : Journal of Logic and Computation. 27, 1, p. 413-414 2 p.

    Research output: Contribution to journalArticle

    Open Access
    Substructural Logics
    Proposition
    Counterexample
    Logic
    Graph in graph theory
    6 Citations (Scopus)

    Layered graph logic as an assertion language for access control policy models

    Collinson, M., McDonald, K. & Pym, D., Feb 2017, In : Journal of Logic and Computation. 27, 1, p. 41-80 40 p.

    Research output: Contribution to journalArticle

    Control Policy
    System Architecture
    Access Control
    Assertion
    Access control