Cátia Raquel Jesus Vaz
AuthID: R-001-HTR
1
TÃTULO: Distance-based phylogenetic inference from typing data: a unifying view Full Text
AUTORES: Vaz, C; Nascimento, M; Carrico, JA; Rocher, T; Francisco, AP ;
PUBLICAÇÃO: 2021, FONTE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 22, NÚMERO: 3
AUTORES: Vaz, C; Nascimento, M; Carrico, JA; Rocher, T; Francisco, AP ;
PUBLICAÇÃO: 2021, FONTE: BRIEFINGS IN BIOINFORMATICS, VOLUME: 22, NÚMERO: 3
INDEXADO EM: 
WOS 
DBLP
WOS DBLP2
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: PHYLOViZ Online: web-based tool for visualization, phylogenetic inference, analysis and sharing of minimum spanning trees Full Text
AUTORES: Bruno Ribeiro Goncalves; Alexandre P Francisco ; Catia Vaz; Mario Ramirez; Joao Andre Carrico;
PUBLICAÇÃO: 2016, FONTE: NUCLEIC ACIDS RESEARCH, VOLUME: 44, NÚMERO: W1
AUTORES: Bruno Ribeiro Goncalves; Alexandre P Francisco ; Catia Vaz; Mario Ramirez; Joao Andre Carrico;
PUBLICAÇÃO: 2016, FONTE: NUCLEIC ACIDS RESEARCH, VOLUME: 44, NÚMERO: W1
4
TÃTULO: TypOn: the microbial typing ontology Full Text
AUTORES: Catia Vaz; Alexandre P Francisco ; Mickael Silva; Keith A Jolley; James E Bray; Hannes Pouseele; Joerg Rothganger; Mario Ramirez; Joao A Carrico;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF BIOMEDICAL SEMANTICS, VOLUME: 5, NÚMERO: 1
AUTORES: Catia Vaz; Alexandre P Francisco ; Mickael Silva; Keith A Jolley; James E Bray; Hannes Pouseele; Joerg Rothganger; Mario Ramirez; Joao A Carrico;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF BIOMEDICAL SEMANTICS, VOLUME: 5, NÚMERO: 1
5
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
6
TÃTULO: PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods Full Text
AUTORES: Alexandre P Francisco ; Catia Vaz; Pedro T Monteiro ; Jose Melo Cristino ; Mario Ramirez ; Joao A Carrico ;
PUBLICAÇÃO: 2012, FONTE: BMC BIOINFORMATICS, VOLUME: 13, NÚMERO: 1
AUTORES: Alexandre P Francisco ; Catia Vaz; Pedro T Monteiro ; Jose Melo Cristino ; Mario Ramirez ; Joao A Carrico ;
PUBLICAÇÃO: 2012, FONTE: BMC BIOINFORMATICS, VOLUME: 13, NÚMERO: 1
7
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
8
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
9
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
10
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
