Jean Flower

J. Vis. Lang. Comput., 2014

Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets.

[BibT_eX]

[DOI]

IEEE Trans. Vis. Comput. Graph., 2014

2012

Automatically drawing Euler diagrams with circles.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2012

Speedith: A Diagrammatic Reasoner for Spider Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2012

Introducing 3D Venn and Euler Diagrams.

[BibT_eX]

[DOI]

Peter J. Rodgers

Proceedings of the 3rd International Workshop on Euler Diagrams, 2012

2010

Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 6th International Conference, 2010

2009

Some Results for Drawing Area Proportional Venn3 With Convex Curves.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Information Visualisation, 2009

2008

Euler diagram generation.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2008

Euler Diagram Decomposition.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 5th International Conference, 2008

2007

Automated Theorem Proving in Euler Diagram Systems.

[BibT_eX]

[DOI]

J. Autom. Reason., 2007

2005

The semantics of augmented constraint diagrams.

[BibT_eX]

[DOI]

J. Vis. Lang. Comput., 2005

2004

Nesting in Euler Diagrams: syntax, semantics and construction.

[BibT_eX]

[DOI]

John Taylor

Softw. Syst. Model., 2004

Automated Theorem Proving with Spider Diagrams.

[BibT_eX]

[DOI]

Proceedings of Computing: The Australasian Theory Symposium, 2004

Abstractions of Euler Diagrams.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Euler Diagrams, 2004

Investigating Reasoning with Constraint Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Visual Languages and Formal Methods, 2004

Dynamic Euler Diagram Drawing.

[BibT_eX]

[DOI]

Paul Mutton

Proceedings of the 2004 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2004), 2004

Drawing Graphs in Euler Diagrams.

[BibT_eX]

[DOI]

Paul Mutton

Proceedings of the Diagrammatic Representation and Inference, 2004

Generating Readable Proofs: A Heuristic Approach to Theorem Proving With Spider Diagrams.

[BibT_eX]

[DOI]

Judith Masthoff

Proceedings of the Diagrammatic Representation and Inference, 2004

2003

A reading algorithm for constraint diagrams.

[BibT_eX]

[DOI]

Proceedings of the 2003 IEEE Symposium on Human Centric Computing Languages and Environments (HCC 2003), 2003

Layout Metrics for Euler Diagrams.

[BibT_eX]

[DOI]

Paul Mutton

Proceedings of the Seventh International Conference on Information Visualization, 2003

2002

Nesting in Euler Diagrams.

[BibT_eX]

[DOI]

John Taylor

Proceedings of the International Workshop on Graph Transformation and Visual Modeling Techniques, 2002

A Visual Framework for Modelling with Heterogeneous Notations.

[BibT_eX]

[DOI]

Proceedings of the 2002 IEEE CS International Symposium on Human-Centric Computing Languages and Environments (HCC 2002), 2002

Corresponding Regions in Euler Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Diagrammatic Representation and Inference, 2002

Generating Euler Diagrams.

[BibT_eX]

[DOI]