Andrew Fish

Orcid: 0000-0003-3758-0128

According to our database1, Andrew Fish authored at least 92 papers between 2003 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2020
Enhancing secure business process design with security process patterns.
Softw. Syst. Model., 2020

2019
A Guideline-Based Approach for Assisting with the Reproducibility of Experiments in Recommender Systems Evaluation.
Int. J. Artif. Intell. Tools, 2019

Apparatus: A framework for security analysis in internet of things systems.
Ad Hoc Networks, 2019

2018
Risk-aware decision support with constrained goal models.
Inf. Comput. Secur., 2018

Towards Human Readability of Automated Unknottedness Proofs.
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.
Proceedings of the Diagrammatic Representation and Inference, 2018

2017
Online region computations for Euler diagrams with relaxed drawing conventions.
J. Vis. Lang. Comput., 2017

Resource-aware policies.
J. Vis. Lang. Comput., 2017

A conceptual model to support security analysis in the internet of things.
Comput. Sci. Inf. Syst., 2017

Attribute-Based Security Verification of Business Process Models.
Proceedings of the 19th IEEE Conference on Business Informatics, 2017

ASTo: A tool for security analysis of IoT systems.
Proceedings of the 15th IEEE International Conference on Software Engineering Research, 2017

Modeling Diffusion Directions of Corpus Callosum.
Proceedings of the Medical Image Understanding and Analysis - 21st Annual Conference, 2017

A Semi-Automatic Approach for Eliciting Cloud Security and Privacy Requirements.
Proceedings of the 50th Hawaii International Conference on System Sciences, 2017

Business Process Workflow Monitoring Using Distributed CBR with GPU Computing.
Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

Decision-Making in Security Requirements Engineering with Constrained Goal Models.
Proceedings of the Computer Security - ESORICS 2017 International Workshops, 2017

Supporting Secure Business Process Design via Security Process Patterns.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017

2016
Visual Exploration System in an Industrial Context.
IEEE Trans. Ind. Informatics, 2016

A toolkit for knot diagram sketching, encoding and re-generation.
J. Vis. Lang. Sentient Syst., 2016

Type Annotation for Adaptive Systems.
Proceedings of the Proceedings Second Graphs as Models Workshop, 2016

An Investigation on Online Versus Batch Learning in Predicting User Behaviour.
Proceedings of the Research and Development in Intelligent Systems XXXIII, 2016

Incorporating privacy patterns into semi-automatic business process derivation.
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.
Proceedings of the 20th Conference on Medical Image Understanding and Analysis, 2016

Filter large-scale engine data using apache spark.
Proceedings of the 14th IEEE International Conference on Industrial Informatics, 2016

Efficient Knot Discrimination via Quandle Coloring with SAT and #-SAT.
Proceedings of the Mathematical Software - ICMS 2016, 2016

Evaluating Distributed Methods for CBR Systems for Monitoring Business Process Workflows.
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.
Proceedings of the 4th International Conference on Enterprise Systems, 2016

Apparatus: Reasoning About Security Requirements in the Internet of Things.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

2015
Spider Graphs: a graph transformation system for spider diagrams.
Softw. Syst. Model., 2015

Visual and textual dataset exploration.
Proceedings of the 2015 IEEE Symposium on Visual Languages and Human-Centric Computing, 2015

Simulation repository visualisation and exploration.
Proceedings of the 13th IEEE International Conference on Industrial Informatics, 2015

Eliciting Security Requirements for Business Processes of Legacy Systems.
Proceedings of the Practice of Enterprise Modeling, 2015

Prediction of Users' Response Time in Q&A Communities.
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Towards the Derivation of Secure Business Process Designs.
Proceedings of the Advances in Conceptual Modeling, 2015

A Combinatorial Approach to Knot Recognition.
Proceedings of the Embracing Global Computing in Emerging Economies - First Workshop, 2015

2014
Equivalences in Euler-based diagram systems through normal forms.
LMS J. Comput. Math., 2014

Enabling the visualization for reasoning about temporal data.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Annotating spiders with resource information.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2014

Detecting Unknots via Equational Reasoning, I: Exploration.
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014

Coloured Modelling Spider Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2014

2013
Special Issue on Graph Transformation and Visual Modeling Techniques: Guest Editors' introduction.
J. Vis. Lang. Comput., 2013

Extending Spider Diagrams for policy definition.
J. Vis. Lang. Comput., 2013

Curve-based diagram specification and construction.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Policy enforcement and verification with Timed Modeling Spider Diagrams.
Proceedings of the 2013 IEEE Symposium on Visual Languages and Human Centric Computing, 2013

Euler diagram codes: interpretation and generation.
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.
Proceedings of the Model-Driven Engineering Languages and Systems, 2013

2012
Proceedings of the 11th International Workshop on Graph Transformation and Visual Modeling Techniques.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012

FunEuler: an Euler Diagram based Interface Enhanced with Region-based Functionalities.
Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

The Online Abstraction Problem for Euler Diagrams.
Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

Euler Diagram Encodings.
Proceedings of the Diagrammatic Representation and Inference, 2012

2011
User-comprehension of Euler diagrams.
J. Vis. Lang. Comput., 2011

Special Issue on Visual Languages and Logic: Guest editors' introduction.
J. Vis. Lang. Comput., 2011

Incremental update of constraint-compliant policy rules.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

A visual language for temporal specifications based on Spider diagrams.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Efficient on-line algorithms for Euler diagram region computation.
Comput. Geom., 2011

Policy specifications with Timed Spider Diagrams.
Proceedings of the 2011 IEEE Symposium on Visual Languages and Human-Centric Computing, 2011

Personalised Resource Categorisation Using Euler Diagrams.
Proceedings of the End-User Development - Third International Symposium, 2011

2010
Visual Specification Patterns.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Preserving constraints in horizontal model transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Coloured Euler Diagrams: A Tool for Visualizing Dynamic Systems and Structured Information.
Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009
Euler Diagram Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Interactive visual classification with Euler diagrams.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2009

2008
Euler diagram generation.
J. Vis. Lang. Comput., 2008

Preface of the Proceedings of the Second International Workshop on Layout of (Software) Engineering Diagrams (LED 2008).
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Second international workshop on Layout of (Software) Engineering diagrams (LED'08).
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

EulerView: article organisation within the ACM classification.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2008

Embedding Wellformed Euler Diagrams.
Proceedings of the 12th International Conference on Information Visualisation, 2008

eul.icio.us: Euler Diagrams for del.icio.us.
Proceedings of the 12th International Conference on Information Visualisation, 2008

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

Eulerview with Projections: Non Hierarchical Visualisation.
Proceedings of the Eurographics Italian Chapter Conference 2008, Salerno, Italy, 2008, 2008

Abstract Euler Diagram Isomorphism.
Proceedings of the 14th International Conference on Distributed Multimedia Systems, 2008

General Euler Diagram Generation.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

A Normal Form for Euler Diagrams with Shading.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Euler Diagram Decomposition.
Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

Eulr: a novel resource tagging facility integrated with Flickr.
Proceedings of the working conference on Advanced Visual Interfaces, 2008

2007
Automated Theorem Proving in Euler Diagram Systems.
J. Autom. Reason., 2007

Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007) - Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Visual qualities of the Unified Modeling Language: Deficiencies and Improvements.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

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

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

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

EulerView: a non-hierarchical visualization component.
Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2007), 2007

Exploring Human Factors in Formal Diagram Usage.
Proceedings of the Engineering Interactive Systems - EIS 2007 Joint Working Conferences, 2007

2006
Exploring the Notion of 'Clutter' in Euler Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

Defining Euler Diagrams: Simple or What?.
Proceedings of the Diagrammatic Representation and Inference, 4th International Conference, 2006

2005
The semantics of augmented constraint diagrams.
J. Vis. Lang. Comput., 2005

An Experimental Study into the Default Reading of Constraint Diagrams.
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.
Proceedings of the 11th International Conference on Distributed Multimedia Systems, 2005

2004
Abstractions of Euler Diagrams.
Proceedings of the First International Workshop on Euler Diagrams, 2004

Investigating Reasoning with Constraint Diagrams.
Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Towards a Default Reading for Constraint Diagrams.
Proceedings of the Diagrammatic Representation and Inference, 2004

2003
A reading algorithm for constraint diagrams.
Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

Computing Reading Trees for Constraint Diagrams.
Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2003


  Loading...