Cátia Raquel Jesus Vaz
AuthID: R-001-HTR
1
TÃTULO: On Finding Optimal (Dynamic) Arborescences Full Text
AUTORES: Espada, Joaquim; Francisco, Alexandre P.; Rocher, Tatiana; Russo, Luis M. S. ; Vaz, Catia;
PUBLICAÇÃO: 2023, FONTE: ALGORITHMS, VOLUME: 16, NÚMERO: 12
AUTORES: Espada, Joaquim; Francisco, Alexandre P.; Rocher, Tatiana; Russo, Luis M. S. ; Vaz, Catia;
PUBLICAÇÃO: 2023, FONTE: ALGORITHMS, VOLUME: 16, NÚMERO: 12
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2
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 DBLP3
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
4
TÃTULO: Fast phylogenetic inference from typing data Full Text
AUTORES: Joao A Carrico; Maxime Crochemore; Alexandre P Francisco ; Solon P Pissis; Bruno Ribeiro Goncalves; Catia Vaz;
PUBLICAÇÃO: 2018, FONTE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 13, NÚMERO: 1
AUTORES: Joao A Carrico; Maxime Crochemore; Alexandre P Francisco ; Solon P Pissis; Bruno Ribeiro Goncalves; Catia Vaz;
PUBLICAÇÃO: 2018, FONTE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 13, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP
Scopus WOS DBLP5
TÃTULO: GrapeTree: visualization of core genomic relationships among 100,000 bacterial pathogens
AUTORES: Zhemin M Zhou; Nabil Fareed Alikhan; Martin J Sergeant; Nina Luhmann; Catia Vaz; Alexandre P Francisco ; Joao Andre Carrico; Mark Achtman;
PUBLICAÇÃO: 2018, FONTE: GENOME RESEARCH, VOLUME: 28, NÚMERO: 9
AUTORES: Zhemin M Zhou; Nabil Fareed Alikhan; Martin J Sergeant; Nina Luhmann; Catia Vaz; Alexandre P Francisco ; Joao Andre Carrico; Mark Achtman;
PUBLICAÇÃO: 2018, FONTE: GENOME RESEARCH, VOLUME: 28, NÚMERO: 9
INDEXADO EM: Scopus WOS
Scopus WOS6
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
7
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
8
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
9
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
10
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
