| An algebraic construction of predicate transformers P Gardiner, C Martin, O De Moor Mathematics of Program Construction: Second International Conference, Oxford …, 1993 | 60 | 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 | 45 | 2018 |
| Disciplined, efficient, generalised folds for nested datatypes C Martin, J Gibbons, I Bayley Formal Aspects of Computing 16, 19-35, 2004 | 44 | 2004 |
| Preordered categories and predicate transformers. C Martin University of Oxford, 1991 | 36 | 1991 |
| 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 | 34 | 2011 |
| Modelling nondeterminism CE Martin, SA Curtis, I Rewitzky Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004 | 33 | 2004 |
| Modelling angelic and demonic nondeterminism with multirelations CE Martin, SA Curtis, I Rewitzky Science of Computer programming 65 (2), 140-158, 2007 | 32 | 2007 |
| 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 | 22 | 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 | 21 | 2016 |
| 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 | 20 | 2018 |
| A systematic evaluation of mobile applications for diabetes management C Martin, D Flood, D Sutton, A Aldea, R Harrison, M Waite 13th International Conference on Human-Computer Interaction (INTERACT), 466-469, 2011 | 18 | 2011 |
| 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 | 17 | 2020 |
| Pre-adjunctions in order enriched categories CE Martin, CAR Hoare, H Jifeng Mathematical structures in computer science 1 (2), 141-158, 1991 | 17 | 1991 |
| Functional fractal image compression SE Curtis, CE Martin Proceedings of 6th Symposium on Trends in Functional Programming, 383-398, 2005 | 16 | 2005 |
| A protocol for evaluating mobile applications C Martin, D Flood, R Harrison Information Systems Research and Exploring Social Artifacts: Approaches and …, 2013 | 15 | 2013 |
| 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 | 13 | 2011 |
| Special section on artificial intelligence for diabetes. B López, C Martin, PH Viñas Artif. Intell. Medicine 85, 26-27, 2018 | 12 | 2018 |
| On the semantics of nested datatypes C Martin, J Gibbons Information Processing Letters 80 (5), 233-238, 2001 | 12 | 2001 |
| The algebra of multirelations CE Martin, SA Curtis Mathematical Structures in Computer Science 23 (3), 635-674, 2013 | 11 | 2013 |
| Pre-adjunctions in order enriched categories CAR Hoare, H Jifeng, CE Martin Oxford University Computing Laboratory, 1989 | 11 | 1989 |
