David Gries
Active 1965–2022
- Affiliations
- Cornell UniversityTechnical University of MunichStanford UniversityUniversity of GeorgiaThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-7005-4704
- 131
- Papers
- 9,204
- Citations
- 37
- h-index
- 70
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (5 citations) is not shown (dated before this author's first paper)
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science91%
- Engineering2.7%
- Social Sciences1.6%
- Decision Sciences0.9%
- Physics and Astronomy0.6%
- Dentistry0.6%
- Other2.6%
Topics
- Logic, programming, and type systems21.6%
- Formal Methods in Verification18.6%
- Distributed systems and fault tolerance8.2%
- Parallel Computing and Optimization Techniques7.2%
- Software Testing and Debugging Techniques5.2%
- Logic, Reasoning, and Knowledge5.2%
- Other34.1%
Frequent coauthors
- Fred B. Schneider9
- Dorothy Marsh8
- Paul R. Young5
- A. Joe Turner3
- Allen B. Tucker3
- Gary Levin3
- Jayadev Misra3
- Michael C. Mulder3
- Peter J. Denning3
- Susan Owicki3
- Susan S. Owicki3
- T. V. Raman 00013
- Van Nguyen3
- W. H. J. Feijen3
- A. J. M. van Gasteren2
- Annette Wiegand2
- Douglas Comer2
- Florian J. Wegehaupt2
- Hans-Rüdiger Wiehle2
- Ivan Stojmenović2
- Jahnavi Misra2
- Jan F. Prins2
- Jennifer Widom2
- Jinyun Xue2
All papers
Loading papers…