Clare E. Martin

According to our database, Clare E. Martin authored at least 24 papers between 1994 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Is a cloud-based platform useful for diabetes management in Colombia? The Tidepool experience.

Fabian León-Vargas, Clare Martin, Maira García-Jaramillo, Arantza Aldea, Yenny Leal, Pau Herrero, Angie K. Reyes, Diana Henao, Ana María Gomez

Comput. Methods Programs Biomed., 2021

2020

A usability study to test the effectiveness, efficiency and simplicity of a newly developed Internet-based Exercise-focused Health App for Lung cancer survivors (iEXHALE): Protocol paper.

Catherine Henshall, Zoe Davey, Cynthia Jacelon, Clare Martin

Health Informatics J., 2020

Visualizing Usage Data from a Diabetes Management System.

David A. Duce, Clare Martin, Alex Russell, Dan Brown, Arantza Aldea, Bedour Alshaigy, Rachel Harrison, Marion Waite, Yenny Leal, Marzena Wos, Mercè Fernandez-Balsells, José Manuel Fernández Real, Lucian Nita, Beatriz López, Joaquim Massana, Parizad Avari, Pau Herrero, Narvada Jugnee, Nick Oliver, Monika Reddy

Proceedings of the Computer Graphics & Visual Computing, 2020

2018

Parberry's pairwise sorting network revealed.

Ralf Hinze, Clare Martin

J. Funct. Program., 2018

Batcher's odd-even merging network revealed.

Ralf Hinze, Clare Martin

J. Funct. Program., 2018

Special section on artificial intelligence for diabetes.

Beatriz López, Clare Martin, Pau Herrero Viñas

Artif. Intell. Medicine, 2018

Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support.

Daniel Brown, Arantza Aldea, Rachel Harrison, Clare E. Martin, Ian Bayley

Artif. Intell. Medicine, 2018

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

Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), 2018

The Role of Usability Engineering in the Development of an Intelligent Decision Support System.

Clare Martin, Arantza Aldea, David Duce, Rachel Harrison, Bedour Alshaigy

Proceedings of the Artificial Intelligence in Health - First International Workshop, 2018

2017

A Logical Reconstruction of Batcher's Mergers <i>Or: </i> Bitonicity is a Red Herring.

Ralf Hinze, Clare Martin

J. Univers. Comput. Sci., 2017

2016

Designing, developing, and evaluating the future internet of personal health.

Dmitri S. Katz, Eirik Årsand, Nick Dalton, Simon Holland, Clare Martin, Carl Magnus Olsson, Blaine A. Price

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2016 ACM International Symposium on Wearable Computers, 2016

2015

PILeT: an Interactive Learning Tool To Teach Python.

Bedour Alshaigy, Samia Kamal, Faye Rona Mitchell, Clare E. Martin, Arantza Aldea

Proceedings of the Workshop in Primary and Secondary Computing Education, 2015

SWiFT Seeing the Wood From the Trees: helping people make sense of their health data.

Daniel Brown, David Duce, Rachel Franklin, Rachel Harrison, Clare E. Martin, Marion Waite

Proceedings of the Eurographics Workshop on Visual Computing for Biology and Medicine, 2015

2013

Developing a mobile case-based reasoning application to assist type 1 diabetes management.

Daniel Brown, Ian Bayley, Rachel Harrison, Clare E. Martin

Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

2011

Systematic Analysis of Mobile Diabetes Management Applications on Different Platforms.

Eva García, Clare E. Martin, Antonio García-Cabot, Rachel Harrison, Derek Flood

Proceedings of the Information Quality in e-Health, 2011

A Systematic Evaluation of Mobile Applications for Diabetes Management.

Clare E. Martin, Derek Flood, D. Sutton, Arantza Aldea, Rachel Harrison, Marion Waite

Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

2008

Monadic Maps and Folds for Multirelations in an Allegory.

Clare E. Martin, Sharon A. Curtis

Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

2007

Modelling angelic and demonic nondeterminism with multirelations.

Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky

Sci. Comput. Program., 2007

2006

Nondeterministic Folds.

Clare E. Martin, Sharon A. Curtis

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

2004

Disciplined, efficient, generalised folds for nested datatypes.

Clare E. Martin, Jeremy Gibbons, Ian Bayley

Formal Aspects Comput., 2004

Modelling Nondeterminism.

Clare E. Martin, Sharon A. Curtis, Ingrid Rewitzky

Proceedings of the Mathematics of Program Construction, 7th International Conference, 2004

2001

On the semantics of nested datatypes.

Clare E. Martin, Jeremy Gibbons

Inf. Process. Lett., 2001

1995

Towards a Calculus of Predicate Transformers.

Clare E. Martin

Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

1994

An Algebraic Construction of Predicate Transformers.

Paul H. B. Gardiner, Clare E. Martin, Oege de Moor

Sci. Comput. Program., 1994