Cátia Vaz

Orcid: 0000-0001-6074-3074

According to our database1, Cátia Vaz authored at least 21 papers between 2008 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Computing RF Tree Distance over Succinct Representations.
Algorithms, 2024

2023
Phylogenetic tree distance computation over succinct representations.
CoRR, 2023

phyloDB: A framework for large-scale phylogenetic analysis.
CoRR, 2023

On Finding Optimal (Dynamic) Arborescences.
Algorithms, 2023

2022
FLOWViZ: Framework for Phylogenetic Processing.
CoRR, 2022

2021
Distance-based phylogenetic inference from typing data: a unifying view.
Briefings Bioinform., 2021

2018
Fast phylogenetic inference from typing data.
Algorithms Mol. Biol., 2018

2017
Beyond NGS data sharing and towards open science.
CoRR, 2017

PHYLOViZ 2.0: providing scalable data integration and visualization for multiple phylogenetic inference methods.
Bioinform., 2017

Towards Distance-Based Phylogenetic Inference in Average-Case Linear-Time.
Proceedings of the 17th International Workshop on Algorithms in Bioinformatics, 2017

Dynamic Phylogenetic Inference for Sequence-based Typing Data.
Proceedings of the 8th ACM International Conference on Bioinformatics, 2017

NGSPipes: Fostering Reproducibility and Scalability in Biosciences.
Proceedings of the 8th ACM International Conference on Bioinformatics, 2017

2016
PHYLOViZ Online: web-based tool for visualization, phylogenetic inference, analysis and sharing of minimum spanning trees.
Nucleic Acids Res., 2016

2014
TypOn: the microbial typing ontology.
J. Biomed. Semant., 2014

2012
On the analysis of compensation correctness.
J. Log. Algebraic Methods Program., 2012

PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods.
BMC Bioinform., 2012

2011
Towards Automated Verification of Web Services
CoRR, 2011

2010
An Ontology and a REST API for Sequence Based Microbial Typing Data.
Proceedings of the Bioinformatics for Personalized Medicine, 2010

On the Expressive Power of Primitives for Compensation Handling.
Proceedings of the Programming Languages and Systems, 2010

2009
Towards Compensation Correctness in Interactive Systems.
Proceedings of the Web Services and Formal Methods, 6th International Workshop, 2009

2008
Dynamic Recovering of Long Running Transactions.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008


  Loading...