John Howse

	2010
61		Gem Stapleton, John Howse, Peter J. Rodgers: A graph theoretic approach to general Euler diagram drawing. Theor. Comput. Sci. 411(1): 91-112 (2010)
	2009
60		Peter Rodgers, Jean Flower, Gem Stapleton, John Howse: Some Results for Drawing Area Proportional Venn3 With Convex Curves. IV 2009: 667-672
59		John Howse, Peter Rodgers, Gem Stapleton: Changing euler diagram properties by edge transformation of euler dual graphs. VL/HCC 2009: 177-184
58		John Howse, Steve Schuman, Gem Stapleton, Ian Oliver: Diagrammatic Formal Specification of a Configuration Control Platform. Electr. Notes Theor. Comput. Sci. 259: 87-104 (2009)
57		Gem Stapleton, John Taylor, Simon Thompson, John Howse: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1): 30-49 (2009)
	2008
56		Gem Stapleton, John Howse, John Lee: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings Springer 2008
55		John Howse, Gem Stapleton: Visual Mathematics: Diagrammatic Formalization and Proof. AISC/MKM/Calculemus 2008: 478-493
54		John Howse: Diagrammatic Reasoning Systems. ICCS 2008: 1-20
53		Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang: Generating Euler Diagrams from Existing Layouts. ECEASST 13: (2008)
52		Jean Flower, Andrew Fish, John Howse: Euler diagram generation. J. Vis. Lang. Comput. 19(6): 675-694 (2008)
	2007
51		Philip T. Cox, Andrew Fish, John Howse: Proceedings of the VLL 2007 workshop on Visual Languages and Logic in Coeur d'Aléne, Idaho, USA, 23rd September 2007 as part of the 2007 IEEE Symposium on Visual Languages and Human Centric Computing VL/HCC 07 CEUR-WS.org 2007
50		Philip T. Cox, Andrew Fish, John Howse: Visual Languages and Logic. VL/HCC 2007: 3
49		Philip T. Cox, Andrew Fish, John Howse: Introduction. VLL 2007
48		Gem Stapleton, Peter Rodgers, John Howse, John Taylor: Properties of Euler Diagrams. ECEASST 7: (2007)
	2006
47		Gem Stapleton, John Howse, Kate Toller: Generalizing Spiders. Diagrams 2006: 148-150
46		Chris John, Andrew Fish, John Howse, John Taylor: Exploring the Notion of 'Clutter' in Euler Diagrams. Diagrams 2006: 267-282
	2005
45		Gem Stapleton, Simon Thompson, Andrew Fish, John Howse, John Taylor: A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292
44		Gem Stapleton, John Howse, John Taylor: A Decidable Constraint Diagram Reasoning System. J. Log. Comput. 15(6): 975-1008 (2005)
43		Andrew Fish, Jean Flower, John Howse: The semantics of augmented constraint diagrams. J. Vis. Lang. Comput. 16(6): 541-573 (2005)
42		John Howse, Steve Schuman: Precise visual modeling: A case-study. Software and System Modeling 4(3): 310-325 (2005)
	2004
41		Gem Stapleton, John Howse, John Taylor, Simon Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127
40		Andrew Fish, John Howse: Towards a Default Reading for Constraint Diagrams. Diagrams 2004: 51-65
39		Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98
38		Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004)
37		Jean Flower, John Howse, John Taylor: Nesting in Euler Diagrams: syntax, semantics and construction. Software and System Modeling 3(1): 55-67 (2004)
	2003
36		Andrew Fish, John Howse: Computing Reading Trees for Constraint Diagrams. AGTIVE 2003: 260-274
35		Andrew Fish, Jean Flower, John Howse: A reading algorithm for constraint diagrams. HCC 2003: 161-168
34		Jean Flower, John Howse, John Taylor: Nesting in Euler Diagrams. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
33		John Howse: The Iconic Logic of Peirce's Graphs: Sun-Joo Shin MIT Press, Cambridge, MA, 2002 ISBN: 0-262-19470-8. J. Vis. Lang. Comput. 14(1): 119-121 (2003)
	2002
32		John Howse, Fernando Molina, Sun-Joo Shin, John Taylor: On Diagram Tokens and Types. Diagrams 2002: 146-160
31		Jean Flower, John Howse: Generating Euler Diagrams. Diagrams 2002: 61-75
30		John Howse, Gemma Stapleton, Jean Flower, John Taylor: Corresponding Regions in Euler Diagrams. Diagrams 2002: 76-90
29		Jean Flower, John Howse, John Taylor, Stuart Kent: A Visual Framework for Modelling with Heterogeneous Notations. HCC 2002: 71-73
28		Joseph Gil, John Howse, Stuart Kent: Advanced visual modelling: beyond UML. ICSE 2002: 697-698
27		Jean Flower, John Howse, John Taylor, Stuart Kent: A Visual Framework for Modelling with Heterogeneous Notations. IEEE Symposia on Human Centric Computing Languages and Environments 2002: 71-73
26		Stuart Kent, John Howse: Constraint Trees. Object Modeling with the OCL 2002: 228-249
25		Joseph Gil, John Howse, Elena Tulchinsky: Positive Semantics of Projections in Venn-Euler Diagrams. J. Vis. Lang. Comput. 13(2): 197-227 (2002)
	2001
24		John Howse, Fernando Molina, John Taylor, Sun-Joo Shin: Type-syntax and token-syntax in diagrammatic systems. FOIS 2001: 174-185
23		Joseph Gil, John Howse, Stuart Kent: Towards a Formalization of Constraint Diagrams. HCC 2001: 72-
22		John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil: Spider Diagrams: A Diagrammatic Reasoning System. J. Vis. Lang. Comput. 12(3): 299-324 (2001)
	2000
21		John Howse, Fernando Molina, John Taylor: A Sound and Complete Diagrammatic Reasoning System. Artificial Intelligence and Soft Computing 2000: 402-408
20		John Howse, Fernando Molina, John Taylor: On the Completeness and Expressiveness of Spider Diagram Systems. Diagrams 2000: 26-41
19		Joseph Gil, John Howse, Elena Tulchinsky: Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams 2000: 7-25
18		Joseph Gil, John Howse, Stuart Kent: Advanced visual modeling (tutorial session): beyond UML. ICSE 2000: 833
17		Joseph Gil, John Howse, Stuart Kent: Advanced Visual Modeling: Beyond UML. TOOLS (33) 2000: 474
16		Joseph Gil, John Howse, Stuart Kent, John Taylor: Projections in Venn-Euler Diagrams. VL 2000: 119-126
15		John Howse, Fernando Molina, John Taylor: SD2: A Sound and Complete Diagrammatic Reasoning System. VL 2000: 127-134
	1999
14		John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe: Should UML Have a Single Semantics? Should UML Have a Single Core Semantics? ECOOP Workshops 1999: 41-44
13		Joseph Gil, John Howse, Stuart Kent: Constraint Diagrams: A Step Beyond UML. TOOLS (30) 1999: 453-463
12		Stuart Kent, John Howse: Mixing Visual and Textual Constraint Languages. UML 1999: 384-398
11		Joseph Gil, John Howse, Stuart Kent: Formalizing Spider Diagrams. VL 1999: 130-137
10		John Howse, Fernando Molina, John Taylor, Stuart Kent: Reasoning with Spider Diagrams. VL 1999: 138-
	1998
9		Ali Hamie, John Howse, Stuart Kent: Interpreting the Object Constraint Language. APSEC 1998: 288-295
8		Stuart Kent, John Howse, Anthony Lauder: Modeling Software Components. DEXA Workshop 1998: 789-800
7		Ali Hamie, John Howse, Stuart Kent: Navigation Expresion in Object-Oriented Modelling. FASE 1998: 123-137
6		Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell: Reflections on the Object Constraint Language. UML 1998: 162-172
	1997
5		Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell: Semantics Through Pictures. ECOOP Workshops 1997: 182-187
4		Richard Mitchell, John Howse, Ali Hamie: Contract-Oriented Specifications. TOOLS (24) 1997: 131-140
	1995
3		Richard J. Mitchell, John Howse, Ian Maung: As-a: A Relationship to Support Code Reuse. JOOP 8(4): 25-33, 55 (1995)
	1994
2		Ian Maung, John Howse, Richard J. Mitchell: Towards a Formalization of Programming-by-Difference. FME 1994: 134-153
	1992
1		Ian Maung, John Howse: Introducing Hyper-Z - A New Approach to Object Orientation in Z. Z User Workshop 1992: 149-165

Coauthor Index

1	Franco Civello	[5] [6]
2	Philip T. Cox	[49] [50] [51]
3	Andrew Fish	[35] [36] [40] [43] [45] [46] [49] [50] [51] [52]
4	Jean Flower	[27] [29] [30] [31] [34] [35] [37] [43] [52] [60]
5	Joseph Gil (Yossi Gil)	[11] [13] [16] [17] [18] [19] [22] [23] [25] [28]
6	Ali Hamie	[4] [5] [6] [7] [9]
7	Shusaku Iida	[14]
8	Chris John	[46]
9	Stuart Kent	[5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [17] [18] [22] [23] [26] [27] [28] [29]
10	Anthony Lauder	[8]
11	John Lee	[56]
12	Ian Maung	[1] [2] [3]
13	Richard Mitchell	[4] [5] [6] [14]
14	Richard J. Mitchell	[2] [3]
15	Fernando Molina	[10] [15] [20] [21] [22] [24] [32]
16	Ian Oliver	[58]
17	Peter J. Rodgers (Peter Rodgers)	[48] [53] [59] [60] [61]
18	Bernhard Rumpe	[14]
19	Steve Schuman	[42] [58]
20	Sun-Joo Shin	[24] [32]
21	Gem Stapleton (Gemma Stapleton)	[30] [38] [39] [41] [44] [45] [47] [48] [53] [55] [56] [57] [58] [59] [60] [61]
22	John Taylor	[10] [15] [16] [20] [21] [22] [24] [27] [29] [30] [32] [34] [37] [38] [39] [41] [44] [45] [46] [48] [57]
23	Simon Thompson	[38] [39] [41] [45] [57]
24	Kate Toller	[47]
25	Elena Tulchinsky	[19] [25]
26	Leishi Zhang	[53]

Colors in the list of coauthors