David Gries

Cited by

	All	Since 2019
Citations	13774	1714
h-index	42	14
i10-index	102	19

420

210

105

315

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024164 174 216 223 274 336 297 329 289 319 253 318 307 266 240 248 216 247 308 288 330 313 338 337 363 368 324 406 386 356 319 287 255 337 286 259 301 316 290 262

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. MyersClass of 1912 Professor of Engineering, Dept. 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	2819	2012
An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976	1655	1976
Computing as a discipline PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ... Computer 22 (2), 63-70, 1989	1542*	1989
Compiler construction for digital computers D Gries John Wiley & Sons, Inc., 1971	881	1971
Verifying properties of parallel programs: An axiomatic approach S Owicki, D Gries Communications of the ACM 19 (5), 279-285, 1976	812	1976
A logical approach to discrete math D Gries, FB Schneider Springer Science & Business Media, 2013	681	2013
Finding repeated elements J Misra, D Gries Science of computer programming 2 (2), 143-152, 1982	677	1982
A constructive proof of Vizing's theorem J Misra, D Gries Information Processing Letters 41 (3), 131-133, 1992	250	1992
A proof technique for communicating sequential processes GM Levin, D Gries Acta Informatica 15 (3), 281-302, 1981	240	1981
Translator writing systems J Feldman, D Gries Communications of the ACM 11 (2), 77-113, 1968	209	1968
An exercise in proving parallel programs correct D Gries Communications of the ACM 20 (12), 921-930, 1977	150	1977
Describing an algorithm by Hopcroft D Gries Acta Informatica 2 (2), 97-109, 1973	143	1973
Fault-tolerant broadcasts FB Schneider, D Gries, RD Schlichting Science of Computer Programming 4 (1), 1-15, 1984	127	1984
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	121	1985
A note on a standard strategy for developing loop invariants and loops D Gries Science of Computer Programming 2 (3), 207-214, 1982	117	1982
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
On classes of program schemata RL Constable, G David SIAM Journal on computing 1 (1), 66-118, 1972	114	1972
Programming methodology: a collection of articles by members of IFIP WG2. 3 D Gries Springer Science & Business Media, 2012	105	2012
What should we teach in an introductory programming course? D Gries Proceedings of the fourth SIGCSE technical symposium on Computer science …, 1974	102	1974
The Cornell commission: on Morris and the worm T Eisenberg, D Gries, J Hartmanis, D Holcomb, MS Lynn, T Santoro Communications of the ACM 32 (6), 706-709, 1989	95	1989

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