Concepedia

Andrew Fish

AF

Statistics

Publications

20

Citations

497

H-Index

14

Active since

2004

Affiliations

University of Brighton(Current)

University of the Aegean

University of Salerno

Andrew Fish is an author at University of Brighton specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningDesignData ScienceData SecuritySoftware DesignInformation SecuritySecurity

Publications per year

2004–2018

20

Publications

20

The semantics of augmented constraint diagrams

Andrew Fish, Jean Flower, John Howse · Journal of Visual Languages & Computing · 2005 · 76 citations

Constraint Solving, Engineering, Diagrammatic Reasoning +6

Euler diagram generation

Jean Flower, Andrew Fish, John Howse · Journal of Visual Languages & Computing · 2008 · 54 citations

Diagrammatic Reasoning, Graph Theory, Geometry +6

Automated Theorem Proving in Euler Diagram Systems

Gem Stapleton, Judith Masthoff, Jean Flower et al. · Journal of Automated Reasoning · 2007 · 47 citations

Engineering, Automated Reasoning, Formal Methods +6

EulerView: a non-hierarchical visualization component

Rosario De Chiara, Andrew Fish · 2007 · 39 citations

Interactive Visualization, Cartography, Non-hierarchical Visualization Component +15

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

Orestis Mavropoulos, Haralambos Mouratidis, Andrew Fish et al. · Ad Hoc Networks · 2018 · 32 citations

Engineering, Information Security, Security Analysis +11

1–5 of 20