Clare E. Martin

Orcid: 0000-0002-3147-3746

Affiliations:
  • Oxford Brookes University, Department of Computing and Communication Technologies, UK


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2021
Is a cloud-based platform useful for diabetes management in Colombia? The Tidepool experience.
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.
Health Informatics J., 2020


2018
Parberry's pairwise sorting network revealed.
J. Funct. Program., 2018

Batcher's odd-even merging network revealed.
J. Funct. Program., 2018

Special section on artificial intelligence for diabetes.
Artif. Intell. Medicine, 2018

Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support.
Artif. Intell. Medicine, 2018

The role of usability engineering in the development of an intelligent decision support system.
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.
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.
J. Univers. Comput. Sci., 2017

2016
Designing, developing, and evaluating the future internet of personal health.
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.
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.
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.
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

2011
Systematic Analysis of Mobile Diabetes Management Applications on Different Platforms.
Proceedings of the Information Quality in e-Health, 2011

A Systematic Evaluation of Mobile Applications for Diabetes Management.
Proceedings of the Human-Computer Interaction - INTERACT 2011, 2011

2008
Monadic Maps and Folds for Multirelations in an Allegory.
Proceedings of the Unifying Theories of Programming, Second International Symposium, 2008

2007
Modelling angelic and demonic nondeterminism with multirelations.
Sci. Comput. Program., 2007

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

2004
Disciplined, efficient, generalised folds for nested datatypes.
Formal Aspects Comput., 2004

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

2001
On the semantics of nested datatypes.
Inf. Process. Lett., 2001

1995
Towards a Calculus of Predicate Transformers.
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995

1994
An Algebraic Construction of Predicate Transformers.
Sci. Comput. Program., 1994


  Loading...