Concepedia

John Howse

JH

Statistics

Publications

37

Citations

1.1K

H-Index

20

Active since

1999

Affiliations

University of Brighton(Current)

University of Kent

Technion – Israel Institute of Technology

City College Brighton and Hove

John Howse is an author at University of Brighton specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsSemanticsGeometryDiscrete MathematicsDesignSoftware DesignFormal Verification

Publications per year

1999–2024

37

Publications

37

Spider Diagrams

John Howse, Gem Stapleton, John Taylor · LMS Journal of Computation and Mathematics · 2005 · 82 citations · Full text

Reasoning, Formal Logic, Topological Properties +14

Spider Diagrams: A Diagrammatic Reasoning System

John Howse, Fernando Molina, John Taylor et al. · Journal of Visual Languages & Computing · 2001 · 76 citations · Full text

Engineering, Diagrammatic Reasoning, Spider Diagrams +7

The semantics of augmented constraint diagrams

Andrew Fish, Jean Flower, John Howse · Journal of Visual Languages & Computing · 2005 · 76 citations

Constraint Solving, Engineering, Diagrammatic Reasoning +6

Formalizing spider diagrams

J. Gil, John Howse, Stuart Kent · 1999 · 65 citations

Engineering, Visual Programming Language, Geometry +17

Euler diagram generation

Jean Flower, Andrew Fish, John Howse · Journal of Visual Languages & Computing · 2008 · 54 citations

Diagrammatic Reasoning, Graph Theory, Geometry +6

1–5 of 37