Naturality of the conditional and the recursion. - José Luis Freire-Nistal; Aguado F. Martín (Int. J. Comput. Math., 1990)

Utilizacion de la programacion funcional para la construccion de servidores en entornos heterogeneos. - José Luis Freire; Víctor M. Gulías; J. M. Molinelli (GULP-PRODE (2), 1994)

Extending CAML Light to Perform Distributed Computation. - José Luis Freire; Basilio B. Fraguela; Víctor M. Gulías (GULP-PRODE, 1995)

Towards High-Order Distribution in Functional Languages. - Víctor M. Gulías; Juan J. Quintela; José Luis Freire (APPIA-GULP-PRODE, 1996)

Experiencia en la Integración entre Gestores Relacionales y Lenguajes Functionales. - José Luis Freire; Víctor M. Gulías; Xesús M. López (JIDBD, 1996)

Transport Primitives for Functional Agents. - Víctor M. Gulías; Juan J. Quintela; José Luis Freire (APPIA-GULP-PRODE, 1997)

From Sequential to Distributed Formal Proofs. - Víctor M. Gulías; J. Santiago Jorge; Juan J. Quintela; José Luis Freire (EUROCAST, 1997)

An Automatic Calculator with Penrose Diagrams. - José María Molinelli; José María Barja; Antonio Blanco; José Luis Freire (EUROCAST, 1997)

Fusion in Coq. - José Luis Freire; José E. Freire Brañas; Antonio Blanco Ferro; Juan J. Sánchez Penas (EUROCAST, 2001)

Development of a Scalable, Fault Tolerant, and Low Cost Cluster-Based e-Payment System with a Distributed Functional Kernel. - Carlos Abalde; Víctor M. Gulías; José Luis Freire; Juan J. Sánchez; J. García-Tizón (EUROCAST, 2003)

On the Strong Co-induction in Coq. - José Luis Freire-Nistal; Antonio Blanco Ferro; Víctor M. Gulías; José E. Freire Brañas (EUROCAST, 2003)

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions. - José Luis Freire; Enrique Freire Brañas; Antonio Blanco (EUROCAST, 2005)

Towards a Certified and Efficient Computing of Gröbner Bases. - J. Santiago Jorge; Víctor M. Gulías; José Luis Freire; Juan J. Sánchez (EUROCAST, 2005)

VoDKA: Developing a Video-on-Demand Server using Distributed Functional Programming. - Víctor M. Gulías; Miguel Barreiro; José Luis Freire (J. Funct. Program., 2005)

Using Coq to Understand Nested Datatypes. - Antonio Blanco; J. E. Freire; José Luis Freire (EUROCAST, 2007)

On the Representation of Imperative Programs in a Logical Framework. - José Luis Freire-Nistal; Enrique Freire Brañas; Antonio Blanco Ferro; David Cabrero Souto (EUROCAST, 2007)

The Foldl Operator as a Coequalizer Using Coq. - Antonio Blanco; Enrique Freire Brañas; José Luis Freire; Javier París (EUROCAST, 2009)

Certifying properties of an efficient functional program for computing Gröbner bases. - J. Santiago Jorge; Víctor M. Gulías; José Luis Freire (J. Symb. Comput., 2009)

On the Confluence of the Graphic Calculus with Penrose Diagrams (I). - José Luis Freire-Nistal; Antonio Blanco Ferro; J. M. Molinelli Barba; Enrique Freire Brañas (EUROCAST (1), 2011)