Mathematical Sciences Research and Enterprise Group

Filter
Conference contribution with ISSN or ISBN

Search results

  • 2020

    Well-matchedness in Euler and Linear Diagrams

    Stapleton, G., Rodgers, P., Touloumis, A. & Blake, A., 17 Aug 2020, Diagrammatic Representation and Inference - 11th International Conference, Diagrams 2020, Proceedings. Pietarinen, A-V., Chapman, P., Bosveld-de Smet, L., Giardino, V., Corter, J. & Linker, S. (eds.). Cham: Springer, p. 247-263 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12169 LNAI).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File
  • 2018

    Visual algebraic proofs for unknot detection

    Fish, A., Lisitsa, A. & Vernitski, A., 17 May 2018, 10th International Conference on Theory and Applications of Diagrams. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). Edinburgh: Springer, Vol. 10871. p. 89-104 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File
  • 2017

    A Semi-Automatic Approach for Eliciting Cloud Security and Privacy Requirements

    Argyropoulos, N., Shei, S., Kalloniatis, C., Mouratidis, H., Delaney, A., Fish, A. & Gritzalis, S., 4 Jan 2017, 50th Hawaii International Conference on System Sciences (HICSS). Hawaii, USA, p. 4827-4836 10 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File

  • ASTo: A tool for security analysis of IoT systems

    Mavropoulos, O., Mouratidis, H., Fish, A. & Panaousis, E., 30 Jun 2017, Proceedings - 2017 15th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2017. Institute of Electrical and Electronics Engineers Inc., p. 395-400 6 p. 7965757

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

  • Attribute-based security verification of business process models

    Argyropoulos, N., Mouratidis, H. & Fish, A., 14 Aug 2017, Proceedings - 2017 IEEE 19th Conference on Business Informatics, CBI 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 1. p. 43-52 10 p. 8010705. (Conference on Business Informatics).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File

  • Decision-making in security requirements engineering with constrained goal models

    Argyropoulos, N., Angelopoulos, K., Mouratidis, H. & Fish, A., 22 Dec 2017, Computer Security - ESORICS 2017 International Workshops, CyberICPS 2017 and SECPRE 2017, Revised Selected Papers. Springer-Verlag, p. 262-280 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10683 LNCS).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

  • Modeling Diffusion Directions of Corpus Callosum

    Elsheikh, S., Fish, A., Chakrabarti, R., Zhou, D. & Cercignani, M., 22 Jun 2017, Medical Image Understanding and Analysis (MIUA 2017). Cham: Springer, p. 518-526 9 p. (Communications in Computer and Information Science; vol. 723).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File

  • Security Alignment Analysis of Software Product Lines

    Sprovieri, D., Argyropoulos, N., Souveyet, C., Mazo, R., Mouratidis, H. & Fish, A., 16 Mar 2017, Proceedings - 4th International Conference on Enterprise Systems: Advances in Enterprise Systems, ES 2016. Institute of Electrical and Electronics Engineers Inc., p. 97-103 7 p. 7880478

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

  • Supporting secure business process design via security process patterns

    Argyropoulos, N., Mouratidis, H. & Fish, A., 1 May 2017, Enterprise, Business-Process and Information Systems Modeling - 18th International Conference, BPMDS 2017, 22nd International Conference, EMMSAD 2017 Held at CAiSE 2017, Proceedings. Springer-Verlag, p. 9-13 5 p. (Lecture Notes in Business Information Processing; vol. 287).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

  • The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments

    Alharbi, E., Howse, J., Stapleton, G., Hamie, A. & Touloumis, A., 4 Oct 2017, ISWC2017 The 16th International Semantic Web Conference. Vienna: Springer, p. 20-36 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File

  • Visual Logics Help People: An Evaluation of Diagrammatic, Textual and Symbolic Notations

    Alharbi, E., Howse, J., Stapleton, G., Hamie, A. & Touloumis, A., 17 Dec 2017, IEEE Symposium on Visual Languages and Human-Centric Computing 2017. USA: IEEE, p. 0-0 1 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › peer-review

    Open Access
    File