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
1572005
Generating euler diagrams
J Flower, J Howse
International Conference on Theory and Application of Diagrams, 61-75, 2002
1342002
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
1012001
The semantics of augmented constraint diagrams
A Fish, J Flower, J Howse
Journal of Visual Languages & Computing 16 (6), 541-573, 2005
972005
Formalizing spider diagrams
J Gil, J Howse, S Kent
Proceedings 1999 IEEE Symposium on Visual Languages, 130-137, 1999
941999
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
731998
Visualizing ontologies: A case study
J Howse, G Stapleton, K Taylor, P Chapman
International Semantic Web Conference, 257-272, 2011
672011
Interpreting the object constraint language
A Hamie, J Howse, S Kent
Proceedings 1998 Asia Pacific Software Engineering Conference (Cat. No …, 1998
651998
The expressiveness of spider diagrams
G Stapleton, J Howse, J Taylor, S Thompson
Journal of Logic and Computation 14 (6), 857-880, 2004
602004
Euler diagram generation
J Flower, A Fish, J Howse
Journal of Visual Languages & Computing 19 (6), 675-694, 2008
562008
On diagram tokens and types
J Howse, F Molina, SJ Shin, J Taylor
International Conference on Theory and Application of Diagrams, 146-160, 2002
532002
Precise visual modeling: A case-study
J Howse, S Schuman
Software & Systems Modeling 4 (3), 310-325, 2005
522005
Towards a formalization of constraint diagrams
J Gil, J Howse, S Kent
Proceedings IEEE Symposia on Human-Centric Computing Languages and …, 2001
512001
Constraint Diagrams: a step beyond UML
J Gil, J Howse, S Kent
Proceedings of TOOLS USA'99, 1999
481999
Automatically drawing Euler diagrams with circles
G Stapleton, J Flower, P Rodgers, J Howse
Journal of Visual Languages & Computing 23 (3), 163-193, 2012
47*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
452010
Properties of Euler diagrams
G Stapleton, P Rodgers, J Howse, J Taylor
Electronic Communications of the EASST 7, 2007
452007
Reasoning with spider diagrams
J Howse, F Molina, J Taylor, S Kent
Proceedings 1999 IEEE Symposium on Visual Languages, 138-145, 1999
451999
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
392009
A decidable constraint diagram reasoning system
G Stapleton, J Howse, J Taylor
Journal of Logic and Computation 15 (6), 975-1008, 2005
392005
The system can't perform the operation now. Try again later.
Articles 1–20