• Source: Scopus
  • Calculated based on no. of publications stored in Pure and citations from Scopus
20192019

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2019

    On linear logic, functional programming, and attack trees

    Eades, H., Jiang, J. & Bryant, A., 2019, Graphical Models for Security - 5th International Workshop, GraMSec 2018, Revised Selected Papers. Pym, D., Cybenko, G. & Fila, B. (eds.). Springer Verlag, p. 71-89 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11086 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Scopus citations