Clare E. Martin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1992–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | IJCAI | The role of usability engineering in the development of an intelligent decision support system. | Clare E. Martin, Arantza Aldea, David Duce, Rachel Harrison, Marion Waite |
| 2013 | HealthCom | Developing a mobile case-based reasoning application to assist type 1 diabetes management. | Daniel Brown, Ian Bayley, Rachel Harrison, Clare E. Martin |
| 2011 | Interact | A Systematic Evaluation of Mobile Applications for Diabetes Management. | Clare E. Martin, Derek Flood, David Sutton, Arantza Aldea, Rachel Harrison, Marion Waite |
| 2006 | MPC | Nondeterministic Folds. | Clare E. Martin, Sharon A. Curtis |
| 2004 | MPC | Modelling Nondeterminism. | Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky |
| 1995 | MFCS | Towards a Calculus of Predicate Transformers. | Clare E. Martin |
| 1992 | MPC | An Algebraic Construction of Predicate Transformers. | Paul H. B. Gardiner, Clare E. Martin, Oege de Moor |