jimburton's Taylor:J [24 articles] Export

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

	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
	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
	Spider Diagrams of Order and a Hierarchy of Star-Free Regular Languages [My Copy] Diagrammatic Representation and Inference (2008), pp. 172-187. by Aidan Delaney, John Taylor, Simon Thompson posted to diagrams formal-methods spider-diagrams by jimburton on 2008-09-23 16:33:14 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
	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
	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
	Type-syntax and Token-syntax in Diagrammatic Systems [My Copy] In Proceedings FOIS-2001: 2nd International Conference on Formal Ontology in Information Systems, Maine, USA (2001), pp. 174-185. by J. Howse, F. Molina, S. J. Shin, J. Taylor posted to diagrams logic vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Spider Diagrams: A Diagrammatic Reasoning System [My Copy] Journal of Visual Languages and Computing, Vol. 12, No. 3. (June 2001), pp. 299-324. by J. Howse, F. Molina, J. Taylor, S. Kent, J. Gil posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	SD2: A sound and complete diagrammatic reasoning system [My Copy] In Proceedings VL 2000: IEEE Symposium on Visual Languages, Seattle, USA (2000), pp. 127-136. by J. Howse, F. Molina, J. Taylor posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Reasoning with Spider Diagrams [My Copy] In Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo, pp. 138-147. by J. Howse, F. Molina, J. Taylor, S. Kent posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	On the completeness and expressiveness of spider diagram systems [My Copy] In Proceedings of 1st International Conference on the Theory and Application of Diagrams (September 2000), pp. 26-41. by J. Howse, F. Molina, J. Taylor posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	On Diagram Tokens and Types [My Copy] In Proceedings of 2nd International Conference on the Theory and Application of Diagrams (April 2002), pp. 146-160. by J. Howse, F. Molina, S. J. Shin, J. Taylor posted to 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
	A sound and complete diagrammatic reasoning system [My Copy] In Proceedings. ASC 2000: 3rd IASTED International Conference on Artificial Intelligence and Soft Computing (2000), pp. 402-408. by J. Howse, F. Molina, J. Taylor posted to diagrams logic 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
	A Visual Framework for Modelling with Heterogeneous Notations [My Copy] In Proceedings of Human Centric Computing Languages and Environments (2002), pp. 71-73. by J. Flower, J. Howse, J. Taylor, S. Kent posted to diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 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

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

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 Taylor:J [24 articles] Export

jimburton's tags