Manuel Sousa

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 5

Top Topics

Formal Verification

Top Venues

CENTERIS/ProjMAN/HCist

AAAI Spring Symposia

J. Medical Syst.

Publications

Lázaro V. O. Lima, Manuel Sousa, Luís Gonzaga Magalhães, Pedro Rangel Henriques
Understanding Effects of the Algorithm Visualized with AR Techniques (Short Paper). ICPEC (2021)
Nelson Pacheco da Rocha, Alexandra Queirós, Ana Isabel Martins, Manuel Sousa, Luísa Arieira, António Damasceno, Filipa Duarte, João Filipe, Philipp Urbauer
The Social Platform: Profiling FHIR to Support Community-Dwelling Older Adults. J. Medical Syst. 43 (4) (2019)
Manuel Sousa, Luísa Arieira, Telmo Neves, António Damasceno, Filipa Duarte, João Filipe, Ana Isabel Martins, Alexandra Queirós, Nelson Pacheco da Rocha
A Platform to Support the Care and Assistance of Community-Dwelling Older Adults. CENTERIS/ProjMAN/HCist (2018)
Manuel Sousa, Luísa Arieira, Alexandra Queirós, Ana Isabel Martins, Nelson Pacheco da Rocha, Filipe Augusto, Filipa Duarte, Telmo Neves, António Damasceno
SOCIAL Platform. WorldCIST (2) (2018)
José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison
Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE Trans. Hum. Mach. Syst. 46 (2) (2016)
Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison
Formal Verification of Safety-Critical User Interfaces: a space system case study. AAAI Spring Symposia (2014)