Lightweight Formal Methods for Computer Algebra Systems. - Martin Dunstan; Tom W. Kelsey; Steve Linton; Ursula Martin (ISSAC, 1998)

Formal Methods for Extensions to CAS. - Martin Dunstan; Tom W. Kelsey; Ursula Martin; Steve Linton (World Congress on Formal Methods, 1999)

Computer Algebra Meets Automated Theorem Proving: Integrating Maple and PVS. - Andrew Adams; Martin Dunstan; Hanne Gottliebsen; Tom W. Kelsey; Ursula Martin; Sam Owre (TPHOLs, 2001)

Groups and Constraints: Symmetry Breaking during Search. - Ian P. Gent; Warwick Harvey; Tom W. Kelsey (CP, 2002)

Generic SBDD Using Computational Group Theory. - Ian P. Gent; Warwick Harvey; Tom W. Kelsey; Steve Linton (CP, 2003)

New Developments in Symmetry Breaking in Search Using Computational Group Theory. - Tom W. Kelsey; Steve Linton; Colva M. Roney-Dougal (AISC, 2004)

Tractable Symmetry Breaking Using Restricted Search Trees. - Colva M. Roney-Dougal; Ian P. Gent; Tom W. Kelsey; Steve Linton (ECAI, 2004)

Design Verification for Control Engineering. - Richard J. Boulton; Hanne Gottliebsen; Ruth Hardy; Tom W. Kelsey; Ursula Martin (IFM, 2004)

Conditional Symmetry Breaking. - Ian P. Gent; Tom W. Kelsey; Steve Linton; Iain McDonald; Ian Miguel; Barbara M. Smith (CP, 2005)

Symmetry and Consistency. - Ian P. Gent; Tom W. Kelsey; Steve Linton; Colva M. Roney-Dougal (CP, 2005)

Hidden verification for computational mathematics. - Hanne Gottliebsen; Tom W. Kelsey; Ursula Martin (J. Symb. Comput., 2005)

Groupoids and Conditional Symmetry. - Ian P. Gent; Tom W. Kelsey; Stephen A. Linton; J. Pearson; Colva M. Roney-Dougal (CP, 2007)

Search in the patience game 'Black Hole'. - Ian P. Gent; Christopher Jefferson; Tom W. Kelsey; Inês Lynce; Ian Miguel; Peter Nightingale; Barbara M. Smith; Armagan Tarim (AI Commun., 2007)

The Monoids of Order Eight and Nine. - Andreas Distler; Tom W. Kelsey (AISC/MKM/Calculemus, 2008)

Towards the Calculation of Casimir Forces for Inhomogeneous Planar Media. - C. Xiong; Thomas W. Kelsey; Stephen A. Linton; Ulf Leonhardt (ASCM, 2009)

The monoids of orders eight, nine & ten. - Andreas Distler; Tom W. Kelsey (Ann. Math. Artif. Intell., 2009)

Machine science in biomedicine: Practicalities, pitfalls and potential. - Thomas W. Kelsey; W. Hamish B. Wallace (BIBM Workshops, 2010)

The Exact Closest String Problem as a Constraint Satisfaction Problem - Tom W. Kelsey; Lars Kotthoff (CoRR, 2010)

Proliferating cell nuclear antigen (PCNA) allows the automatic identification of follicles in microscopic images of human ovarian tissue - Thomas W. Kelsey; Benedicta Caserta; Luis Castillo; W. Hamish B. Wallace; Francisco Cóppola Gonzálvez (CoRR, 2010)

Exact Closest String as a Constraint Satisfaction Problem. - Tom W. Kelsey; Lars Kotthoff (ICCS, 2011)

The Semigroups of Order 10. - Andreas Distler; Christopher Jefferson; Tom W. Kelsey; Lars Kotthoff (CP, 2012)

A framework for large-scale distributed AI search across disconnected heterogeneous infrastructures - Lars Kotthoff; Tom W. Kelsey; Martin McCaffery (CoRR, 2012)

Qualitative Modelling via Constraint Programming: Past, Present and Future - Thomas W. Kelsey; Lars Kotthoff; Christopher Jefferson; Stephen A. Linton; Ian Miguel; Peter Nightingale; Ian P. Gent (CoRR, 2012)

Ovarian volume throughout life: a validated normative model - Thomas W. Kelsey; Sarah K. Dodwell; A. Graham Wilkinson; Tine Greve; Claus Y. Andersen; Richard A. Anderson 002; W. Hamish B. Wallace (CoRR, 2013)

Web-Scale Distributed eScience AI Search across Disconnected and Heterogeneous Infrastructures. - Tom W. Kelsey; Martin McCaffery; Lars Kotthoff (eScience, 2014)

Qualitative modelling via constraint programming. - Thomas W. Kelsey; Lars Kotthoff; Christopher Jefferson; Stephen A. Linton; Ian Miguel; Peter Nightingale; Ian P. Gent (Constraints An Int. J., 2014)

Representation Learning for Minority and Subtle Activities in a Smart Home Environment. - Andrea Rosales Sanabria; Thomas W. Kelsey; Juan Ye (PerCom, 2019)

Representation learning for minority and subtle activities in a smart home environment. - Andrea Rosales Sanabria; Thomas W. Kelsey; Simon Dobson; Juan Ye (J. Ambient Intell. Smart Environ., 2019)

Efficient identification of patients eligible for clinical studies using case-based reasoning on Scottish Health Research register (SHARE). - Wen Shi; Tom W. Kelsey; Frank M. Sullivan (BMC Medical Informatics Decis. Mak., 2020)

Elderly care and health monitoring using smart healthcare technology: An improved routing scheme for wireless body area networks. - Muhammad Hassan; Thomas W. Kelsey; Bilal Mohammad Khan (IET Wirel. Sens. Syst., 2024)

The prospect of artificial intelligence to personalize assisted reproductive technology. - Simon Hanassab; Ali Abbara; Arthur C. Yeung; Margaritis Voliotis; Krasimira Tsaneva-Atanasova; Tom W. Kelsey; Geoffrey H. Trew; Scott M. Nelson; Thomas Heinis; Waljit S. Dhillo (npj Digit. Medicine, 2024)