Find Research Outputs

Search results

• 2019

  A guideline-based approach for assisting with the reproducibility of experiments in recommender systems evaluation

  Polatidis, N., Pimenidis, E., Fish, A. & Kapetanakis, S., 4 Dec 2019, In : International Journal on Artificial Intelligence Tools. 28, 8, 1960011.

  Research output: Contribution to journal › Article

  Open Access

  File

• Enhancing secure business process design with security process patterns

  Argyropoulos, N., Mouratidis, H. & Fish, A., 13 Jul 2019, In : Software and Systems Modeling. 19, p. 555–577

  Research output: Contribution to journal › Article

  Open Access

  File

  • Business Process
  • Process Design
  • Process design
  • Industry
  • Business Process Modeling
• 2018

  Apparatus: A framework for security analysis in internet of things systems

  Mavropoulos, O., Mouratidis, H., Fish, A. & Panaousis, E., 23 Aug 2018, In : Ad Hoc Networks.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Internet of things
  • Modeling languages
  • Refining
  • Application programs
  • Visualization

• Risk-aware decision support with Constrained Goal Models

  Argyropoulos, N., Angelopoulos, K., Mouratidis, H. & Fish, A., 8 Oct 2018, In : Information and Computer Security. 26, 4, p. 472-490

  Research output: Contribution to journal › Article

  Open Access

  File

  • Risk assessment
  • Systems analysis
  • e-government
  • Requirements engineering
  • Information systems

• 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

  Open Access

  File

  • Unknot
  • Vision
  • Knot
  • Diagram
  • Human
• 2017

  A Conceptual Model to Support Security Analysis in the Internet of Things

  Mavropoulos, O., Mouratidis, H., Fish, A., Panaousis, E. & Kalloniatis, C., 1 Jul 2017, In : Computer Science And Information Systems. 14, 2, p. 557-578 22 p.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Internet of things
  • Ubiquitous computing
  • Industry

• 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

  Open Access

  File

  • Cloud computing
  • Systems analysis
  • Industry
  • Costs

• 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

  • Security Analysis
  • Systems Analysis
  • Internet of things
  • Software
  • Language Modeling

• 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

  Open Access

  File

  • Business Model
  • Business Process
  • Business Process Model
  • Process Model
  • Attribute

• Business Process Workflow Monitoring Using Distributed CBR with GPU Computing

  Agorgianitis, I., Kapetanakis, S., Miltos Petridis, M. & Fish, A., 8 May 2017, p. 495-498. 4 p.

  Research output: Contribution to conference › Paper

  Open Access

  • Process monitoring
  • Graphics processing unit
  • Monitoring
  • Industry

• 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

  • Requirements Engineering
  • Requirements engineering
  • Decision Making
  • Systems analysis
  • Decision making

• 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

  Open Access

  File

  • Diffusion tensor imaging
  • Probability distributions
  • Brain

• 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

  • Product Line
  • Alignment
  • Software
  • Requirements engineering
  • Software engineering

• 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

  • Business Process
  • Process Security
  • Process Design
  • Business Process Design
  • Process design
• 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 ISBN › Conference contribution with ISSN or ISBN

  Open Access

  File

  • Learning algorithms
  • Bayesian networks
  • Deep learning
  • Machine learning

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

  Open Access

  File

  • Internet of things
  • Requirements engineering
  • Ubiquitous computing
  • Lenses
  • Industry

• Classifying links under fused isotopy

  Fish, A. & Keyman, E., 7 Jun 2016, In : Journal of Knot Theory and Its Ramifications. 25, 07

  Research output: Contribution to journal › Article

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

  Open Access

  File

  • Electric sparks
  • Engines
  • Ignition
  • Large dataset
  • Graphical user interfaces

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

  Open Access

  File

  • Industry
  • Data privacy
  • Information systems

• KnotSketch: a tool for knot diagram sketching, encoding and re-generation

  Costagliola, G., De Rosa, M., Fish, A., Fuccella, V., Saleh, R. & Swartwood, S., 1 Oct 2016, In : Journal of Visual Languages and Sentient Systems. 2, p. 16-25 10 p.

  Research output: Contribution to journal › Article

  Open Access

  File

• Online region computations for Euler Diagrams with relaxed drawing conventions

  Cordasco, G., De Chiara, R. & Fish, A., 20 Oct 2016, In : Journal of Visual Languages and Computing. 38, p. 18-37

  Research output: Contribution to journal › Article

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

  • Bayesian networks
  • Decision trees
  • Logistics
  • Learning algorithms
  • Machine learning

• Resource-aware Policies

  Bottoni, P., Fish, A., Heussner, A. & Parisi-Presicce, F., 20 Oct 2016, In : Journal of Visual Languages and Computing. 38, p. 84-96 13 p.

  Research output: Contribution to journal › Article

  Open Access

  File

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

  Open Access

  File

• Visual exploration system in an industrial context

  Fish, A., Gargiulo, C., Malandrino, D., Pirozzi, D. & Scarano, V., 25 Jan 2016, In : IEEE Transactions on Industrial Informatics. 12, 2, p. 567-575 9 p.

  Research output: Contribution to journal › Article

  Open Access

  File
• 2015

  A Combinatorial Approach to Knot Recognition

  Fish, A., Lisitsa, A. & Stanovský, D., 21 Nov 2015, Embracing Global Computing in Emerging Economies. Almaty, Kazakhstan: Springer International Publishing, Vol. 514. p. 64-78 15 p. (Communications in Computer and Information Science).

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

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

  • Business Process
  • Process Model
  • Modernization
  • Business Process Model
  • Stakeholders

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

  Open Access

  File

  • Visualization
  • Engines

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

  • Process design
  • Industry
• 2014

  2014 IEEE Symposium onVisual Languages and Human-Centric Computing (VL/HCC)

  Fleming, S. (ed.), Fish, A. (ed.) & Scaffidi, C. (ed.), 28 Aug 2014, New Jersey: IEEE. 1 p.

  Research output: Book/Report › Book - edited

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

  • Color
  • Availability

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

  • Theorem proving
  • Topology

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

  • Visualization
  • Interfaces (computer)
  • Uncertainty

• Equivalences in Euler-based diagram systems through normal forms

  Fish, A. & Taylor, J., 1 Sep 2014, In : LMS Journal of Computation and Mathematics. 17, 1, p. 431-484 54 p.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Redundancy
  • Syntactics
  • Semantics
  • Visualization
  • Projection systems

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

  Open Access

  File

  • Case based reasoning
  • Visualization
  • Electronic mail
• 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 ISBN › Conference contribution with ISSN or ISBN

  Open Access

  File

  • Visual languages
  • Topology
  • Specifications

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

• Extending Spider Diagrams for policy definition

  Bottoni, P. & Fish, A., 1 Jun 2013, In : Journal of Visual Languages and Computing. 24, 3, p. 169-191 23 p.

  Research output: Contribution to journal › Article

  • Visual languages
  • Specifications

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

  Open Access

  File

  • Visual languages
  • Specifications

• Spider Graphs: a graph transformation system for spider diagrams

  Bottoni, P., Fish, A. & Parisi-Presicce, F., 24 Sep 2013, In : Software and Systems Modeling. 14, 4, p. 1421-1453 33 p.

  Research output: Contribution to journal › Article

  Open Access

  File

  • Mechanization
  • Formal specification
  • Modeling languages
  • Static analysis
  • Syntactics

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

  • operationalization
  • physics
  • software
  • engineering
• 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 ISBN › Conference contribution with ISSN or ISBN

  • Concretes
  • Visualization
  • Set theory

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

  Open Access

  File

  • Testing

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

  Open Access

  File

  • Visualization
  • Concretes
  • Set theory
• 2011

  A visual language for temporal specifications based on spider diagrams

  Bottoni, P. & Fish, A., 1 Jan 2011, In : Electronic Communications of the EASST. 41, p. 1-14 14 p.

  Research output: Contribution to journal › Article

  • Visual languages
  • Specifications

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

  • Testing
  • Electromagnetic compatibility
  • Failure modes
  • Durability

• Efficient on-line algorithms for Euler diagram region computation

  Cordasco, G., De Chiara, R. & Fish, A., 1 Jan 2011, In : Computational Geometry. 44, 1, p. 52-68 17 p.

  Research output: Contribution to journal › Article

  • Theorem proving
  • Visualization
  • Semantics
  • Concretes

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

  • Visualization
  • Set theory