| 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 | 61 | 2018 |
| An algebraic construction of predicate transformers P Gardiner, C Martin, O De Moor Mathematics of Program Construction: Second International Conference, Oxford …, 1993 | 61 | 1993 |
| 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 | 37 | 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 | 35 | 2007 |
| Modelling nondeterminism CE Martin, SA Curtis, I Rewitzky Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004 | 35 | 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 | 28 | 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 | 27 | 2018 |
| Fractal image compression CE Martin, SA Curtis Journal of Functional Programming 23 (6), 629-657, 2013 | 25 | 2013 |
| 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 | 24 | 2016 |
| 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 | 23 | 2021 |
| 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 | 23 | 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 | 21 | 2011 |
| A protocol for evaluating mobile applications C Martin, D Flood, R Harrison Information Systems Research and Exploring Social Artifacts: Approaches and …, 2013 | 20 | 2013 |
| 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 | 17 | 2022 |
| 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 | 17 | 2015 |
| Is a cloud-based platform useful for diabetes management in Colombia? The Tidepool experience F Leon-Vargas, C Martin, M Garcia-Jaramillo, A Aldea, Y Leal, P Herrero, ... Computer methods and programs in biomedicine 208, 106205, 2021 | 16 | 2021 |
| Pre-adjunctions in order enriched categories CE Martin, CAR Hoare, H Jifeng Mathematical structures in computer science 1 (2), 141-158, 1991 | 16 | 1991 |
| Functional fractal image compression SE Curtis, CE Martin Proceedings of 6th Symposium on Trends in Functional Programming, 383-398, 2005 | 15 | 2005 |
