Antonio Blanco

According to our database, Antonio Blanco authored at least 8 papers between 1997 and 2025.

Collaborative distances:

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

2025

EBO Robot in Elderly Care: Interaction Styles and Multimodal Engagement Through Serious Games in Care Centers.

Antonio Blanco, Alicia Condón, Zoraida Clavijo, Trinidad Rodríguez, Pedro Núñez

Proceedings of the Social Robotics + AI - 17th International Conference, 2025

Enhancing Elder Cognitive Engagement with Adaptive Serious Games: A MAPE-K Framework for Personalized Human-Robot Interaction.

Antonio Blanco, Alicia Condón, Trinidad Rodríguez, Pedro Núñez

Proceedings of the 34th IEEE International Conference on Robot and Human Interactive Communication, 2025

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