Clare E. Martin

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