Formal reasoning over class models using TOMM. - Juan Jose Mendoza Santana; Juliana Küster Filipe Bowles (J. Object Technol., 2019)

A seamless framework for formal reasoning on specifications: model derivation, verification and comparison. - Juan Jose Mendoza Santana (2019)

Integrating Healthcare Data for Enhanced Citizen-Centred Care and Analytics. - Juliana Küster Filipe Bowles; Juan Jose Mendoza Santana; Andreas Francois Vermeulen; Thais Webber; Euan Blackledge (EFMI-STC, 2020)

Designing a Patient-Centric System for Secure Exchanges of Medical Data. - Thais Webber; Juan Jose Mendoza Santana; Andreas Francois Vermeulen; Juliana Küster Filipe Bowles (ICCSA (6), 2020)

Interacting with Next-Generation Smart Patient-Centric Healthcare Systems. - Juliana Bowles; Juan Jose Mendoza Santana; Thais Webber (UMAP (Adjunct Publication), 2020)