jimburton's Rodgers:P [11 articles] Export

Recent papers posted to jimburton's library by the author Rodgers:P. You can also see everyone's Rodgers:P.

	Generating Euler Diagrams from Existing Layouts [My Copy] In Layout of (Software) Engineering Diagrams (September 2008), pp. 16-31. by G. Stapleton, J. Howse, P. Rodgers, L. Zhang posted to diagrams by jimburton on 2009-08-17 13:53:40 as
	Properties of Euler Diagrams [My Copy] In Proceedings of Layout of Software Engineering Diagrams, Vol. 7 (2007), pp. 2-16. by G. Stapleton, P. Rodgers, J. Howse, J. Taylor posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:31 as
	Embedding Wellformed Euler Diagrams [My Copy] In Thirteenth International Conference on Information Visualization (2008), pp. 585-593. by P. Rodgers, L. Zhang, G. Stapleton, A. Fish posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:31 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
	Tableaux for Diagrammatic Reasoning [My Copy] In Proceedings of the Eleventh International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (September 2005), pp. 279-286. by O. Patrascoiu, S. Thompson, P. Rodgers posted to automated-reasoning diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 as
	Embedding OCL Expressions in YATL [My Copy] In Proceedings of the {OCL} and Model Driven Engineering Workshop (October 2004) by O. Patrascoiu, P. Rodgers posted to 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
	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
	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
	Movement as an Aid to Understanding Graphs [My Copy] In Seventh International Conference on Information Visualization (July 2003), pp. 472-478. by J. Bovey, P. Rodgers, F. Benoy posted to vmg-bibtex-file by jimburton on 2008-02-21 14:00:39 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

Note: You may cite this page as: http://www.citeulike.org/user/jimburton/author/Rodgers:P

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
models-of-computation	5
agda	5
formal-methods	4
ocaml	4
category-theory	4
generics	4
coq	4
uml	3
maths	3
epigram	3
monads	2
curry-howard	2
meta-programming	2
arrows	2
lambda-calculus	2
ml	2
frp	1
z	1
conceptual-graphs	1
erlang	1

jimburton's Rodgers:P [11 articles] Export

jimburton's tags