St Andrews logo Publications

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; doi: 10.1093/humupd/dmu003; Advanced Access online, February 14 2014

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; doi: 10.1093/humupd/dmt062; Advanced Access online, January 29 2014

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

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; A Distler, T W Kelsey; "The semigroups of order 9 and their automorphism groups"; Semigroup Forum; doi: 10.1007/s00233-013-9504-9; available as 'Online First' on SpringerLink from 21st June 2013

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