Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 17.

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2014) A normal form for spider diagrams of order. Journal of Visual Languages and Computing, 25 (6). pp. 935-944. ISSN 1045-926X. (doi:https://doi.org/10.1016/j.jvlc.2014.10.029) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Thompson, Simon and Delaney, Aidan and Stapleton, Gem and Taylor, John (2014) A Normal Form for Spider Diagrams of Order. Journal of Visual Languages & Computing, . (Full text available)
[img]
Preview

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2013) On the expressiveness of spider diagrams and commutative star-free regular languages. Journal of Visual Languages and Computing, 24 (4). pp. 273-288. ISSN 1045-926X. (doi:https://doi.org/10.1016/j.jvlc.2013.02.001) (Full text available)
[img]
Preview

Stapleton, Gem and Howse, John and Thompson, Simon and Taylor, John and Chapman, Peter (2013) On the Completeness of Spider Diagrams Augmented with Constants. In: Moktefi, Amirouche and Shin, Sun-Joo, eds. Visual Reasoning with Diagrams. Studies in Universal Logic . Birkhauser, pp. 101-133. ISBN 978-3-0348-0599-5. E-ISBN 978-3-0348-0600-8. (doi:https://doi.org/10.1007/978-3-0348-0600-8_7) (Full text available)
[img]
Preview

Delaney, Aidan and Stapleton, Gem and Taylor, John and Thompson, Simon (2010) Fragments of Spider Diagrams of Order and their Relative Expressiveness. In: Goel, Ashok K. and Jamnik, Mateja and Narayanan, N. Hari, eds. Diagrammatic Representation and Inference 6th International Conference, Diagrams 2010. Lecture Notes in Computer Science, 6170. Springer pp. 182-196. (doi:https://doi.org/10.1007/978-3-642-14600-8) (Full text available)
[img]
Preview

Stapleton, Gem and Taylor, John and Thompson, Simon and Howse, John (2009) The expressiveness of spider diagrams augmented with constants. Journal of Visual Languages and Computing, 20 . pp. 30-49. (doi:https://doi.org/10.1016/j.jvlc.2008.01.005) (Full text available)
[img]
Preview

Delaney, Aidan and Taylor, John and Thompson, Simon (2008) Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages. In: Stapleton, Gem and Howse, John and Lee, John, eds. Diagrammatic Representation and Inference: 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Lecture Notes in Computer Science (5223). pp. 172-187. ISBN 978-3-540-87729-5. (doi:https://doi.org/10.1007/978-3-540-87730-1<sub>1</sub>8) (Full text available)
[img]
Preview

Stapleton, Gem and Rodgers, Peter and Howse, John and Taylor, John (2007) Properties of Euler Diagrams. In: Fish, Andrew and Knapp, A. and Storrle, H., eds. Proceedings of layout of (software) engineering diagrams. Electronic communications of the EASST, 7 (Volume). EASST ISBN 18632122. (Full text available)
[img]
Preview

Howse, John and Bosworth, Richard and Fish, Andrew and Stapleton, Gem and Taylor, John and Rodgers, Peter and Thompson, Simon (2006) Euler diagram-based notations. N/A. (Unpublished) (Full text available)
[img]
Preview

Stapleton, Gem and Thompson, Simon and Fish, Andrew and Howse, John and Taylor, John (2005) A New Language for the Visualization of Logic and reasoning. In: Cox, Philip and Smedley, Trevor, eds. Proceedings of the 2005 International Workshop on Visual Languages and Computing. pp. 287-292. ISBN 1-891706-17-9. (Full text available)
[img]
Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams. Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X. (doi:https://doi.org/10.1093/logcom/14.6.857) (Full text available)
[img]
Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) The Expressiveness of Spider Diagrams Augmented with Constants. In: 2004 IEEE Symposium on Visual Languages / Human Centered Computing 2004. IEEE pp. 90-98. ISBN 0-7803-8696-5. (doi:https://doi.org/10.1109/VLHCC.2004.57) (Full text available)
[img]
Preview

Stapleton, Gem and Howse, John and Taylor, John and Thompson, Simon (2004) What Can Spider Diagrams Say? In: Blackwell, Alan and Marriott, Kim and Shimojima, Atsushi, eds. Diagrammatic Representation and Inference. Lecture Notes in Computer Science, 2980. Springer pp. 179-186. ISBN 3-540-21268-X. (doi:https://doi.org/10.1007/978-3-540-25931-2_12) (Full text available)
[img]
Preview

Flower, Jean and Howse, John and Kent, Stuart and Taylor, John (2002) A Visual Framework for Modelling with Heterogeneous Notations. In: IEE Symposium on Human Centric Computing Languages and Environments. Technical Note HCC02. ISBN 0-7695-1644-0. (doi:https://doi.org/10.1109/HCC.2002.1046350) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart and Gil, Joseph (2001) Spider Diagrams: A Diagrammatic Reasoning System. Journal of Visual Languages and Computing, 12 (3). pp. 299-324. ISSN 1045-926X. (doi:https://doi.org/10.1006/jvlc.2000.0210) (Full text available)
[img]
Preview

Gill, Jas and Howse, John and Kent, Stuart and Taylor, John (2000) Projections in Venn-Euler Diagrams. In: Proc. IEEE Symposium on Visual Languages (VL2000). IEEE Computer Society Press, Seattle pp. 119-126. ISBN 0-7695-0840-5. (doi:https://doi.org/10.1109/VL.2000.874375) (Full text available)
[img]
Preview

Howse, John and Molina, Fernando and Taylor, John and Kent, Stuart (1999) Reasoning with Spider Diagrams. In: Proceedings of IEEE Symposium on Visual Languages (VL99). IEEE Computer Society Press pp. 138-145. (doi:https://doi.org/10.1109/VL.1999.795885) (Full text available)
[img]
Preview

This list was generated on Mon May 20 02:06:47 2019 BST.