jimburton's Fish:A [24 articles] Export

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

	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
	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
	Eulerview: a non-hierarchical visualization component [My Copy] In Proceedings of the {IEEE} Symposium on Visual Languages and Human-Centric Computing {VLHCC} 2007 (2007), pp. 145-152. by R. Dechiara, A. Fish 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
	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
	Conceptual Spider Diagrams [My Copy] Conceptual Structures: Knowledge Visualization and Reasoning (2008), pp. 104-118. by Frithjof Dau, Andrew Fish posted to conceptual-graphs diagrams spider-diagrams by jimburton on 2008-08-31 14:55:38 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
	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
	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
	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
	Investigating Reasoning with Constraint Diagrams [My Copy] In Visual Language and Formal Methods 2004, Vol. 127 (2005), pp. 53-69. by A. Fish, J. Flower posted to constraint-diagrams 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
	Do Monkeys Like Elephants or Do Elephants like Monkeys? An Empirical Study into the Default Reading of Constraint Diagrams [My Copy] (2005) by A. Fish, J. Masthoff 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
	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
	An Experimental Study into the Default Reading of Constraint Diagrams [My Copy] In Visual Languages and Human Centric Computing (September 2005), pp. 287-289. by A. Fish, J. Masthoff 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
	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
	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/author/Fish:A

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 Fish:A [24 articles] Export

jimburton's tags