Euler diagram transformations

Electronic Communications of the EASST

Volumn 18, Issue , 2009, Pages

  Fish, Andrew ^a  

^a UNIVERSITY OF BRIGHTON   (United Kingdom)

Author keywords

Euler diagrams; Graph transformations; Logical reasoning

Indexed keywords

EID: 85039744045     PISSN: None     EISSN: 18632122     Source Type: Journal    
DOI: 10.14279/tuj.eceasst.18.266.250     Document Type: Conference Paper

References (23)

1. S. Bridgeman, R. Tamassia. A User Study in Similarity Measures for Graph Drawing. Journal of Graph Algorithms and Applications 6:225-254, 2002
2. S. Chow. Generating and Drawing Area-Proportional Euler and Venn Diagrams. PhD thesis, University of Victoria, 2007
3. S. Chok, K. Marriott, T. Paton. Constraint-Based Diagram Beautification. In Proceedings of IEEE Symposium on Visual Languages. Pp. 12-19. IEEE Press, 1999
4. S. Chow, F. Ruskey. Drawing Area-Proportional Venn and Euler Diagrams. In Proceedings of Graph Drawing 2003, Perugia, Italy. LNCS 2912, pp. 466-477. Springer-Verlag, September 2003
5. R. DeChiara, U. Erra, V. Scarano. VennFS: A Venn Diagram file manager. In Proceedings of Information Visualisation. Pp. 120-126. IEEE Computer Society, 2003
6. R. DeChiara, A. Fish. EulerView: A non-hierarchical visualisation component. In Proceedings of IEEE Symposium on Visual Languages and Human Centric Computing. IEEE 134, pp. 145-152. 2007
7. A. Fish, J. Flower. Euler Diagram Decomposition. In Proceedings of 5th International Conference on Diagrams 2008. LNAI 5223, pp. 28-44. Springer-Verlag, 2008
8. A. Fish, J. Flower, J. Howse. The Semantics of Augmented Constraint Diagrams. Journal of Visual Languages and Computing 16:541-573, 2005
9. J. Flower, A. Fish, J. Howse. Euler Diagram Generation. Journal of Visual Languages and Computing 19:675-694, 2008
10. A. Fish, J. Howse, C. John, J. Taylor. A normal form for Euler diagrams with shading. In Proceedings of Diagrams 08. LNAI 5223, pp. 206-221. Springer, 2008
11. A. Fish, G. Stapleton. Formal Issues in Languages Based on Closed Curves. In Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computings. Pp. 161-167. Knowledge Systems Institute, Grand Canyon, USA, 2006
12. P. Hayes, T. Eskridge, R. Saavedra, T. Reichherzer, M. Mehrotra, D. Bobrovnikoff. Collaborative Knowledge Capture in Ontologies. In Proceedings of the 3rd International Conference on Knowledge Capture. Pp. 99-106. 2005
13. J. Howse, G. Stapleton, J. Taylor. Spider Diagrams. LMS Journal of Computation and Mathematics 8:145-194, 2005
14. S. Kent. Constraint Diagrams: Visualizing Invariants in Object Oriented Modelling. In Proceedings of OOPSLA97. Pp. 327-341. ACM Press, October 1997
15. H. Kestler, A. Muller, T. Gress, M. Buchholz. Generalized Venn Diagrams: A New Method for Visualizing Complex Genetic Set Relations. Journal of Bioinformatics 21(8):1592-1595, 2005
16. Y. Lee, C. Lin, H. Yen. Mental Map Preserving Graph Drawing Using Simulated Annealing. In Proceedings of the 2006 Asia-Pacific Symposium on Information Visualisation. Pp. 179-188. Australian Computer Society, Inc., 2006
17. K. Misue, P. Eades, W. Lei, K. Sugiyama. Layout Adjustment and the Mental Map. Journal of Visual Languages and Computing 6:183-210, 1995
18. E. C. M. Egenhofer, P. di Felice. Topological Relations between Regions with Holes. International Journal of Geographical Information Systems 8:129-144, 1994
19. S. Maier, S. Mazanek, M. Minas. Layout Specification on the Concrete and Abstract Syntax Level of a Diagram Language. In Proceedings of 2rd International Workshop on the Layout of Software Engineering Diagrams. ECEASST 13, pp. 40-54. 2008
20. P. Rodgers, P. Mutton, J. Flower. Dynamic Euler Diagram Drawing. In Visual Languages and Human Centric Computing. Pp. 147-156. IEEE Computer Society Press, 2004
21. P. Rodgers, L. Zhang, A. Fish. General Euler Diagram Generation. In Proceedings of 5th International Conference on Diagrams 2008. LNAI 5223, pp. 13-27. Springer-Verlag, 2008
22. G. Stapleton, J. Howse, P. Rodgers, L. Zhang. Generating Euler Diagrams from Existing Layouts. In Proceedings of 2rd International Workshop on the Layout of Software Engineering Diagrams. ECEASST 13, pp. 16-31. 2008
23. G. Stapleton, J. Masthoff, J. Flower, A. Fish, J. Southern. Automated Theorem Proving in Euler Diagrams Systems. Journal of Automated Reasoning 39(4):431-470, 2007