Research Output per year

## Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

- 4 Similar Profiles

Diagram
Mathematics

Spiders
Mathematics

Semantics
Engineering & Materials Science

Syntactics
Engineering & Materials Science

Euler
Mathematics

Unified Modeling Language
Engineering & Materials Science

Expressiveness
Mathematics

Visual languages
Engineering & Materials Science

## Research Output 2001 2014

## A normal form for spider diagrams of order

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Dec 2014, In : Journal of Visual Languages and Computing. 25, 6, p. 935-944 10 p.Research output: Contribution to journal › Article › Research › peer-review

Spiders

Normal Form

Diagram

Reasoning

Logic

## 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 › Research › peer-review

Open Access

File

Redundancy

Syntactics

Semantics

Visualization

Conveying

## On the expressiveness of spider diagrams and commutative star-free regular languages

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 27 Feb 2013, In : Journal of Visual Languages and Computing. 24, 4, p. 273-288 16 p.Research output: Contribution to journal › Article › Research › peer-review

Spiders

Regular Languages

Expressiveness

Star

Diagram

## Fragments of spider diagrams of order and their relative expressiveness

Delaney, A., Stapleton, G., Taylor, J. & Thompson, S., 1 Jan 2010,*Proceedings of the 6th international conference on diagrammatic representation and inference.*Berlin Heidelberg, Vol. 6170. p. 69-83 15 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Conference proceeding with ISSN or ISBN › Conference contribution with ISSN or ISBN › Research › peer-review

Syntactics

Sugars

Redundancy

Semantics

## Discrete mathematics: Proofs, structures and applications (3rd Edition)

Garner, R. & Taylor, J., 9 Nov 2009, 821 p.Research output: Book/Report › Book - authored › Research

Discrete mathematics

Progression

Updating

Computer Science

Philosophy