The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
José Luis Freire: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. José Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas
    Fusion in Coq. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2001, pp:583-596 [Conf]
  7. José Luis Freire, Enrique Freire Brañas, Antonio Blanco
    On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2005, pp:69-80 [Conf]
  8. 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]
  9. 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]
  10. J. M. Molinelli, J. M. Barja, Antonio Blanco, José Luis Freire
    An Automatic Calculator with Penrose Diagrams. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 1997, pp:252-269 [Conf]
  11. 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]
  12. 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]
  13. Antonio Blanco, J. E. Freire, José Luis Freire
    Using Coq to Understand Nested Datatypes. [Citation Graph (0, 0)][DBLP]
    EUROCAST, 2007, pp:210-216 [Conf]

  14. The Foldl Operator as a Coequalizer Using Coq. [Citation Graph (, )][DBLP]


Search in 0.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002