An algebraic construction of predicate transformers P Gardiner, C Martin, O De Moor Mathematics of Program Construction: Second International Conference, Oxford …, 1993 | 61 | 1993 |
Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support D Brown, A Aldea, R Harrison, C Martin, I Bayley Artificial intelligence in medicine 85, 28-42, 2018 | 53 | 2018 |
Disciplined, efficient, generalised folds for nested datatypes C Martin, J Gibbons, I Bayley Formal Aspects of Computing 16, 19-35, 2004 | 44 | 2004 |
Systematic analysis of mobile diabetes management applications on different platforms E Garcia, C Martin, A Garcia, R Harrison, D Flood Information Quality in e-Health: 7th Conference of the Workgroup Human …, 2011 | 36 | 2011 |
Preordered categories and predicate transformers. C Martin University of Oxford, 1991 | 36 | 1991 |
Modelling angelic and demonic nondeterminism with multirelations CE Martin, SA Curtis, I Rewitzky Science of Computer programming 65 (2), 140-158, 2007 | 33 | 2007 |
Modelling nondeterminism CE Martin, SA Curtis, I Rewitzky Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004 | 33 | 2004 |
A modular safety system for an insulin dose recommender: a feasibility study C Liu, P Avari, Y Leal, M Wos, K Sivasithamparam, P Georgiou, M Reddy, ... Journal of diabetes science and technology 14 (1), 87-96, 2020 | 26 | 2020 |
Human factors and data logging processes with the use of advanced technology for adults with type 1 diabetes: systematic integrative review M Waite, C Martin, R Franklin, D Duce, R Harrison JMIR human factors 5 (1), e9049, 2018 | 25 | 2018 |
Pepper: Patient empowerment through predictive personalised decision support P Herrero, B López, C Martin ECAI Workshop on Artificial Intelligence for Diabetes, 8-9, 2016 | 23 | 2016 |
Mobile phone applications and type 1 diabetes: An approach to explore usability issues and the potential for enhanced self-management. M Waite, C Martin, S Curtis, Y Nugrahani Diabetes & Primary Care 15 (1), 2013 | 21 | 2013 |
A systematic evaluation of mobile applications for diabetes management C Martin, D Flood, D Sutton, A Aldea, R Harrison, M Waite Human-Computer Interaction–INTERACT 2011: 13th IFIP TC 13 International …, 2011 | 20 | 2011 |
A protocol for evaluating mobile applications C Martin, D Flood, R Harrison Information Systems Research and Exploring Social Artifacts: Approaches and …, 2013 | 18 | 2013 |
Safety and feasibility of the PEPPER adaptive bolus advisor and safety system: a randomized control study P Avari, Y Leal, P Herrero, M Wos, N Jugnee, M Arnoriaga-Rodríguez, ... Diabetes Technology & Therapeutics 23 (3), 175-186, 2021 | 17 | 2021 |
Pilet: An interactive learning tool to teach python B Alshaigy, S Kamal, F Mitchell, C Martin, A Aldea Proceedings of the Workshop in Primary and Secondary Computing Education, 76-79, 2015 | 16 | 2015 |
Functional fractal image compression SE Curtis, CE Martin Proceedings of 6th Symposium on Trends in Functional Programming, 383-398, 2005 | 16 | 2005 |
Pre-adjunctions in order enriched categories CE Martin, CAR Hoare, H Jifeng Mathematical structures in computer science 1 (2), 141-158, 1991 | 16 | 1991 |
A systematic evaluation of mobile spreadsheet apps D Flood, R Harrison, C Martin, K McDaid IADIS International Conference Interfaces and Human Computer Interaction, 1-8, 2011 | 14 | 2011 |
Special section on artificial intelligence for diabetes. B López, C Martin, PH Viñas Artif. Intell. Medicine 85, 26-27, 2018 | 13 | 2018 |
Efficacy of the mHealth application in patients with type 2 diabetes transitioning from inpatient to outpatient care: a randomized controlled clinical trial AM Gómez, DC Henao, FL Vargas, OM Muñoz, OD Lucero, MG Jaramillo, ... Diabetes Research and Clinical Practice 189, 109948, 2022 | 12 | 2022 |