![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Clare E. Martin
Person information
- affiliation: Oxford Brookes University, Department of Computing and Communication Technologies, UK
SPARQL queries ![](https://dblp.uni-trier.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
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
, Maira García-Jaramillo
, Arantza Aldea, Yenny Leal
, Pau Herrero, Angie K. Reyes
, Diana Henao
, Ana María Gomez:
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
, Zoe Davey, Cynthia Jacelon, Clare Martin
:
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
, 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:
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
, Christian Guttmann, Manfred Reichert, Isabelle Bichindaritz, Pau Herrero, Richard Lenz, Beatriz López, Cindy Marling, Clare Martin, Stefania Montani, Nirmalie Wiratunga:
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
, Clare Martin
, Pau Herrero Viñas
:
Special section on artificial intelligence for diabetes. Artif. Intell. Medicine 85: 26-27 (2018) - [j8]Daniel Brown
, Arantza Aldea, Rachel Harrison
, Clare E. Martin
, Ian Bayley:
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
, Clare Martin
:
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
, Arantza Aldea
, David Duce
, Rachel Harrison
, Bedour Alshaigy
:
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
, Eirik Årsand, Nick Dalton, Simon Holland
, Clare Martin, Carl Magnus Olsson
, Blaine A. Price:
Designing, developing, and evaluating the future internet of personal health. UbiComp Adjunct 2016: 1068-1073 - 2015
- [c10]Daniel Brown, David Duce
, Rachel Franklin, Rachel Harrison, Clare E. Martin, Marion Waite:
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
, Clare E. Martin, Arantza Aldea:
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
, Antonio García-Cabot, Rachel Harrison, Derek Flood:
Systematic Analysis of Mobile Diabetes Management Applications on Different Platforms. USAB 2011: 379-396
2000 – 2009
- 2008
- [c5]Clare E. Martin
, Sharon A. Curtis:
Monadic Maps and Folds for Multirelations in an Allegory. UTP 2008: 102-121 - 2007
- [j4]Clare E. Martin
, Sharon A. Curtis, Ingrid Rewitzky:
Modelling angelic and demonic nondeterminism with multirelations. Sci. Comput. Program. 65(2): 140-158 (2007) - 2006
- [c4]Clare E. Martin
, Sharon A. Curtis:
Nondeterministic Folds. MPC 2006: 274-298 - 2004
- [j3]Clare E. Martin
, Jeremy Gibbons
, Ian Bayley:
Disciplined, efficient, generalised folds for nested datatypes. Formal Aspects Comput. 16(1): 19-35 (2004) - [c3]Clare E. Martin
, Sharon A. Curtis, Ingrid Rewitzky:
Modelling Nondeterminism. MPC 2004: 228-251 - 2001
- [j2]Clare E. Martin
, Jeremy Gibbons
:
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
, Oege de Moor:
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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-24 23:05 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint