jimburton's Howse:J [43 articles] Export

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

	Transforming constraint diagrams [My Copy] In Visual Languages and Logic (20 September 2009), pp. 62-80. by Jim Burton edited by Philip Cox, Andrew Fish, John Howse posted to diagrams constraint-diagrams by jimburton on 2009-09-21 20:16:43 as
	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
	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
	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
	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
	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
	Mixing Visual and Textual Constraint Languages [My Copy] In Proceedings of UML99 (1999) by S. Kent, J. Howse posted to vmg-bibtex-file by jimburton on 2008-02-21 14:00:43 as
	Constraint trees. In Advances in object modelling with OCL [My Copy] (2002) by S. Kent, J. Howse posted to ocl 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
	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
	Precise Visual Modelling [My Copy] Journal of Software and Systems Modeling, Vol. 4 (2005), pp. 310-325. by J. Howse, S. Schuman posted to constraint-diagrams 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
	Towards a formalization of constraint diagrams [My Copy] In Proc IEEE Symposia on Human-Centric Computing (HCC '01), Stresa, Italy (September 2001), pp. 72-79. by J. Gil, J. Howse, S. Kent posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Positive semantics of projections [My Copy] Journal of Visual Languages and Computing, Vol. 13, No. 2. (April 2001), pp. 197-227. by J. Gil, J. Howse, E. Tulchinsky posted to 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
	Formalising Spider Diagrams [My Copy] In Proceedings of IEEE Symposium on Visual Languages (VL99), Tokyo (September 1999), pp. 130-137. by J. Gil, J. Howse, S. Kent posted to diagrams spider-diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:42 as
	Constraint Diagrams: A step beyond UML [My Copy] In Proceedings of TOOLS USA 1999, Santa Barbara, California, USA (August 1999), pp. 453-463. by J. Gil, J. Howse, S. Kent posted to constraint-diagrams 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
	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
	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 Semantics of Augmented Constraint Diagrams [My Copy] Journal of Visual Languages and Computing, Vol. 16 (2005), pp. 541-573. by A. Fish, J. Flower, J. Howse posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Towards a Default Reading for Constraint Diagrams [My Copy] In Proceedings of 3rd International Conference on the Theory and Application of Diagrams, Vol. 2980, pp. 51-65. by A. Fish, J. Howse posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	Computing Reading Trees for Constraint Diagrams [My Copy] In AGTIVE '03, Applications of Graph Transformations with Industrial Relevance, Charlottesville, Virginia, September (2003), pp. 260-274. by A. Fish, J. Howse posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 as
	A Reading Algorithm for Constraint Diagrams [My Copy] In IEEE Symposium on Human Centric Computing Languages and Environments, Auckland, New Zealand (September 2003), pp. 161-168. by A. Fish, J. Flower, J. Howse posted to constraint-diagrams diagrams vmg-bibtex-file by jimburton on 2008-02-21 14:00:41 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
	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
	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/Howse: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
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 Howse:J [43 articles] Export

jimburton's tags