دنبال کردن
Cátia Vaz
Cátia Vaz
Dept. of Electronic and Telecommunications and Computer Engineering ISEL, Polytechnic Institute of
ایمیل تأیید شده در cc.isel.ipl.pt - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
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‏
7922018
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‏
5942012
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‏
4082017
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‏
1792016
On the expressive power of primitives for compensation handling‏
I Lanese, C Vaz, C Ferreira‏
European Symposium on Programming, 366-386, 2010‏
472010
Dynamic recovering of long running transactions‏
C Vaz, C Ferreira, A Ravara‏
International Symposium on Trustworthy Global Computing, 201-215, 2008‏
312008
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‏
212021
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‏
192018
Formal verification of Workflow Patterns with SPIN‏
C Vaz, C Ferreira‏
Dept. of Electronic and Telecommunications and Computer Engineering ISEL …, 2007‏
152007
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‏
122014
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‏
International Workshop on Web Services and Formal Methods, 161-177, 2009‏
82009
Towards automated verification of web services‏
C Vaz, C Ferreira‏
arXiv preprint arXiv:1111.2824, 2011‏
62011
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, ...‏
Spanish Symposium on Bioinformatics, 21-28, 2010‏
52010
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
Library of efficient algorithms for phylogenetic analysis‏
L Silva‏
arXiv preprint arXiv:2012.12697, 2020‏
32020
Dynamic phylogenetic inference for sequence-based typing data‏
AP Francisco, M Nascimento, C Vaz‏
Proceedings of the 8th ACM international conference on bioinformatics …, 2017‏
32017
Suportes de quantales e aplicaçoesa lógica modal‏
C Vaz‏
MSc Thesis, Tech. Univ. Lisbon, 2004‏
32004
phyloDB: A framework for large-scale phylogenetic analysis of sequence based typing data‏
B Lourenço, C Vaz, ME Coimbra, AP Francisco‏
SoftwareX 26, 101668, 2024‏
22024
Towards a plant experimental assay ontology‏
ND Mendes, PT Monteiro, C Vaz, I Chaves‏
DILS 2014, 41, 2014‏
22014
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20