David Gries

Cited by

	All	Since 2018
Citations	12928	1499
h-index	40	12
i10-index	102	17

400

200

100

300

1984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023163 169 169 213 207 256 299 284 309 281 303 243 308 290 250 237 245 209 243 299 283 376 312 326 326 359 361 321 390 381 340 306 282 253 325 270 247 290 288 79

Co-authors

Fred SchneiderCS Dept, Cornell UniversityVerified email at cs.cornell.edu
Susan OwickiVerified email at owicki.com
Jayadev MisraUniversity of Texas at AustinVerified email at utexas.edu
Peter J DenningDistinguished Professor, Naval Postgraduate SchoolVerified email at nps.edu
Paul GriesAssociate Professor, Teaching Stream, Computer Science, University of TorontoVerified email at cs.toronto.edu
T.V. RamanResearch Scientist, Google IncVerified email at google.com
Jennifer WidomProfessor of Computer Science, Stanford UniversityVerified email at cs.stanford.edu
Jan F. PrinsProfessor of Computer Science, UNC Chapel HillVerified email at cs.unc.edu
Jerome Feldman Professor of Computer Science, UC BerkeleyVerified email at icsi.berkeley.edu
Dennis VolpanoJohns Hopkins University / Applied Physics LabVerified email at jhuapl.edu
Alain J. MartinProfessor of Computer Science, California Institute of TechnologyVerified email at async.caltech.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Andrew C. MyersProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Edward M ReingoldProf Emeritus Comp Sci, UIUC & Ill Inst of TechVerified email at iit.edu

David Gries

Professor Emeritus (as of 2012), Computer Science, Cornell University

Verified email at cs.cornell.edu - Homepage

Programming methodology programming languages CS education


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The science of programming D Gries Springer Science & Business Media, 2012	2682	2012
An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976	1588	1976
Computing as a discipline PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ... Computer 22 (2), 63-70, 1989	1337*	1989
Compiler construction for digital computers D Gries New York: Wiley, 1971	848	1971
Verifying properties of parallel programs: An axiomatic approach S Owicki, D Gries Communications of the ACM 19 (5), 279-285, 1976	768	1976
A logical approach to discrete math D Gries, FB Schneider Springer Science & Business Media, 2013	638	2013
Finding repeated elements J Misra, D Gries Science of computer programming 2 (2), 143-152, 1982	604	1982
A proof technique for communicating sequential processes GM Levin, D Gries Acta Informatica 15 (3), 281-302, 1981	232	1981
Translator writing systems J Feldman, D Gries Communications of the ACM 11 (2), 77-113, 1968	217	1968
A constructive proof of Vizing's theorem J Misra, D Gries Information Processing Letters 41 (3), 131-133, 1992	206	1992
An exercise in proving parallel programs correct D Gries Communications of the ACM 20 (12), 921-930, 1977	148	1977
Describing an algorithm by Hopcroft D Gries Acta Informatica 2 (2), 97-109, 1973	135	1973
A model and temporal proof system for networks of processes V Nguyen, D Gries, S Owicki Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of …, 1985	119	1985
Fault-tolerant broadcasts FB Schneider, D Gries, RD Schlichting Science of Computer Programming 4 (1), 1-15, 1984	118	1984
On classes of program schemata RL Constable, G David SIAM Journal on computing 1 (1), 66-118, 1972	116	1972
Assignment and procedure call proof rules D Gries, G Levin ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (4), 564-579, 1980	114	1980
A note on a standard strategy for developing loop invariants and loops D Gries Science of Computer Programming 2 (3), 207-214, 1982	105	1982
What should we teach in an introductory programming course? D Gries Proceedings of the fourth SIGCSE technical symposium on Computer science …, 1974	100	1974
Programming methodology: a collection of articles by members of IFIP WG2. 3 D Gries Springer Science & Business Media, 2012	94	2012
Avoiding the undefined by underspecification D Gries, FB Schneider Cornell University, 1995	89	1995

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors