Andrew Fish

According to our database, Andrew Fish authored at least 94 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Automated Reasoning with Tangles: towards Quantum Verification Applications.

Andrew Fish, Alexei Lisitsa

Proceedings of the LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024, 2024

Unlocking Viewer Insights in Linear Television: A Machine Learning Approach.

Javier Carreno, Khuong An Nguyen, Zhiyuan Luo, Andrew Fish

Proceedings of the Perspectives in Business Informatics Research, 2024

2020

Enhancing secure business process design with security process patterns.

Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish

Softw. Syst. Model., 2020

2019

A Guideline-Based Approach for Assisting with the Reproducibility of Experiments in Recommender Systems Evaluation.

Nikolaos Polatidis, Elias Pimenidis, Andrew Fish, Stelios Kapetanakis

Int. J. Artif. Intell. Tools, 2019

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

Orestis Mavropoulos, Haralambos Mouratidis, Andrew Fish, Emmanouil Panaousis

Ad Hoc Networks, 2019

2018

Risk-aware decision support with constrained goal models.

Nikolaos Argyropoulos, Konstantinos Angelopoulos, Haralambos Mouratidis, Andrew Fish

Inf. Comput. Secur., 2018

Towards Human Readability of Automated Unknottedness Proofs.

Andrew Fish, Alexei Lisitsa, Alexei Vernitski

Proceedings of the fourth Workshop on Bridging the Gap between Human and Automated Reasoningco-located with the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI 2018), 2018

Visual Algebraic Proofs for Unknot Detection.

Andrew Fish, Alexei Lisitsa, Alexei Vernitski

Proceedings of the Diagrammatic Representation and Inference, 2018

2017

Online region computations for Euler diagrams with relaxed drawing conventions.

Gennaro Cordasco, Rosario De Chiara, Andrew Fish

J. Vis. Lang. Comput., 2017

Resource-aware policies.

Paolo Bottoni, Andrew Fish, Alexander Heußner, Francesco Parisi-Presicce

J. Vis. Lang. Comput., 2017

A conceptual model to support security analysis in the internet of things.

Orestis Mavropoulos, Haralambos Mouratidis, Andrew Fish, Emmanouil Panaousis, Christos Kalloniatis

Comput. Sci. Inf. Syst., 2017

Attribute-Based Security Verification of Business Process Models.

Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish

Proceedings of the 19th IEEE Conference on Business Informatics, 2017

ASTo: A tool for security analysis of IoT systems.

Orestis Mavropoulos, Haralambos Mouratidis, Andrew Fish, Emmanouil A. Panaousis

Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

Modeling Diffusion Directions of Corpus Callosum.

Safa Elsheikh, Andrew Fish, Roma Chakrabarti, Diwei Zhou, Mara Cercignani

Proceedings of the Medical Image Understanding and Analysis - 21st Annual Conference, 2017

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

Nikolaos Argyropoulos, Shaun Shei, Christos Kalloniatis, Haralambos Mouratidis, Aidan J. Delaney, Andrew Fish, Stefanos Gritzalis

Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Business Process Workflow Monitoring Using Distributed CBR with GPU Computing.

Ioannis Agorgianitis, Stelios Kapetanakis, Miltos Petridis, Andrew Fish

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Decision-Making in Security Requirements Engineering with Constrained Goal Models.

Nikolaos Argyropoulos, Konstantinos Angelopoulos, Haralambos Mouratidis, Andrew Fish

Proceedings of the Computer Security - ESORICS 2017 International Workshops, 2017

Supporting Secure Business Process Design via Security Process Patterns.

Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017

2016

Visual Exploration System in an Industrial Context.

Andrew Fish, Claudio Gargiulo, Delfina Malandrino, Donato Pirozzi, Vittorio Scarano

IEEE Trans. Ind. Informatics, 2016

A toolkit for knot diagram sketching, encoding and re-generation.

Gennaro Costagliola, Mattia De Rosa, Andrew Fish, Vittorio Fuccella, Rafiq Saleh, Sarah Swartwood

J. Vis. Lang. Sentient Syst., 2016

Type Annotation for Adaptive Systems.

Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce

Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

An Investigation on Online Versus Batch Learning in Predicting User Behaviour.

Nikolay Burlutskiy, Miltos Petridis, Andrew Fish, Alexey Chernov, Nour Ali

Proceedings of the Research and Development in Intelligent Systems XXXIII, 2016

Incorporating privacy patterns into semi-automatic business process derivation.

Nikolaos Argyropoulos, Christos Kalloniatis, Haralambos Mouratidis, Andrew Fish

Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Cluster Analysis of Diffusion Tensor Fields with Application to the Segmentation of the Corpus Callosum.

Safa Elsheikh, Andrew Fish, Roma Chakrabarti, Diwei Zhou

Proceedings of the 20th Conference on Medical Image Understanding and Analysis, 2016

Filter large-scale engine data using apache spark.

Donato Pirozzi, Vittorio Scarano, Steven Begg, Guillaume de Sercey, Andrew Fish, Andrew Harvey

Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT.

Andrew Fish, Alexei Lisitsa, David Stanovský, Sarah Swartwood

Proceedings of the Mathematical Software - ICMS 2016, 2016

Evaluating Distributed Methods for CBR Systems for Monitoring Business Process Workflows.

Ioannis Agorgianitis, Miltos Petridis, Stelios Kapetanakis, Andrew Fish

Proceedings of the Workshops Proceedings for the Twenty-fourth International Conference on Case-Based Reasoning (ICCBR 2016), Atlanta, Georgia, USA, October 31, 2016

Security Alignment Analysis of Software Product Lines.

Danillo Sprovieri, Nikolaos Argyropoulos, Carine Souveyet, Raúl Mazo, Haralambos Mouratidis, Andrew Fish

Proceedings of the 4th International Conference on Enterprise Systems, 2016

Apparatus: Reasoning About Security Requirements in the Internet of Things.

Orestis Mavropoulos, Haralambos Mouratidis, Andrew Fish, Emmanouil Panaousis, Christos Kalloniatis

Proceedings of the Advanced Information Systems Engineering Workshops, 2016

2015

Spider Graphs: a graph transformation system for spider diagrams.

Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce

Softw. Syst. Model., 2015

Visual and textual dataset exploration.

Andrew Fish, Donato Pirozzi, Vittorio Scarano

Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Simulation repository visualisation and exploration.

Andrew Fish, Claudio Gargiulo, Donato Pirozzi, Vittorio Scarano

Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Eliciting Security Requirements for Business Processes of Legacy Systems.

Nikolaos Argyropoulos, Luis Márquez Alcañiz, Haralambos Mouratidis, Andrew Fish, David Garcia Rosado, Ignacio García Rodríguez de Guzmán, Eduardo Fernández-Medina

Proceedings of the Practice of Enterprise Modeling, 2015

Prediction of Users' Response Time in Q&A Communities.

Nikolay Burlutskiy, Andrew Fish, Nour Ali, Miltos Petridis

Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Towards the Derivation of Secure Business Process Designs.

Nikolaos Argyropoulos, Haralambos Mouratidis, Andrew Fish

Proceedings of the Advances in Conceptual Modeling, 2015

A Combinatorial Approach to Knot Recognition.

Andrew Fish, Alexei Lisitsa, David Stanovský

Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015

2014

Equivalences in Euler-based diagram systems through normal forms.

Andrew Fish, John Taylor

LMS J. Comput. Math., 2014

Enabling the visualization for reasoning about temporal data.

Nikolay Burlutskiy, Miltos Petridis, Andrew Fish, Nour Ali

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Annotating spiders with resource information.

Paolo Bottoni, Andrew Fish, Alexander Heußner

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Detecting Unknots via Equational Reasoning, I: Exploration.

Andrew Fish, Alexei Lisitsa

Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Coloured Modelling Spider Diagrams.

Paolo Bottoni, Andrew Fish, Alexander Heußner

Proceedings of the Diagrammatic Representation and Inference, 2014

2013

Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction.

Andrew Fish, Leen Lambers

J. Vis. Lang. Comput., 2013

Extending Spider Diagrams for policy definition.

Paolo Bottoni, Andrew Fish

J. Vis. Lang. Comput., 2013

Curve-based diagram specification and construction.

Gennaro Costagliola, Mattia De Rosa, Andrew Fish, Vittorio Fuccella, Rafiq Saleh

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Policy enforcement and verification with Timed Modeling Spider Diagrams.

Paolo Bottoni, Andrew Fish

Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Euler diagram codes: interpretation and generation.

Paolo Bottoni, Gennaro Costagliola, Mattia De Rosa, Andrew Fish, Vittorio Fuccella

Proceedings of the 6th International Symposium on Visual Information Communication and Interaction (VINCI), 2013

Towards an Operationalization of the "Physics of Notations" for the Analysis of Visual Languages.

Harald Störrle, Andrew Fish

Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012

Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques.

Andrew Fish, Leen Lambers

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

FunEuler: an Euler Diagram based Interface Enhanced with Region-based Functionalities.

Gennaro Cordasco, Rosario De Chiara, Andrew Fish, Vittorio Scarano

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

The Online Abstraction Problem for Euler Diagrams.

Gennaro Cordasco, Rosario De Chiara, Andrew Fish

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

Euler Diagram Encodings.

Paolo Bottoni, Gennaro Costagliola, Andrew Fish

Proceedings of the Diagrammatic Representation and Inference, 2012

2011

User-comprehension of Euler diagrams.

Andrew Fish, Babak Khazaei, Chris Roast

J. Vis. Lang. Comput., 2011

Special Issue on Visual Languages and Logic: Guest editors' introduction.

Philip T. Cox, Andrew Fish, John Howse

J. Vis. Lang. Comput., 2011

Incremental update of constraint-compliant policy rules.

Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

A visual language for temporal specifications based on Spider diagrams.

Paolo Bottoni, Andrew Fish

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Efficient on-line algorithms for Euler diagram region computation.

Gennaro Cordasco, Rosario De Chiara, Andrew Fish

Comput. Geom., 2011

Policy specifications with Timed Spider Diagrams.

Paolo Bottoni, Andrew Fish

Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Personalised Resource Categorisation Using Euler Diagrams.

Paolo Bottoni, Gennaro Cordasco, Rosario De Chiara, Andrew Fish, Vittorio Scarano

Proceedings of the End-User Development - Third International Symposium, 2011

2010

Visual Specification Patterns.

Andrew Fish, Ali Hamie, John Howse

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preserving constraints in horizontal model transformations.

Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information.

Paolo Bottoni, Andrew Fish

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

Euler Diagram Transformations.

Andrew Fish

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Interactive visual classification with Euler diagrams.

Gennaro Cordasco, Rosario De Chiara, Andrew Fish

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

2008

Euler diagram generation.

Jean Flower, Andrew Fish, John Howse

J. Vis. Lang. Comput., 2008

Preface of the Proceedings of the Second International Workshop on Layout of (Software) Engineering Diagrams (LED 2008).

Andrew Fish, Harald Störrle

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Second international workshop on Layout of (Software) Engineering diagrams (LED'08).

Andrew Fish, Harald Störrle

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

EulerView: article organisation within the ACM classification.

Rosario De Chiara, Andrew Fish

Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Embedding Wellformed Euler Diagrams.

Peter Rodgers, Leishi Zhang, Gem Stapleton, Andrew Fish

Proceedings of the 12th International Conference on Information Visualisation, 2008

eul.icio.us: Euler Diagrams for del.icio.us.

Rosario De Chiara, Andrew Fish

Proceedings of the 12th International Conference on Information Visualisation, 2008

Conceptual Spider Diagrams.

Frithjof Dau, Andrew Fish

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

Eulerview with Projections: Non Hierarchical Visualisation.

Rosario De Chiara, Andrew Fish

Proceedings of the Eurographics Italian Chapter Conference 2008, Salerno, Italy, 2008, 2008

Abstract Euler Diagram Isomorphism.

Gem Stapleton, Andrew Fish, Peter Rodgers

Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

General Euler Diagram Generation.

Peter Rodgers, Leishi Zhang, Andrew Fish

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

A Normal Form for Euler Diagrams with Shading.

Andrew Fish, Chris John, John Taylor

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Euler Diagram Decomposition.

Andrew Fish, Jean Flower

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Eulr: a novel resource tagging facility integrated with Flickr.

Rosario De Chiara, Andrew Fish, Salvatore Ruocco

Proceedings of the working conference on Advanced Visual Interfaces, 2008

2007

Automated Theorem Proving in Euler Diagram Systems.

Gem Stapleton, Judith Masthoff, Jean Flower, Andrew Fish, Jane Southern

J. Autom. Reason., 2007

Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface.

Andrew Fish, Alexander Knapp, Harald Störrle

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Visual qualities of the Unified Modeling Language: Deficiencies and Improvements.

Andrew Fish, Harald Störrle

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Layout of (Software) Engineering Diagrams.

Andrew Fish, Alexander Knapp

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Introduction.

Philip T. Cox, Andrew Fish, John Howse

Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, 2007

Visual Languages and Logic.

Philip T. Cox, Andrew Fish, John Howse

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

EulerView: a non-hierarchical visualization component.

Rosario De Chiara, Andrew Fish

Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Exploring Human Factors in Formal Diagram Usage.

Andrew Fish, Babak Khazaei, Chris Roast

Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2006

Exploring the Notion of 'Clutter' in Euler Diagrams.

Chris John, Andrew Fish, John Howse, John Taylor

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

Defining Euler Diagrams: Simple or What?.

Andrew Fish, Gem Stapleton

Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2005

The semantics of augmented constraint diagrams.

Andrew Fish, Jean Flower, John Howse

J. Vis. Lang. Comput., 2005

An Experimental Study into the Default Reading of Constraint Diagrams.

Andrew Fish, Judith Masthoff

Proceedings of the 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2005), 2005

A New Language for the Visualization of Logic and Reasoning.

Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor

Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005

2004

Abstractions of Euler Diagrams.

Andrew Fish, Jean Flower

Proceedings of the First International Workshop on Euler Diagrams, 2004

Investigating Reasoning with Constraint Diagrams.

Andrew Fish, Jean Flower

Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Towards a Default Reading for Constraint Diagrams.

Andrew Fish, John Howse

Proceedings of the Diagrammatic Representation and Inference, 2004

2003

A reading algorithm for constraint diagrams.

Andrew Fish, Jean Flower, John Howse

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

Computing Reading Trees for Constraint Diagrams.

Andrew Fish, John Howse

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003