Items where Author is "Stapleton, G."

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 8.

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.

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.

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.

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, 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, G. (2004) Reasoning with constraint diagrams: summary of PhD thesis University of Brighton.

This list was generated on Sun Nov 23 09:56:52 2014 GMT.