David Detlefs

12 papers and 404 indexed citations i.

David Detlefs has authored 12 papers that have received a total of 404 indexed citations. This includes 7 papers in Artificial Intelligence, 7 papers in Computer Networks and Communications and 6 papers in Hardware and Architecture. The topics of these papers are Logic, programming, and type systems (6 papers), Distributed systems and fault tolerance (6 papers) and Parallel Computing and Optimization Techniques (6 papers). David Detlefs is often cited by papers focused on Logic, programming, and type systems (6 papers), Distributed systems and fault tolerance (6 papers) and Parallel Computing and Optimization Techniques (6 papers) and collaborates with scholars based in United States, Israel and United Kingdom. David Detlefs's co-authors include Ole Agesen, Mark Moir, Guy L. Steele, J.M. Wing and J. Eliot B. Moss and has published in prestigious journals such as Journal of the ACM, Computer and ACM SIGPLAN Notices