Author: Gem Stapleton
Publication Overview
Publication period start: 2010
Number of co-authors: 14
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
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