David Coronado

According to our database, David Coronado authored at least 3 papers between 2013 and 2025.

Collaborative distances:

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

2025

Interactive Theorem Assistant for Learning Calculational Logic in the style of "A Logical Approach to Discrete Math".

Federico Flaviani, Soraya Carrasquel, David Coronado

Proceedings of the LI Latin American Computer Conference, 2025

2022

An ordering of fuzzy numbers based on the Zadeh extension principle.

Ana Isabel Aguilera, Soraya Carrasquel, David Coronado, Ricardo Monascal, Rosseline Rodríguez, Leonid Tineo

Soft Comput., 2022

2013

Computer-Aided Diagnosis in Wound Images with Neural Networks.

María Navas, Rafael M. Luque-Baena, Laura Morente, David Coronado, Rafael Rodríguez, Francisco J. Veredas

Proceedings of the Advances in Computational Intelligence, 2013