Seguir
Clare Martin
Clare Martin
Principal Lecturer of Computer Science, Oxford Brookes University
Dirección de correo verificada de brookes.ac.uk
Título
Citado por
Citado por
Año
An algebraic construction of predicate transformers
P Gardiner, C Martin, O De Moor
Mathematics of Program Construction: Second International Conference, Oxford …, 1993
611993
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
492018
Disciplined, efficient, generalised folds for nested datatypes
C Martin, J Gibbons, I Bayley
Formal Aspects of Computing 16, 19-35, 2004
442004
Preordered categories and predicate transformers.
C Martin
University of Oxford, 1991
361991
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
352011
Modelling angelic and demonic nondeterminism with multirelations
CE Martin, SA Curtis, I Rewitzky
Science of Computer programming 65 (2), 140-158, 2007
332007
Modelling nondeterminism
CE Martin, SA Curtis, I Rewitzky
Mathematics of Program Construction: 7th International Conference, MPC 2004 …, 2004
332004
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
252020
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
252018
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
232016
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
212013
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
192011
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
172021
A protocol for evaluating mobile applications
C Martin, D Flood, R Harrison
Information Systems Research and Exploring Social Artifacts: Approaches and …, 2013
172013
Functional fractal image compression
SE Curtis, CE Martin
Proceedings of 6th Symposium on Trends in Functional Programming, 383-398, 2005
162005
Pre-adjunctions in order enriched categories
CE Martin, CAR Hoare, H Jifeng
Mathematical structures in computer science 1 (2), 141-158, 1991
161991
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
152015
Special section on artificial intelligence for diabetes.
B López, C Martin, PH Viñas
Artif. Intell. Medicine 85, 26-27, 2018
132018
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
132011
Fractal image compression
CE Martin, SA Curtis
Journal of Functional Programming 23 (6), 629-657, 2013
112013
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20