Clare Martin
Cited by
Cited by
An algebraic construction of predicate transformers
P Gardiner, C Martin, O De Moor
Mathematics of Program Construction: Second International Conference, Oxford …, 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
Disciplined, efficient, generalised folds for nested datatypes
C Martin, J Gibbons, I Bayley
Formal Aspects of Computing 16, 19-35, 2004
Preordered categories and predicate transformers.
C Martin
University of Oxford, 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
Modelling angelic and demonic nondeterminism with multirelations
CE Martin, SA Curtis, I Rewitzky
Science of Computer programming 65 (2), 140-158, 2007
Modelling nondeterminism
CE Martin, SA Curtis, I Rewitzky
Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 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
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
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
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
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
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
A protocol for evaluating mobile applications
C Martin, D Flood, R Harrison
Information Systems Research and Exploring Social Artifacts: Approaches and …, 2013
Functional fractal image compression
SE Curtis, CE Martin
Proceedings of 6th Symposium on Trends in Functional Programming, 383-398, 2005
Pre-adjunctions in order enriched categories
CE Martin, CAR Hoare, H Jifeng
Mathematical structures in computer science 1 (2), 141-158, 1991
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
Special section on artificial intelligence for diabetes.
B López, C Martin, PH Viñas
Artif. Intell. Medicine 85, 26-27, 2018
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
Fractal image compression
CE Martin, SA Curtis
Journal of Functional Programming 23 (6), 629-657, 2013
The system can't perform the operation now. Try again later.
Articles 1–20