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

Search results

  • 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 ISBNConference contribution with ISSN or ISBN

    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 ISBNConference contribution with ISSN or ISBN

    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 ISBNConference contribution with ISSN or ISBN

  • 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 ISBNConference contribution with ISSN or ISBN

    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 ISBNConference contribution with ISSN or ISBN

  • 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 ISBNConference contribution with ISSN or ISBN

    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 ISBNConference contribution with ISSN or ISBN

  • 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 ISBNConference contribution with ISSN or ISBN

  • 2016

    An Investigation on Online Versus Batch Learning in Predicting User Behaviour

    Burlutskiy, N., Petridis, M., Fish, A., Chernov, A. & Ali, N., 5 Nov 2016, International Conference on Innovative Techniques and Applications of Artificial Intelligence. Cambridge, UK: Springer International Publishing, p. 135-149 15 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Apparatus: Reasoning About Security Requirements in the Internet of Things

    Mavropoulos, O., Mouratidis, H., Fish, A., Panaousis, E. & Kalloniatis, C., 7 Jun 2016, Advanced Information Systems Engineering Workshops,CAiSE 2016 International Workshops, Proceedings.. Slovenia: Springer International Publishing, Vol. 249. p. 219-230 12 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Cluster Analysis of Diffusion Tensor Fields with Application to the Segmentation of the Corpus Callosum

    Elsheikh, S., Fish, A., Chakrabarti, R. & Zhou, D., 25 Jul 2016, 20th Conference on Medical Image Understanding and Analysis (MIUA 2016). Loughborough: Elsevier, Vol. 90. p. 15-21 7 p. (Procedia Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Efficient knot discrimination via quandle coloring with SAT and #-SAT

    Fish, A., Lisitsa, A., Stanovský, D. & Swartwood, S., 1 Jan 2016, 5th International Conference on Mathematical Software (ICMS 2016). Berlin: Springer International Publishing, Vol. 9725. p. 51-58 8 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Filter Large-scale Engine Data using Apache Spark

    Begg, S., Fish, A., Pirozzi, D., De Sercey, G., Scarano, V. & Harvey, A., 18 Jul 2016, IEEE-INDIN 2016 14th international conference on industrial informatics. Poitiers, France, p. 1300-1305 6 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Incorporating privacy patterns into semi-automatic business process derivation

    Argyropoulos, N., Kalloniatis, C., Mouratidis, H. & Fish, A., 25 Aug 2016, 2016 IEEE Tenth International Conference on Research Challenges in Information Science (RCIS). Piscataway, NJ: IEEE, p. 1-12 12 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Prediction of Users' Response Time in Q&A Communities

    Burlutskiy, N., Fish, A., Ali, N. & Petridis, M., 3 Mar 2016, 14th International Conference on Machine Learning and Applications (ICMLA). Miami: IEEE, p. 618-623 6 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Type Annotation for Adaptive Systems

    Fish, A., Bottoni, P. & Parisi-Presicce, F., 4 Dec 2016, Graphs as Models workshop (GaM 2016). Eindhoven, The Netherlands, p. 1-15 15 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • 2015

    Eliciting security requirements for business processes of legacy systems

    Argyropoulos, N., Alcañiz, L. M., Mouratidis, H., Fish, A., Rosado, D. G., de Guzmán, I. G-R. & Fernandez-Medina, E., 26 Nov 2015, The Practice of Enterprise Modeling. Switzerland: Springer International Publishing, Vol. 235. p. 91-107 17 p. (Lecture Notes in Business Information Processing).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Simulation repository visualisation and exploration

    Fish, A., Gargiulo, C., Pirozzi, D. & Scarano, V., 22 Jul 2015, 2015 IEEE International Conference on Industrial Informatics (INDIN). Cambridge, UK: IEEE, p. 832-837 6 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Towards the derivation of secure business process designs

    Argyropoulos, N., Mouratidis, H. & Fish, A., 15 Dec 2015, Advances in Conceptual Modeling. Switzerland: Springer International Publishing, Vol. 9382. p. 248-258 11 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • 2014

    Annotating spiders with resource information

    Bottoni, P., Fish, A. & Heussner, A., 1 Jan 2014, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) 2014. Melbourne, VIC: IEEE, p. 33-40 8 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Detecting Unknots via Equational Reasoning, I: Exploration

    Fish, A. & Lisitsa, A., 1 Jan 2014, Intelligent Computer Mathematics International Conference, CICM 2014. Portugal: Springer International Publishing, Vol. 8543. p. 76-91 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Enabling the visualization for reasoning about temporal data

    Burlutskiy, N., Petridis, M., Fish, A. & Ali, N., 1 Jan 2014, 2014 IEEE Symposium on Visual Languages and Human-Centric Computing. Melbourne, Australia, p. 179-180 2 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • How to visualise a conversation: case-based reasoning approach

    Burlutskiy, N., Petridis, M., Fish, A. & Ali, N., 9 Jan 2014, 19th UK CBR Workshop, 2014. Cambridge, p. 1-12 12 p. (CEUR Workshop Proceedings).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • 2013

    Curve-based diagram specification and construction

    Costagliola, G., De Rosa, M., Fish, A., Fuccella, V. & Saleh, R., 1 Jan 2013, 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). California, p. 39-42 4 p. (Visual Languages and Human Centric Computing).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Euler diagram codes: interpretation and generation

    Bottoni, P., Costagliola, G., De Rosa, M., Fish, A. & Fuccella, V., 1 Jan 2013, Proceedings of the 6th International Symposium on Visual Information Communication and Interaction. China, p. 105-106 2 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Policy enforcement and verification with timed modeling spider diagrams

    Bottoni, P. & Fish, A., 1 Jan 2013, 2013 IEEE Symposium on visual languages and human-centric computing. California, p. 27-34 8 p. (Visual Languages and Human Centric Computing).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Towards an operationalization of the “physics of notations” for the analysis of visual languages

    Fish, A. & Störrle, H., 1 Jan 2013, 16th International Conference, MODELS. USA, Vol. 8107. p. 104-120 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • 2012

    Euler diagram encodings

    Bottoni, P., Costagliola, G. & Fish, A., 1 Jan 2012, Diagrammatic Representation and Inference, Proceedings of the 7th International Conference, Diagrams 2012. Berlin Heidelberg: Springer-Verlag, Vol. 7352. p. 148-162 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • FunEuler: an euler diagram based interface enhanced with region-based functionalities

    Cordasco, G., De Chiara, R., Fish, A. & Scarano, V., 1 Jan 2012, 3rd International Workshop on Euler Diagrams 2012. United Kingdom, p. 107-121 15 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • The online abstraction problem for euler diagrams

    Cordasco, G., De Chiara, R. & Fish, A., 1 Jan 2012, Proceedings of the 3rd International Workshop on Euler Diagrams 2012. United Kingdom, p. 62-76 15 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • 2011

    Developing a rigorous bottom-up modular static failure modelling methdology

    Clark, R., Fish, A., Garrett, C. & Howse, J., 1 Jan 2011, Proceedings of the 6th international conference on system safety, 2011. Stevenage, UK: IET, p. 1-6 6 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Personalised resource categorisation using euler diagrams

    Bottoni, P., Cordasco, G., De Chiara, R., Fish, A. & Scarano, V., 1 Jan 2011, Proceedings of the Third international conference on End-user development, IS-EUD'11. Berlin Heidelberg: Springer-Verlag, Vol. 6654. p. 251-257 7 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Policy specifications with Timed Spider Diagrams

    Bottoni, P. & Fish, A., 1 Jan 2011, Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing. New York, USA: IEEE Press, p. 95-98 4 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • 2010

    Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information

    Bottoni, P. & Fish, A., 1 Jan 2010, Proceedings of the 6th International Conference on the Theory and Application of Diagrams. Berlin Heidelberg: Springer, Vol. 6170. p. 39-53 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Visual specification patterns

    Hamie, A., Howse, J. & Fish, A., 1 Jan 2010, Proceedings of the Second International Workshop on Visual Formalisms for Patterns (VFfP 2010). Berlin, Germany: EASST, Vol. 31. p. 76-89 14 p. (Electronic Communications of the EASST).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • 2009

    Interactive visual classification with Euler diagrams

    Cordasco, G., De Chiara, R. & Fish, A., 20 Sep 2009, IEEE Symposium on Visual Languages and Human-Centric Computing 2009. New York, NY, USA: IEEE Press, p. 185-192 8 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • 2008

    Abstract Euler diagram isomorphism

    Stapleton, G., Fish, A. & Rodgers, P., 1 Sep 2008, Proceedings of the 14th International Conference on Distributed Multimedia Systems. Skokie, IL, USA: Knowledge Systems Institute, p. 310-317 8 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    File
  • A normal form for Euler diagrams with shading

    Fish, A., John, C. & Taylor, J., 1 Jan 2008, Proceedings of the 5th International Conference on the Theory and Application of Diagrams. Berlin Heidelberg: Springer-Verlag, Vol. 5223. p. 206-221 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Conceptual spider diagrams

    Dau, F. & Fish, A., 1 Jan 2008, Proceedings of the 16th International Conference on Conceptual Structures (ICCS 2008). Berlin Heidelberg: Springer-Verlag, Vol. 5113. p. 104-118 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Embedding wellformed Euler diagrams

    Rodgers, P., Zhang, L., Stapleton, G. & Fish, A., 25 Jul 2008, Proceedings of the 12th International Conference on Information Visualisation. Washington DC, USA: IEEE, p. 585-593 9 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • eul.icio.us: Euler diagrams for del.icio.us

    De Chiara, R. & Fish, A., 25 Jul 2008, Proceedings of the 12th International Conference Information Visualisation. IV '08. Washington DC, USA: IEEE, p. 632 -637

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Euler diagram decomposition

    Fish, A. & Flower, J., 1 Jan 2008, Proceedings of the 5th International Conference on the Theory and Application of Diagrams. Berlin Heidelberg: Springer-Verlag, Vol. 5223. p. 28-44 17 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • EulerView: article organisation within the ACM

    De Chiara, R. & Fish, A., 1 Jan 2008, IEEE Symposium on Visual Languages and Human-Centric Computing 2008. Washington DC, USA: IEEE, p. 93-100 8 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    Open Access
    File
  • Eulr: a novel resource tagging facility integrated with Flickr

    Fish, A., De Chiara, R. & Ruocco, S., 1 Jan 2008, Proceedings of the working conference on advanced visual interfaces (AVI 2008). New York, NY, USA: ACM Press, p. 326-330 5 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • General Euler diagram generation

    Rodgers, P., Zhang, L. & Fish, A., 1 Jan 2008, Proceedings of the 5th international conference on the theory and application of diagrams. Berlin Heidelberg: Springer-Verlag, Vol. 5223. p. 13-27 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • 2007

    EulerView: a non-hierarchical visualization component

    De Chiara, R. & Fish, A., 1 Jan 2007, 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007). Washington DC, USA: IEEE Computer Society, p. 145-152 8 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Exploring human factors in formal diagram usage

    Fish, A., Khazaei, B. & Roast, C., 1 Jan 2007, Proceedings of the EIS 2007 Joint Working Conferences. Berlin Heidelberg: Springer-Verlag, Vol. 4940. p. 413-428 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Visual qualities of the unified modeling language: deficiencies and improvements

    Fish, A. & Storrle, H., 1 Jan 2007, IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007). Washington DC, USA: IEEE Computer Society, p. 41-49 9 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • 2006

    Exploring the notion of 'clutter' in Euler diagrams

    John, C., Fish, A., Howse, J. & Taylor, J., 1 Jan 2006, Proceedings of the 4th International Conference, Diagrams 2006. Berlin, Germany: Springer, Vol. 4045. p. 267-282 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

  • Formal issues in languages based on closed curves

    Fish, A. & Stapleton, G., 1 Aug 2006, Proceedings of the 2006 International Workshop on Visual Languages and Computing. Skokie, IL, USA: Knowledge Systems Institute, p. 161-167 7 p.

    Research output: Chapter in Book/Conference proceeding with ISSN or ISBNConference contribution with ISSN or ISBN

    File