John Howse

Cited by

	All	Since 2020
Citations	2688	273
h-index	29	8
i10-index	68	5

220

110

165

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320248 8 11 28 52 47 52 73 53 155 165 88 94 162 88 85 138 114 205 210 90 145 112 113 74 71 61 54 34 53

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Gem StapletonUniversity of CambridgeVerified email at cam.ac.uk
Peter RodgersSchool of Computing, University of KentVerified email at kent.ac.uk
Andrew FishUniversity of LiverpoolVerified email at liverpool.ac.uk
Yossi GilThe TechnionVerified email at cs.technion.ac.il
Jim BurtonSenior Lecturer in Computing, University of BrightonVerified email at brighton.ac.uk
Simon ThompsonProfessor, University of Kent and Eötvös Loránd University, BudapestVerified email at kent.ac.uk
Andrew BlakeUniversity of BrightonVerified email at brighton.ac.uk
Leishi ZhangSchool of Engineering, Technology and Design, Canterbury Christ Church UniveristyVerified email at canterbury.ac.uk
Aidan DelaneyVerified email at ontologyengineering.org
Kerry TaylorProfessor of Computer Science, Australian National UniversityVerified email at acm.org
Seppo TörmäMetropolia UAS, VisuaLynk OyVerified email at metropolia.fi
Dr Mithileysh SathiyanarayananFounder | CEO | Scientist @ MIT Square, LondonVerified email at mitsquare.com
Anestis TouloumisUniversity of BrightonVerified email at brighton.ac.uk
Robin P ClarkEnergy Technology Control LtdVerified email at energytechnologycontrol.com
John C. GrundyAustralian Laureate Fellow and Professor of Software Engineering, Faculty of IT, Monash UniversityVerified email at monash.edu
Bernd MeyerProfessor, Monash UniversityVerified email at monash.edu
Judith MasthoffUtrecht UniversityVerified email at uu.nl

John Howse

Professor of Mathematics and Computation, University of Brighton

Verified email at brighton.ac.uk

Computer Science Diagrammatic Reasoning Visual Modelling


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Spider diagrams J Howse, G Stapleton, J Taylor LMS Journal of Computation and Mathematics 8, 145-194, 2005	179	2005
Generating euler diagrams J Flower, J Howse Diagrammatic Representation and Inference: Second International Conference …, 2002	145	2002
Spider diagrams: A diagrammatic reasoning system J Howse, F Molina, J Taylor, S Kent, JY Gil Journal of Visual Languages & Computing 12 (3), 299-324, 2001	116	2001
Formalizing spider diagrams J Gil, J Howse, S Kent Proceedings 1999 IEEE Symposium on Visual Languages, 130-137, 1999	104	1999
The semantics of augmented constraint diagrams A Fish, J Flower, J Howse Journal of Visual Languages & Computing 16 (6), 541-573, 2005	100	2005
Visualizing ontologies: A case study J Howse, G Stapleton, K Taylor, P Chapman The Semantic Web–ISWC 2011: 10th International Semantic Web Conference, Bonn …, 2011	74	2011
Reflections on the object constraint language A Hamie, F Civello, J Howse, S Kent, R Mitchell The Unified Modeling Language.«UML»’98: Beyond the Notation: First …, 1999	74	1999
Euler diagram generation J Flower, A Fish, J Howse Journal of Visual Languages & Computing 19 (6), 675-694, 2008	68	2008
Interpreting the object constraint language A Hamie, J Howse, S Kent Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998	66	1998
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	61	2004
Automatically drawing Euler diagrams with circles G Stapleton, J Flower, P Rodgers, J Howse Journal of Visual Languages & Computing 23 (3), 163-193, 2012	59*	2012
On diagram tokens and types J Howse, F Molina, SJ Shin, J Taylor Diagrammatic Representation and Inference: Second International Conference …, 2002	59	2002
Inductively generating Euler diagrams G Stapleton, P Rodgers, J Howse, L Zhang IEEE Transactions on Visualization and Computer Graphics 17 (1), 88-100, 2010	57	2010
Precise visual modeling: A case-study J Howse, S Schuman Software & Systems Modeling 4, 310-325, 2005	56	2005
Towards a formalization of constraint diagrams J Gil, J Howse, S Kent Proceedings IEEE Symposia on Human-Centric Computing Languages and …, 2001	54	2001
Properties of Euler diagrams G Stapleton, P Rodgers, J Howse, J Taylor Electronic Communications of the EASST 7, 2007	53	2007
Constraint Diagrams: a step beyond UML J Gil, J Howse, S Kent Proceedings of TOOLS USA'99, 1999	51	1999
Reasoning with spider diagrams J Howse, F Molina, J Taylor, S Kent Proceedings 1999 IEEE Symposium on Visual Languages, 138-145, 1999	45	1999
A decidable constraint diagram reasoning system G Stapleton, J Howse, J Taylor Journal of Logic and Computation 15 (6), 975-1008, 2005	43	2005
The expressiveness of spider diagrams augmented with constants G Stapleton, J Taylor, S Thompson, J Howse Journal of Visual Languages & Computing 20 (1), 30-49, 2009	41	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors