José Luis Freire-Nistal

José Luis Freire

	2009
19		Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París: The Foldl Operator as a Coequalizer Using Coq. EUROCAST 2009: 167-176
18		J. 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
17		José 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
16		Antonio Blanco, J. E. Freire, José Luis Freire: Using Coq to Understand Nested Datatypes. EUROCAST 2007: 210-216
	2005
15		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. EUROCAST 2005: 111-120
14		José Luis Freire, Enrique Freire Brañas, Antonio Blanco: On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. EUROCAST 2005: 69-80
13		Ví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
12		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. EUROCAST 2003: 220-230
11		José 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
9		José 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
6		J. M. Molinelli, J. M. Barja, Antonio Blanco, José Luis Freire: An Automatic Calculator with Penrose Diagrams. EUROCAST 1997: 252-269
5		Ví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

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

Colors in the list of coauthors