Modelling Topological and Metrical Properties in Physical Processes. - David A. Randell; Anthony G. Cohn 001 (KR, 1989)

Qualitative Simulation Based on a Logical Formalism of Space and Time. - Zhan Cui; Anthony G. Cohn 001; David A. Randell (AAAI, 1992)

Computing Transivity Tables: A Challenge For Automated Theorem Provers. - David A. Randell; Anthony G. Cohn 001; Zhan Cui (CADE, 1992)

An Interval Logic for Space Based on "Connection". - David A. Randell; Zhan Cui; Anthony G. Cohn 001 (ECAI, 1992)

A Spatial Logic based on Regions and Connection. - David A. Randell; Zhan Cui; Anthony G. Cohn 001 (KR, 1992)

Qualitative and Topological Relationships in Spatial Databases. - Zhan Cui; Anthony G. Cohn 001; David A. Randell (SSD, 1993)

Expert design knowledge: a case study in dental education. - John C. Davenport; F. J. Fitzpatrick; David A. Randell; Peter Hammond; M. G. de Mattos (WCCE, 1995)

Taxonomies of logically defined qualitative spatial relations. - Anthony G. Cohn 001; David A. Randell; Zhan Cui (Int. J. Hum. Comput. Stud., 1995)

From Images to Bodies: Modelling and Exploiting Spatial Occlusion and Motion Parallax. - David A. Randell; Mark Witkowski; Murray Shanahan (IJCAI, 2001)

Building Large Composition Tables via Axiomatic Theories. - David A. Randell; Mark Witkowski (KR, 2002)

A Logic-Based Formulation of Active Visual Perception. - Murray Shanahan; David A. Randell (KR, 2004)

Using Occlusion Calculi to Interpret Digital Images. - David A. Randell; Mark Witkowski (ECAI, 2006)

Abductive Visual Perception with Feature Clouds. - David A. Randell; Mark Witkowski (KR, 2006)

The application of support vector machine classification to detect cell nuclei for automated microscopy. - Ji Wan Han; Toby P. Breckon; David A. Randell; Gabriel Landini (Mach. Vis. Appl., 2012)

Discrete Mereotopology for Spatial Reasoning in Automated Histological Image Analysis. - David A. Randell; Gabriel Landini; Antony Galton (IEEE Trans. Pattern Anal. Mach. Intell., 2013)

Ordering Spatio-Temporal Sequences to Meet Transition Constraints: Complexity and Framework. - Michael Sioutis; Jean-François Condotta; Yakoub Salhi; Bertrand Mazure; David A. Randell (AIAI, 2015)

Ontological Levels in Histological Imaging. - Antony Galton; Gabriel Landini; David A. Randell; Shereen Fouad (FOIS, 2016)

Morphological Separation of Clustered Nuclei in Histological Images. - Shereen Fouad; Gabriel Landini; David A. Randell; Antony Galton (ICIAR, 2016)

Errors and Artefacts in Histopathological Imaging. - Antony Galton; Shereen Fouad; Gabriel Landini; David A. Randell (ICBO, 2017)

Unsupervised Superpixel-Based Segmentation of Histopathological Images with Consensus Clustering. - Shereen Fouad; David A. Randell; Antony Galton; Hisham Mehanna; Gabriel Landini (MIUA, 2017)

Model-Based Correction of Segmentation Errors in Digitised Histological Images. - David A. Randell; Antony Galton; Shereen Fouad; Hisham Mehanna; Gabriel Landini (MIUA, 2017)

Epithelium and Stroma Identification in Histopathological Images Using Unsupervised and Semi-Supervised Superpixel-Based Segmentation. - Shereen Fouad; David A. Randell; Antony Galton; Hisham Mehanna; Gabriel Landini (J. Imaging, 2017)

Mereotopological Correction of Segmentation Errors in Histological Imaging. - David A. Randell; Antony Galton; Shereen Fouad; Hisham Mehanna; Gabriel Landini (J. Imaging, 2017)

Novel applications of discrete mereotopology to mathematical morphology. - Gabriel Landini; Antony Galton; David A. Randell; Shereen Fouad (Signal Process. Image Commun., 2019)