1
TITLE: Computing RF Tree Distance over Succinct Representations  Full Text
AUTHORS: Branco, Antonio Pedro; Vaz, Catia; Francisco, Alexandre P.;
PUBLISHED: 2024, SOURCE: ALGORITHMS, VOLUME: 17, ISSUE: 1
INDEXED IN: Scopus WOS CrossRef
2
TITLE: phyloDB: A framework for large-scale phylogenetic analysis of sequence based typing data
AUTHORS: Bruno Lourenço; Cátia Vaz; Miguel Coimbra; Alexandre Francisco;
PUBLISHED: 2024, SOURCE: SoftwareX, VOLUME: 26
INDEXED IN: Scopus CrossRef
3
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
INDEXED IN: WOS
4
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
INDEXED IN: WOS DBLP
5
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; Vasco, M; Veloso, M; Ventura, R ; ...More
PUBLISHED: 2019, SOURCE: ARTIFICIAL INTELLIGENCE IN MEDICINE, VOLUME: 96
INDEXED IN: Scopus WOS CrossRef: 12
7
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
INDEXED IN: Scopus WOS DBLP CrossRef: 5
8
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
INDEXED IN: Scopus WOS CrossRef: 4
10
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
INDEXED IN: Scopus WOS CrossRef: 4
Page 1 of 2. Total results: 13.