The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Víctor M. Gulías: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.006secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002