2008 |
23 | EE | John G. Stell,
Michael F. Worboys:
A Theory of Change for Attributed Spatial Entities.
GIScience 2008: 308-319 |
22 | EE | Thomas Bittner,
John G. Stell:
Approximation.
Encyclopedia of GIS 2008: 21-25 |
2007 |
21 | EE | John G. Stell:
Relations in Mathematical Morphology with Applications to Graphs and Rough Sets.
COSIT 2007: 438-454 |
2004 |
20 | EE | John G. Stell:
Part and Complement: Fundamental Concepts in Spatial Relations.
Ann. Math. Artif. Intell. 41(1): 1-17 (2004) |
2003 |
19 | EE | Anthony J. Roy,
John G. Stell:
Convexity in Discrete Space.
COSIT 2003: 253-269 |
18 | EE | Thomas Bittner,
John G. Stell:
Stratified Rough Sets and Vagueness.
COSIT 2003: 270-286 |
2002 |
17 | EE | John G. Stell:
Part and Complement: Fundamental Concepts in Spatial Relations.
AMAI 2002 |
16 | EE | John G. Stell:
A Framework for Order-Sorted Algebra.
AMAST 2002: 396-410 |
15 | EE | Anthony J. Roy,
John G. Stell:
A Qualitative Account of Discrete Space.
GIScience 2002: 276-290 |
14 | | Thomas Bittner,
John G. Stell:
Vagueness and Rough Location.
GeoInformatica 6(2): 99-121 (2002) |
13 | | Paolo Torrini,
John G. Stell,
Brandon Bennett:
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic.
Journal of Applied Non-Classical Logics 12(3-4): 495-526 (2002) |
2001 |
12 | | Tony Griffiths,
Alvaro A. A. Fernandes,
Norman W. Paton,
Keith T. Mason,
Bo Huang,
Michael F. Worboys,
Chris Johnson,
John G. Stell:
Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects.
ACM-GIS 2001: 118-123 |
11 | EE | Anthony J. Roy,
John G. Stell:
Spatial relations between indeterminate regions.
Int. J. Approx. Reasoning 27(3): 205-234 (2001) |
2000 |
10 | | John G. Stell:
The Representation of Discrete Multi-resolution Spatial Knowledge.
KR 2000: 38-49 |
9 | EE | Thomas Bittner,
John G. Stell:
Rough Sets in Approximate Spatial Reasoning.
Rough Sets and Current Trends in Computing 2000: 445-453 |
8 | EE | John G. Stell:
Boolean connection algebras: A new approach to the Region-Connection Calculus.
Artif. Intell. 122(1-2): 111-136 (2000) |
1999 |
7 | EE | John G. Stell:
Granulation for Graphs.
COSIT 1999: 417-432 |
6 | EE | John G. Stell,
Michael F. Worboys:
Generalizing Graphs Using Amalgamation and Selection.
SSD 1999: 19-32 |
1998 |
5 | | Thomas Bittner,
John G. Stell:
A Boundary-Sensitive Approach to Qualitative Location.
Ann. Math. Artif. Intell. 24(1-4): 93-114 (1998) |
1997 |
4 | | John G. Stell,
Michael F. Worboys:
The Algebraic Structure of Sets of Regions.
COSIT 1997: 163-174 |
3 | | Barbara A. Kitchenham,
John G. Stell:
The danger of using axioms in software metrics.
IEE Proceedings - Software 144(5-6): 279-285 (1997) |
1990 |
2 | | John G. Stell:
Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms.
CTRS 1990: 389-400 |
1987 |
1 | | David E. Rydeheard,
John G. Stell:
Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.
Category Theory and Computer Science 1987: 114-139 |