David Gries - Concepedia

Author

David Gries

Also Known As

D Gries, D. GRIES, D. Gries, David Gries, David J. Gries, Gries, Gries, David, Hasso Plattner, International Symposium on Theoretical Programming 1972 Nowosibirsk, Krüger, Gerhard

292

Publications

9.8K

Citations

H-Index

141

Concepts

All Affiliations

Cornell University Stanford University

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	27	47	4.6K
2	Education	12	13	948
3	Arts	1	1	42
4	Business	1	1	11
5	Health Sciences	1	1	10

David Gries

Publications

Citations

H-Index

Page 1

	Year	Citations
An axiomatic proof technique for parallel programs I Susan Owicki, David Gries Acta Informatica EngineeringAutomated ReasoningProof ComplexityFormal MethodsAxiomatic Proof Technique	1976	1K
Computing as a discipline Peter J. Denning, Douglas E. Comer, David Gries, Computer EngineeringSoftware SystemsEducationSoftware EngineeringSoftware Engineering Education	1989	636
Computing as a discipline Diana E. Comer, David Gries, Michael C. Mulder, Communications of the ACM Theory Of ComputingEngineeringComputational ThinkingEducational InformaticsDesign	1989	598
Verifying properties of parallel programs Susan Owicki, David Gries Communications of the ACM Program CheckingEngineeringVerificationComputer-aided VerificationAutomated Proof	1976	536
Finding repeated elements Jayadev Misra, David Gries Science of Computer Programming Combinatorial Pattern MatchingPattern Matching	1982	517
Programming pearls Jon Bentley, David Gries Communications of the ACM T Bell LaboratoriesJournal Citation ReportJon Bentley AtAlert PreferencesCitation Analysis	1987	333
Translator writing systems Jerome A. Feldman, David Gries Communications of the ACM Translation StudiesRecent EffortsEngineeringCritical ReviewInterpreter (Computing)	1968	199
A constructive proof of Vizing's theorem Jayadev Misra, David Gries Information Processing Letters Constructive MathematicsEngineeringAutomated ReasoningConstructive LogicProof Complexity	1992	178
A proof technique for communicating sequential processes Gary Levin, David Gries Acta Informatica EngineeringAutomated ReasoningVerificationConcurrency TheoryFormal Methods	1981	147
An Invitation to Formal Methods Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Computer Software MaintenanceEngineeringVerificationSoftware EngineeringPreeminent Experts	1996	133

Page 1