John Howse

Cited by

	All	Since 2017
Citations	2526	450
h-index	29	12
i10-index	62	16

220

110

165

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120228 8 10 26 47 48 51 76 61 129 164 87 98 148 86 90 139 113 199 210 116 130 111 128 70 72 60 9

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 FishReader, Computing and Mathematics, University of BrightonVerified email at brighton.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 ThompsonTechnical Project Director, dApp Platform, IOHK; Professor, University of Kent and ELTEVerified 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äVisuaLynk OyVerified email at visualynk.com
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 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 University and University of AberdeenVerified 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	169	2005
Generating euler diagrams J Flower, J Howse International Conference on Theory and Application of Diagrams, 61-75, 2002	138	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	110	2001
Formalizing spider diagrams J Gil, J Howse, S Kent Proceedings 1999 IEEE Symposium on Visual Languages, 130-137, 1999	100	1999
The semantics of augmented constraint diagrams A Fish, J Flower, J Howse Journal of Visual Languages & Computing 16 (6), 541-573, 2005	99	2005
Reflections on the object constraint language A Hamie, F Civello, J Howse, S Kent, R Mitchell International Conference on the Unified Modeling Language, 162-172, 1998	74	1998
Visualizing ontologies: A case study J Howse, G Stapleton, K Taylor, P Chapman International Semantic Web Conference, 257-272, 2011	70	2011
Euler diagram generation J Flower, A Fish, J Howse Journal of Visual Languages & Computing 19 (6), 675-694, 2008	65	2008
Interpreting the object constraint language A Hamie, J Howse, S Kent Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998	63	1998
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	60	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	55*	2012
On diagram tokens and types J Howse, F Molina, SJ Shin, J Taylor International Conference on Theory and Application of Diagrams, 146-160, 2002	55	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	53	2010
Precise visual modeling: A case-study J Howse, S Schuman Software & Systems Modeling 4 (3), 310-325, 2005	53	2005
Towards a formalization of constraint diagrams J Gil, J Howse, S Kent Proceedings IEEE Symposia on Human-Centric Computing Languages and …, 2001	53	2001
Properties of Euler diagrams G Stapleton, P Rodgers, J Howse, J Taylor Electronic Communications of the EASST 7, 2007	49	2007
Constraint Diagrams: a step beyond UML J Gil, J Howse, S Kent Proceedings of TOOLS USA'99, 1999	49	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
Reasoning with spider diagrams J Howse, F Molina, J Taylor, S Kent Proceedings 1999 IEEE Symposium on Visual Languages, 138-145, 1999	41	1999
Drawing Euler diagrams with circles: The theory of piercings G Stapleton, L Zhang, J Howse, P Rodgers IEEE transactions on visualization and computer graphics 17 (7), 1020-1032, 2010	39	2010

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 this author

Cited by

Co-authors