BibSonomy :: author  ::

bookmarks

publications

(29)

• Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs.
  Carlos Abalde and Víctor M. Gulías and Laura M. Castro ICIW 370-376 (2008)
  to dblp by dblp on 2008-08-19 00:00:00
  | URL | BibTeX  
• Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.
  J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro AISC/MKM/Calculemus 296-299 (2008)
  to dblp by dblp on 2008-08-04 00:00:00
  | URL | BibTeX  
• Extending the VoDKA Architecture with P2P Aggregated Content Management.
  Carlos Abalde and Víctor M. Gulías and Laura M. Castro ISCC 1085-1090 (2007)
  to dblp by dblp on 2008-03-07 00:00:00
  | URL | BibTeX  
• On the Strong Co-induction in Coq.
  José Luis Freire-Nistal and Antonio Blanco Ferro and Víctor M. Gulías and José E. Freire Brañas EUROCAST 279-290 (2003)
  to dblp by dblp on 2007-11-21 00:00:00
  | URL | BibTeX  
• Verification of Program Properties Using Different Theorem Provers: A Case Study.
  J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro EUROCAST 233-240 (2007)
  to dblp by dblp on 2007-11-21 00:00:00
  | URL | BibTeX  
• Towards a Decentralized and Structured Network of P2P Public Information Screens.
  Carlos Abalde and Víctor M. Gulías and Laura M. Castro EUROCAST 217-224 (2007)
  to dblp by dblp on 2007-11-21 00:00:00
  | URL | BibTeX  
• A Distributed Filesystem for Spare Storage.
  Javier París and Víctor M. Gulías and Alberto Valderruten and J. Santiago Jorge EUROCAST 249-256 (2007)
  to dblp by dblp on 2007-11-21 00:00:00
  | URL | BibTeX  
• Performance Modeling and Evaluation of MPI-I/O on a Cluster.
  Jacobo Barro and Juan Touriño and Ramon Doallo and Víctor M. Gulías J. Inf. Sci. Eng. 18 825-836 (2002)
  to dblp by dblp on 2007-10-24 00:00:00
  | URL | BibTeX  
• VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming.
  Víctor M. Gulías and Miguel Barreiro and José Luis Freire J. Funct. Program. 15 403-430 (2005)
  to dblp by dblp on 2007-06-08 00:00:00
  | URL | BibTeX  
• Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio.
  J. Santiago Jorge and Víctor M. Gulías and Laura M. Castro JIISIC 27-34 (2007)
  to dblp by dblp on 2007-06-07 00:00:00
  | URL | BibTeX