Juan Jose Mendoza Santana

According to our database, Juan Jose Mendoza Santana authored at least 5 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2020

Interacting with Next-Generation Smart Patient-Centric Healthcare Systems.

Juliana Bowles, Juan Jose Mendoza Santana, Thais Webber

Proceedings of the Adjunct Publication of the 28th ACM Conference on User Modeling, 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

Proceedings of the Computational Science and Its Applications - ICCSA 2020, 2020

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

Proceedings of the Integrated Citizen Centered Digital Health and Social Care - Citizens as Data Producers and Service co-Creators, 2020

2019

A seamless framework for formal reasoning on specifications: model derivation, verification and comparison.

Juan Jose Mendoza Santana

PhD thesis, 2019

Formal reasoning over class models using TOMM.

Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles

J. Object Technol., 2019