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 fields papers by Douglas A. Bodner are about Top journals papers by Matías Valdenegro-Toro are published in Top fields papers by Min Dong are about Top authors papers by Kengo Inagaki are co-authored with Top journals papers by Shirin M. Shallwani are published in Top authors papers by Rosário Serrão are co-authored with Top journals papers by I. M. Khidiyatova are published in Top fields papers by Junya Makiyama are about