David Sanán
About
David Sanán has authored 19 papers that have received a total of 169 indexed citations.
This includes 11 papers in Artificial Intelligence, 11 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Formal Methods in Verification (10 papers), Security and Verification in Computing (6 papers) and Software Testing and Debugging Techniques (5 papers). David Sanán is often cited by papers focused on Formal Methods in Verification (10 papers), Security and Verification in Computing (6 papers) and Software Testing and Debugging Techniques (5 papers) and collaborates with scholars based in Singapore, China and Spain. David Sanán's co-authors include Yang Liu, Pedro Merino, Yongwang Zhao, Jun Sun and Shang‐Wei Lin and has published in prestigious journals such as Journal of Vascular Surgery, IEEE Transactions on Vehicular Technology and IEEE Transactions on Industrial Informatics
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by C. Nalini are co-authored with Top fields papers by Ke Tian are about Top journals papers by Shirley Jordan are published in Top authors papers by Allen M. Howard are co-authored with Top countries impacted by papers by Lukas Grätz Top fields papers by Jan Georgeson are about Top fields papers by Fabio Panzieri are about Top authors papers by L. Palomera are co-authored with