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 journals papers by Keith D. Calligaro are published in Top fields papers by Tamara Glavinovic are about Top fields papers by Rebecca Rapoport are about Top fields papers by E.G. Zappi are about Top authors papers by Irma Lesins are co-authored with Top fields papers by Marco C. van der Sluijs are about Top journals papers by Robert Dumas de Vaulx are published in Top journals papers by Sophie Thiolloy are published in