Antonio Blanco

According to our database, Antonio Blanco authored at least 6 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

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

Proceedings of the 33rd IEEE International Conference on Robot and Human Interactive Communication, 2024

2009

The Foldl Operator as a Coequalizer Using Coq.

Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París

Proceedings of the Computer Aided Systems Theory, 2009

2007

Using Coq to Understand Nested Datatypes.

Antonio Blanco, J. E. Freire, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 2007

A Comparative Performance Evaluation of Different Implementations of the SOAP Protocol.

José A. García, Roi Blanco, Antonio Blanco, Javier París

Proceedings of the Fifth IEEE European Conference on Web Services (ECOWS 2007), 2007

2005

On Recursive Functions and Well-Founded Relations in the Calculus of Constructions.

José Luis Freire, Enrique Freire Brañas, Antonio Blanco

Proceedings of the Computer Aided Systems Theory, 2005

1997

An Automatic Calculator with Penrose Diagrams.

José María Molinelli, José María Barja, Antonio Blanco, José Luis Freire

Proceedings of the Computer Aided Systems Theory, 1997