David Sehr

12 papers and 400 indexed citations i.

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