![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
John Howse
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2017
- [j26]Jim Burton
, John Howse
:
The Semiotics of Spider Diagrams. Logica Universalis 11(2): 177-204 (2017) - 2016
- [j25]Andrew Blake
, Gem Stapleton, Peter Rodgers
, John Howse
:
The impact of topological and graphical choices on the perception of Euler diagrams. Inf. Sci. 330: 455-482 (2016) - 2014
- [j24]Peter Rodgers, Gem Stapleton, Jean Flower, John Howse
:
Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets. IEEE Trans. Vis. Comput. Graph. 20(1): 1 (2014) - 2013
- [j23]Jim Burton
, Gem Stapleton, John Howse
:
Generalized constraint diagrams and the classical decision problem. J. Log. Comput. 23(1): 199-262 (2013) - 2012
- [j22]Gem Stapleton, Jean Flower, Peter J. Rodgers
, John Howse
:
Automatically drawing Euler diagrams with circles. J. Vis. Lang. Comput. 23(3): 163-193 (2012) - 2011
- [j21]Gem Stapleton, Peter Rodgers
, John Howse
, Leishi Zhang
:
Inductively Generating Euler Diagrams. IEEE Trans. Vis. Comput. Graph. 17(1): 88-100 (2011) - [j20]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) - [j19]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) - [j18]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
- [j17]Andrew Fish, Ali Hamie, John Howse:
Visual Specification Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010) - [j16]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
- [j15]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
- [j14]Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang:
Generating Euler Diagrams from Existing Layouts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 13 (2008) - [j13]Jean Flower, Andrew Fish
, John Howse
:
Euler diagram generation. J. Vis. Lang. Comput. 19(6): 675-694 (2008) - 2007
- [j12]Gem Stapleton, Peter Rodgers, John Howse, John Taylor:
Properties of Euler Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007) - 2005
- [j11]John Howse, Gem Stapleton, John Taylor:
Spider Diagrams. LMS J. Comput. Math. 8: 145-194 (2005) - [j10]Gem Stapleton, John Howse
, John Taylor:
A Decidable Constraint Diagram Reasoning System. J. Log. Comput. 15(6): 975-1008 (2005) - [j9]John Howse
, Steve Schuman:
Precise visual modeling: A case-study. Softw. Syst. Model. 4(3): 310-325 (2005) - [j8]Andrew Fish
, Jean Flower, John Howse
:
The semantics of augmented constraint diagrams. J. Vis. Lang. Comput. 16(6): 541-573 (2005) - 2004
- [j7]Gem Stapleton, John Howse
, John Taylor, Simon J. Thompson
:
The Expressiveness of Spider Diagrams. J. Log. Comput. 14(6): 857-880 (2004) - [j6]Jean Flower, John Howse, John Taylor:
Nesting in Euler Diagrams: syntax, semantics and construction. Softw. Syst. Model. 3(1): 55-67 (2004) - 2003
- [j5]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
- [j4]Joseph Gil, John Howse
, Elena Tulchinsky:
Positive Semantics of Projections in Venn-Euler Diagrams. J. Vis. Lang. Comput. 13(2): 197-227 (2002) - 2001
- [j3]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) - 1995
- [j2]Richard J. Mitchell, John Howse, Ian Maung:
As-a: A Relationship to Support Code Reuse. J. Object Oriented Program. 8(4): 25-33, 55 (1995) - 1994
- [j1]Richard J. Mitchell, Martin J. Loomes
, John Howse
:
Structuring formal specifications - a lesson relearned. Microprocess. Microsystems 18(10): 593-599 (1994)
Conference and Workshop Papers
- 2020
- [c75]Almas Baimagambetov
, Gem Stapleton
, Andrew Blake
, John Howse
:
Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs. Diagrams 2020: 323-331 - 2019
- [c74]Ian Oliver
, John Howse
, Gem Stapleton
, Zohreh Shams
, Mateja Jamnik
:
Exploring and Conceptualising Attestation. ICCS 2019: 131-145 - 2018
- [c73]John Howse, Gem Stapleton, Jim Burton, Andrew Blake:
Picturing Problems: Solving Logic Puzzles Diagrammatically. SetVR@Diagrams 2018: 12-27 - [c72]Almas Baimagambetov
, John Howse
, Gem Stapleton
, Aidan J. Delaney
:
Generating Effective Euler Diagrams. Diagrams 2018: 39-54 - [c71]Gem Stapleton
, Amirouche Moktefi
, John Howse
, Jim Burton
:
Euler Diagrams Through the Looking Glass: From Extent to Intent. Diagrams 2018: 365-381 - 2017
- [c70]Eisa Alharbi
, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis:
The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. ISWC (1) 2017: 20-36 - [c69]Gem Stapleton, Michael Compton, John Howse:
Visualizing OWL 2 using diagrams. VL/HCC 2017: 245-253 - [c68]Eisa Alharbi
, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis:
Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations. VL/HCC 2017: 255-259 - 2016
- [c67]Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman:
Evaluating the Impact of Clutter in Linear Diagrams. SetVR@Diagrams 2016: 4-18 - [c66]Eisa Alharbi
, John Howse
, Gem Stapleton, Ali Hamie:
Evaluating Diagrammatic Patterns for Ontology Engineering. Diagrams 2016: 51-66 - [c65]Mohanad Alqadah, Gem Stapleton, John Howse
, Peter Chapman:
The Perception of Clutter in Linear Diagrams. Diagrams 2016: 250-257 - 2014
- [c64]Mithileysh Sathiyanarayanan, John Howse:
Well-matchedness in Euler Diagrams. ED/GViP@Diagrams 2014: 16-22 - [c63]Jim Burton
, Gem Stapleton, John Howse
, Peter Chapman:
Visualizing Concepts with Euler Diagrams. Diagrams 2014: 54-56 - [c62]Mohanad Alqadah, Gem Stapleton, John Howse
, Peter Chapman:
Evaluating the Impact of Clutter in Euler Diagrams. Diagrams 2014: 108-122 - [c61]Andrew Blake
, Gem Stapleton, Peter Rodgers
, Liz Cheek, John Howse
:
The Impact of Shape on the Perception of Euler Diagrams. Diagrams 2014: 123-137 - [c60]Gem Stapleton, John Howse, Adrienne Bonnington, Jim Burton:
A Vision for Diagrammatic Ontology Engineering. VISUAL@EKAW 2014: 1-13 - [c59]Andrew Blake
, Gem Stapleton, Peter J. Rodgers
, John Howse
:
How Should We Use Colour in Euler Diagrams? VINCI 2014: 149 - [c58]Mithileysh Sathiyanarayanan
, Gem Stapleton, Jim Burton, John Howse
:
Properties of euler diagrams and graphs in combination. VL/HCC 2014: 217-218 - 2013
- [c57]Gem Stapleton, John Howse, Kerry Taylor, Aidan J. Delaney, Jim Burton, Peter Chapman:
Towards Diagrammatic Ontology Patterns. WOP 2013 - [c56]Ian Oliver, John Howse
, Gem Stapleton:
Protecting privacy: Towards a visual framework for handling end-user data. VL/HCC 2013: 67-74 - [c55]Andrew Blake, Gem Stapleton, Peter Rodgers
, Liz Cheek, John Howse
:
Improving user comprehension of Euler diagrams. VL/HCC 2013: 189-190 - 2012
- [c54]Jim Burton, Gem Stapleton, John Howse:
Completeness Proof Strategies for Euler Diagram Logics. ED@Diagrams 2012: 2-16 - [c53]Gem Stapleton, John Howse
, Peter Chapman, Ian Oliver, Aidan J. Delaney
:
What Can Concept Diagrams Say? Diagrams 2012: 291-293 - [c52]Jim Burton, Gem Stapleton, John Howse
:
Completeness Proofs for Diagrammatic Logics. Diagrams 2012: 318-320 - [c51]Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse:
Does the Orientation of an Euler Diagram Affect User Comprehension? DMS 2012: 185-190 - 2011
- [c50]John Howse
, Gem Stapleton, Kerry Taylor, Peter Chapman:
Visualizing Ontologies: A Case Study. ISWC (1) 2011: 257-272 - [c49]Peter Chapman, Gem Stapleton, John Howse
, Ian Oliver:
Deriving sound inference rules for concept diagrams. VL/HCC 2011: 87-94 - 2010
- [c48]John Howse
, Peter Rodgers
, Gem Stapleton:
Drawing Euler Diagrams for Information Visualization. Diagrams 2010: 4 - [c47]Gem Stapleton, Leishi Zhang, John Howse
, Peter Rodgers
:
Drawing Euler Diagrams with Circles. Diagrams 2010: 23-38 - [c46]Peter Rodgers
, Jean Flower, Gem Stapleton, John Howse
:
Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. Diagrams 2010: 54-68 - [c45]John Howse, Gem Stapleton, Ian Oliver:
Visual Reasoning about Ontologies. ISWC (Posters & Demos) 2010 - [c44]Peter Rodgers
, Gem Stapleton, John Howse
, Leishi Zhang
:
Euler Graph Transformations for Euler Diagram Layout. VL/HCC 2010: 111-118 - 2009
- [c43]Peter Rodgers
, Jean Flower, Gem Stapleton, John Howse
:
Some Results for Drawing Area Proportional Venn3 With Convex Curves. IV 2009: 667-672 - [c42]John Howse
, Peter Rodgers
, Gem Stapleton:
Changing euler diagram properties by edge transformation of euler dual graphs. VL/HCC 2009: 177-184 - [c41]John Howse
, Steve Schuman, Gem Stapleton, Ian Oliver:
Diagrammatic Formal Specification of a Configuration Control Platform. REFINE@FMWeek 2009: 87-104 - 2008
- [c40]John Howse
, Gem Stapleton:
Visual Mathematics: Diagrammatic Formalization and Proof. AISC/MKM/Calculemus 2008: 478-493 - [c39]John Howse
:
Diagrammatic Reasoning Systems. ICCS 2008: 1-20 - 2007
- [c38]Philip T. Cox, Andrew Fish, John Howse:
Visual Languages and Logic. VL/HCC 2007: 3 - [c37]Philip T. Cox, Andrew Fish, John Howse:
Introduction. VLL 2007 - 2006
- [c36]Gem Stapleton, John Howse
, Kate Toller:
Generalizing Spiders. Diagrams 2006: 148-150 - [c35]Chris John, Andrew Fish
, John Howse
, John Taylor:
Exploring the Notion of 'Clutter' in Euler Diagrams. Diagrams 2006: 267-282 - 2005
- [c34]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 - 2004
- [c33]Andrew Fish
, John Howse:
Towards a Default Reading for Constraint Diagrams. Diagrams 2004: 51-65 - [c32]Gem Stapleton, John Howse, John Taylor, Simon J. Thompson:
What Can Spider Diagrams Say? Diagrams 2004: 112-127 - [c31]Gem Stapleton, John Howse
, John Taylor, Simon J. Thompson
:
The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC 2004: 91-98 - 2003
- [c30]Andrew Fish
, John Howse:
Computing Reading Trees for Constraint Diagrams. AGTIVE 2003: 260-274 - [c29]Andrew Fish
, Jean Flower, John Howse
:
A reading algorithm for constraint diagrams. HCC 2003: 161-168 - 2002
- [c28]Jean Flower, John Howse:
Generating Euler Diagrams. Diagrams 2002: 61-75 - [c27]John Howse, Gemma Stapleton, Jean Flower, John Taylor:
Corresponding Regions in Euler Diagrams. Diagrams 2002: 76-90 - [c26]John Howse, Fernando Molina, Sun-Joo Shin, John Taylor:
On Diagram Tokens and Types. Diagrams 2002: 146-160 - [c25]Joseph Gil, John Howse, Stuart Kent:
Advanced visual modelling: beyond UML. ICSE 2002: 697-698 - [c24]Jean Flower, John Howse
, John Taylor, Stuart Kent:
A Visual Framework for Modelling with Heterogeneous Notations. HCC 2002: 71-73 - [c23]Jean Flower, John Howse
, John Taylor:
Nesting in Euler Diagrams. GT-VMT@ICGT 2002: 93-102 - 2001
- [c22]John Howse, Fernando Molina, John Taylor, Sun-Joo Shin:
Type-syntax and token-syntax in diagrammatic systems. FOIS 2001: 174-185 - [c21]Joseph Gil, John Howse, Stuart Kent:
Towards a Formalization of Constraint Diagrams. HCC 2001: 72- - 2000
- [c20]John Howse, Fernando Molina, John Taylor:
A Sound and Complete Diagrammatic Reasoning System. Artificial Intelligence and Soft Computing 2000: 402-408 - [c19]Joseph Gil, John Howse, Elena Tulchinsky:
Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams 2000: 7-25 - [c18]John Howse, Fernando Molina, John Taylor:
On the Completeness and Expressiveness of Spider Diagram Systems. Diagrams 2000: 26-41 - [c17]Joseph Gil, John Howse, Stuart Kent:
Advanced visual modeling (tutorial session): beyond UML. ICSE 2000: 833 - [c16]Joseph Gil, John Howse, Stuart Kent:
Advanced Visual Modeling: Beyond UML. TOOLS (33) 2000: 474 - [c15]Joseph Gil, John Howse, Stuart Kent, John Taylor:
Projections in Venn-Euler Diagrams. VL 2000: 119-126 - [c14]John Howse, Fernando Molina, John Taylor:
SD2: A Sound and Complete Diagrammatic Reasoning System. VL 2000: 127-134 - 1999
- [c13]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 - [c12]Joseph Gil, John Howse, Stuart Kent:
Constraint Diagrams: A Step Beyond UML. TOOLS (30) 1999: 453-463 - [c11]Stuart Kent, John Howse:
Mixing Visual and Textual Constraint Languages. UML 1999: 384-398 - [c10]Joseph Gil, John Howse, Stuart Kent:
Formalizing Spider Diagrams. VL 1999: 130-137 - [c9]John Howse, Fernando Molina, John Taylor, Stuart Kent:
Reasoning with Spider Diagrams. VL 1999: 138- - 1998
- [c8]Ali Hamie, John Howse, Stuart Kent:
Interpreting the Object Constraint Language. APSEC 1998: 288-295 - [c7]Stuart Kent, John Howse, Anthony Lauder:
Modeling Software Components. DEXA Workshop 1998: 789-800 - [c6]Ali Hamie, John Howse, Stuart Kent:
Navigation Expresion in Object-Oriented Modelling. FASE 1998: 123-137 - [c5]Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell:
Reflections on the Object Constraint Language. UML 1998: 162-172 - 1997
- [c4]Stuart Kent, Ali Hamie, John Howse
, Franco Civello, Richard Mitchell:
Semantics Through Pictures. ECOOP Workshops 1997: 182-187 - [c3]Richard Mitchell, John Howse, Ali Hamie:
Contract-Oriented Specifications. TOOLS (24) 1997: 131-140 - 1994
- [c2]Ian Maung, John Howse, Richard J. Mitchell:
Towards a Formalization of Programming-by-Difference. FME 1994: 134-153 - 1992
- [c1]Ian Maung, John Howse:
Introducing Hyper-Z - A New Approach to Object Orientation in Z. Z User Workshop 1992: 149-165
Parts in Books or Collections
- 2013
- [p2]Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman:
On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams 2013: 101-133 - 2002
- [p1]Stuart Kent, John Howse:
Constraint Trees. Object Modeling with the OCL 2002: 228-249
Editorship
- 2012
- [e3]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. Lecture Notes in Computer Science 7205, Springer 2012, ISBN 978-3-642-29448-8 [contents] - 2008
- [e2]Gem Stapleton, John Howse, John Lee:
Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings. Lecture Notes in Computer Science 5223, Springer 2008, ISBN 978-3-540-87729-5 [contents] - 2007
- [e1]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 Workshop Proceedings 274, CEUR-WS.org 2007 [contents]
Coauthor Index
aka: Gemma Stapleton
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint