Adrián Riesco
About
Adrián Riesco has authored 26 papers that have received a total of 118 indexed citations.
This includes 15 papers in Artificial Intelligence, 14 papers in Software and 13 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (14 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (12 papers). Adrián Riesco is often cited by papers focused on Software Testing and Debugging Techniques (14 papers), Formal Methods in Verification (12 papers) and Logic, programming, and type systems (12 papers) and collaborates with scholars based in Spain, Japan and France. Adrián Riesco's co-authors include Alberto Verdejo, Rafael Caballero, Kazuhiro Ogata, Miguel Palomino and Manuel Clavel and has published in prestigious journals such as IEEE Access, ACM Computing Surveys and BioMed Research International.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Alexei Kojevnikov Breakdown of academic impact, for papers by Stine Lindahl Jacobsen Breakdown of academic impact, for papers by Guo Wei Zhang Breakdown of academic impact, for papers by Jean‐Pierre Boutinet Breakdown of academic impact, for papers by M. A. Blackston Breakdown of academic impact, for papers by J. Schambach Breakdown of academic impact, for papers by Arvind Kumar Sharma Breakdown of academic impact, for papers by Paulo César Jark