Statistics
Publications
63
Citations
6K
H-Index
31
Active since
1965
Affiliations
David Gries is an author at Cornell University specializing in computer science, computing, and programming languages.
Publications per year
1965–2008
63
63
An axiomatic proof technique for parallel programs I
Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations
Peter J. Denning, Douglas E. Comer, David Gries et al. · Computer · 1989 · 639 citations
Diana E. Comer, David Gries, Michael C. Mulder et al. · Communications of the ACM · 1989 · 601 citations · Full text
Verifying properties of parallel programs
Susan Owicki, David Gries · Communications of the ACM · 1976 · 543 citations · Full text
Jayadev Misra, David Gries · Science of Computer Programming · 1982 · 524 citations
1–5 of 63