default search action
Clare E. Martin
Person information
- affiliation: Oxford Brookes University, Department of Computing and Communication Technologies, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2021
- [j11]Fabian León-Vargas
, Clare Martin
Is a cloud-based platform useful for diabetes management in Colombia? The Tidepool experience. Comput. Methods Programs Biomed. 208: 106205 (2021) - 2020
- [j10]Catherine Henshall
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. 26(2): 1431-1442 (2020) - [c14]David A. Duce
Visualizing Usage Data from a Diabetes Management System. CGVC 2020: 1-9
2010 – 2019
- 2019
- [e2]Fernando Koch, Andrew Koster, David Riaño, Sara Montagna, Michael Schumacher, Annette ten Teije
Artificial Intelligence in Health - First International Workshop, AIH@IJCAI 2018, Stockholm, Sweden, July 13-14, 2018, Revised Selected Papers. Lecture Notes in Computer Science 11326, Springer 2019, ISBN 978-3-030-12737-4 [contents] - 2018
- [j9]Beatriz López
Special section on artificial intelligence for diabetes. Artif. Intell. Medicine 85: 26-27 (2018) - [j8]Daniel Brown
Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support. Artif. Intell. Medicine 85: 28-42 (2018) - [j7]Ralf Hinze, Clare Martin
Batcher's odd-even merging network revealed. J. Funct. Program. 28: e14 (2018) - [j6]Ralf Hinze
Parberry's pairwise sorting network revealed. J. Funct. Program. 28: e21 (2018) - [c13]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: 33-36 - [c12]Clare Martin
The Role of Usability Engineering in the Development of an Intelligent Decision Support System. AIH@IJCAI (Revised Selected Papers) 2018: 142-161 - [e1]Isabelle Bichindaritz, Christian Guttmann, Pau Herrero, Fernando Koch, Andrew Koster, Richard Lenz, Beatriz López Ibáñez, Cindy Marling, Clare Martin, Sara Montagna, Stefania Montani, Manfred Reichert, David Riaño, Michael Ignaz Schumacher, Annette ten Teije, Nirmalie Wiratunga:
Proceedings of the First Joint Workshop on AI in Health organized as part of the Federated AI Meeting (FAIM 2018), co-located with AAMAS 2018, ICML 2018, IJCAI 2018 and ICCBR 2018, Stockholm, Sweden, July 13-14, 2018. CEUR Workshop Proceedings 2142, CEUR-WS.org 2018 [contents] - 2017
- [j5]Ralf Hinze, Clare Martin:
A Logical Reconstruction of Batcher's Mergers Or: Bitonicity is a Red Herring. J. Univers. Comput. Sci. 23(1): 21-41 (2017) - 2016
- [c11]Dmitri S. Katz
Designing, developing, and evaluating the future internet of personal health. UbiComp Adjunct 2016: 1068-1073 - 2015
- [c10]Daniel Brown, David Duce
SWiFT Seeing the Wood From the Trees: helping people make sense of their health data. VCBM 2015: 209 - [c9]Bedour Alshaigy, Samia Kamal, Faye Rona Mitchell
PILeT: an Interactive Learning Tool To Teach Python. WiPSCE 2015: 76-79 - 2013
- [c8]Daniel Brown, Ian Bayley, Rachel Harrison, Clare E. Martin
Developing a mobile case-based reasoning application to assist type 1 diabetes management. Healthcom 2013: 1-3 - 2011
- [c7]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: 466-469 - [c6]Eva García, Clare E. Martin
Systematic Analysis of Mobile Diabetes Management Applications on Different Platforms. USAB 2011: 379-396
2000 – 2009
- 2008
- [c5]Clare E. Martin
Monadic Maps and Folds for Multirelations in an Allegory. UTP 2008: 102-121 - 2007
- [j4]Clare E. Martin
Modelling angelic and demonic nondeterminism with multirelations. Sci. Comput. Program. 65(2): 140-158 (2007) - 2006
- [c4]Clare E. Martin
Nondeterministic Folds. MPC 2006: 274-298 - 2004
- [j3]Clare E. Martin
Disciplined, efficient, generalised folds for nested datatypes. Formal Aspects Comput. 16(1): 19-35 (2004) - [c3]Clare E. Martin
Modelling Nondeterminism. MPC 2004: 228-251 - 2001
- [j2]Clare E. Martin
On the semantics of nested datatypes. Inf. Process. Lett. 80(5): 233-238 (2001)
1990 – 1999
- 1995
- [c2]Clare E. Martin
Towards a Calculus of Predicate Transformers. MFCS 1995: 489-498 - 1994
- [j1]Paul H. B. Gardiner, Clare E. Martin
An Algebraic Construction of Predicate Transformers. Sci. Comput. Program. 22(1-2): 21-44 (1994) - 1992
- [c1]Paul H. B. Gardiner, Clare E. Martin, Oege de Moor:
An Algebraic Construction of Predicate Transformers. MPC 1992: 100-121
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: