Author: Gem Stapleton

Publications

Co-authors

Peter Rodgers

3

Aidan Delaney

3

John Howse

7

Productive Colleagues

Judith Masthoff

18

Andrew Fish

23

John Howse

30

Publications

Burton, Jim, Stapleton, Gem, Hamie, Ali (2011): A decision procedure for a decidable fragment of generalized constraint diagrams. In J. Vis. Lang. Comput., 22 (1) pp. 90-105. https://dx.doi.org/10.1016/j.jvlc.2010.11.003

Stapleton, Gem, Taylor, John, Thompson, Simon J., Howse, John (2009): The expressiveness of spider diagrams augmented with constants. In J. Vis. Lang. Comput., 20 (1) pp. 30-49. https://dx.doi.org/10.1016/j.jvlc.2008.01.005

Stapleton, Gem, Delaney, Aidan (2008): Evaluating and generalizing constraint diagrams. In J. Vis. Lang. Comput., 19 (4) pp. 499-521. https://dx.doi.org/10.1016/j.jvlc.2008.04.003

Stapleton, Gem, Howse, John, Lee, John (eds.) Diagrams 2008 - Diagrammatic Representation and Inference - 5th International Conference September 19-21, 2008, Herrsching, Germany.

Fish, Andrew, Stapleton, Gem (2006): Defining Euler Diagrams: Simple or What?. In: Barker-Plummer, Dave, Cox, Richard, Swoboda, Nik (eds.) Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference June 28-30, 2006, Stanford, CA, USA. pp. 109-111. https://dx.doi.org/10.1007/11783183_14

Flower, Jean, Masthoff, Judith, Stapleton, Gem (2004): Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 166-181. https://link.springer.de/link/service/series/0558/bibs/2980/29800166.htm

Stapleton, Gem, Howse, John, Toller, Kate (2006): Generalizing Spiders. In: Barker-Plummer, Dave, Cox, Richard, Swoboda, Nik (eds.) Diagrams 2006 - Diagrammatic Representation and Inference - 4th International Conference June 28-30, 2006, Stanford, CA, USA. pp. 148-150. https://dx.doi.org/10.1007/11783183_19

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004): What Can Spider Diagrams Say?. In: Blackwell, Alan, Marriott, Kim, Shimojima, Atsushi (eds.) Diagrams 2004 - Diagrammatic Representation and Inference - Third International Conference March 22-24, 2004, Cambridge, UK. pp. 112-127. https://link.springer.de/link/service/series/0558/bibs/2980/29800112.htm

Rodgers, Peter, Zhang, Leishi, Stapleton, Gem, Fish, Andrew (2008): Embedding Wellformed Euler Diagrams. In: IV 2008 - 12th International Conference on Information Visualisation 8-11 July, 2008, London, UK. pp. 585-593. https://dx.doi.org/10.1109/IV.2008.57

Stapleton, Gem, Howse, John, Taylor, John, Thompson, Simon (2004): The Expressiveness of Spider Diagrams Augmented with Constants. In: VL-HCC 2004 - IEEE Symposium on Visual Languages and Human-Centric Computing 26-29 September, 2004, Rome, Italy. pp. 91-98. https://doi.ieeecomputersociety.org/10.1109/VLHCC.2004.57

Stapleton, Gem, Delaney, Aidan (2007): Towards Overcoming Deficiencies in Constraint Diagrams. In: VL-HCC 2007 - IEEE Symposium on Visual Languages and Human-Centric Computing 23-27 September, 2007, Coeur dAlene, Idaho, USA. pp. 33-40. https://doi.ieeecomputersociety.org/10.1109/VLHCC.2007.54

Delaney, Aidan, Stapleton, Gem (2007): Spider Diagrams of Order. In: Cox, Philip T., Fish, Andrew, Howse, John (eds.) VL-HCC 07 - Proceedings of the VLL 2007 workshop on Visual Languages and Logic - Part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing 23rd September, 2007, Coeur dAléne, Idaho, USA. pp. 27-39. https://ceur-ws.org/Vol-274/paper3.pdf

Howse, John, Rodgers, Peter, Stapleton, Gem (2009): Changing euler diagram properties by edge transformation of euler dual graphs. In: IEEE Symposium on Visual Languages and Human-Centric Computing - VL/HCC 2009 20-24 September, 2009, Corvallis, OR, USA. pp. 177-184. https://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295268

Rodgers, Peter, Stapleton, Gem, Howse, John, Zhang, Leishi (2010): Euler Graph Transformations for Euler Diagram Layout. In: Hundhausen, Christopher D., Pietriga, Emmanuel, Diaz, Paloma, Rosson, Mary Beth (eds.) IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010 21-25 September 2010, 2010, Leganés-Madrid, Spain. pp. 111-118. https://dx.doi.org/10.1109/VLHCC.2010.24