John Howse Coauthor index DBLP Vis pubzone.org

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

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

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)