Peer-reviewed Publications
2013; A Distler, T W Kelsey; "The semigroups of order 9 and their automorphism groups"; Semigroup Forum. Arxiv preprint. In press
2013; S Iliodromiti, T W Kelsey, R A Anderson, S M Nelson; "Can anti-Müllerian hormone predict the diagnosis of polycystic ovary syndrome? A systematic review and meta-analysis of extracted data"; Journal of Clinical Endocrinology and Metabolism. In press
2013; J V Jeppsen, R A Anderson, T W Kelsey, S L Christiansen, S G Kristensen, K Jayaprakasan, N Raine-Fenning, B K Campbell, C Y Andersen; "Which follicles make the most anti-Müllerian hormone? Evidence for an abrupt decline in AMH production at the time of follicle selection"; Molecular Human Reproduction Advance Access, doi:10.1093/molehr/gat024; full text via publisher's webpage
2013; C Xiong, T W Kelsey, S A Linton, U Leonhardt; "Casimir forces for inhomogeneous planar media"; Journal of Physics: Conference Series 401(1): 012165; DOI: 10.1088/1742-6596/410/1/012165; full text via publisher's webpage
2012; R Fleming, T W Kelsey, R A Anderson, W H B Wallace, S M Nelson; "Interpreting human follicular recruitment and antimullerian hormone concentrations throughout life"; Fertility and Sterility 98(5): 1097-1102; DOI: 10.1016/j.fertnstert.2012.07.1114; full text via publisher's webpage
2012; A Distler, T W Kelsey, L Kotthoff, C Jefferson; "The semigroups of order 10"; Principles and Practice of Constraint Programming - CP2012, Lecture Notes in Computer Science; M. Milano (ed); Springer; 7514:883-899; full text via publisher's webpage
2012; W H B Wallace, T W Kelsey, R A Anderson; "Ovarian cryopreservation: Experimental or established and a cure for the menopause?"; Reproductive Biomedicine Online 25(2): 93-95; full text via publisher's webpage
2012; E Beratarbide, T W Kelsey; "eHealth Governance in Scotland: a cross-sectoral and cross-national comparison"; eHealth: Ethical, Legal and Governance Challenges: 299-329; Springer; get the book from Amazon
2012; T W Kelsey, W H B Wallace; "Ovarian volume correlates strongly with the number of non-growing follicles in the human ovary."; Obstetrics and Gynecology International Volume 2012 (2012), Article ID 305025; doi:10.1155/2012/305025; full text via PubMed
2012; T W Kelsey, R A Anderson, P Wright, S M Nelson, W H B Wallace; "Data-driven assessment of the human ovarian reserve"; Molecular Human Reproduction 18(2): 79-87; doi: 10.1093/molehr/gar059; full text via DOI
2012; T W Kelsey, S A Linton; "Qualitative Models of Cell Dynamics as Constraint Satisfaction Problems"; Workshop on Constraint Based Methods for Bioinformatics 2012, R Backhoven and S. Will (eds); 16-22; local copy of proceedings in PDF format
2011; T W Kelsey, P Wright, S M Nelson, R A Anderson, W H B Wallace; "A validated model of serum anti-Müllerian hormone from conception to menopause"; PLoS ONE 6(7): e22024. doi:10.1371/journal.pone.0022024; full text via DOI
2011; T W Kelsey, L. Kotthoff; "Exact Closest String as a Constraint Satisfaction Problem"; Proceedings of the International Conference on Computational Science, ICCS 2011, Singapore; Procedia Computer Science 4:1062-1071; full text via DOI; more info
2011; S M Nelson, M C Messow, A McConnachie, W H B Wallace, T W Kelsey, R Fleming, R A Anderson, B Leader; "External validation of nomogram for the decline in serum anti-Müllerian hormone in women: a population study of 15,834 infertility patients"; Reproductive BioMedicine Online 23(2):204-206; full text via DOI; more info
2011; E Beratarbide, T W Kelsey; "eHealth Governance, A Key Factor for Better Health Care: Implementation of IT Governance to Ensure Better Care through Better eHealth"; In Brown, S. A., & Brown, M. (Eds.), Ethical Issues and Security Monitoring Trends in Global Healthcare: Technological Advancements. (pp. 72-92). doi:10.4018/978-1-60960-174-4.ch006; Publisher's webpage or Buy the book from Amazon
2010; T W Kelsey, W H B Wallace; "Machine Science in biomedicine: practicalities, pitfalls and potential"; Proceedings of the First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH-10) at IEEE International Conference on Bioinformatics & Biomedicine (BIBM-10), Hong Kong, China, 12/2010; IEEE Computer Society Press; Pages 117-122; more info - arXiv preprint
2010; T W Kelsey, B Caserta, L Castillo, W H B Wallace, F Coppola; "Proliferating Cell Nuclear Antigen (PCNA) allows the automatic identification of follicles in microscopic images of human ovarian tissue"; Journal of Pathology and Laboratory Medicine International 2010:2; Pages 99 - 105; DOI 10.2147/PLMI.S11116; full text via DOI2010; W H B Wallace, T W Kelsey; "Human ovarian reserve from conception to the menopause"; PLoS ONE; 5(1): e8772. doi:10.1371/journal.pone.0008772; full text via DOI
2010; T W Kelsey, W H B Wallace; "The dynamics of human ovarian reserve"; Proc. International Society for Computational Biology, Latin America Conference, March 2010; more info
2009; C Xiong, T W Kelsey, S A Linton, U Leonhardt; "Towards the calculation of Casimir forces for inhomogeneous planar media"; Proceedings of the 8th Asian Symposium on Computer Mathematics (ASCM); ; Math-for-Industry MI Lecture Note Series Vol.22:222-230; full text via DOI
2009; A Distler, T W Kelsey; "The Monoids of Orders Eight, Nine & Ten"; Annals of Mathematics and Artificial Intelligence; 56(1):3-25; full text via DOI; more info
2009; S Brett, N Bee, W H B Wallace, M Rajkhowa, T W Kelsey; "Individual ovarian volumes obtained from 2D and 3D ultrasound lack precision"; Reproductive Biomedicine Online; 18(3):348-351; full text via DOI
2009; T W Kelsey, R de Diego Burillo, J C Olmos; "Radioterapia y gonadotoxicidad femenina"; Capítulo 3 de Preservación de la fertilidad en la paciente oncológica; 43:43-56; Editorial Glosa, Barcelona; full text at Google Books
2009; I P Gent, T W Kelsey (editors); "Symmetry and Search"; Annals of Mathematics and Artificial Intelligence; 57(1); more info
2008; M Livie, S Brett, T W Kelsey, K Whalley, R Hume, A Burchell, M Rajkhowa; "A report on a two year experience in the recruitment of embryo donors for human stem cell derivation"; Human Reproduction; Oxford University Press, Oxford, UK; 23(1):166-167; more info
2008; M Rajkowa, S Brett, T W Kelsey, C Lipina, L Logie, D J Cuthbertson, J Petrie, C Sutherland; "Altered Extracellular Regulated Kinase Signaling in skeletal muscle in women with Polycystic Ovary Syndrome"; Human Reproduction; Oxford University Press, Oxford, UK; 23(1):181-182; more info
2008; A Distler, T W Kelsey; "The Monoids of Order Eight and Nine"; Lecture Notes in Artificial Intelligence; S Autexier, J Campbell, J Rubio, V Sorge, M Suzuki, F Wiedijk (ed); Springer-Verlag, Berlin; 5144:61-76; more info
2007; T W Kelsey, S Brett, W H B Wallace, M Rajkhowa; "Does 3D ultrasound measurement improve the assessment of ovarian volume?"; Proceedings of the 23rd Annual Meeting of the European Society of Human Reproduction and Embryology, Scientific Program, 2007; Human Reproduction; Oxford University Press; 22(1):56-58; full text via DOI; more info
2007; C A Jefferson, T W Kelsey, S A Linton, Karen Petrie; "GAPLex: Generalised Static Symmetry Breaking"; Trends in Constraint Programming; F Benhamou, N Jussien, B O'Sullivan (ed); ISTE; 191-205; more info
2007; I Gent, T W Kelsey, S A Linton, J Pearson, C M Roney-Dougal; "Groupoids and Conditional Symmetry"; Principles and Practice of Constraint Programming - CP 2007, Lecture Notes in Computer Science; Christian Bessiere (ed); Springer; 4741:823-830; full text via DOI; more info
2007; T W Kelsey; "Los efectos de la radioterapia sobre el ovario y el útero"; La opinión de los expertos -- Actualidades y controversias en ginecología; Editorial Glosa, Barcelona;36(8):20-23 more info
2007; I Gent, T W Kelsey, C Jefferson, I Lynce, I I Miguel, P Nightingale, BM Smith, S Armagan Tarim; "Search in the Patience Game `Black Hole'"; AI Communications - The European Journal on Artificial Intelligence; 20(3):211-226; more info
2007; T W Kelsey; "The Automated Calculation of Human Ovarian Reserve"; 9th Argentine Symposium on Artificial Intelligence (ASAI 2007); Daniela Godoy, Ana Gabriela Maguitman (ed); The Argentine Society for Informatics and Operations Research; 151 - 162; more info
2006; C A Jefferson, T W Kelsey, S A Linton, K E Petrie; "GAPLex: Generalised Static Symmetry Breaking"; The CP 2006 Workshop on Symmetry and Constraint Satisfaction Problems (SymCon'06); 17-23
2005; W H B Wallace, A B Thomson, F Saran, T W Kelsey; "Predicting age of ovarian failure after radiation to a field that includes the ovaries"; International Journal of Radiation Oncology Biology Physics; 62(3):738-744; full text via DOI; more info
2005; W. H. B. Wallace, T W Kelsey; "Reply: ovarian reserve and reproductive age may be determined from measurement of ovarian volume by transvaginal sonography"; Human Reproduction; 20(4):1115 - 1116; full text via DOI; more info
2005; I Gent, T W Kelsey, S A Linton, I McDonald, I I Miguel, B A Smith; "Conditional Symmetry Breaking"; Principles and Practice of Contraint Programming - CP2005. 11th International Conference on Constraint Programming, Sitges; P Van Beek (ed); Springer-Verlag, Berlin; LNCS 3709:15; full text via DOI; more info
2005; H Gottliebsen, T W Kelsey, U Martin; "Hidden verification for computational mathematics"; Journal of Symbolic Computation; 39(5):539-567; full text via DOI; more info
2005; I P Gent, T W Kelsey, S A Linton, C M Roney-Dougal; "Symmetry and consistency"; Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP2005, Sitge; P Van Beek (ed); Springer-Verlag, Berlin; LNCS 3709:15; full text via DOI; more info
2004; RJ Boulton, H Gottliebsen, R Hardy, T W Kelsey, U Martin; "Design Verification for Control Engineering"; 4th International Conference on Integrated Formal methods, Lecture Notes in Computer Science 2999; EA Boiten, J Derrick, G Smith (ed); Springer-Verlag, Berlin; 21-35; more info
2004; T W Kelsey, S Linton, CM Roney-Dougal; "New developments in symmetry breaking in search using computational group theory"; Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Computation, Lecture Notes in Computer Science; Springer; 3249:199-210; full text via DOI; more info
2004; W H B Wallace, T W Kelsey; "Ovarian reserve and reproductive age may be determined from measurement of ovarian volume by transvaginal sonography"; Human Reproduction; 19(7):1612-1617; full text via DOI; more info
2004; C M Roney-Dougal, I P Gent, T W Kelsey, S A Linton; "Tractable Symmetry Breaking using Restricted Search Trees"; ECAI 2004: 16th European Conference on Artificial Intelligence, Valencia, Spain; R López De Mántaras, L Saitta (ed); IOS Press, Amsterdam, Netherlands; 5; more info
2003; W Harvey, TW Kelsey, KE Petrie; "Symmetry Group Expressions for CSPs"; Proceedings of the 3rd International Workshop on Symmetry in Constraint Satisfaction Problems (SymCon'03); BM Smith, IP Gent, W Harvey (ed); 86-96
2003; W H B Wallace, A B Thomson, T W Kelsey; "The radiosensitivity of the human oocyte"; Human Reproduction; 18(1):117-121; full text via DOI; more info
2003; I P Gent, W Harvey, T W Kelsey, S A Linton; "Generic SBDD Using Computational Group Theory"; Principles and Practice of Contraint Programming - CP2003, 9th International Conference, CP 2003, Kinsale; F Rossi (ed); Springer-Verlag, Berlin; LNCS 2833:15; full text via DOI; more info
2002; U Martin, R Boulton, R Hardy, T W Kelsey; "Formal methods for Simulink: an assessment"; more info
2002; IP Gent, W Harvey, T W Kelsey; "Groups and Constraints: Symmetry Breaking During Search"; Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming (CP2002), LNCS; P van Hentenryck (ed); Springer; 2470:415-430; more info
2001; M N Dunstan, H Gottliebsen, T W Kelsey, U Martin; "A Maple-PVS Interface"; Proceedings of Calculemus 2001; more info
2001; A A Adams, M N Dunstan, H Gottliebsen, T W Kelsey, U Martin, S Owre; "Computer Algebra meets Automated Reasoning: Integrating Maple and PVS"; 14th International Conference on Theorem Proving in Higher Order Logics, Lecture Notes in Computer Science; R J Boulton, P B Jackson (ed); Springer; 2152:27-42; more info
2000; T W Kelsey; "Exact Numerical Computation via Symbolic Computation"; Proceedings of Computability and Complexity in Analysis 2000; J Blanck, V Brattka, P Hertling, K Weihrauch (ed); 187-198
1999; MN Dunstan, T W Kelsey, SA Linton, U Martin; "Formal Methods for Extensions to CAS"; Proc FM'99: World Congress on Formal Methods in the Design of Computing Systems, Toulouse, France. Lecture Notes in Computer Science, vol 1709; J Wing, J Woodcock, J Davies (ed); Springer-Verlag, Berlin; 1758-1777; more info
1998; U Martin, MN Dunstan, T W Kelsey, SA Linton; "Lightweight Formal Methods for Computer Algebra Systems"; ACM International Symposium on Symbolic and Algebraic Computation (ISSAC '98); ACM Press - Association for Computing Machinery; 80-87; more info