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

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

  • 11 Conference contribution with ISSN or ISBN
  • 10 Article
  • 1 Book - authored
  • 1 Chapter

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 journalArticleResearchpeer-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 journalArticleResearchpeer-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 journalArticleResearchpeer-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 ISBNConference contribution with ISSN or ISBNResearchpeer-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/ReportBook - authoredResearch

Discrete mathematics
Progression
Updating
Computer Science
Philosophy