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

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

A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol. - José A. García; Roi Blanco; Antonio Blanco; Javier París (ECOWS, 2007)

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

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

AI-Enhanced Social Robots for Older Adults Care: Evaluating the Efficacy of ChatGPT-Powered Storytelling in the EBO Platform. - Antonio Blanco; Gerardo Pérez; Alicia Condón; Trinidad Rodríguez; Pedro Núñez (RO-MAN, 2024)