If you made any changes in Pure these will be visible here soon.

Research Output

Filter
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-23

Research output: Contribution to journalArticle

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 journalArticle

Open Access
File

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 journalArticle

Open Access
File
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 journalArticle

Open Access
File
2016

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 journalArticle

Open Access
File

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 journalArticle

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. p. 1-20 20 p.

Research output: Contribution to journalArticle

Open Access
File

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 journalArticle

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 journalArticle

Open Access
File
2015

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 journalArticle

Open Access
File
2014

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 journalArticle

Open Access
File
2013

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 journalArticle

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 journalArticle

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 journalArticle

Special Issue on Visual Languages and Logic: guest editors' introduction

Cox, P., Fish, A. & Howse, J., 28 Feb 2011, In : Journal of Visual Languages and Computing. 22, 1, p. 1-2 2 p.

Research output: Contribution to journalArticle

User-comprehension of Euler diagrams

Fish, A., Khazaei, B. & Roast, C., 1 Oct 2011, In : Journal of Visual Languages and Computing. 22, 5, p. 340-354 15 p.

Research output: Contribution to journalArticle

2010

Euler diagram transformations

Fish, A., 2010, In : Electronic Communications of the EASST. 18, p. 1-17 17 p.

Research output: Contribution to journalArticle

Open Access
File

Incremental update of constraint-compliant policy rules

Bottoni, P., Fish, A. & Parisi-Presicce, F., 2010, In : Electronic Communications of the EASST. 39, p. 1-18 18 p.

Research output: Contribution to journalArticle

Open Access
File

Preserving constraints in horizontal model transformations

Bottoni, P., Fish, A. & Parisi-Presicce, F., 2010, In : Electronic Communications of the EASST. 29, p. 1-14 14 p.

Research output: Contribution to journalArticle

Open Access
File
2008

Euler diagram generation

Flower, J., Fish, A. & Howse, J., 1 Dec 2008, In : Journal of Visual Languages and Computing. 19, 6, p. 675-694 20 p.

Research output: Contribution to journalArticle

2007

Automated theorem proving in Euler diagram systems

Stapleton, G., Masthoff, J., Flower, J., Fish, A. & Southern, J., 1 Jun 2007, In : Journal of Automated Reasoning. 39, 4, p. 431-470 40 p.

Research output: Contribution to journalArticle

2006

Jones polynomial invariants

Fish, A. & Keyman, E., 1 Mar 2006, In : Journal of Knot Theory and Its Ramifications. 15, 3, p. 339-350 12 p.

Research output: Contribution to journalArticle

2005

Abstractions of Euler diagrams

Fish, A. & Flower, J., 1 Jan 2005, In : Electronic Notes in Theoretical Computer Science. 134, p. 77-101 25 p.

Research output: Contribution to journalArticle

Investigating reasoning with constraint diagrams

Fish, A. & Flower, J., 1 Jan 2005, In : Electronic Notes in Theoretical Computer Science. 127, 4, p. 53-69 17 p.

Research output: Contribution to journalArticle

The semantics of augmented constraint diagrams

Fish, A., Flower, J. & Howse, J., 1 Dec 2005, In : Journal of Visual Languages and Computing. 16, 6, p. 541-573 33 p.

Research output: Contribution to journalArticle