Stell, J. (2011) Boundary Provenance Relations. To be presented at Workshop on Identifying Objects, Processes and Events in Spatio-Temporally Distributed Data.
Stell, J., del Mondo, G., Thibaud, R., Claramunt, C. (2011) Spatio-temporal Evolution as Bigraph Dynamics In M. Egenhofer et al. (eds) Proceedings of Conference on Spatial Information Theory, COSIT 2011 Springer Lecture Notes in Computer Science, vol 6899, pp148-167.
Stell, J. G. and Worboys, M. F. (2011), Relations between Adjacency Trees Theoretical Computer Science vol 412, pp. 4452-4468.
Duckham, M., Stell, J. G., Vasardani M., and Worboys, M. F. (2010), Qualitative Change to 3-valued regions In Sixth International Conference, GIScience 2010, Zurich, Switzerland, September 2010. Springer Lecture Notes in Computer Science, vol 6292 pp249-263.
Stell, J. G. (2010), Relational Granularity for Hypergraphs In 7th International Conference on Rough Sets and Current Trends in Computing, Warsaw, Poland, June 2010. Editors: Szczuka M, Kryszkiewicz M, Ramana S, Jensen R, Hu Q. Springer Lecture Notes in Computer Science, vol 6086 pp267-276.
del Mondo, G., Stell, J.G., Claramunt, C. and Thibaud, R. (2010) A Graph Model for Spatio-temporal Evolution Journal of Universal Computer Science 16(11):1452-1477 2010
Stell, J. G. (2009), Why Mathematical Morphology Needs Quantales Presented as a poster at ISMM09, International Symposium on Mathematical Morphology, Groningen, August 2009.
Stell, J. G. (2009), To be and not to be: 3-valued relations on graphs In Proceedings of Conference on Spatial Information Theory, COSIT09 Springer Lecture Notes in Computer Science, vol 5756 pp263-279.
Stell, J. G. and Worboys, M. F. (2008), A Theory of Change for Attributed Spatial Entities. In T. J. Cova et al (eds) Geographic Information Science, 5th International Conference GIScience 2008 Springer Lecture Notes in Computer Science, vol 5266, pp308-319.
Stell, J. G. (2007), Relations in Mathematical Morphology with applications to Graphs and Rough Sets. In S. Winter et al (eds) Proceedings of Conference on Spatial Information Theory, COSIT07 Springer Lecture Notes in Computer Science, vol 4736, pp438-454.
Stell, J. G. and Webster, J. (2007) Oriented Matroids as a Foundation for Space in GIS, Computers, Environment, and Urban Systems vol 31 pp379-392.
Stell, J. G., Cameron, L. and Hay, K. G. (2007) Spatiality in Design. In T. Inns (Ed) Designing for the 21st Century. Interdisciplinary Questions and Insights pp219-231. Gower Publishing, Aldershot.
Stell, J. G., Cameron, L. and Hay, K. (Eds) (2006) Explorations in Spatiality. Leeds: Spatiality in Design.
Stell, J. G. (2006) Drawing in three-dimensions. Chapter 1 of (Stell, Cameron and Hay 2006)
STELL, J. G. and WEST, M.
(2004) A Four-Dimensionalist
Mereotopology, in: Varzi,A. C. , and
Vieu, L. (Eds) Formal Ontology in Information
Systems . Proceedings of the third International Conference
(FOIS-2004) IOS Press, pp261-272.
STELL, J. G. (2004) Part and Complement: Fundamental Concepts in Spatial Relations. Annals of Artificial Intelligence and Mathematics, vol 41(1) pp1-17.
BITTNER, T., and STELL, J.
G. (2003) Stratified Rough Sets
and Vagueness. in: Kuhn, W., Worboys, M.F., and Timpf, S., eds.
COSIT'03 Proceedings, Lecture Notes in Computer Science, vol
2825, pp286-303. Joint winner of the prize
for
best presentation at COSIT'03 Slides
are here.
ROY, A. J. O. and STELL, J. G. (2003) Convexity in Discrete Space. Kuhn, W., Worboys, M.F., and Timpf, S., eds. COSIT'03 Proceedings, Lecture Notes in Computer Science, vol 2825, pp268-285.
STELL, J. G. (2003) Qualitative Extents for Spatio-Temporal Granularity Spatial Cognition and Computation, vol 3 no 2 & 3, pp119-136.ROY, A. J. O. and STELL, J. G. (2002) A Qualitative Account of Discrete Space. Proceedings of GIScience 2002. pp 276-290 Lecture Notes in Computer Science vol 2478.
STELL, J. G. (2002) A Framework for Order-Sorted Algebra 9th International Conference on Algebraic Methodology And Software Technology AMAST 2002, pp396-410 Lecture Notes in Computer Science vol 2422.
BITTNER, T and STELL, J. G. (2002) Approximate Qualitative Spatial Reasoning Spatial Cognition and Computation, vol 2 (2000), pp435-466.
BITTNER, T. and STELL, J. G. (2002) Vagueness and Rough Location, GeoInformatica, vol 6, pp99-121.
GRIFFTHS, T., FERNANDES, A. A. A., PATON, N. W., MASON, K.T., HUANG, B., WORBOYS, M., JOHNSON, C., and STELL, J. (2001) Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects, in: W. H. Aref (Ed) Proceedings 9th ACM International Symposium on Advances in Geographic Information Systems (ACM-GIS), November 2001, pp118-123, ACM Press.
ROY, A. J. O. and STELL, J. G. (2001) Spatial Relations between Indeterminate Regions, International Journal of Approximate Reasoning, 27(3) pp205-234.
DUCKHAM, M., MASON, K., STELL, J. G. and WORBOYS, M. F., (2001) A Formal Approach to Imperfection in Geographic Information, Computers, Environment and Urban Systems 25 pp.89-103.
BITTNER, T and STELL, J. G. (2001) Rough Sets in Approximate Spatial Reasoning, in: W. Ziarko and Y. Yao (Eds) Proceedings of Rough Sets and Current Trends in Computing, Banff, October 2000, Lecture Notes in Computer Science, vol 2005, pp445-453, Springer.
STELL, J. G. (2000) The Representation of Discrete Multi-Resolution Spatial Knowledge, in: A. G. Cohn, F. Giunchiglia and B. Selman (Eds) Principles of Knowledge Representation and Reasoning, Proceedings of the Seventh International Conference (KR2000), Breckenridge, Colorado, USA, April 2000. Morgan Kaufmann, pp.38-49
STELL, J. G. (2000) Boolean connection algebras; a new approach to the Region-connection calculus. Artificial Intelligence, vol.122, pp.111-136.
STELL, J. G. (1999) Granulation for Graphs, in: C. Freksa and D. M. Mark (Eds) Spatial Information Theory. Cognitive and Computational Foundations of Geographic Information Science. International Conference COSIT'99, Stade, Germany, August 1999, Proceedings. (Springer-Verlag Lecture Notes in Computer Science, vol 1661) pp. 417-432.
STELL, J. G. and WORBOYS, M. F. (1999) Generalizing Graphs using Amalgamation and Selection, in: R. H. Guting, D. Papadial and F. Lochovsky (Eds) Advances in Spatial Databases: 6th International Symposium, SSD'99, Hong Kong, China, July 1999, Proceedings. (Springer-Verlag Lecture Notes in Computer Science, vol 1651) pp 19-32.
BITTNER, T. and STELL, J. G. (1998) A Boundary-Sensitive Approach to Qualitative Location, Annals of Mathematics and Artificial Intelligence, 24 pp 93-114.
STELL, J. G. and WORBOYS, M. F. (1998) Stratified Map Spaces: A Formal Basis for Multi-resolution Spatial Databases, in: T. K. POIKER and N. CHRISMAN (Eds) SDH'98, Proceedings 8th International Symposium on Spatial Data Handling (International Geographical Union) pp. 180-189.
STELL, J. G. and WORBOYS, M. F. (1997) The algebraic structure of sets of regions, in: S. C. HIRTLE and A. U. FRANK (Eds) Spatial Information Theory, International Conference COSIT'97, Proceedings (Springer-Verlag, Lecture Notes in Computer Science, vol 1329) pp. 163-174.
KITCHENHAM, B. and STELL, J. G. (1997) The danger of using axioms in software metrics. IEE Proceedings Software Engineering, 144(5-6) pp. 279-285.
STELL, J. G. (1995) Modelling term rewriting systems by sesqui-categories, in: P. AGERON (Ed) Proceedings of Categories, Algebres, Esquisses et Neo-Esquisses, Caen, September 1994 (Universite de Caen) pp. 121-126.
STELL, J. G. and WORBOYS, M. F. (1995) Towards a representation for spatial objects in diverse geometries, in: N. PISSINOU and K. MAKKI (Eds) Proceedings of the 2nd ACM Workshop on Advances in Geographic Information Systems (ACM Press, New York) pp. 38-43.
STELL, J. G. (1991) Unique-sort order-sorted theories - A description as monad morphisms, in: S. KAPLAN and M. OKADA (Eds) Proceedings of the 2nd International Workshop on Conditional and Typed Rewriting Systems, Montreal, June 1990 (Springer-Verlag, Lecture Notes in Computer Science volume 516) pp. 389-400.
McGETTRICK, A. D. and STELL, J. G. (1988) The relation between programming and specification languages with particular reference to Anna, in: J. E. HAYES, D. MICHIE and J. RICHARDS (Eds) Machine Intelligence 11 (Clarendon Press, Oxford) pp. 157-164.
RYDEHEARD, D. E. and STELL, J. G. (1987) Foundations of Equational Deduction: A categorical treatment of equational proofs and unification algroithms, in: D. H. PITT et al. (Eds) Proceedings, Category Theory and Computer Science, Edinburgh 1987 (Springer-Verlag, Lecture Notes in Computer Science, vol 283) pp. 114-139.
COOMBS, M. J. , HARTLEY, R.
T. and STELL, J. G. (1986) Debugging user
conceptions of interpretation processes, in: Proceedings of
AAAI'86 (American Association for Artificial Intelligence) vol
1 pp. 303-307. (the linked pdf file only approximates the published
version)