dblp.uni-trier.dewww.uni-trier.de

John Howse Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)