Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Cátia Vaz

2010 – today

see FAQ

What is the meaning of the colors in the publication list?

2012
[j2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/bmcbi/FranciscoVMMRC12
- ask others
Alexandre P. Francisco, Cátia Vaz, Pedro T. Monteiro, José Melo-Cristino, Mário Ramirez, João A. Carriço: PHYLOViZ: phylogenetic inference and data visualization for sequence based typing methods. BMC Bioinformatics 13: 87 (2012)
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/jlp/VazF12
- ask others
Cátia Vaz, Carla Ferreira: On the analysis of compensation correctness. J. Log. Algebr. Program. 81(5): 585-605 (2012)
2010
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/esop/LaneseVF10
- ask others
Ivan Lanese, Cátia Vaz, Carla Ferreira: On the Expressive Power of Primitives for Compensation Handling. ESOP 2010: 366-386
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/jbi/AlmeidaTRMVFC10
- ask others
João Almeida, João Tiple, Mário Ramirez, José Melo-Cristino, Cátia Vaz, Alexandre P. Francisco, João A. Carriço: An Ontology and a REST API for Sequence Based Microbial Typing Data. JBI 2010: 21-28

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2009
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/wsfm/VazF09
- ask others
Cátia Vaz, Carla Ferreira: Towards Compensation Correctness in Interactive Systems. WS-FM 2009: 161-177
2008
[c1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/tgc/VazFR08
- ask others
Cátia Vaz, Carla Ferreira, António Ravara: Dynamic Recovering of Long Running Transactions. TGC 2008: 201-215