An Algebraic Construction of Predicate Transformers. - Paul H. B. Gardiner; Clare E. Martin; Oege de Moor (Sci. Comput. Program., 1994)

Towards a Calculus of Predicate Transformers. - Clare E. Martin (MFCS, 1995)

On the semantics of nested datatypes. - Clare E. Martin; Jeremy Gibbons (Inf. Process. Lett., 2001)

Modelling Nondeterminism. - Clare E. Martin; Sharon A. Curtis; Ingrid Rewitzky (MPC, 2004)

Disciplined, efficient, generalised folds for nested datatypes. - Clare E. Martin; Jeremy Gibbons; Ian Bayley (Formal Aspects Comput., 2004)

Nondeterministic Folds. - Clare E. Martin; Sharon A. Curtis (MPC, 2006)

Modelling angelic and demonic nondeterminism with multirelations. - Clare E. Martin; Sharon A. Curtis; Ingrid Rewitzky (Sci. Comput. Program., 2007)

Monadic Maps and Folds for Multirelations in an Allegory. - Clare E. Martin; Sharon A. Curtis (UTP, 2008)

A Systematic Evaluation of Mobile Applications for Diabetes Management. - Clare E. Martin; Derek Flood; D. Sutton; Arantza Aldea; Rachel Harrison; Marion Waite (INTERACT (4), 2011)

Systematic Analysis of Mobile Diabetes Management Applications on Different Platforms. - Eva García; Clare E. Martin; Antonio García-Cabot; Rachel Harrison; Derek Flood (USAB, 2011)

Developing a mobile case-based reasoning application to assist type 1 diabetes management. - Daniel Brown 001; Ian Bayley; Rachel Harrison; Clare E. Martin (Healthcom, 2013)

SWiFT Seeing the Wood From the Trees: helping people make sense of their health data. - Daniel Brown 001; David Duce; Rachel Franklin; Rachel Harrison; Clare E. Martin; Marion Waite (VCBM, 2015)

PILeT: an Interactive Learning Tool To Teach Python. - Bedour Alshaigy; Samia Kamal; Faye Rona Mitchell; Clare E. Martin; Arantza Aldea (WiPSCE, 2015)

Designing, developing, and evaluating the future internet of personal health. - Dmitri S. Katz; Eirik Årsand; Nick Dalton; Simon Holland; Clare Martin 001; Carl Magnus Olsson; Blaine A. Price (UbiComp Adjunct, 2016)

A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring. - Ralf Hinze; Clare Martin 001 (J. Univers. Comput. Sci., 2017)

The Role of Usability Engineering in the Development of an Intelligent Decision Support System. - Clare Martin 001; Arantza Aldea; David Duce; Rachel Harrison; Bedour Alshaigy (AIH@IJCAI (Revised Selected Papers), 2018)

The role of usability engineering in the development of an intelligent decision support system. - Clare E. Martin; Arantza Aldea; David Duce; Rachel Harrison; Marion Waite (AIH@IJCAI, 2018)

Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support. - Daniel Brown 001; Arantza Aldea; Rachel Harrison; Clare E. Martin; Ian Bayley (Artif. Intell. Medicine, 2018)

Special section on artificial intelligence for diabetes. - Beatriz López 001; Clare Martin 001; Pau Herrero Viñas (Artif. Intell. Medicine, 2018)

Batcher's odd-even merging network revealed. - Ralf Hinze; Clare Martin 001 (J. Funct. Program., 2018)

Parberry's pairwise sorting network revealed. - Ralf Hinze; Clare Martin 001 (J. Funct. Program., 2018)

Visualizing Usage Data from a Diabetes Management System. - David A. Duce; Clare Martin 001; Alex Russell; Dan Brown; Arantza Aldea; Bedour Alshaigy; Rachel Harrison; Marion Waite; Yenny Leal; Marzena Wos; Mercè Fernandez-Balsells; José Manuel Fernández Real; et al. (CGVC, 2020)

A usability study to test the effectiveness, efficiency and simplicity of a newly developed Internet-based Exercise-focused Health App for Lung cancer survivors (iEXHALE): Protocol paper. - Catherine Henshall; Zoe Davey; Cynthia Jacelon; Clare Martin 001 (Health Informatics J., 2020)

Is a cloud-based platform useful for diabetes management in Colombia? The Tidepool experience. - Fabian León-Vargas; Clare Martin 001; Maira García-Jaramillo; Arantza Aldea; Yenny Leal; Pau Herrero; Angie K. Reyes; Diana Henao; Ana María Gomez (Comput. Methods Programs Biomed., 2021)