| Interacting with next-generation smart patient-centric healthcare systems J Bowles, J Mendoza-Santana, T Webber Adjunct Publication of the 28th ACM Conference on User Modeling, Adaptation …, 2020 | 14* | 2020 |
| Designing a patient-centric system for secure exchanges of medical data T Webber, JM Santana, AF Vermeulen, JKF Bowles International conference on computational science and its applications, 598-614, 2020 | 8 | 2020 |
| Formal reasoning over class models with TOMM JJ Mendoza Santana, J Kuster Filipe Bowles Journal of Object Technology, 2019 | | 2019 |
| A seamless framework for formal reasoning on specifications: model derivation, verification and comparison JJ Mendoza Santana University of St Andrews, 2019 | | 2019 |
| A logic-based approach to software development JJ Mendoza Santana, J Bowles Conference on Computing Natural Reasoning, 2015 | | 2015 |
| Construct by Contract: Construct by Contract: An Approach for Developing Reliable Software JJ Mendoza Santana National University of Ireland Maynooth, 2013 | | 2013 |
Juliana Küster Filipe BowlesProfessor, University of St AndrewsDirección de correo verificada de st-andrews.ac.uk
