Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms. - David E. Rydeheard; John G. Stell (Category Theory and Computer Science, 1987)

Unique-Sort Order-Sorted Theories: A Description as Monad Morphisms. - John G. Stell (CTRS, 1990)

The Algebraic Structure of Sets of Regions. - John G. Stell; Michael F. Worboys (COSIT, 1997)

The danger of using axioms in software metrics. - Barbara A. Kitchenham; John G. Stell (IEE Proc. Softw. Eng., 1997)

A Boundary-Sensitive Approach to Qualitative Location. - Thomas Bittner; John G. Stell (Ann. Math. Artif. Intell., 1998)

Granulation for Graphs. - John G. Stell (COSIT, 1999)

Generalizing Graphs Using Amalgamation and Selection. - John G. Stell; Michael F. Worboys (SSD, 1999)

The Representation of Discrete Multi-resolution Spatial Knowledge. - John G. Stell (KR, 2000)

Rough Sets in Approximate Spatial Reasoning. - Thomas Bittner; John G. Stell (Rough Sets and Current Trends in Computing, 2000)

Boolean connection algebras: A new approach to the Region-Connection Calculus. - John G. Stell (Artif. Intell., 2000)

Approximate qualitative spatial reasoning. - Thomas Bittner; John G. Stell (Spatial Cogn. Comput., 2000)

Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects. - Tony Griffiths; Alvaro A. A. Fernandes; Norman W. Paton; Keith T. Mason; Bo Huang 001; Michael F. Worboys; Chris Johnson 005; John G. Stell (ACM-GIS, 2001)

Spatial relations between indeterminate regions. - Anthony J. Roy; John G. Stell (Int. J. Approx. Reason., 2001)

A Framework for Order-Sorted Algebra. - John G. Stell (AMAST, 2002)

A Qualitative Account of Discrete Space. - Anthony J. Roy; John G. Stell (GIScience, 2002)

Vagueness and Rough Location. - Thomas Bittner; John G. Stell (GeoInformatica, 2002)

Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. - Paolo Torrini; John G. Stell; Brandon Bennett (J. Appl. Non Class. Logics, 2002)

Granularity in Change over Time. - John G. Stell (Foundations of Geographic Information Science, 2003)

Stratified Rough Sets and Vagueness. - Thomas Bittner; John G. Stell (COSIT, 2003)

Convexity in Discrete Space. - Anthony J. Roy; John G. Stell (COSIT, 2003)

Qualitative Extents for Spatio-Temporal Granularity. - John G. Stell (Spatial Cogn. Comput., 2003)

Part and Complement: Fundamental Concepts in Spatial Relations. - John G. Stell (Ann. Math. Artif. Intell., 2004)

Relations in Mathematical Morphology with Applications to Graphs and Rough Sets. - John G. Stell (COSIT, 2007)

Oriented matroids as a foundation for space in GIS. - John G. Stell; Julian Webster (Comput. Environ. Urban Syst., 2007)

A Theory of Change for Attributed Spatial Entities. - John G. Stell; Michael F. Worboys (GIScience, 2008)

Approximation. - Thomas Bittner; John G. Stell (Encyclopedia of GIS, 2008)

To Be and Not To Be: 3-Valued Relations on Graphs. - John G. Stell (COSIT, 2009)

Qualitative Change to 3-Valued Regions. - Matt Duckham; John G. Stell; Maria Vasardani; Michael F. Worboys (GIScience, 2010)

Relational Granularity for Hypergraphs. - John G. Stell (RSCTC, 2010)

A Graph Model for Spatio-temporal Evolution. - Géraldine Del Mondo; John G. Stell; Christophe Claramunt; Rémy Thibaud (J. Univers. Comput. Sci., 2010)

Spatio-temporal Evolution as Bigraph Dynamics. - John G. Stell; Géraldine Del Mondo; Rémy Thibaud; Christophe Claramunt (COSIT, 2011)

Relations between adjacency trees. - John G. Stell; Michael F. Worboys (Theor. Comput. Sci., 2011)

Relations on Hypergraphs. - John G. Stell (RAMiCS, 2012)

Formal Concept Analysis over Graphs and Hypergraphs. - John G. Stell (GKR, 2013)

Granular Description of Qualitative Change. - John G. Stell (IJCAI, 2013)

Tableau Development for a Bi-intuitionistic Tense Logic. - John G. Stell; Renate A. Schmidt; David E. Rydeheard (RAMiCS, 2014)

Axiomatic and Tableau-Based Reasoning for Kt(H, R). - Renate A. Schmidt; John G. Stell; David E. Rydeheard (Advances in Modal Logic, 2014)

Symmetric Heyting relation algebras with applications to hypergraphs. - John G. Stell (J. Log. Algebraic Methods Program., 2015)

Ordered Information Systems and Graph Granulation. - John G. Stell (IJCRS, 2016)

A bi-intuitionistic modal logic: Foundations and automation. - John G. Stell; Renate A. Schmidt; David E. Rydeheard (J. Log. Algebraic Methods Program., 2016)

Enabling Hand-Crafted Visual Markers at Scale. - William Preston; Steve Benford; Emily-Clare Thorn; Boriana Koleva; Stefan Rennick Egglestone; Richard Mortier; Anthony Quinn; John G. Stell; Michael F. Worboys (Conference on Designing Interactive Systems, 2017)

The Logic of Discrete Qualitative Relations. - Giulia Sindoni; John G. Stell (COSIT, 2017)

Strong Completeness and the Finite Model Property for Bi-Intuitionistic Stable Tense Logics. - Katsuhiko Sano; John G. Stell (M4M@ICLA, 2017)

Approximation. - Thomas Bittner; John G. Stell (Encyclopedia of GIS, 2017)

Axiomatizing Discrete Spatial Relations. - Giulia Sindoni; Katsuhiko Sano; John G. Stell (RAMiCS, 2018)

Graphical Partitions and Graphical Relations. - Tanzeela Shaheen; John G. Stell (Fundam. Informaticae, 2019)

Qualitative Spatial Representation for the Humanities. - John G. Stell (Int. J. Humanit. Arts Comput., 2019)

Expressing discrete spatial relations under granularity. - Giulia Sindoni; Katsuhiko Sano; John G. Stell (J. Log. Algebraic Methods Program., 2021)

Towards an Extensible Framework for Understanding Spatial Narratives. - Ignatius Ezeani; Paul Rayson; Ian N. Gregory; Erum Haris; Anthony G. Cohn 001; John G. Stell; Tim Cole; Joanna E. Taylor; David J. Bodenhamer; Neil Devadasan; Erik Steiner; Zephyr Frank; et al. (GeoHumanities@SIGSPATIAL, 2023)

Understanding the Spatial Complexity in Landscape Narratives Through Qualitative Representation of Space (Short Paper). - Erum Haris; Anthony G. Cohn 001; John G. Stell (GIScience, 2023)

Monotone $ varOmega $-Sup-Fuzzy Relations: Converse and Complementation. - Ignacio Bellas Acosta; John G. Stell (RAMiCS, 2024)

Semantic Perspectives on the Lake District Writing: Spatial Ontology Modeling and Relation Extraction for Deeper Insights. - Erum Haris; Anthony G. Cohn 001; John G. Stell (COSIT, 2024)

Exploring Spatial Representations in the Historical Lake District Texts with LLM-based Relation Extraction. - Erum Haris; Anthony G. Cohn 001; John G. Stell (GeoExT@ECIR, 2024)