Statistics
Publications
33
Citations
2.2K
H-Index
20
Active since
1971
David R. Musser is an author at Rensselaer Polytechnic Institute specializing in computer science, computing, and algorithms.
Publications per year
1971–2013
33
33
Abstract data types and software validation
John V. Guttag, Ellis Horowitz, David R. Musser · Communications of the ACM · 1978 · 410 citations · Full text
Introspective Sorting and Selection Algorithms
David R. Musser · Software Practice and Experience · 1997 · 245 citations
On proving inductive properties of abstract data types
David R. Musser · 1980 · 227 citations · Full text
David R. Musser, Alexander A. Stepanov · Lecture notes in computer science · 1989 · 141 citations
1–5 of 33