jimburton's Stapleton:G [32 articles] Export

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

	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
	Towards Overcoming Deficiencies in Constraint Diagrams [My Copy] In Symposium on Visual Languages and Human-Centric Computing (2007), pp. 33-40. by G. Stapleton, A. Delaney posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:35 as
	An Expressive Visual Logic for Software Specification [My Copy] Submitted to LMS Journal of Computation and Mathematics (2007) by G. Stapleton, A. Fish, S. Thompson, J. Howse, S. Thompson posted to diagrams file-import-09-01-22 by jimburton on 2009-01-22 17:11:34 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] Journal of Visual Languages and Computing (available online, 2008) by G. Stapleton, J. Taylor, J. Howse, S. Thompson posted to diagrams file-import-09-01-22 spider-diagrams by jimburton on 2009-01-22 17:11:33 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
	What Can Spider Diagrams Say? [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 112-127. by G. Stapleton, J. Howse, J. Taylor, S. Thompson posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:46 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] In Visual Languages and Human Centric Computing, Rome, Italy (September 2004), pp. 91-98. by G. Stapleton, J. Howse, J. Taylor, S. Thompson posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	The Expressiveness of Spider Diagrams [My Copy] Journal of Logic and Computation, Vol. 14, No. 6. (December 2004), pp. 857-880. by G. Stapleton, S. Thompson, J. Howse, J. Taylor posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Reasoning with Constraint Diagrams [My Copy] (August 2004) by G. Stapleton posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Generalizing Spiders [My Copy] In 4th International Conference on the Theory and Application of Diagrams (2006), pp. 148-150. by G. Stapleton, J. Howse, K. Toller posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	Enhancing the Expressiveness of Spider Diagram Systems [My Copy] In Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computings (2006), pp. 129-138. by G. Stapleton, J. Howse posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 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
	On Spiders' Feet [My Copy] In {E}uler Diagrams 2005 (2005) by G. Stapleton, J. Howse, K. Toller posted to diagrams logic spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A New Language for the Visualisation of Logic and Reasoning [My Copy] In 11th International Conference on Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (September 2005) by G. Stapleton, S. Thompson, A. Fish, J. Howse, J. Taylor posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A Decidable Constraint Diagram Reasoning System [My Copy] Journal of Logic and Computation, Vol. 15, No. 6. (December 2005), pp. 975-1008. by G. Stapleton, J. Howse, J. Taylor posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:45 as
	A Constraint Diagram Reasoning System [My Copy] In Proceedings of International Conference on Visual Languages and Computing (2003), pp. 263-270. by G. Stapleton, J. Howse, J. Taylor posted to constraint-diagrams diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:44 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
	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
	Generating Readable Proofs: A Heuristic Approach to Theorem Proving with Spider Diagrams [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980 (2004), pp. 166-181. by J. Flower, J. Masthoff, G. Stapleton posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Generating Proofs with Spider Diagrams Using Heuristics [My Copy] In Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computing (2004), pp. 279-285. by J. Flower, J. Masthoff, G. Stapleton posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Automated Theorem Proving with Spider Diagrams [My Copy] In Proceedings of Computing: The Australasian Theory Symposium, Vol. 91 (January 2004), pp. 116-132. by J. Flower, G. Stapleton posted to automated-reasoning diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 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
	Formal Issues in Languages Based on Closed Curves [My Copy] In Proceedings of Distributed Multimedia Systems, International Workshop on Visual Languages and Computings (2006), pp. 161-167. by A. Fish, G. Stapleton posted to 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
	An Expressive Visual Logic for Software Specification [My Copy] Submitted to LMS Journal of Computation and Mathematics (2007) by G. Stapleton, A. Fish, S. Thompson, J. Howse, S. Thompson posted to vmg-bibtex-file by jimburton on 2008-02-21 14:00:37 as
	The Expressiveness of Spider Diagrams Augmented with Constants [My Copy] Submitted to Journal of Visual Languages and Computing (2005) by G. Stapleton, J. Taylor, J. Howse, S. Thompson posted to diagrams spider-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
	Evaluating and Generalizing Constraint Diagrams [My Copy] Journal of Visual Languages and Computing, Vol. 19, No. 4. (2008), pp. 499-521. by G. Stapleton, A. Delaney posted to constraint-diagrams 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
	Diagrammatic Logics: Past, Present and Future [My Copy] In International Conference on Logic, Navya Nyaya and Applications (2007) by G. Stapleton posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 13:50:52 as
	Spider Diagrams [My Copy] LMS Journal of Computation and Mathematics, Vol. 8 (2005), pp. 145-194. by J. Howse, G. Stapleton, Taylor posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 13:50:52 as

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

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 Stapleton:G [32 articles] Export

jimburton's tags