| |
| * | 2006 | |
|---|---|---|
| 6 | EE | Marcel Jackson, Timothy Stokes: Identities in the Algebra of Partial Maps. IJAC 16(6): 1131-1160 (2006) |
| 2003 | ||
| 5 | EE | Desmond Fearnley-Sander, Timothy Stokes: Varieties of Equality Structures. IJAC 13(4): 463-480 (2003) |
| 2000 | ||
| 4 | EE | Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes: The Kinds of Truth of Geometry Theorems. Automated Deduction in Geometry 2000: 129-142 |
| 3 | EE | Timothy Stokes, Michael Bulmer: A Complex Change of Variables for Geometrical Reasoning. Automated Deduction in Geometry 2000: 143-153 |
| 1996 | ||
| 2 | Desmond Fearnley-Sander, Timothy Stokes: Area in Grassmann Geometry. Automated Deduction in Geometry 1996: 141-170 | |
| 1990 | ||
| 1 | Timothy Stokes: Gröbner Bases in Exterior Algebra. J. Autom. Reasoning 6(3): 233-250 (1990) | |
| 1 | Michael Bulmer | [3] [4] |
| 2 | Desmond Fearnley-Sander | [2] [4] [5] |
| 3 | Marcel Jackson | [6] |