Clare E. Martin

Publication Activity (10 Years)

Years Active: 1992-2018
Publications (10 Years): 4

Top Topics

Decision Support

Interactive Multimedia

Learning Theories

Diabetes Mellitus

Top Venues

Artif. Intell. Medicine

Publications

Clare E. Martin, Arantza Aldea, David Duce, Rachel Harrison, Marion Waite
The role of usability engineering in the development of an intelligent decision support system. AIH@IJCAI (2018)
Daniel Brown, Arantza Aldea, Rachel Harrison, Clare E. Martin, Ian Bayley
Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support. Artif. Intell. Medicine 85 (2018)
Daniel Brown, David Duce, Rachel Franklin, Rachel Harrison, Clare E. Martin, Marion Waite
SWiFT Seeing the Wood From the Trees: helping people make sense of their health data. VCBM (2015)
Bedour Alshaigy, Samia Kamal, Faye Rona Mitchell, Clare E. Martin, Arantza Aldea
PILeT: an Interactive Learning Tool To Teach Python. WiPSCE (2015)
Daniel Brown, Ian Bayley, Rachel Harrison, Clare E. Martin
Developing a mobile case-based reasoning application to assist type 1 diabetes management. Healthcom (2013)
Eva García, Clare E. Martin, Antonio García-Cabot, Rachel Harrison, Derek Flood
Systematic Analysis of Mobile Diabetes Management Applications on Different Platforms. USAB (2011)
Clare E. Martin, Derek Flood, D. Sutton, Arantza Aldea, Rachel Harrison, Marion Waite
A Systematic Evaluation of Mobile Applications for Diabetes Management. INTERACT (4) (2011)
Clare E. Martin, Sharon A. Curtis
Monadic Maps and Folds for Multirelations in an Allegory. UTP (2008)
Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
Modelling angelic and demonic nondeterminism with multirelations. Sci. Comput. Program. 65 (2) (2007)
Clare E. Martin, Sharon A. Curtis
Nondeterministic Folds. MPC (2006)
Clare E. Martin, Jeremy Gibbons, Ian Bayley
Disciplined, efficient, generalised folds for nested datatypes. Formal Aspects Comput. 16 (1) (2004)
Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky
Modelling Nondeterminism. MPC (2004)
Clare E. Martin, Jeremy Gibbons
On the semantics of nested datatypes. Inf. Process. Lett. 80 (5) (2001)
Clare E. Martin
Towards a Calculus of Predicate Transformers. MFCS (1995)
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
An Algebraic Construction of Predicate Transformers. Sci. Comput. Program. 22 (1-2) (1994)
Paul H. B. Gardiner, Clare E. Martin, Oege de Moor
An Algebraic Construction of Predicate Transformers. MPC (1992)