| 2007 |
|---|
| 17 | EE | 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 | EE | Antonio Blanco,
J. E. Freire,
José Luis Freire:
Using Coq to Understand Nested Datatypes.
EUROCAST 2007: 210-216 |
| 2005 |
|---|
| 15 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 |
