Browse by Combined Author & Editor

Up a level
Export as [feed] RSS
Number of items: 70.

Rodgers, Peter, STAPLETON, GEM, Flower, Jean and HOWSE, JOHN (2014) Drawing area-proportional Euler diagrams representing up to three sets IEEE Transactions on Visualization and Computer Graphics, 20 (1). pp. 56-69. ISSN 1077-2626

CHAPMAN, PETER, STAPLETON, GEM and DELANEY, AIDAN (2013) On the expressiveness of second-order spider diagrams Journal of Visual Languages and Computing, 24 (5). pp. 327-349. ISSN 1045-926X

Flower, Jean, STAPLETON, GEM and Rodgers, Peter (2013) On the drawability of 3D Venn and Euler diagrams Journal of Visual Languages and Computing. ISSN 1045-926X

DELANEY, AIDAN, STAPLETON, GEM, 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

BURTON, JAMES, STAPLETON, GEM and HOWSE, JOHN (2013) Generalized constraint diagrams and the classical decision problem Journal of Logic and Computation, 23 (1). ISSN 0955-792X

NICHOLSON, JONATHAN, DELANEY, AIDAN and STAPLETON, GEM (2012) Linking codecharts with programs In: Proceedings of the 2012 IEEE Symposium on Visual Languages and Human-Centric Computing, Innsbruck, Austria, 30 September - 4 October, 2012.

BURTON, JAMES, STAPLETON, GEM and HOWSE, JOHN (2012) Completeness proof strategies for Euler diagram logics In: Euler Diagrams 2012: Proceedings of the 3rd International Workshop on Euler Diagrams, Canterbury, UK, 2 July, 2012.

STAPLETON, GEM, Flower, Jean, Rodgers, Peter and HOWSE, JOHN (2012) Automatically drawing Euler diagrams with circles Journal of Visual Languages and Computing, 23 (3). ISSN 1045-926X

Wang, Mengdi, Plimmer, Beryl, Schmeider, Paul, STAPLETON, GEM, Rodgers, Peter and DELANEY, AIDAN (2011) SketchSet: creating Euler diagrams using pen or mouse In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

STAPLETON, GEM, Rodgers, Peter and HOWSE, JOHN (2011) A general method for drawing area-proportional Euler diagrams Journal of Visual Languages and Computing, 22 (6). pp. 426-442. ISSN 1045-926X

STAPLETON, GEM, Zhang, Leishi, HOWSE, JOHN and Rodgers, Peter (2011) Drawing Euler diagrams with circles: the theory of piercings IEEE Transactions on Visualization and Computer Graphics, 17 (7). pp. 1020-1032. ISSN 1077-2626

BURTON, JAMES, STAPLETON, GEM and HAMIE, ALI (2011) A decision procedure for a decidable fragment of generalized constraint diagrams Journal of Visual Languages and Computing, 22 (1). ISSN 1045-926X

CHAPMAN, PETER, STAPLETON, GEM, HOWSE, JOHN and Oliver, Ian (2011) Deriving sound inference rules for concept diagrams In: Proceedings of the IEEE symposium on visual languages and human-centric computing 2011, 18-22 September 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

STAPLETON, GEM and Rodgers, Peter (2011) Drawing Euler diagrams with circles and ellipses In: IEEE Symposium on Visual Languages and Human-Centric Computing 2011, Pittsburgh, PA, USA, 18-22 September, 2011.

STAPLETON, GEM, Rodgers, Peter, HOWSE, JOHN and Zhang, Leishi (2011) Inductively generating Euler diagrams IEEE Transactions on Visualization and Computer Graphics, 17 (1). pp. 88-100. ISSN 1077-2626

HOWSE, JOHN, STAPLETON, GEM, Taylor, Kerry and CHAPMAN, PETER (2011) Visualizing ontologies: a case study In: Proceedings of the 10th International Semantic Web Conference, Part I, Bonn, Germany, October 23-27, 2011.

Stapleton, G., Delaney, A., Rodgers, P. and Plimmer, B. (2011) Recognising sketches of Euler diagrams augmented with graphs In: Visual Languages and Computing, September 2011, Florence, Italy.

Rodgers, Peter, STAPLETON, GEM, HOWSE, JOHN and Zhang, Leishi (2010) Euler graph transformations for Euler diagram layout In: Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, Leganes, Madrid, Spain, 21-25 September, 2010.

HOWSE, JOHN, STAPLETON, GEM and Oliver, Ian (2010) Visual reasoning about ontologies In: Proceedings of the 9th International Semantic Web Conference (ISWC2010), 7-11 November 2010, Shanghai, China, 7-11 November, 2010.

DELANEY, AIDAN, Plimmer, Beryl, STAPLETON, GEM and Rodgers, Peter (2010) Recognizing sketches of Euler diagrams drawn with ellipses In: Proceedings of the 16th international conference on distributed multimedia systems, Illinois, USA, 14-16 October, 2010.

STAPLETON, GEM, Zhang, Leishi, HOWSE, JOHN and Rodgers, Peter (2010) Drawing Euler diagrams with circles In: Proceedings of the 6th International Conference, Diagrams 2010, Portland, Oregon, USA, 9-11 August, 2010.

Rodgers, Peter, Flower, Jean, STAPLETON, GEM and HOWSE, JOHN (2010) Drawing area-proportional Venn-3 diagrams with convex polygons In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, Oregon, USA, 9-11 August, 2010.

CHAPMAN, PETER and STAPLETON, GEM (2010) Creating a second order diagrammatic logic In: 6th International Conference on the Theory and Application of Diagrams, 9-11 August 2010, Portland, OR, USA.

HOWSE, JOHN, Rodgers, Peter and STAPLETON, GEM (2010) Drawing Euler diagrams for information visualization In: Proceedings of the 6th International Conference on the Theory and Application of Diagrams, Portland, OR, USA, 9-11 August, 2010.

DELANEY, AIDAN, STAPLETON, GEM, TAYLOR, JOHN and Thompson, Simon (2010) Fragments of spider diagrams of order and their relative expressiveness In: Proceedings of the 6th international conference on diagrammatic representation and inference, Portland, OR, USA, 9-11 August, 2010.

CHAPMAN, PETER and STAPLETON, GEM (2010) Introducing second order spider diagrams for defining regular languages In: 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 21 - 25 Sep 2010, Universidad Carlos III de Madrid.

HOWSE, JOHN, Rodgers, Peter and STAPLETON, GEM (2010) Levels of syntax for Euler diagram logics In: Handbook of the World Congress and Summer School on Universal Logic, Monte Estoril, Lisbon, Portugal, 18-25 April, 2010.

STAPLETON, GEM, HOWSE, JOHN and Rodgers, Peter (2010) A graph theoretic approach to general euler diagram drawing Theoretical Computer Science, 411 (1). pp. 91-112. ISSN 0304-3975

Stapleton, G. and Chapman, P. G (2010) On the relative expressiveness of second-order spider diagrams and regular expressions In: 16th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 14-16 October 2010, Hyatt Lodge at McDonald's Campus, Oak Brook, Illinois, USA.

BURTON, JAMES, STAPLETON, GEM and HAMIE, ALI (2009) Transforming constraint diagrams In: Proceedings of the VLL 2009 workshop on visual languages and logic as part of the 2009 IEEE symposium on visual languages and human centric computing VL/HCC 09, Corvallis, Oregon, USA, 20 September, 2009.

HOWSE, JOHN, Rodgers, Peter and 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), Corvallis, Oregon, USA, 20-24 September, 2009.

Howse, J., Rodgers, P. and Stapleton, G. (2009) Automated diagram drawing In: IEEE Symposium on Visual Languages and Human-Centric Computing 2009, 20-24 September, 2009, Corvallis, Oregon, USA.

Rodgers, Peter, Flower, Jean, STAPLETON, GEM and HOWSE, JOHN (2009) Some results for drawing area-proportional Venn3 with convex curves In: Proceedings of the 13th International Conference on Information Visualisation, IV 2009, Barcelona, Spain, 15-17 July, 2009.

STAPLETON, GEM, TAYLOR, JOHN, Thompson, Simon and HOWSE, JOHN (2009) The expressiveness of spider diagrams augmented with constants Journal of Visual Languages and Computing, 20 (1). pp. 91-98. ISSN 1045-926X

HOWSE, JOHN, Schuman, Steve, STAPLETON, GEM and Oliver, Ian (2009) Diagrammatic formal specification of a configuration control platform In: Proceedings of the 14th BCS-FACS Refinement Workshop (REFINE 2009), Eindhoven, The Netherlands, 3 November, 2009.

Oliver, Ian, HOWSE, JOHN, STAPLETON, GEM, Nuutila, Esko and Torma, Seppo (2009) Visualizing and specifying ontologies using diagrammatic logics In: Proceedings of the 5th Australasian Ontology Workshop, Melbourne, Australia, 1 December, 2009.

Stapleton, G., Jamnik, M. and Masthoff, J. (2009) On the readability of diagrammatic proofs In: Automated Reasoning Workshop, 21-22 April 2009, Liverpool, UK.

Oliver, I., Howse, J., Stapleton, G., Nuutlia, E and Torma, S (2009) A proposed diagrammatic logic for ontology specification and visualization In: International Semantic Web Conference, 25-29 October 2009, Chantilly, VA, USA.

STAPLETON, GEM (2008) Spider diagrams augmented with constants: a complete system In: Proceedings of the 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, 4-6 September, 2008, Boston, USA, 4-6 September, 2008.

STAPLETON, GEM, FISH, ANDREW and Rodgers, Peter (2008) Abstract Euler diagram isomorphism In: Proceedings of the 14th International Conference on Distributed Multimedia Systems, Boston, Massachusetts, USA, 4-6 September, 2008.

STAPLETON, GEM and DELANEY, AIDAN (2008) Evaluating and generalizing constraint diagrams Journal of Visual Languages and Computing, 19 (4). pp. 499-521. ISSN 1045-926X

HOWSE, JOHN and STAPLETON, GEM (2008) Visual mathematics: Diagrammatic formalization and proof In: Proceedings of the 7th international MKM conference on Intelligent Computer Mathematics, Birmingham, UK, 28 July - 1 August, 2008.

Rodgers, Peter, Zhang, Leishi, STAPLETON, GEM and FISH, ANDREW (2008) Embedding wellformed Euler diagrams In: Proceedings of the 12th International Conference on Information Visualisation, London, UK, 9-11 July, 2008.

STAPLETON, GEM, HOWSE, JOHN, Rodgers, Peter and Zhang, Leishi (2008) Generating Euler diagrams from existing layouts In: Proceedings of the Second International Workshop on Layout of (Software) Engineering Diagrams (LED 2008), Herrsching am Ammersee, Germany, 15-19 September, 2008.

STAPLETON, GEM, Masthoff, Judith, Flower, Jean, FISH, ANDREW and Southern, Jane (2007) Automated theorem proving in Euler diagram systems Journal of Automated Reasoning, 39 (4). pp. 431-470. ISSN 0168-7433

STAPLETON, GEM (2007) Euler diagram reasoning University of Brighton, University of Brighton, Brighton, UK.

STAPLETON, GEM (2007) How to use Edith: the Euler diagram theorem prover University of Brighton, University of Brighton, Brighton, UK.

STAPLETON, GEM and Masthoff, Judith (2007) Incoporating negation into visual logics: a case study using Euler diagrams In: Proceedings of the 13th International Conference on Distributed Multimedia Systems, DMS 2007, San Francisco Bay, USA, 6-8 September, 2007.

DELANEY, AIDAN and STAPLETON, GEM (2007) On the descriptional complexity of a diagrammatic notation In: Proceedings of the 13th international conference on Distributed Multimedia Systems, 6-8 Sep 2007, San Francisco, USA, 6-8 September, 2007.

STAPLETON, GEM, Rodgers, Peter, HOWSE, JOHN and TAYLOR, JOHN (2007) Properties of Euler diagrams In: Proceedings of the Workshop on the Layout of (Software) Engineering Diagrams (LED 2007), Coeur d'Alene, Idaho, USA, 27 September, 2007.

DELANEY, AIDAN and STAPLETON, GEM (2007) Spider diagrams of order In: Proceedings of the VLL 2007 workshop on Visual Languages and Logic, Coeur d'Aléne, Idaho, USA, 23 September 2007.

STAPLETON, GEM and DELANEY, AIDAN (2007) Towards overcoming deficiencies in constraint diagrams In: Proceedings of the 2007 IEEE Symposium on Visual Languages and Human-Centric Computing, Coeur d'Alène, Idaho, USA, 23-27 September, 2007.

STAPLETON, GEM and HOWSE, JOHN (2006) Enhancing the expressiveness of spider diagram systems In: Proceedings of the 12th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, Grand Canyon, USA, 30 August - 1 September, 2006.

FISH, ANDREW and STAPLETON, GEM (2006) Formal issues in languages based on closed curves In: Proceedings of the 2006 International Workshop on Visual Languages and Computing, Grand Canyon, USA, August 30-September 1, 2006.

FISH, ANDREW and STAPLETON, GEM (2006) Defining Euler diagrams: simple or what? In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

STAPLETON, GEM, HOWSE, JOHN and Toller, Kate (2006) Generalizing spiders In: Proceedings of the 4th International Conference, Diagrams 2006, Stanford, CA, USA, 28-30 June, 2006.

Stapleton, G., Masthoff, J., Flower, J., Fish, A. and Southern, J. (2006) Appendices for automated theorem proving in Euler diagram systems University of Brighton, Brighton, UK. (Unpublished)

Howse, J., Bosworth, R., Fish, A., Stapleton, G., Taylor, J., Rodgers, P. and Thompson, S. (2006) Euler diagram-based notations University of Brighton, Brighton, UK. (Unpublished)

STAPLETON, GEM, HOWSE, JOHN and TAYLOR, JOHN (2005) A decidable constraint diagram reasoning system Journal of Logic and Computation, 15 (6). pp. 975-1008. ISSN 0955-792X

STAPLETON, GEM (2005) A survey of reasoning systems based on Euler diagrams Electronic Notes in Theoretical Computer Science, 134. pp. 127-151. ISSN 1571-0661

HOWSE, JOHN, STAPLETON, GEM and TAYLOR, JOHN (2005) Spider diagrams LMS Journal of Computation and Mathematics, 8. pp. 145-194. ISSN 1461-1570

STAPLETON, GEM, Thompson, Simon, FISH, ANDREW, HOWSE, JOHN and TAYLOR, JOHN (2005) A new language for the visualisation of logic and reasoning In: Proceedings of the 2005 International Workshop on Visual Languages and Computing, Banff, Alberta, Canada, 5-7 September, 2005.

STAPLETON, GEM, HOWSE, JOHN, TAYLOR, JOHN and Thompson, Simon (2004) The expressiveness of spider diagrams Journal of Logic and Computation, 14 (6). pp. 857-880. ISSN 0955-792X

Flower, Jean and STAPLETON, GEM (2004) Automated theorem proving with spider diagrams Electronic Notes in Theoretical Computer Science, 91. pp. 246-263. ISSN 1571-0661

Flower, Jean, Masthoff, Judith and STAPLETON, GEM (2004) Generating proofs with spider diagrams using heuristics In: 10th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing, Oak Brook, Illinois, USA.

Flower, Jean, Masthoff, Judith and STAPLETON, GEM (2004) Generating readable proofs: a heuristic approach to theorum proving with spider diagrams In: Proceedings of the Third International Conference, Diagrams 2004, Cambridge, UK, March 22-24, 2004.

STAPLETON, GEM, HOWSE, JOHN, TAYLOR, JOHN and Thompson, Simon (2004) What can spider diagrams say? In: Proceedings of the 3rd International Conference, Diagrams 2004, Cambridge, UK, 22-24 March, 2004.

Stapleton, G. (2004) Reasoning with constraint diagrams: summary of PhD thesis University of Brighton.

STAPLETON, GEM, HOWSE, JOHN and TAYLOR, JOHN (2003) A constraint diagram reasoning system In: Proceedings of the International Conference on Visual Languages and Computing, DMS 2003, Florida International University, Miami, Florida, USA, 24-26 September, 2003.

HOWSE, JOHN, STAPLETON, GEM, Flower, Jean and TAYLOR, JOHN (2002) Corresponding regions in Euler diagrams In: Diagrammatic Representation and Inference, Second International Conference, Diagrams 2002, Callaway Gardens, GA, USA, April 18-20, 2002.

This list was generated on Tue Jul 29 00:43:12 2014 BST.