34
Publications
882
Citations
19
H-Index
2003
Active since
Gem Stapleton is an author at University of Brighton specializing in computer science, engineering, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsDesignGeometryFormal VerificationSemanticsData ScienceGraph Theory
Publications per year
2003–2024
34
34
John Howse, Gem Stapleton, John Taylor · LMS Journal of Computation and Mathematics · 2005 · 82 citations · Full text
The Expressiveness of Spider Diagrams
Gem Stapleton · Journal of Logic and Computation · 2004 · 51 citations · Full text
Rows per page
1–5 of 34