David Sehr
About
David Sehr has authored 12 papers that have received a total of 400 indexed citations.
This includes 7 papers in Artificial Intelligence, 5 papers in Hardware and Architecture and 4 papers in Computer Networks and Communications. The topics of these papers are Parallel Computing and Optimization Techniques (5 papers), Security and Verification in Computing (5 papers) and Logic, programming, and type systems (4 papers). David Sehr is often cited by papers focused on Parallel Computing and Optimization Techniques (5 papers), Security and Verification in Computing (5 papers) and Logic, programming, and type systems (4 papers) and collaborates with scholars based in United States and United Kingdom. David Sehr's co-authors include Bennet Yee, Robert Muth, David Padua, Neha Narula and Laxmikant V. Kalé and has published in prestigious journals such as Communications of the ACM, Future Generation Computer Systems and Lecture notes in computer science
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Francesco Perilli are about Top authors papers by H. Pal Thethi are co-authored with Top countries impacted by papers by W.G.M. van Kesteren Top journals papers by Ruth W. Shearer are published in Top journals papers by Kevin C. Marr are published in Top journals papers by R. F. S. Lenza are published in Top countries impacted by papers by Arindam Bhattacharya Top countries impacted by papers by Alix Armero