John G. Stell
Affiliations: University of Leeds, School of Computing, UK
According to our database^{1},
John G. Stell
authored at least 48 papers
between 1987 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on twitter.com

on orcid.org
On csauthors.net:
Bibliography
2021
J. Log. Algebraic Methods Program., 2021
2019
Int. J. Humanit. Arts Comput., 2019
Fundam. Informaticae, 2019
2018
Proceedings of the Relational and Algebraic Methods in Computer Science, 2018
2017
Proceedings of the Encyclopedia of GIS., 2017
Strong Completeness and the Finite Model Property for BiIntuitionistic Stable Tense Logics.
Proceedings of the Ninth Workshop on Methods for Modalities, 2017
Proceedings of the 13th International Conference on Spatial Information Theory, 2017
Proceedings of the 2017 Conference on Designing Interactive Systems, 2017
2016
J. Log. Algebraic Methods Program., 2016
Proceedings of the Rough Sets  International Joint Conference, 2016
2015
J. Log. Algebraic Methods Program., 2015
2014
Proceedings of the Advances in Modal Logic 10, 2014
Proceedings of the Relational and Algebraic Methods in Computer Science, 2014
2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2013
2012
Proceedings of the Relational and Algebraic Methods in Computer Science, 2012
2011
Theor. Comput. Sci., 2011
Proceedings of the Spatial Information Theory  10th International Conference, 2011
2010
J. Univers. Comput. Sci., 2010
Proceedings of the Rough Sets and Current Trends in Computing, 2010
Proceedings of the Geographic Information Science, 6th International Conference, 2010
2009
Proceedings of the Spatial Information Theory, 9th International Conference, 2009
2008
Proceedings of the Encyclopedia of GIS., 2008
Proceedings of the Geographic Information Science, 5th International Conference, 2008
2007
Comput. Environ. Urban Syst., 2007
Proceedings of the Spatial Information Theory, 8th International Conference, 2007
2004
Ann. Math. Artif. Intell., 2004
2003
Spatial Cogn. Comput., 2003
Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, 2003
Proceedings of the Spatial Information Theory. Foundations of Geographic Information Science, 2003
Proceedings of the Foundations of Geographic Information Science, 2003
2002
Mereotopology in 2ndOrder and Modal Extensions of Intuitionistic Propositional Logic.
J. Appl. Non Class. Logics, 2002
GeoInformatica, 2002
Proceedings of the Geographic Information Science, Second International Conference, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001
Int. J. Approx. Reason., 2001
Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects.
Proceedings of the ACMGIS 2001, 2001
2000
Spatial Cogn. Comput., 2000
Artif. Intell., 2000
Proceedings of the Rough Sets and Current Trends in Computing, 2000
The Representation of Discrete Multiresolution Spatial Knowledge.
Proceedings of the KR 2000, 2000
1999
Proceedings of the Advances in Spatial Databases, 1999
Proceedings of the Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, 1999
1998
Ann. Math. Artif. Intell., 1998
1997
IEE Proc. Softw. Eng., 1997
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1997
1990
Proceedings of the Conditional and Typed Rewriting Systems, 1990
1987
Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms.
Proceedings of the Category Theory and Computer Science, 1987