David Van Horn
About
David Van Horn has authored 44 papers that have received a total of 458 indexed citations.
This includes 34 papers in Artificial Intelligence, 23 papers in Computational Theory and Mathematics and 14 papers in Software. The topics of these papers are Logic, programming, and type systems (31 papers), Formal Methods in Verification (21 papers) and Software Testing and Debugging Techniques (13 papers). David Van Horn is often cited by papers focused on Logic, programming, and type systems (31 papers), Formal Methods in Verification (21 papers) and Software Testing and Debugging Techniques (13 papers) and collaborates with scholars based in United States, Spain and Belgium. David Van Horn's co-authors include Matthew Might, Sam Tobin-Hochstadt, Ilya Sergey, Christopher Earl and Jeffrey S. Foster and has published in prestigious journals such as Communications of the ACM, Chemical Engineering Science and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Steve Leach are about Top journals papers by Bożena Mikołuć are published in Top countries impacted by papers by Hidayat Hidayat Top fields papers by Luiz Fernando Costa e Silva are about Top journals papers by Leonardo Luiz Okumura are published in Top countries impacted by papers by Prabha Adhikari Top authors papers by Hideaki Sekine are co-authored with Top journals papers by John A. Copeland are published in