Documents

Documents

Case for Support

Publications

2011

G. Stapleton, L. Zhang, J. Howse, P. Rodgers. Drawing Euler Diagrams with Circles: The Theory of Piercings, accepted for IEEE Transactions on Visualization and Computer Graphics, to appear 2011.

G. Stapleton, P. Rodgers, J. Howse and L. Zhang, Inductively Generating Euler Diagrams, IEEE Transactions on Visualization and Computer Graphics 16(1):88-100, January 2011.

2010

Aidan Delaney, Beryl Plimmer, Gem Stapleton, and Peter Rodgers, Recognizing Sketches of Euler Diagrams Drawn with Ellipses, volume 16 of International Conference on Distributed Multimedia Systems, pages 305-310, October 2010.

G. Stapleton, L. Zhang, J. Howse, P. Rodgers, Drawing Euler Diagrams with Circles. Diagrams 2010, LNCS (LNAI) 6170, pages 23-38. Springer, August 2010

Paolo Bottoni, Andrew Fish, Coloured Euler diagrams: a tool for visualizing dynamic systems and structured information, Diagrams 2010, LNCS (LNAI) 6170, pages 39-53. Springer, August 2010

P. Rodgers, J. Flower, G. Stapleton, J. Howse, Drawing Drawing Area-Proportional Euler Diagrams with Convex Polygons , Diagrams 2010, LNCS (LNAI) 6170, pages 54-68. Springer, August 2010

A. Delaney, G. Stapleton, J. Taylor, S. Thompson, Fragments of Spider Diagrams of Order and their Relative Expressivness, Diagrams 2010, LNCS (LNAI) 6170, pages 69-83. Springer, August 2010

Peter Chapman, Gem Stapleton, Creating a Second Order Diagrammatic Logic, Diagrams 2010, LNCS (LNAI) 6170, pages 298-300. Springer, August 2010

J. Howse, P. Rodgers, G. Stapleton, Drawing Euler Diagrams for Information Visualization, Tutorial at Diagrams 2010

Paolo Bottoni, Andrew Fish, Francesco Parisi-Presicce, Preserving constraints in horizontal model transformations, GTVMT 2010

2009

G. Stapleton, J. Howse, P. Rodgers, A Graph Theoretic Approach to General Euler Diagram Drawing, Theoretical Computer Science

I. Oliver, J. Howse, G. Stapleton, Esko Nuutila, Seppo Torma, A Proposed Diagrammatic Logic for Ontology Specification and Visualization, 8th International Semantic Web Conference (Posters and Demos)

J. Burton, G. Stapleton, A. Hamie, Transforming Constraint Diagrams, Visual Languages and Logic

J. Howse, P. Rodgers, G. Stapleton, Changing Euler Diagram Properties by Edge Transformation of Euler Dual Graph, IEEE Symposium on Visual Languages and Human-Centric Computing

J. Howse, P. Rodgers, and G. Stapleton, Automated Diagram Drawing . Tutorial for IEEE Symposium on Visual Languages and Human-Centric Computing, Oregon, USA, IEEE, September, 2009.

P. Rodgers, J. Flower, G. Stapleton, and J. Howse, Some Results for Drawing Area Proportional Venn3 with Convex Curves, Information Visualization

G. Stapleton, M. Jamnik, and J. Masthoff, On the Readability of Diagrammatic Proofs, Proceedings of Automated Reasoning Workshop

G. Stapleton, J. Taylor, S. Thompson and J. Howse, The Expressiveness of Spider Diagrams Augmented with Constants, Journal of Visual Languages and Computing

Gennaro Cordasco, Rosario De Chiara and Andrew Fish, Interactive Visual Classification with Euler diagrams, Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing 2009

Andrew Fish, Euler diagram transformations, Proceedings of Graph Transformations and Visual Modeling Techniques workshop

J. Howse, G. Stapleton, Diagrammatic Reasoning, Tutorial, Nokia

J. Howse, G. Stapleton, Diagrammatic Reasoning, Tutoria, Helsinki University of Technology

L. Micallef and P. Rodgers, Poster: Force-Directed Layout for Euler Diagrams

2008

Stapleton, G., Delaney A., Evaluating and Generalizing Constraint Diagrams, accepted for Journal of Visual Languages and Computing, Special Issue containing Best Papers from VLHCC 2007, 9(4):499-521, 2008.

Jean Flower, Andrew Fish and John Howse. Euler Diagram Generation. Journal of Visual Languages and Computing, volume 19, issue 6, pages 675-694, Elsevier, 2008. DOI: 10.1016/j.jvlc.2008.01.004.

Howse J., Stapleton G., Visual Mathematics: Diagrammatic Formalization and Proof, in proceedings of International Conference on Mathematical Knowledge Management, Birmingham, UK, Springer, July, 2008.

Stapleton G., Fish A., Rodgers P., Abstract Euler Diagram Isomorphism, in Proceedings of 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, pages 310-317, Boston, USA, Knowledge Systems Institute, 2008.

Stapleton G., Spider Diagrams Augmented with Constants: A Complete System, in Proceedings of 14th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, pages 292-299, Boston, USA, Knowledge Systems Institute, 2008.

Rodgers, P., Zhang, L., Stapleton, G., Fish, A., Embedding Wellformed Euler Diagrams, in proceedings of Information Visualisation 2008 , IEEE Computer Society Press, pages 585-593, London, UK, 2008.

Stapleton G., Howse J., Lee J. (eds), Proceedings of International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008.

Rodgers, P., Zhang L., Fish A., General Euler Diagram Generation, In Proceeding Diagrams 2008, LNCS (LNAI) 5223, pages 13-27. Springer, September 2008.

Andrew Fish and Jean Flower. Euler Diagram Decomposition. In Proceedings of the 5th International conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, pages 28-44, Springer, 2008.

Andrew Fish, Chris John and John Taylor. A Normal Form for Euler Diagrams with Shading. In Proceedings of the 5th International conference on Diagrams 2008, Lecture Notes in Artificial Intelligence 5223, pages 206-221, Springer, 2008.

Howse J., Diagrammatic Reasoning Systems, in proceedings of International Conference on Conceptual Structures, Springer, LNCS 5113,pages 1-20, 2008.

Dau F., Fish A., Conceptual Spider Diagrams, in proceedings of International Conference on Conceptual Structures, Springer, LNCS 5113, pages 104-118, 2008.

Stapleton G., Howse J., Rodgers P., Zhang L., Generating Euler Diagrams from Existing Layouts, In Proceedings of Layout of (Software) Engineering Diagrams, volume 13. Electronic Communications of the EASST, pages 16-31,September 2008.

Rosario De Chiara and Andrew Fish. EulerView: article organisation within the ACM. In Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing 2008, pages 93-100, IEEE Press, 2008.

De Chiara R., Fish A., Eulicious: Euler diagrams for delicious, in proceedings of Information Visualisation 2008, IEEE Computer Society Press, pages 632-637, London, UK, 2008.

De Chiara R., Fish A., EulerView with projections: non hierarchical visualisation, accepted for Eurographics Italian Chapter conference, 2008.

De Chiara R., Fish A., Ruocco S., Eulr: a Novel Resource Tagging Facility Integrated with Flickr, in proceedings of Advanced Visual Interfaces 2008 conference, pages 326-330, ACM press.

Andrew Fish and Harald Störrle. Proceedings of Layout of Software Engineering Diagrams 2008, Germany, September 2008. Volume 13 of the ECEASST journal.

Andrew Fish, Babak Khazaei and Chris Roast. Exploring human factors in formal diagram usage. In Proceedings of Engineering Interactive Systems conference 2007, pages 432-448, LNCS 4940, 2008.

2007

Fish A., Störrle H., Visual qualities of the Unified Modeling Language: Deficiencies and Improvements , in proceedings of VLHCC2007, Visual Languages and Human-Centric Computing, pages 41-49, Sept. 2007.

De Chiara R., Fish A., EulerView: a non-hierarchical visualization component , in proceedings of VLHCC2007, Visual Languages and Human-Centric Computing, pages 145 - 152, Sept. 2007.

Stapleton G., Delaney A., Towards Overcoming Deficiencies in Constraint Diagrams, in proceedings of VLHCC2007, Visual Languages and Human-Centric Computing, pages 33-40, Sept. 2007.

Stapleton G., Masthoff J., Incorporating Negation into Visual Logics: A Case Study Using Euler Diagrams, in Proceedings of 13th International Conference on Distributed Multimedia Systems, Visual Languages and Computing, San Francisco, USA, pages 187-194, Knowledge Systems Institute, 2007.

Delaney A., Stapleton G., On the Descriptional Complexity of a Diagrammatic Notation, in proceedings of VLC07, Visual Languages and Computing, San Francisco, USA, pages 195-202, September 2007.

Stapleton G., Masthoff J., Flower J., Fish A., Southern J., Automated Theorem Proving in Euler Diagram Systems, Journal of Automated Reasoning, volume 39 , issue 4, pages 431-470, 2007.

Benoy F., Rodgers P., Evaluating the Comprehension of Euler Diagrams, in proceedings of 11th International Conference on Information Visualization (IV 2007), pages 771-778. IEEE Computer Society, IEEE, July 2007.

Fish A., Knapp A., Stoerrle H. (eds). Proceedings of Layout of Software Engineering Diagrams, Idaho, USA, September 2007.

Cox P., Fish A., Howse J. (eds). Proceedings of Visual Languages and Logic 2007, Idaho, USA, CEUR Series Vol. 274, September 2007.

Stapleton G., Rodgers P., Howse J., Taylor J. Properties of Euler Diagrams. Proceedings of Layout of Software Engineering Diagrams, Idaho, USA, pages 2-16, September 2007.

Delaney A., Stapleton G. Spider Diagrams of Order. Proceedings of Visual Languages and Logic 2007, 27-39, Idaho, USA, September 2007. CEUR Series Vol. 274.

Andrew Fish, Alexander Knapp and Harald Störrle. Proceedings of Layout of Software Engineering Diagrams 2007, Idaho, USA, September 2007. Volume 7 of the ECEASST journal.

Home | Up | List of Conferences | Applications

For problems or questions regarding this Web site contact P.J.Rodgers@kent.ac.uk.
Last updated: 29/03/10