- 1 - 50 out of 58 results
- Publication Year, Title (descending)
A guideline-based approach for assisting with the reproducibility of experiments in recommender systems evaluation
Polatidis, N., Pimenidis, E., Fish, A. & Kapetanakis, S., 22 Jul 2019, (Accepted/In press) In : International Journal on Artificial Intelligence Tools.Research output: Contribution to journal › Article
Enhancing secure business process design with security process patterns
Argyropoulos, N., Mouratidis, H. & Fish, A., 13 Jul 2019, In : Software and Systems Modeling. p. 1-23Research output: Contribution to journal › Article
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
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-490Research output: Contribution to journal › Article
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
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
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
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. 7965757Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference 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 ISBN › Conference contribution with ISSN or ISBN
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
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
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
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. 7880478Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference 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 ISBN › Conference contribution with ISSN or ISBN
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
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
Classifying links under fused isotopy
Fish, A. & Keyman, E., 7 Jun 2016, In : Journal of Knot Theory and Its Ramifications. 25, 07Research output: Contribution to journal › Article
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
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
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
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 Nov 2016, In : Journal of Visual Languages and Sentient Systems. 2, p. 16-25 10 p.Research output: Contribution to journal › Article
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. p. 1-20 20 p.Research output: Contribution to journal › Article
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
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
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
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
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
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
Spider Graphs: a graph transformation system for spider diagrams
Bottoni, P., Fish, A. & Parisi-Presicce, F., 1 Oct 2015, In : Software and Systems Modeling. 14, 4, p. 1421-1453 33 p.Research output: Contribution to journal › Article
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
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
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
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
Equivalences in Euler-based diagram systems through normal forms
Fish, A. & Taylor, J., 29 Sep 2014, In : LMS Journal of Computation and Mathematics. 17, 1, p. 431-484 54 p.Research output: Contribution to journal › Article
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
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
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
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
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
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
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
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
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
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
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
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