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
INDEXED IN: WOS DBLP
2
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
3
TITLE: Fast phylogenetic inference from typing data  Full Text
AUTHORS: Joao A Carrico; Maxime Crochemore; Alexandre P Francisco ; Solon P Pissis; Bruno Ribeiro Goncalves; Catia Vaz;
PUBLISHED: 2018, SOURCE: ALGORITHMS FOR MOLECULAR BIOLOGY, VOLUME: 13, ISSUE: 1
INDEXED IN: Scopus WOS DBLP
4
TITLE: GrapeTree: visualization of core genomic relationships among 100,000 bacterial pathogens
AUTHORS: Zhemin M Zhou; Nabil Fareed Alikhan; Martin J Sergeant; Nina Luhmann; Catia Vaz; Alexandre P Francisco ; Joao Andre Carrico; Mark Achtman;
PUBLISHED: 2018, SOURCE: GENOME RESEARCH, VOLUME: 28, ISSUE: 9
INDEXED IN: Scopus WOS
6
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
7
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
9
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
10
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
INDEXED IN: Scopus WOS CrossRef: 22
Page 1 of 2. Total results: 12.