Concepedia

David Gries

DG

63

Publications

6K

Citations

31

H-Index

1965

Active since

Affiliations

Cornell University(Current)

Stanford University

David Gries is an author at Cornell University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSoftware EngineeringSoftware DesignFormal VerificationVerificationEducationProgram Analysis

Publications per year

1965–2008

63

Publications

63

An axiomatic proof technique for parallel programs I

Susan Owicki, David Gries · Acta Informatica · 1976 · 1K citations

Engineering, Automated Reasoning, Proof Complexity +8

Computing as a discipline

Peter J. Denning, Douglas E. Comer, David Gries et al. · Computer · 1989 · 636 citations

Engineering, Software Systems, Education +19

Computing as a discipline

Diana E. Comer, David Gries, Michael C. Mulder et al. · Communications of the ACM · 1989 · 598 citations · Full text

Theory Of Computing, Engineering, Computational Thinking +13

Verifying properties of parallel programs

Susan Owicki, David Gries · Communications of the ACM · 1976 · 536 citations · Full text

Program Checking, Engineering, Verification +19

Finding repeated elements

Jayadev Misra, David Gries · Science of Computer Programming · 1982 · 517 citations

Combinatorial Pattern Matching, Pattern Matching

Rows per page

1–5 of 63