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

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 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)

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)

Business Operation Improvement through Integrated Infrastructure Management. - Alberto Casanova; Laura M. Castro; Antonio Blanco Ferro (EUROCAST (1), 2013)