John Howse

Cited by

	All	Since 2016
Citations	2431	515
h-index	28	13
i10-index	61	21

220

110

165

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020218 8 10 25 49 50 49 73 65 129 161 86 98 145 86 87 136 116 186 208 114 134 114 120 76 64 6

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 ThompsonSenior Research Lead, IOHK; Professor of Logic and Computation, University of Kent, UKVerified email at kent.ac.uk
Andrew BlakeUniversity of BrightonVerified email at brighton.ac.uk
Leishi ZhangDepartment of Computer Science, Middlesex UniversityVerified email at mdx.ac.uk
Aidan DelaneyVerified email at brighton.ac.uk
Kerry TaylorAssociate Professor, Australian National UniversityVerified email at acm.org
Seppo TörmäVisuaLynk OyVerified email at visualynk.com
Mithileysh SathiyanarayananFounder | CEO | Scientist @ MIT SquareVerified 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	158	2005
Generating euler diagrams J Flower, J Howse International Conference on Theory and Application of Diagrams, 61-75, 2002	140	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	105	2001
The semantics of augmented constraint diagrams A Fish, J Flower, J Howse Journal of Visual Languages & Computing 16 (6), 541-573, 2005	97	2005
Formalizing spider diagrams J Gil, J Howse, S Kent Proceedings 1999 IEEE Symposium on Visual Languages, 130-137, 1999	97	1999
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	73	1998
Visualizing ontologies: A case study J Howse, G Stapleton, K Taylor, P Chapman International Semantic Web Conference, 257-272, 2011	67	2011
Interpreting the object constraint language A Hamie, J Howse, S Kent Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998	64	1998
The expressiveness of spider diagrams G Stapleton, J Howse, J Taylor, S Thompson Journal of Logic and Computation 14 (6), 857-880, 2004	59	2004
Euler diagram generation J Flower, A Fish, J Howse Journal of Visual Languages & Computing 19 (6), 675-694, 2008	58	2008
Precise visual modeling: A case-study J Howse, S Schuman Software & Systems Modeling 4 (3), 310-325, 2005	53	2005
On diagram tokens and types J Howse, F Molina, SJ Shin, J Taylor International Conference on Theory and Application of Diagrams, 146-160, 2002	53	2002
Towards a formalization of constraint diagrams J Gil, J Howse, S Kent Proceedings IEEE Symposia on Human-Centric Computing Languages and …, 2001	52	2001
Automatically drawing Euler diagrams with circles G Stapleton, J Flower, P Rodgers, J Howse Journal of Visual Languages & Computing 23 (3), 163-193, 2012	50*	2012
Constraint Diagrams: a step beyond UML J Gil, J Howse, S Kent Proceedings of TOOLS USA'99, 1999	49	1999
Inductively generating Euler diagrams G Stapleton, P Rodgers, J Howse, L Zhang IEEE Transactions on Visualization and Computer Graphics 17 (1), 88-100, 2010	47	2010
Properties of Euler diagrams G Stapleton, P Rodgers, J Howse, J Taylor Electronic Communications of the EASST 7, 2007	47	2007
Reasoning with spider diagrams J Howse, F Molina, J Taylor, S Kent Proceedings 1999 IEEE Symposium on Visual Languages, 138-145, 1999	42	1999
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	39	2009
A decidable constraint diagram reasoning system G Stapleton, J Howse, J Taylor Journal of Logic and Computation 15 (6), 975-1008, 2005	38	2005

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

Upload PDF

Follow this author

Cited by

Co-authors