John Howse

	2012
73		Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby: Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers Springer 2012
	2011
72		John Howse, Gem Stapleton, Kerry Taylor, Peter Chapman: Visualizing Ontologies: A Case Study. International Semantic Web Conference (1) 2011: 257-272
71		Peter Chapman, Gem Stapleton, John Howse, Ian Oliver: Deriving sound inference rules for concept diagrams. VL/HCC 2011: 87-94
70		Gem Stapleton, Peter Rodgers, John Howse, Leishi Zhang: Inductively Generating Euler Diagrams. IEEE Trans. Vis. Comput. Graph. 17(1): 88-100 (2011)
69		Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers: Drawing Euler Diagrams with Circles: The Theory of Piercings. IEEE Trans. Vis. Comput. Graph. 17(7): 1020-1032 (2011)
68		Philip T. Cox, Andrew Fish, John Howse: Special Issue on Visual Languages and Logic: Guest editors' introduction. J. Vis. Lang. Comput. 22(1): 1-2 (2011)
67		Gem Stapleton, Peter Rodgers, John Howse: A general method for drawing area-proportional Euler diagrams. J. Vis. Lang. Comput. 22(6): 426-442 (2011)
	2010
66		Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers: Drawing Euler Diagrams with Circles. Diagrams 2010: 23-38
65		John Howse, Peter Rodgers, Gem Stapleton: Drawing Euler Diagrams for Information Visualization. Diagrams 2010: 4
64		Peter Rodgers, Jean Flower, Gem Stapleton, John Howse: Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. Diagrams 2010: 54-68
63		John Howse, Gem Stapleton, Ian Oliver: Visual Reasoning about Ontologies. ISWC Posters&Demos 2010
62		Peter Rodgers, Gem Stapleton, John Howse, Leishi Zhang: Euler Graph Transformations for Euler Diagram Layout. VL/HCC 2010: 111-118
61		Andrew Fish, Ali Hamie, John Howse: Visual Specification Patterns. ECEASST 31: (2010)
60		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
59		Peter Rodgers, Jean Flower, Gem Stapleton, John Howse: Some Results for Drawing Area Proportional Venn3 With Convex Curves. IV 2009: 667-672
58		John Howse, Peter Rodgers, Gem Stapleton: Changing euler diagram properties by edge transformation of euler dual graphs. VL/HCC 2009: 177-184
57		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)
56		Gem Stapleton, John Taylor, Simon J. Thompson, John Howse: The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. 20(1): 30-49 (2009)
	2008
55		Gem Stapleton, John Howse, John Lee: Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings Springer 2008
54		John Howse, Gem Stapleton: Visual Mathematics: Diagrammatic Formalization and Proof. AISC/MKM/Calculemus 2008: 478-493
53		John Howse: Diagrammatic Reasoning Systems. ICCS 2008: 1-20
52		Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang: Generating Euler Diagrams from Existing Layouts. ECEASST 13: (2008)
51		Jean Flower, Andrew Fish, John Howse: Euler diagram generation. J. Vis. Lang. Comput. 19(6): 675-694 (2008)
	2007
50		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
49		Philip T. Cox, Andrew Fish, John Howse: Visual Languages and Logic. VL/HCC 2007: 3
48		Philip T. Cox, Andrew Fish, John Howse: Introduction. VLL 2007
47		Gem Stapleton, Peter Rodgers, John Howse, John Taylor: Properties of Euler Diagrams. ECEASST 7: (2007)
	2006
46		Gem Stapleton, John Howse, Kate Toller: Generalizing Spiders. Diagrams 2006: 148-150
45		Chris John, Andrew Fish, John Howse, John Taylor: Exploring the Notion of 'Clutter' in Euler Diagrams. Diagrams 2006: 267-282
	2005
44		Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor: A New Language for the Visualization of Logic and Reasoning. DMS 2005: 287-292
43		Gem Stapleton, John Howse, John Taylor: A Decidable Constraint Diagram Reasoning System. J. Log. Comput. 15(6): 975-1008 (2005)
42		Andrew Fish, Jean Flower, John Howse: The semantics of augmented constraint diagrams. J. Vis. Lang. Comput. 16(6): 541-573 (2005)
41		John Howse, Steve Schuman: Precise visual modeling: A case-study. Software and System Modeling 4(3): 310-325 (2005)
	2004
40		Gem Stapleton, John Howse, John Taylor, Simon J. Thompson: What Can Spider Diagrams Say? Diagrams 2004: 112-127
39		Andrew Fish, John Howse: Towards a Default Reading for Constraint Diagrams. Diagrams 2004: 51-65
38		Gem Stapleton, John Howse, John Taylor, Simon J. Thompson: The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98
37		Gem Stapleton, John Howse, John Taylor, Simon J. Thompson: The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004)
36		Jean Flower, John Howse, John Taylor: Nesting in Euler Diagrams: syntax, semantics and construction. Software and System Modeling 3(1): 55-67 (2004)
	2003
35		Andrew Fish, John Howse: Computing Reading Trees for Constraint Diagrams. AGTIVE 2003: 260-274
34		Andrew Fish, Jean Flower, John Howse: A reading algorithm for constraint diagrams. HCC 2003: 161-168
33		Jean Flower, John Howse, John Taylor: Nesting in Euler Diagrams. Electr. Notes Theor. Comput. Sci. 72(3): 93-102 (2003)
32		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
31		John Howse, Fernando Molina, Sun-Joo Shin, John Taylor: On Diagram Tokens and Types. Diagrams 2002: 146-160
30		Jean Flower, John Howse: Generating Euler Diagrams. Diagrams 2002: 61-75
29		John Howse, Gemma Stapleton, Jean Flower, John Taylor: Corresponding Regions in Euler Diagrams. Diagrams 2002: 76-90
28		Jean Flower, John Howse, John Taylor, Stuart Kent: A Visual Framework for Modelling with Heterogeneous Notations. HCC 2002: 71-73
27		Joseph Gil, John Howse, Stuart Kent: Advanced visual modelling: beyond UML. ICSE 2002: 697-698
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	Peter Chapman	[71] [72]
2	Franco Civello	[5] [6]
3	Olivier Corby	[73]
4	Philip T. Cox	[48] [49] [50] [68]
5	Madalina Croitoru	[73]
6	Andrew Fish	[34] [35] [39] [42] [44] [45] [48] [49] [50] [51] [61] [68]
7	Jean Flower	[28] [29] [30] [33] [34] [36] [42] [51] [59] [64]
8	Joseph Gil (Yossi Gil)	[11] [13] [16] [17] [18] [19] [22] [23] [25] [27]
9	Ali Hamie	[4] [5] [6] [7] [9] [61]
10	Shusaku Iida	[14]
11	Chris John	[45]
12	Stuart Kent	[5] [6] [7] [8] [9] [10] [11] [12] [13] [16] [17] [18] [22] [23] [26] [27] [28]
13	Anthony Lauder	[8]
14	John Lee	[55]
15	Ian Maung	[1] [2] [3]
16	Richard Mitchell	[4] [5] [6] [14]
17	Richard J. Mitchell	[2] [3]
18	Fernando Molina	[10] [15] [20] [21] [22] [24] [31]
19	Ian Oliver	[57] [63] [71]
20	Peter J. Rodgers (Peter Rodgers)	[47] [52] [58] [59] [60] [62] [64] [65] [66] [67] [69] [70]
21	Sebastian Rudolph	[73]
22	Bernhard Rumpe	[14]
23	Steve Schuman	[41] [57]
24	Sun-Joo Shin	[24] [31]
25	Gem Stapleton (Gemma Stapleton)	[29] [37] [38] [40] [43] [44] [46] [47] [52] [54] [55] [56] [57] [58] [59] [60] [62] [63] [64] [65] [66] [67] [69] [70] [71] [72]
26	John Taylor	[10] [15] [16] [20] [21] [22] [24] [28] [29] [31] [33] [36] [37] [38] [40] [43] [44] [45] [47] [56]
27	Kerry L. Taylor (Kerry Taylor)	[72]
28	Simon J. Thompson	[37] [38] [40] [44] [56]
29	Kate Toller	[46]
30	Elena Tulchinsky	[19] [25]
31	Nic Wilson	[73]
32	Leishi Zhang	[52] [62] [66] [69] [70]

Colors in the list of coauthors

Last update Thu May 31 18:55:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page