John Howse

2009
57	EE	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	EE	John Howse, Gem Stapleton: Visual Mathematics: Diagrammatic Formalization and Proof. AISC/MKM/Calculemus 2008: 478-493
54	EE	John Howse: Diagrammatic Reasoning Systems. ICCS 2008: 1-20
53	EE	Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang: Generating Euler Diagrams from Existing Layouts. ECEASST 13: (2008)
52	EE	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	EE	Philip T. Cox, Andrew Fish, John Howse: Visual Languages and Logic. VL/HCC 2007: 3
49	EE	Philip T. Cox, Andrew Fish, John Howse: Introduction. VLL 2007
48	EE	Gem Stapleton, Peter Rodgers, John Howse, John Taylor: Properties of Euler Diagrams. ECEASST 7: (2007)
2006
47	EE	Gem Stapleton, John Howse, Kate Toller: Generalizing Spiders. Diagrams 2006: 148-150
46	EE	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	EE	Gem Stapleton, John Howse, John Taylor: A Decidable Constraint Diagram Reasoning System. J. Log. Comput. 15(6): 975-1008 (2005)
43	EE	Andrew Fish, Jean Flower, John Howse: The semantics of augmented constraint diagrams. J. Vis. Lang. Comput. 16(6): 541-573 (2005)
42	EE	John Howse, Steve Schuman: Precise visual modeling: A case-study. Software and System Modeling 4(3): 310-325 (2005)
2004
41	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127
40	EE	Andrew Fish, John Howse: Towards a Default Reading for Constraint Diagrams. Diagrams 2004: 51-65
39	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98
38	EE	Gem Stapleton, John Howse, John Taylor, Simon Thompson: The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004)
37	EE	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	EE	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	EE	Jean Flower, John Howse, John Taylor: Nesting in Euler Diagrams. Electr. Notes Theor. Comput. Sci. 72(3): (2003)
33	EE	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	EE	John Howse, Fernando Molina, Sun-Joo Shin, John Taylor: On Diagram Tokens and Types. Diagrams 2002: 146-160
31	EE	Jean Flower, John Howse: Generating Euler Diagrams. Diagrams 2002: 61-75
30	EE	John Howse, Gemma Stapleton, Jean Flower, John Taylor: Corresponding Regions in Euler Diagrams. Diagrams 2002: 76-90
29	EE	Jean Flower, John Howse, John Taylor, Stuart Kent: A Visual Framework for Modelling with Heterogeneous Notations. HCC 2002: 71-73
28	EE	Joseph Gil, John Howse, Stuart Kent: Advanced visual modelling: beyond UML. ICSE 2002: 697-698
27	EE	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	EE	Stuart Kent, John Howse: Constraint Trees. Object Modeling with the OCL 2002: 228-249
25	EE	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	EE	John Howse, Fernando Molina, John Taylor, Sun-Joo Shin: Type-syntax and token-syntax in diagrammatic systems. FOIS 2001: 174-185
23	EE	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	EE	John Howse, Fernando Molina, John Taylor: On the Completeness and Expressiveness of Spider Diagram Systems. Diagrams 2000: 26-41
19	EE	Joseph Gil, John Howse, Elena Tulchinsky: Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams 2000: 7-25
18	EE	Joseph Gil, John Howse, Stuart Kent: Advanced visual modeling (tutorial session): beyond UML. ICSE 2000: 833
17	EE	Joseph Gil, John Howse, Stuart Kent: Advanced Visual Modeling: Beyond UML. TOOLS (33) 2000: 474
16	EE	Joseph Gil, John Howse, Stuart Kent, John Taylor: Projections in Venn-Euler Diagrams. VL 2000: 119-126
15	EE	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	EE	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	EE	Joseph Gil, John Howse, Stuart Kent: Formalizing Spider Diagrams. VL 1999: 130-137
10	EE	John Howse, Fernando Molina, John Taylor, Stuart Kent: Reasoning with Spider Diagrams. VL 1999: 138-
1998
9	EE	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	EE	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	EE	Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell: Semantics Through Pictures. ECOOP Workshops 1997: 182-187
4	EE	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]
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	Peter Rodgers	[48] [53]
17	Bernhard Rumpe	[14]
18	Steve Schuman	[42]
19	Sun-Joo Shin	[24] [32]
20	Gem Stapleton	[38] [39] [41] [44] [45] [47] [48] [53] [55] [56] [57]
21	Gemma Stapleton	[30]
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