Dynamic Recovering of Long Running Transactions. - Cátia Vaz; Carla Ferreira 001; António Ravara (TGC, 2008)

Towards Compensation Correctness in Interactive Systems. - Cátia Vaz; Carla Ferreira 001 (WS-FM, 2009)

On the Expressive Power of Primitives for Compensation Handling. - Ivan Lanese; Cátia Vaz; Carla Ferreira 001 (ESOP, 2010)

An Ontology and a REST API for Sequence Based Microbial Typing Data. - João Almeida; João Tiple; Mário Ramirez; José Melo-Cristino; Cátia Vaz; Alexandre P. Francisco; João A. Carriço (JBI, 2010)

Towards Automated Verification of Web Services - Cátia Vaz; Carla Ferreira 001 (CoRR, 2011)

PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods. - Alexandre P. Francisco; Cátia Vaz; Pedro T. Monteiro 001; José Melo-Cristino; Mário Ramirez; João A. Carriço (BMC Bioinform., 2012)

On the analysis of compensation correctness. - Cátia Vaz; Carla Ferreira 001 (J. Log. Algebraic Methods Program., 2012)

TypOn: the microbial typing ontology. - Cátia Vaz; Alexandre P. Francisco; Mickael Silva; Keith A. Jolley; James E. Bray; Hannes Pouseele; Jörg Rothgänger; Mário Ramirez; João A. Carriço (J. Biomed. Semant., 2014)

PHYLOViZ Online: web-based tool for visualization, phylogenetic inference, analysis and sharing of minimum spanning trees. - Bruno Ribeiro-Gonçalves; Alexandre P. Francisco; Cátia Vaz; Mário Ramirez; João André Carriço (Nucleic Acids Res., 2016)

NGSPipes: Fostering Reproducibility and Scalability in Biosciences. - Bruno Dantas; Calmenelias Fleitas; Alexandre Almeida; João Forja; Alexandre P. Francisco; José Simão; Cátia Vaz (BCB, 2017)

Dynamic Phylogenetic Inference for Sequence-based Typing Data. - Alexandre P. Francisco; Marta Nascimento; Cátia Vaz (BCB, 2017)

Towards Distance-Based Phylogenetic Inference in Average-Case Linear-Time. - Maxime Crochemore; Alexandre P. Francisco; Solon P. Pissis; Cátia Vaz (WABI, 2017)

PHYLOViZ 2.0: providing scalable data integration and visualization for multiple phylogenetic inference methods. - Marta Nascimento; Adriano Sousa; Mário Ramirez; Alexandre P. Francisco; João A. Carriço; Cátia Vaz (Bioinform., 2017)

Beyond NGS data sharing and towards open science. - Bruno Dantas; Calmenelias Fleitas; Alexandre P. Francisco; José Simão; Cátia Vaz (CoRR, 2017)

Fast phylogenetic inference from typing data. - João A. Carriço; Maxime Crochemore; Alexandre P. Francisco; Solon P. Pissis; Bruno Ribeiro-Gonçalves; Cátia Vaz (Algorithms Mol. Biol., 2018)

Distance-based phylogenetic inference from typing data: a unifying view. - Cátia Vaz; Marta Nascimento; João A. Carriço; Tatiana Rocher; Alexandre P. Francisco (Briefings Bioinform., 2021)

FLOWViZ: Framework for Phylogenetic Processing. - Miguel Luís; Cátia Vaz (CoRR, 2022)

On Finding Optimal (Dynamic) Arborescences. - Joaquim Espada; Alexandre P. Francisco; Tatiana Rocher; Luís M. S. Russo; Cátia Vaz (Algorithms, 2023)

phyloDB: A framework for large-scale phylogenetic analysis. - Bruno Lourenço; Cátia Vaz; Miguel E. Coimbra; Alexandre P. Francisco (CoRR, 2023)

Phylogenetic tree distance computation over succinct representations. - António Pedro Branco; Cátia Vaz; Alexandre P. Francisco (CoRR, 2023)

Computing RF Tree Distance over Succinct Representations. - António Pedro Branco; Cátia Vaz; Alexandre P. Francisco (Algorithms, 2024)

A modular and scalable web platform for computational phylogenetics. - Nyckollas Brandão; André Jesus; André Páscoa; Alexandre P. Francisco; Mário Ramirez; Cátia Vaz (CoRR, 2024)

phyloDB: A framework for large-scale phylogenetic analysis of sequence based typing data. - Bruno Lourenço; Cátia Vaz; Miguel E. Coimbra; Alexandre P. Francisco (SoftwareX, 2024)