Manuel Sousa

According to our database, Manuel Sousa authored at least 6 papers between 2014 and 2021.

Collaborative distances:

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

2021

Understanding Effects of the Algorithm Visualized with AR Techniques (Short Paper).

Lázaro V. O. Lima, Manuel Sousa, Luís Gonzaga Magalhães, Pedro Rangel Henriques

Proceedings of the Second International Computer Programming Education Conference, 2021

2019

The Social Platform: Profiling FHIR to Support Community-Dwelling Older Adults.

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

J. Medical Syst., 2019

2018

SOCIAL Platform.

Manuel Sousa, Luísa Arieira, Alexandra Queirós, Ana Isabel Martins, Nelson Pacheco da Rocha, Filipe Augusto, Filipa Duarte, Telmo Neves, António Damasceno

Proceedings of the Trends and Advances in Information Systems and Technologies, 2018

A Platform to Support the Care and Assistance of Community-Dwelling Older Adults.

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

Proceedings of the CENTERIS 2018 - International Conference on ENTERprise Information Systems / ProjMAN 2018 - International Conference on Project MANagement / HCist 2018, 2018

2016

Formal Verification of a Space System's User Interface With the IVY Workbench.

José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison

IEEE Trans. Hum. Mach. Syst., 2016

2014

Formal Verification of Safety-Critical User Interfaces: a space system case study.

Manuel Sousa, José Creissac Campos, Miriam C. Bergue Alves, Michael D. Harrison

Proceedings of the 2014 AAAI Spring Symposia, 2014