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