Search the dblp DataBase

Publications of Author

1. R. Castro, Xesús M. López, Víctor M. Gulías
   An ODBC Interface for Objective Caml. [Citation Graph (0, 0)][DBLP]
   APPIA-GULP-PRODE, 1998, pp:189-200 [Conf]
   
2. José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías
   Extending CAML Light to Perform Distributed Computation. [Citation Graph (0, 0)][DBLP]
   GULP-PRODE, 1995, pp:113-124 [Conf]
   
3. José Luis Freire, Víctor M. Gulías, J. M. Molinelli
   Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos. [Citation Graph (0, 0)][DBLP]
   GULP-PRODE (2), 1994, pp:351-365 [Conf]
   
4. Víctor M. Gulías, Juan J. Quintela, José Luis Freire
   Towards High-Order Distribution in Functional Languages. [Citation Graph (0, 0)][DBLP]
   APPIA-GULP-PRODE, 1996, pp:219-232 [Conf]
   
5. Víctor M. Gulías, Juan J. Quintela, José Luis Freire
   Transport Primitives for Functional Agents. [Citation Graph (0, 0)][DBLP]
   APPIA-GULP-PRODE, 1997, pp:501-510 [Conf]
   
6. Alberto Valderruten, Javier Mosquera, Víctor M. Gulías
   Instrumentation of Synchronous Reactive Systems for Performance Analysis: A Case Study. [Citation Graph (0, 0)][DBLP]
   Computer Performance Evaluation (Tools), 1998, pp:129-141 [Conf]
   
7. Javier París, Víctor M. Gulías, Alberto Valderruten
   A high performance Erlang Tcp/Ip stack. [Citation Graph (0, 0)][DBLP]
   Erlang Workshop, 2005, pp:52-61 [Conf]
   
8. Carlos Abalde, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez, J. García-Tizón
   Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2003, pp:220-230 [Conf]
   
9. Miguel Barreiro, Víctor M. Gulías, Juan J. Sánchez, J. Santiago Jorge
   The Tertiary Level in a Functional Cluster-Based Hierarchical VoD Server. [Citation Graph (0, 0)][DBLP]
   EUROCAST, 2001, pp:540-554 [Conf]
   
10. J. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez
    Towards a Certified and Efficient Computing of Gröbner Bases. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2005, pp:111-120 [Conf]
    
11. Víctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire
    From Sequential to Distributed Formal Proofs. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1997, pp:501-513 [Conf]
    
12. José Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas
    On the Strong Co-induction in Coq. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2003, pp:279-290 [Conf]
    
13. Javier París, Víctor M. Gulías, Carlos Abalde
    CheapTB: A Low Cost of Operation Distributed Filesystem. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2005, pp:121-130 [Conf]
    
14. Ramón Basanta, Agis Piperides, Andreas Hadjioannou, Andreas Pitsiliides, Sergio Pazos, Víctor M. Gulías, Paz Ruiz
    E-Minder: Electronic Commerce Leveraging Network for Developing European Regions. [Citation Graph (0, 0)][DBLP]
    ICWI, 2002, pp:545-550 [Conf]
    
15. Víctor M. Gulías, Carlos Abalde, Laura M. Castro, Carlos Varela
    Formalisation of a Functional Risk Management System. [Citation Graph (0, 0)][DBLP]
    ICEIS (3), 2006, pp:516-519 [Conf]
    
16. J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
    Certificación de Propiedades Usando Distintos Probadores de Teoremas: Un Caso de Estudio. [Citation Graph (0, 0)][DBLP]
    JIISIC, 2007, pp:27-34 [Conf]
    
17. José Luis Freire, Víctor M. Gulías, Xesús M. López
    Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales. [Citation Graph (0, 0)][DBLP]
    JIDBD, 1996, pp:250-259 [Conf]
    
18. Víctor M. Gulías, Carlos Abalde, Juan J. Sánchez
    Lambda Goes to Hollywood. [Citation Graph (0, 0)][DBLP]
    PADL, 2003, pp:391-407 [Conf]
    
19. Juan Touriño, Jacobo Barro, Ramon Doallo, Víctor M. Gulías
    Performance analysis of MPI-I/O primitives on a PC cluster. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:907-912 [Conf]
    
20. Simón Neira, Víctor M. Gulías
    Designing Transparent Location-Dependent Web-Based Applications on Mobile Environments. [Citation Graph (0, 0)][DBLP]
    UCS, 2004, pp:37-48 [Conf]
    
21. Víctor M. Gulías, Miguel Barreiro, José Luis Freire
    VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2005, v:15, n:3, pp:403-430 [Journal]
    
22. Jacobo Barro, Juan Touriño, Ramon Doallo, Víctor M. Gulías
    Performance Modeling and Evaluation of MPI-I/O on a Cluster. [Citation Graph (0, 0)][DBLP]
    J. Inf. Sci. Eng., 2002, v:18, n:5, pp:825-836 [Journal]
    
23. J. Santiago Jorge, Víctor M. Gulías, Laura M. Castro
    Verification of Program Properties Using Different Theorem Provers: A Case Study. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:233-240 [Conf]
    
24. Carlos Abalde, Víctor M. Gulías, Laura M. Castro
    Towards a Decentralized and Structured Network of P2P Public Information Screens. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:217-224 [Conf]
    
25. Javier París, Víctor M. Gulías, Alberto Valderruten, J. Santiago Jorge
    A Distributed Filesystem for Spare Storage. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:249-256 [Conf]
    
26. 
    Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server. [Citation Graph (, )][DBLP]
    
    
27. 
    A Distributed System for Massive Generation of Synthetic Video Using GPUs. [Citation Graph (, )][DBLP]
    
    
28. 
    A Practical Methodology for Integration Testing. [Citation Graph (, )][DBLP]
    
    
29. 
    Extending the VoDKA Architecture with P2P Aggregated Content Management. [Citation Graph (, )][DBLP]
    
    
30. 
    Efficient Discovery of Widely Distributed and Non-volatile Resources on DHTs. [Citation Graph (, )][DBLP]