Documents

Documents

Case for Support

Publications

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.

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

Flower J., Fish A., Howse J., Euler Diagram Generation, accepted for Journal of Visual Languages and Computing.

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.

Fish A., Flower J., Euler Diagram Decomposition, accepted for International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 2008.

Fish A., John C., Taylor J., A Normal Form for Euler Diagrams with Shading, accepted for International Conference on the Theory and Application of Diagrams, Springer, LNCS 5223, 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.

De Chiara R., Fish A., EulerView: article organisation within the ACM, accepted for the IEEE Symposium on Visual Languages and Human Centric Computing, 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.

2007

Fish A., Khazaei B., Roast C., Exploring human factors in formal diagram usage, in proceedings of Engineering Interactive Systems 2007, pages 432-448, LNCS 4940, 2008.

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.

Home | Euler Diagrams | Documents | Members | List of conferences | Software

For problems or questions regarding this Web site contact P.J.Rodgers@kent.ac.uk.
Last updated: 14/12/07