St Andrews logo Publications

2014; W H B Wallace, A Grove-Smith, T W Kelsey, A E Edgar, R A Anderson; Fertility preservation for girls and young women with cancer: population-based validation of criteria for ovarian tissue cryopreservation; The Lancet Oncology; 15(10):1129-1136; doi:10.1016/S1470-2045(14)70334-1; full text via publisher's webpage

2014; T W Kelsey, L Q Li, A G Wilkinson, R Mitchell, R A Anderson, W H B Wallace; A validated age-related normative model for male total testosterone shows increasing variance but no decline after age 40 years.; PLoS ONE 9(10):e109346; doi:10.1371/journal.pone.0109346; full text via publisher's webpage

2014; T W Kelsey, M McCaffery, L Kotthoff; Web-scale distributed AI search across disconnected heterogeneous infrastructures; The 10th IEEE International Conference on e-Science; in press

2014; S Iliodromiti, T W Kelsey, O Wu, R A Anderson, S M Nelson; The predictive accuracy of anti-Müllerian hormone for live birth after assisted conception: a systematic review and meta-analysis of the literature; Human Reproduction Update 20(4):560-570; doi: 10.1093/humupd/dmu003; full text via publisher's webpage

2014; A Distler, T W Kelsey; The semigroups of order 9 and their automorphism groups; Semigroup Forum 88(1): 93-112; doi: 10.1007/s00233-013-9504-9; full text via publisher's webpage

2014; D Dewailly, C Y Andersen, A Balen, F Broekmans, N Dilaver, G Griesinger, T W Kelsey, A La Marca, C Lambalk, H Mason, S M Nelson, J Visser, W H B Wallace, R A Anderson; The physiology and clinical utility of anti-Müllerian hormone in women; Human Reproduction Update 20(3): 370-385; doi: 10.1093/humupd/dmt062; full text via publisher's webpage

2014; T W Kelsey, L Kotthoff, C Jefferson, S A Linton, I Miguel, P Nightingale, I P Gent; Qualitative Modelling via Constraint Programming; Constraints 19(2): 163-173; doi: 10.1007/s10601-014-9158-6; full text via publisher's webpage

2014; C Xiong, T W Kelsey, S A Linton, U Leonhardt; Towards the calculation of Casimir forces for inhomogeneous planar media; Computer Mathematics; 171-180; full text via doi

2014; M McLaughlin M, T W Kelsey, W H B Wallace, R A Anderson, E E Telfer; Non-growing follicle density is increased following ABVD chemotherapy in the adult human ovary; Society for Reproduction and Fertility (SRF) Conference 2014; abstract

2013; R A Anderson, Mikkel Rosendahl, T W Kelsey, D A Cameron; Pretreatment anti-Müllerian hormone predicts for loss of ovarian function after chemotherapy for early breast cancer; European Journal of Cancer 49(16): 3404-3411; doi:10.1016/j.ejca.2013.07.014; full text via publisher's webpage

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 98(8): 3323-3331; doi: 10.1210/jc.2013-1393; full text via publisher's webpage

2013; T W Kelsey, S K Dodwell, A G Wilkinson, T Greve, C Y Andersen, R A Anderson, W H B Wallace; Ovarian volume throughout life: a validated normative model; PLoS ONE 8(9): e71465; doi:10.1371/journal.pone.0071465

2013; J V Jeppesen, 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 19(8): 519-527; 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

2013; S Iliodromiti, T W Kelsey, R A Anderson, S M Nelson; Can anti-Müllerian hormone (AMH) predict the diagnosis of polycystic ovary syndrome (PCOS)? A systematic review and meta-analysis; Human Reproduction 28 (suppl 1): i311-i356.; doi: 10.1093/humrep/det221; full text via publisher's webpage

2013; A S Grove Smith, T W Kelsey, R A Anderson, W H B Wallace; Ovarian tissue cryopreservation for young females with cancer - a report of the 18-year experience from a single centre in the UK; The 3rd World Congress on the International Society for Fertility Preservation (ISFP); abstract in PDF format

2013; A N Kumar, T W Kelsey, R A Anderson, W H B Wallace; AMH in childhood and adolescence is not a reliable indirect measure of the ovarian reserve; The 3rd World Congress on the International Society for Fertility Preservation (ISFP); abstract in PDF format

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; doi:10.1016/j.rbmo.2012.06.008; 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; doi: 10.1007/978-3-642-33558-7_63; 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; 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; 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; doi: 10.1007/978-3-642-22474-4_13; get the book from Amazon

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 doi

2010; 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; 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