Cátia Raquel Jesus Vaz
AuthID: R-001-HTR
1
TÃTULO: phyloDB: A framework for large-scale phylogenetic analysis of sequence based typing data
AUTORES: Lourenco, Bruno; Vaz, Catia; Coimbra, Miguel E.; Francisco, Alexandre P.;
PUBLICAÇÃO: 2024, FONTE: SOFTWAREX, VOLUME: 26
AUTORES: Lourenco, Bruno; Vaz, Catia; Coimbra, Miguel E.; Francisco, Alexandre P.;
PUBLICAÇÃO: 2024, FONTE: SOFTWAREX, VOLUME: 26
INDEXADO EM: 
WOS
WOS2
TÃTULO: Project INSIDE: towards autonomous semi-unstructured human robot social interaction in autism therapy Full Text
AUTORES: Melo, FS; Sardinha, A; Belo, D; Couto, M; Faria, M; Farias, A; Gamboa, H ; Jesus, C; Kinarullathil, M; Lima, P; Luz, L; Mateus, A; Melo, I; Moreno, P; Osorio, D; Paiva, A ; Pimentel, J; Rodrigues, J; Sequeira, P; Solera Urena, R; ...Mais
PUBLICAÇÃO: 2019, FONTE: ARTIFICIAL INTELLIGENCE IN MEDICINE, VOLUME: 96
AUTORES: Melo, FS; Sardinha, A; Belo, D; Couto, M; Faria, M; Farias, A; Gamboa, H ; Jesus, C; Kinarullathil, M; Lima, P; Luz, L; Mateus, A; Melo, I; Moreno, P; Osorio, D; Paiva, A ; Pimentel, J; Rodrigues, J; Sequeira, P; Solera Urena, R; ...Mais
PUBLICAÇÃO: 2019, FONTE: ARTIFICIAL INTELLIGENCE IN MEDICINE, VOLUME: 96
3
TÃTULO: On the analysis of compensation correctness Full Text
AUTORES: Catia Vaz; Carla Ferreira ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, NÚMERO: 5
AUTORES: Catia Vaz; Carla Ferreira ;
PUBLICAÇÃO: 2012, FONTE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, NÚMERO: 5
4
TÃTULO: Towards Compensation Correctness in Interactive Systems Full Text
AUTORES: Catia Vaz; Carla Ferreira ;
PUBLICAÇÃO: 2010, FONTE: 6th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, VOLUME: 6194
AUTORES: Catia Vaz; Carla Ferreira ;
PUBLICAÇÃO: 2010, FONTE: 6th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, VOLUME: 6194
5
TÃTULO: On the Expressive Power of Primitives for Compensation Handling
AUTORES: Lanese, I; Vaz, C; Ferreira, C ;
PUBLICAÇÃO: 2010, FONTE: 19th European Symposium on Programming (ESOP 2010) held at the ETAPES 2010 in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 6012
AUTORES: Lanese, I; Vaz, C; Ferreira, C ;
PUBLICAÇÃO: 2010, FONTE: 19th European Symposium on Programming (ESOP 2010) held at the ETAPES 2010 in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 6012
6
TÃTULO: Dynamic Recovering of Long Running Transactions Full Text
AUTORES: Catia Vaz; Carla Ferreira ; Antonio Ravara ;
PUBLICAÇÃO: 2009, FONTE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
AUTORES: Catia Vaz; Carla Ferreira ; Antonio Ravara ;
PUBLICAÇÃO: 2009, FONTE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
7
TÃTULO: The DOTPAR project: Towards a framework supporting domain oriented tools for parallel and distributed processing
AUTORES: Cunha, JC ; Medeiros, P; Lourenco, J ; Duarte, V; Vieira, J; Moscao, B; Pereira, D; Vaz, R;
PUBLICAÇÃO: 1998, FONTE: International Conference and Exhibition on High-Performance Computing and Networking in HIGH-PERFORMANCE COMPUTING AND NETWORKING, VOLUME: 1401
AUTORES: Cunha, JC ; Medeiros, P; Lourenco, J ; Duarte, V; Vieira, J; Moscao, B; Pereira, D; Vaz, R;
PUBLICAÇÃO: 1998, FONTE: International Conference and Exhibition on High-Performance Computing and Networking in HIGH-PERFORMANCE COMPUTING AND NETWORKING, VOLUME: 1401
