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 Carmen Pena Díaz are about Top countries impacted by papers by César Deschamps‐Berger Top journals papers by Carissa Véliz are published in Top countries impacted by papers by Roman Krzanowski Top authors papers by Surendra Shetty are co-authored with Top journals papers by Christian Darabos are published in Top fields papers by V K Pillai are about Top journals papers by S. Semenov are published in