dblp.uni-trier.dewww.uni-trier.de

José Luis Freire-Nistal Vis

José Luis Freire

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
19EEAntonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París: The Foldl Operator as a Coequalizer Using Coq. EUROCAST 2009: 167-176
18EEJ. Santiago Jorge, Víctor M. Gulías, José Luis Freire: Certifying properties of an efficient functional program for computing Gröbner bases. J. Symb. Comput. 44(5): 571-582 (2009)
2007
17EEJosé Luis Freire-Nistal, Enrique Freire Brañas, Antonio Blanco Ferro, David Cabrero Souto: On the Representation of Imperative Programs in a Logical Framework. EUROCAST 2007: 202-209
16EEAntonio Blanco, J. E. Freire, José Luis Freire: Using Coq to Understand Nested Datatypes. EUROCAST 2007: 210-216
2005
15EEJ. Santiago Jorge, Víctor M. Gulías, José Luis Freire, Juan J. Sánchez: Towards a Certified and Efficient Computing of Gröbner Bases. EUROCAST 2005: 111-120
14EEJosé Luis Freire, Enrique Freire Brañas, Antonio Blanco: On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. EUROCAST 2005: 69-80
13EEVíctor M. Gulías, Miguel Barreiro, José Luis Freire: VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. J. Funct. Program. 15(3): 403-430 (2005)
2003
12EECarlos 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. EUROCAST 2003: 220-230
11EEJosé Luis Freire-Nistal, Antonio Blanco Ferro, Víctor M. Gulías, José E. Freire Brañas: On the Strong Co-induction in Coq. EUROCAST 2003: 279-290
2001
10 Roberto Moreno-Díaz, Bruno Buchberger, José Luis Freire: Computer Aided Systems Theory - EUROCAST 2001, Las Palmas de Gran Canaria, Spain, February 19-23, 2001, Revised Papers Springer 2001
9EEJosé Luis Freire, José E. Freire Brañas, Antonio Blanco Ferro, Juan J. Sánchez Penas: Fusion in Coq. EUROCAST 2001: 583-596
1998
8 José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998 APPIA-GULP-PRODE 1998
1997
7 Víctor M. Gulías, Juan J. Quintela, José Luis Freire: Transport Primitives for Functional Agents. APPIA-GULP-PRODE 1997: 501-510
6EEJ. M. Molinelli, J. M. Barja, Antonio Blanco, José Luis Freire: An Automatic Calculator with Penrose Diagrams. EUROCAST 1997: 252-269
5EEVíctor M. Gulías, J. Santiago Jorge, Juan J. Quintela, José Luis Freire: From Sequential to Distributed Formal Proofs. EUROCAST 1997: 501-513
1996
4 Víctor M. Gulías, Juan J. Quintela, José Luis Freire: Towards High-Order Distribution in Functional Languages. APPIA-GULP-PRODE 1996: 219-232
3 José Luis Freire, Víctor M. Gulías, Xesús M. López: Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales. JIDBD 1996: 250-259
1995
2 José Luis Freire, Basilio B. Fraguela, Víctor M. Gulías: Extending CAML Light to Perform Distributed Computation. GULP-PRODE 1995: 113-124
1994
1 José Luis Freire, Víctor M. Gulías, J. M. Molinelli: Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos. GULP-PRODE (2) 1994: 351-365

Coauthor Index

1Carlos Abalde [12]
2J. M. Barja [6]
3Miguel Barreiro [13]
4Antonio Blanco [6] [14] [16] [19]
5Enrique Freire Brañas [14] [17] [19]
6José E. Freire Brañas [9] [11]
7Bruno Buchberger [10]
8Moreno Falaschi [8]
9Antonio Blanco Ferro [9] [11] [17]
10Manuel Vilares Ferro [8]
11Basilio B. Fraguela [2]
12J. E. Freire [16]
13J. García-Tizón [12]
14Víctor M. Gulías [1] [2] [3] [4] [5] [7] [11] [12] [13] [15] [18]
15J. Santiago Jorge [5] [15] [18]
16Xesús M. López [3]
17J. M. Molinelli [1] [6]
18Roberto Moreno-Díaz [10]
19Javier París [19]
20Juan J. Sánchez Penas [9]
21Juan J. Quintela [4] [5] [7]
22Juan J. Sánchez [12] [15]
23David Cabrero Souto [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)