Cátia Raquel Jesus Vaz
AuthID: R-001-HTR
1
TITLE: phyloDB: A framework for large-scale phylogenetic analysis of sequence based typing data
AUTHORS: Lourenco, Bruno; Vaz, Catia; Coimbra, Miguel E.; Francisco, Alexandre P.;
PUBLISHED: 2024, SOURCE: SOFTWAREX, VOLUME: 26
AUTHORS: Lourenco, Bruno; Vaz, Catia; Coimbra, Miguel E.; Francisco, Alexandre P.;
PUBLISHED: 2024, SOURCE: SOFTWAREX, VOLUME: 26
INDEXED IN: 
WOS
WOS2
TITLE: Project INSIDE: towards autonomous semi-unstructured human robot social interaction in autism therapy Full Text
AUTHORS: 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; ...More
PUBLISHED: 2019, SOURCE: ARTIFICIAL INTELLIGENCE IN MEDICINE, VOLUME: 96
AUTHORS: 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; ...More
PUBLISHED: 2019, SOURCE: ARTIFICIAL INTELLIGENCE IN MEDICINE, VOLUME: 96
3
TITLE: On the analysis of compensation correctness Full Text
AUTHORS: Catia Vaz; Carla Ferreira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 5
AUTHORS: Catia Vaz; Carla Ferreira ;
PUBLISHED: 2012, SOURCE: JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, VOLUME: 81, ISSUE: 5
4
TITLE: Towards Compensation Correctness in Interactive Systems Full Text
AUTHORS: Catia Vaz; Carla Ferreira ;
PUBLISHED: 2010, SOURCE: 6th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, VOLUME: 6194
AUTHORS: Catia Vaz; Carla Ferreira ;
PUBLISHED: 2010, SOURCE: 6th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, VOLUME: 6194
5
TITLE: On the Expressive Power of Primitives for Compensation Handling
AUTHORS: Lanese, I; Vaz, C; Ferreira, C ;
PUBLISHED: 2010, SOURCE: 19th European Symposium on Programming (ESOP 2010) held at the ETAPES 2010 in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 6012
AUTHORS: Lanese, I; Vaz, C; Ferreira, C ;
PUBLISHED: 2010, SOURCE: 19th European Symposium on Programming (ESOP 2010) held at the ETAPES 2010 in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 6012
6
TITLE: Dynamic Recovering of Long Running Transactions Full Text
AUTHORS: Catia Vaz; Carla Ferreira ; Antonio Ravara ;
PUBLISHED: 2009, SOURCE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
AUTHORS: Catia Vaz; Carla Ferreira ; Antonio Ravara ;
PUBLISHED: 2009, SOURCE: 4th International Symposium on Trustworthy Global Computing in TRUSTWORTHY GLOBAL COMPUTING, VOLUME: 5474
7
TITLE: The DOTPAR project: Towards a framework supporting domain oriented tools for parallel and distributed processing
AUTHORS: Cunha, JC ; Medeiros, P; Lourenco, J ; Duarte, V; Vieira, J; Moscao, B; Pereira, D; Vaz, R;
PUBLISHED: 1998, SOURCE: International Conference and Exhibition on High-Performance Computing and Networking in HIGH-PERFORMANCE COMPUTING AND NETWORKING, VOLUME: 1401
AUTHORS: Cunha, JC ; Medeiros, P; Lourenco, J ; Duarte, V; Vieira, J; Moscao, B; Pereira, D; Vaz, R;
PUBLISHED: 1998, SOURCE: International Conference and Exhibition on High-Performance Computing and Networking in HIGH-PERFORMANCE COMPUTING AND NETWORKING, VOLUME: 1401
