jimburton's euler-diagrams [34 articles] Export

Recent papers added to jimburton's library classified by the tag euler-diagrams. You can also see everyone's euler-diagrams.

Hide details

	A Normal Form for Euler Diagrams with Shading [My Copy] Diagrammatic Representation and Inference (2008), pp. 206-221. by Andrew Fish, Chris John, John Taylor posted to diagrams euler-diagrams by jimburton on 2008-09-23 16:34:19 as
	Ensuring the Drawability of Euler Diagrams for up to Eight Sets [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 128-141. by A. Verroust, M. L. Viaud posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:48 as
	Using Euler Diagrams in Traditional Library Environments [My Copy] In Euler Diagrams 2004, Vol. 134 (2005), pp. 189-202. by J. Thièvre, M. Viaud, Verroust A. Blondet posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:47 as
	Using DAG Transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Inference [My Copy] Journal on Software and System Modeling, Vol. 3, No. 2. (2004), pp. 136-149. by N. Swoboda, G. Allwein posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	Using DAG transformations to Verify Euler/Venn Homogeneous and Euler/Venn FOL Heterogeneous Rules of Interence [My Copy] In Proceedings of GT-VMT (2002) by N. Swoboda, G. Allwein posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	The Information Content of Euler/Venn Diagrams [My Copy] In Proceedings LICS workshop on Logic and Diagrammatic Information (1998) by N. Swoboda, J. Barwise posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	Implementing Euler/Venn Reasoning Systems [My Copy] In Diagrammatic Representation and Reasoning (2001), pp. 371-386. by N. Swoboda edited by M. Anderson, B. Meyer, P. Olivier posted to diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL [My Copy] In Proceedings of Euler Diagrams 2004, Vol. 134 (2005) by N. Swoboda, G. Allwein posted to diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	A Survey of Reasoning Systems Based on Euler Diagrams [My Copy] In Proceedings of Euler Diagrams 2004, Brighton, UK, Vol. 134 (2005), pp. 127-151. by G. Stapleton posted to diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Appendices for Automated Theorem Proving in Euler Diagram Systems [My Copy] No. Technical Report VMG06.2. (2006) by G. Stapleton, J. Masthoff, J. Flower, A. Fish, J. Southern posted to automated-reasoning diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Dynamic Euler Diagram Drawing [My Copy] In Visual Languages and Human Centric Computing, Rome, Italy (September 2004), pp. 147-156. by P. Rodgers, P. Mutton, J. Flower posted to automated-reasoning diagrams euler-diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Drawing Graphs in Euler Diagrams [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980, pp. 66-81. by P. Mutton, P. Rodgers, J. Flower posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Euler diagrams for visualizing annotated gene expression data [My Copy] In Proceedings of {E}uler Diagrams 2005 (September 2005) by H. Kestler, A. Muller, H. Liu, D. Kane, B. Zeeberg, J. Weinstein posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Projected Contours in Euler Diagrams [My Copy] In {E}uler Diagrams 2004, Vol. 134 (2005), pp. 103-126. by C. John posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Exploring the notion of Clutter in Euler diagrams [My Copy] In Accepted for the 4th International Conference on the Theory and Application of Diagrams (2006), pp. 267-282. by Chris John, Andrew Fish, John Howse, John Taylor posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Corresponding Regions in Euler Diagrams [My Copy] In Proceedings of 2nd International Conference on the Theory and Application of Diagrams (April 2002), pp. 76-90. by J. Howse, G. Stapleton, J. Flower, J. Taylor posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Euler's Visual Logic [My Copy] History and Philosophy of Logic (1998), pp. 1-29. by E. Hammer, S. J. Shin posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Projections in Venn-Euler Diagrams [My Copy] In Proc. IEEE Symposium on Visual Languages (September 2000), pp. 119-126. by J. Gil, J. Howse, S. Kent, J. Taylor posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Nesting in Euler diagrams: syntax, semantics and construction [My Copy] Software and Systems Modelling, Vol. 3 (March 2004), pp. 55-67. by J. Flower, J. Howse, J. Taylor posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Nesting in Euler Diagrams [My Copy] In International Workshop on Graph Transformation and Visual Modeling Techniques (2002), pp. 99-108. by J. Flower, J. Howse, J. Taylor posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Layout metrics for Euler Diagrams [My Copy] In 7th International Conference on Information Visualisation (2003), pp. 272-280. by J. Flower, P. Rodgers, P. Mutton posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Generating Euler Diagrams [My Copy] In Proceedings of 2nd International Conference on the Theory and Application of Diagrams (April 2002), pp. 61-75. by J. Flower, J. Howse posted to automated-reasoning diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	How Not to Define Euler Diagrams [My Copy] In Euler diagrams 2005 (2005) by A. Fish, G. Stapleton posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Defining Euler Diagrams: Simple or What? [My Copy] In Proceedings of 4th International Conference on the Theory and Application of Diagrams (2006), pp. 109-111. by A. Fish, G. Stapleton posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Abstractions of Euler Diagrams [My Copy] In Proceedings of Euler Diagrams 2004, Brighton, UK, Vol. 134 (2005), pp. 77-101. by A. Fish, J. Flower posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Towards a General Solution to Drawing Area-Proportional Euler Diagrams [My Copy] In Proceedings of {E}uler Diagrams, Vol. 134 (2005), pp. 3-18. by S. Chow, F. Ruskey posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:40 as
	Generating and Drawing Area-Proportional Euler and Venn Diagrams [My Copy] (2007) by Stirling C. Chow posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:40 as
	Constructing Area-Proportional Venn and Euler Diagrams with Three Circles [My Copy] In Proceedings of {E}uler Diagrams 2005 (2005) by S. Chow, P. Rodgers posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:40 as
	A System for Virtual Directories Using Euler Diagrams [My Copy] In Proceedings of Euler Diagrams 04, Vol. 134 (2005) by R. Dechiara, U. Erra, V. Scarano posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:40 as
	Evaluating the Comprehension of Euler Diagrams [My Copy] In Euler Diagrams 2005 (2006) by F. Benoy, P. Rodgers posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:38 as
	Euler Diagram Generation [My Copy] Submitted to Journal of Visual Languages and Computing (2007) by J. Flower, A. Fish, J. Howse posted to automated-reasoning diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:37 as
	EulerView: A non-hierarcical visualization component [My Copy] In Proceedings of IEEE Symposium on Visual Languages and Human-Centric Computing (2007) by R. Dechiara, A. Fish posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:37 as
	Incorporating Negation into Visual Logics: A Case Study Using Euler Diagrams [My Copy] In Visual Languages and Computing 2007 (2007), pp. 187-194. by G. Stapleton, J. Masthoff posted to diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 13:50:53 as
	Automated Theorem Proving in Euler Diagrams Systems [My Copy] Journal of Automated Reasoning, Vol. 39 (2007), pp. 431-470. by G. Stapleton, J. Masthoff, J. Flower, A. Fish, J. Southern posted to automated-reasoning diagrams euler-diagrams vmg-bibtex-file by jimburton on 2008-02-21 13:50:53 as

Note: You may cite this page as: http://www.citeulike.org/user/jimburton/tag/euler-diagrams

diagrams	212
vmg-bibtex-file	193
file-import-09-01-22	86
functional-programming	70
logic	52
type-theory	48
dependent-types	36
haskell	35
euler-diagrams	34
spider-diagrams	20
constraint-diagrams	18
automated-reasoning	12
dsel	9
ocl	9
theorem-proving	6
agda	5
models-of-computation	5
category-theory	4
coq	4
formal-methods	4
generics	4
ocaml	4
epigram	3
maths	3
uml	3
arrows	2
curry-howard	2
lambda-calculus	2
meta-programming	2
ml	2
monads	2
conceptual-graphs	1
erlang	1
frp	1
z	1

jimburton's euler-diagrams [34 articles] Export

jimburton's tags