John Howse - RankMe

106 papers A* 2B 11C 27Misc 3Journal 26Unranked 33

Year	Rank	Type	Title / Venue / Authors
2020	C	`conf`	Evaluating Visualizations of Sets and Networks that Use Euler Diagrams and Graphs. Diagrams Almas Baimagambetov, Gem Stapleton, Andrew Blake, John Howse
2019	Misc	`conf`	Exploring and Conceptualising Attestation. ICCS Ian Oliver, John Howse, Gem Stapleton, Zohreh Shams, Mateja Jamnik
2018	C	`conf`	Euler Diagrams Through the Looking Glass: From Extent to Intent. Diagrams Gem Stapleton, Amirouche Moktefi, John Howse, Jim Burton
2018	C	`conf`	Generating Effective Euler Diagrams. Diagrams Almas Baimagambetov, John Howse, Gem Stapleton, Aidan J. Delaney
2018	—	`conf`	Picturing Problems: Solving Logic Puzzles Diagrammatically. SetVR@Diagrams John Howse, Gem Stapleton, Jim Burton, Andrew Blake
2017	—	`conf`	The Efficacy of OWL and DL on User Understanding of Axioms and Their Entailments. ISWC (1) Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis
2017	J	`jnl`	The Semiotics of Spider Diagrams. Logica Universalis Jim Burton, John Howse
2017	B	`conf`	Visual logics help people: An evaluation of diagrammatic, textual and symbolic notations. VL/HCC Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie, Anestis Touloumis
2017	B	`conf`	Visualizing OWL 2 using diagrams. VL/HCC Gem Stapleton, Michael Compton, John Howse
2016	C	`conf`	Evaluating Diagrammatic Patterns for Ontology Engineering. Diagrams Eisa Alharbi, John Howse, Gem Stapleton, Ali Hamie
2016	—	`conf`	Evaluating the Impact of Clutter in Linear Diagrams. SetVR@Diagrams Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman
2016	C	`conf`	The Perception of Clutter in Linear Diagrams. Diagrams Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman
2016	J	`jnl`	The impact of topological and graphical choices on the perception of Euler diagrams. Inf. Sci. Andrew Blake, Gem Stapleton, Peter Rodgers, John Howse
2014	—	`conf`	A Vision for Diagrammatic Ontology Engineering. VISUAL@EKAW Gem Stapleton, John Howse, Adrienne Bonnington, Jim Burton
2014	J	`jnl`	Drawing Area-Proportional Euler Diagrams Representing Up To Three Sets. IEEE Trans. Vis. Comput. Graph. Peter Rodgers, Gem Stapleton, Jean Flower, John Howse
2014	C	`conf`	Evaluating the Impact of Clutter in Euler Diagrams. Diagrams Mohanad Alqadah, Gem Stapleton, John Howse, Peter Chapman
2014	C	`conf`	How Should We Use Colour in Euler Diagrams? VINCI Andrew Blake, Gem Stapleton, Peter J. Rodgers, John Howse
2014	B	`conf`	Properties of euler diagrams and graphs in combination. VL/HCC Mithileysh Sathiyanarayanan, Gem Stapleton, Jim Burton, John Howse
2014	C	`conf`	The Impact of Shape on the Perception of Euler Diagrams. Diagrams Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse
2014	C	`conf`	Visualizing Concepts with Euler Diagrams. Diagrams Jim Burton, Gem Stapleton, John Howse, Peter Chapman
2014	—	`conf`	Well-matchedness in Euler Diagrams. ED/GViP@Diagrams Mithileysh Sathiyanarayanan, John Howse
2013	J	`jnl`	Generalized constraint diagrams and the classical decision problem. J. Log. Comput. Jim Burton, Gem Stapleton, John Howse
2013	B	`conf`	Improving user comprehension of Euler diagrams. VL/HCC Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse
2013	—	`ch.`	On the Completeness of Spider Diagrams Augmented with Constants. Visual Reasoning with Diagrams Gem Stapleton, John Howse, Simon J. Thompson, John Taylor, Peter Chapman
2013	B	`conf`	Protecting privacy: Towards a visual framework for handling end-user data. VL/HCC Ian Oliver, John Howse, Gem Stapleton
2013	—	`conf`	Towards Diagrammatic Ontology Patterns. WOP Gem Stapleton, John Howse, Kerry Taylor, Aidan J. Delaney, Jim Burton, Peter Chapman
2012	J	`jnl`	Automatically drawing Euler diagrams with circles. J. Vis. Lang. Comput. Gem Stapleton, Jean Flower, Peter J. Rodgers, John Howse
2012	—	`conf`	Completeness Proof Strategies for Euler Diagram Logics. ED@Diagrams Jim Burton, Gem Stapleton, John Howse
2012	C	`conf`	Completeness Proofs for Diagrammatic Logics. Diagrams Jim Burton, Gem Stapleton, John Howse
2012	—	`conf`	Does the Orientation of an Euler Diagram Affect User Comprehension? DMS Andrew Blake, Gem Stapleton, Peter Rodgers, Liz Cheek, John Howse
2012	—	`ed.`	Graph Structures for Knowledge Representation and Reasoning - Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers GKR Madalina Croitoru, Sebastian Rudolph, Nic Wilson, John Howse, Olivier Corby
2012	C	`conf`	What Can Concept Diagrams Say? Diagrams Gem Stapleton, John Howse, Peter Chapman, Ian Oliver, Aidan J. Delaney
2011	J	`jnl`	A general method for drawing area-proportional Euler diagrams. J. Vis. Lang. Comput. Gem Stapleton, Peter Rodgers, John Howse
2011	B	`conf`	Deriving sound inference rules for concept diagrams. VL/HCC Peter Chapman, Gem Stapleton, John Howse, Ian Oliver
2011	J	`jnl`	Drawing Euler Diagrams with Circles: The Theory of Piercings. IEEE Trans. Vis. Comput. Graph. Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers
2011	J	`jnl`	Inductively Generating Euler Diagrams. IEEE Trans. Vis. Comput. Graph. Gem Stapleton, Peter Rodgers, John Howse, Leishi Zhang
2011	J	`jnl`	Special Issue on Visual Languages and Logic: Guest editors' introduction. J. Vis. Lang. Comput. Philip T. Cox, Andrew Fish, John Howse
2011	—	`conf`	Visualizing Ontologies: A Case Study. ISWC (1) John Howse, Gem Stapleton, Kerry Taylor, Peter Chapman
2010	J	`jnl`	A graph theoretic approach to general Euler diagram drawing. Theor. Comput. Sci. Gem Stapleton, John Howse, Peter J. Rodgers
2010	C	`conf`	Drawing Area-Proportional Venn-3 Diagrams with Convex Polygons. Diagrams Peter Rodgers, Jean Flower, Gem Stapleton, John Howse
2010	C	`conf`	Drawing Euler Diagrams for Information Visualization. Diagrams John Howse, Peter Rodgers, Gem Stapleton
2010	C	`conf`	Drawing Euler Diagrams with Circles. Diagrams Gem Stapleton, Leishi Zhang, John Howse, Peter Rodgers
2010	B	`conf`	Euler Graph Transformations for Euler Diagram Layout. VL/HCC Peter Rodgers, Gem Stapleton, John Howse, Leishi Zhang
2010	—	`conf`	Visual Reasoning about Ontologies. ISWC (Posters & Demos) John Howse, Gem Stapleton, Ian Oliver
2010	J	`jnl`	Visual Specification Patterns. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Andrew Fish, Ali Hamie, John Howse
2009	B	`conf`	Changing euler diagram properties by edge transformation of euler dual graphs. VL/HCC John Howse, Peter Rodgers, Gem Stapleton
2009	—	`conf`	Diagrammatic Formal Specification of a Configuration Control Platform. REFINE@FMWeek John Howse, Steve Schuman, Gem Stapleton, Ian Oliver
2009	C	`conf`	Some Results for Drawing Area Proportional Venn3 With Convex Curves. IV Peter Rodgers, Jean Flower, Gem Stapleton, John Howse
2009	J	`jnl`	The expressiveness of spider diagrams augmented with constants. J. Vis. Lang. Comput. Gem Stapleton, John Taylor, Simon J. Thompson, John Howse
2008	Misc	`conf`	Diagrammatic Reasoning Systems. ICCS John Howse
2008	C	`ed.`	Diagrammatic Representation and Inference, 5th International Conference, Diagrams 2008, Herrsching, Germany, September 19-21, 2008. Proceedings Diagrams Gem Stapleton, John Howse, John Lee
2008	J	`jnl`	Euler diagram generation. J. Vis. Lang. Comput. Jean Flower, Andrew Fish, John Howse
2008	J	`jnl`	Generating Euler Diagrams from Existing Layouts. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gem Stapleton, John Howse, Peter Rodgers, Leishi Zhang
2008	—	`conf`	Visual Mathematics: Diagrammatic Formalization and Proof. AISC/MKM/Calculemus John Howse, Gem Stapleton
2007	—	`conf`	Introduction. VLL Philip T. Cox, Andrew Fish, John Howse
2007	—	`ed.`	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 VLL Philip T. Cox, Andrew Fish, John Howse
2007	J	`jnl`	Properties of Euler Diagrams. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Gem Stapleton, Peter Rodgers, John Howse, John Taylor
2007	B	`conf`	Visual Languages and Logic. VL/HCC Philip T. Cox, Andrew Fish, John Howse
2006	C	`conf`	Exploring the Notion of 'Clutter' in Euler Diagrams. Diagrams Chris John, Andrew Fish, John Howse, John Taylor
2006	C	`conf`	Generalizing Spiders. Diagrams Gem Stapleton, John Howse, Kate Toller
2005	J	`jnl`	A Decidable Constraint Diagram Reasoning System. J. Log. Comput. Gem Stapleton, John Howse, John Taylor
2005	—	`conf`	A New Language for the Visualization of Logic and Reasoning. DMS Gem Stapleton, Simon J. Thompson, Andrew Fish, John Howse, John Taylor
2005	J	`jnl`	Precise visual modeling: A case-study. Softw. Syst. Model. John Howse, Steve Schuman
2005	J	`jnl`	Spider Diagrams. LMS J. Comput. Math. John Howse, Gem Stapleton, John Taylor
2005	J	`jnl`	The semantics of augmented constraint diagrams. J. Vis. Lang. Comput. Andrew Fish, Jean Flower, John Howse
2004	J	`jnl`	Nesting in Euler Diagrams: syntax, semantics and construction. Softw. Syst. Model. Jean Flower, John Howse, John Taylor
2004	B	`conf`	The Expressiveness of Spider Diagrams Augmented with Constants. VL/HCC Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2004	J	`jnl`	The Expressiveness of Spider Diagrams. J. Log. Comput. Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2004	C	`conf`	Towards a Default Reading for Constraint Diagrams. Diagrams Andrew Fish, John Howse
2004	C	`conf`	What Can Spider Diagrams Say? Diagrams Gem Stapleton, John Howse, John Taylor, Simon J. Thompson
2003	—	`conf`	A reading algorithm for constraint diagrams. HCC Andrew Fish, Jean Flower, John Howse
2003	—	`conf`	Computing Reading Trees for Constraint Diagrams. AGTIVE Andrew Fish, John Howse
2003	J	`jnl`	The Iconic Logic of Peirce's Graphs: Sun-Joo Shin MIT Press, Cambridge, MA, 2002 ISBN: 0-262-19470-8. J. Vis. Lang. Comput. John Howse
2002	—	`conf`	A Visual Framework for Modelling with Heterogeneous Notations. HCC Jean Flower, John Howse, John Taylor, Stuart Kent
2002	A*	`conf`	Advanced visual modelling: beyond UML. ICSE Joseph Gil, John Howse, Stuart Kent
2002	—	`ch.`	Constraint Trees. Object Modeling with the OCL Stuart Kent, John Howse
2002	C	`conf`	Corresponding Regions in Euler Diagrams. Diagrams John Howse, Gemma Stapleton, Jean Flower, John Taylor
2002	C	`conf`	Generating Euler Diagrams. Diagrams Jean Flower, John Howse
2002	—	`conf`	Nesting in Euler Diagrams. GT-VMT@ICGT Jean Flower, John Howse, John Taylor
2002	C	`conf`	On Diagram Tokens and Types. Diagrams John Howse, Fernando Molina, Sun-Joo Shin, John Taylor
2002	J	`jnl`	Positive Semantics of Projections in Venn-Euler Diagrams. J. Vis. Lang. Comput. Joseph Gil, John Howse, Elena Tulchinsky
2001	J	`jnl`	Spider Diagrams: A Diagrammatic Reasoning System. J. Vis. Lang. Comput. John Howse, Fernando Molina, John Taylor, Stuart Kent, Joseph Gil
2001	—	`conf`	Towards a Formalization of Constraint Diagrams. HCC Joseph Gil, John Howse, Stuart Kent
2001	C	`conf`	Type-syntax and token-syntax in diagrammatic systems. FOIS John Howse, Fernando Molina, John Taylor, Sun-Joo Shin
2000	Misc	`conf`	A Sound and Complete Diagrammatic Reasoning System. Artificial Intelligence and Soft Computing John Howse, Fernando Molina, John Taylor
2000	—	`conf`	Advanced Visual Modeling: Beyond UML. TOOLS (33) Joseph Gil, John Howse, Stuart Kent
2000	A*	`conf`	Advanced visual modeling (tutorial session): beyond UML. ICSE Joseph Gil, John Howse, Stuart Kent
2000	C	`conf`	On the Completeness and Expressiveness of Spider Diagram Systems. Diagrams John Howse, Fernando Molina, John Taylor
2000	C	`conf`	Positive Semantics of Projections in Venn-Euler Diagrams. Diagrams Joseph Gil, John Howse, Elena Tulchinsky
2000	—	`conf`	Projections in Venn-Euler Diagrams. VL Joseph Gil, John Howse, Stuart Kent, John Taylor
2000	—	`conf`	SD2: A Sound and Complete Diagrammatic Reasoning System. VL John Howse, Fernando Molina, John Taylor
1999	—	`conf`	Constraint Diagrams: A Step Beyond UML. TOOLS (30) Joseph Gil, John Howse, Stuart Kent
1999	—	`conf`	Formalizing Spider Diagrams. VL Joseph Gil, John Howse, Stuart Kent
1999	—	`conf`	Mixing Visual and Textual Constraint Languages. UML Stuart Kent, John Howse
1999	—	`conf`	Reasoning with Spider Diagrams. VL John Howse, Fernando Molina, John Taylor, Stuart Kent
1999	—	`conf`	Should UML Have a Single Semantics? Should UML Have a Single ECOOP Workshops John Howse, Shusaku Iida, Richard Mitchell, Bernhard Rumpe
1998	C	`conf`	Interpreting the Object Constraint Language. APSEC Ali Hamie, John Howse, Stuart Kent
1998	—	`conf`	Modeling Software Components. DEXA Workshop Stuart Kent, John Howse, Anthony Lauder
1998	B	`conf`	Navigation Expresion in Object-Oriented Modelling. FASE Ali Hamie, John Howse, Stuart Kent
1998	—	`conf`	Reflections on the Object Constraint Language. UML Ali Hamie, Franco Civello, John Howse, Stuart Kent, Richard Mitchell
1997	—	`conf`	Contract-Oriented Specifications. TOOLS (24) Richard Mitchell, John Howse, Ali Hamie
1997	—	`conf`	Semantics Through Pictures. ECOOP Workshops Stuart Kent, Ali Hamie, John Howse, Franco Civello, Richard Mitchell
1995	J	`jnl`	As-a: A Relationship to Support Code Reuse. J. Object Oriented Program. Richard J. Mitchell, John Howse, Ian Maung
1994	J	`jnl`	Structuring formal specifications - a lesson relearned. Microprocess. Microsystems Richard J. Mitchell, Martin J. Loomes, John Howse
1994	—	`conf`	Towards a Formalization of Programming-by-Difference. FME Ian Maung, John Howse, Richard J. Mitchell
1992	—	`conf`	Introducing Hyper-Z - A New Approach to Object Orientation in Z. Z User Workshop Ian Maung, John Howse