Follow
John Howse
John Howse
Professor of Mathematics and Computation, University of Brighton
Verified email at brighton.ac.uk
Title
Cited by
Cited by
Year
Spider diagrams
J Howse, G Stapleton, J Taylor
LMS Journal of Computation and Mathematics 8, 145-194, 2005
1712005
Generating euler diagrams
J Flower, J Howse
Diagrammatic Representation and Inference: Second International Conference …, 2002
1422002
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
1122001
Formalizing spider diagrams
J Gil, J Howse, S Kent
Proceedings 1999 IEEE Symposium on Visual Languages, 130-137, 1999
1021999
The semantics of augmented constraint diagrams
A Fish, J Flower, J Howse
Journal of Visual Languages & Computing 16 (6), 541-573, 2005
992005
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
742011
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
741999
Euler diagram generation
J Flower, A Fish, J Howse
Journal of Visual Languages & Computing 19 (6), 675-694, 2008
692008
Interpreting the object constraint language
A Hamie, J Howse, S Kent
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998
631998
The expressiveness of spider diagrams
G Stapleton, J Howse, J Taylor, S Thompson
Journal of Logic and Computation 14 (6), 857-880, 2004
612004
On diagram tokens and types
J Howse, F Molina, SJ Shin, J Taylor
Diagrammatic Representation and Inference: Second International Conference …, 2002
572002
Automatically drawing Euler diagrams with circles
G Stapleton, J Flower, P Rodgers, J Howse
Journal of Visual Languages & Computing 23 (3), 163-193, 2012
56*2012
Inductively generating Euler diagrams
G Stapleton, P Rodgers, J Howse, L Zhang
IEEE Transactions on Visualization and Computer Graphics 17 (1), 88-100, 2010
562010
Precise visual modeling: A case-study
J Howse, S Schuman
Software & Systems Modeling 4, 310-325, 2005
562005
Properties of Euler diagrams
G Stapleton, P Rodgers, J Howse, J Taylor
Electronic Communications of the EASST 7, 2007
522007
Towards a formalization of constraint diagrams
J Gil, J Howse, S Kent
Proceedings IEEE Symposia on Human-Centric Computing Languages and …, 2001
522001
Constraint Diagrams: a step beyond UML
J Gil, J Howse, S Kent
Proceedings of TOOLS USA'99, 1999
501999
A decidable constraint diagram reasoning system
G Stapleton, J Howse, J Taylor
Journal of Logic and Computation 15 (6), 975-1008, 2005
452005
Reasoning with spider diagrams
J Howse, F Molina, J Taylor, S Kent
Proceedings 1999 IEEE Symposium on Visual Languages, 138-145, 1999
441999
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
402010
The system can't perform the operation now. Try again later.
Articles 1–20