Follow
Cátia Vaz
Cátia Vaz
Dept. of Electronic and Telecommunications and Computer Engineering ISEL, Polytechnic Institute of
Verified email at cc.isel.ipl.pt - Homepage
Title
Cited by
Cited by
Year
PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods
AP Francisco, C Vaz, PT Monteiro, J Melo-Cristino, M Ramirez, JA Carriço
BMC bioinformatics 13, 1-10, 2012
4892012
GrapeTree: visualization of core genomic relationships among 100,000 bacterial pathogens
Z Zhou, NF Alikhan, MJ Sergeant, N Luhmann, C Vaz, AP Francisco, ...
Genome research 28 (9), 1395-1404, 2018
4332018
PHYLOViZ 2.0: providing scalable data integration and visualization for multiple phylogenetic inference methods
M Nascimento, A Sousa, M Ramirez, AP Francisco, JA Carriço, C Vaz
Bioinformatics 33 (1), 128-129, 2017
2612017
PHYLOViZ Online: web-based tool for visualization, phylogenetic inference, analysis and sharing of minimum spanning trees
B Ribeiro-Gonçalves, AP Francisco, C Vaz, M Ramirez, JA Carriço
Nucleic acids research 44 (W1), W246-W251, 2016
1222016
On the expressive power of primitives for compensation handling
I Lanese, C Vaz, C Ferreira
Programming Languages and Systems: 19th European Symposium on Programming …, 2010
492010
Dynamic recovering of long running transactions
C Vaz, C Ferreira, A Ravara
Trustworthy Global Computing: 4th International Symposium, TGC 2008 …, 2009
312009
Formal verification of workflow patterns with spin
C Vaz, C Ferreira
Dept. of Electronic and Telecommunications and Computer Engineering ISEL …, 2007
152007
Fast phylogenetic inference from typing data
JA Carriço, M Crochemore, AP Francisco, SP Pissis, B Ribeiro-Gonçalves, ...
Algorithms for Molecular Biology 13, 1-14, 2018
142018
On the analysis of compensation correctness
C Vaz, C Ferreira
The Journal of Logic and Algebraic Programming 81 (5), 585-605, 2012
112012
Towards compensation correctness in interactive systems
C Vaz, C Ferreira
Web Services and Formal Methods: 6th International Workshop, WS-FM 2009 …, 2010
82010
TypOn: the microbial typing ontology
C Vaz, AP Francisco, M Silva, KA Jolley, JE Bray, H Pouseele, ...
Journal of Biomedical Semantics 5, 1-11, 2014
72014
Towards automated verification of web services
C Vaz, C Ferreira
arXiv preprint arXiv:1111.2824, 2011
62011
Distance-based phylogenetic inference from typing data: a unifying view
C Vaz, M Nascimento, JA Carriço, T Rocher, AP Francisco
Briefings in Bioinformatics 22 (3), bbaa147, 2021
52021
An ontology and a rest api for sequence based microbial typing data
J Almeida, J Tiple, M Ramirez, J Melo-Cristino, C Vaz, A P. Francisco, ...
Bioinformatics for Personalized Medicine: 10th Spanish Symposium, JBI 2010 …, 2012
52012
Towards distance-based phylogenetic inference in average-case linear-time
M Crochemore, AP Francisco, SP Pissis, C Vaz
17th International Workshop on Algorithms in Bioinformatics (WABI 2017), 9 …, 2017
42017
Suportes de quantales e aplicaçoesa lógica modal
C Vaz
MSc Thesis, Tech. Univ. Lisbon, 2004
32004
Dynamic phylogenetic inference for sequence-based typing data
AP Francisco, M Nascimento, C Vaz
Proceedings of the 8th ACM International Conference on Bioinformatics …, 2017
12017
Ngspipes: Fostering reproducibility and scalability in biosciences
B Dantas, C Fleitas, A Almeida, J Forja, AP Francisco, J Simão, C Vaz
Proceedings of the 8th ACM International Conference on Bioinformatics …, 2017
12017
Towards a Plant Experimental Assay Ontology
ND Mendes, PT Monteiro, C Vaz, I Chaves
DILS 2014, 41, 2014
12014
Degrees of separation on a dynamic social network
A Domingos, H Ferreira, P Rijo, C Vaz, AP Francisco
Mining and Learning with Graphs-Knowledge Discovery and Data Mining (MLG-KDD …, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20