David Gries

Cited by

	All	Since 2020
Citations	13885	1488
h-index	41	12
i10-index	100	17

440

220

110

330

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025181 219 224 273 334 302 329 290 316 255 319 304 265 238 251 212 260 305 287 327 313 334 340 357 376 324 421 396 345 324 284 255 331 285 265 299 316 291 272 45

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
Dennis VolpanoNational Institute of AerospaceVerified email at nianet.org
Jerome Feldman Professor of Computer Science, UC BerkeleyVerified email at icsi.berkeley.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityVerified email at cs.cornell.edu
Alain J. MartinProfessor of Computer Science, California Institute of TechnologyVerified email at async.caltech.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	2843	2012
An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976	1692	1976
Computing as a discipline PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ... Computer 22 (2), 63-70, 1989	1562*	1989
Compiler construction for digital computers D Gries John Wiley & Sons, Inc., 1971	889	1971
Verifying properties of parallel programs: An axiomatic approach S Owicki, D Gries Communications of the ACM 19 (5), 279-285, 1976	820	1976
A logical approach to discrete math D Gries, FB Schneider Springer Science & Business Media, 2013	688	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	256	1992
A proof technique for communicating sequential processes GM Levin, D Gries Acta Informatica 15 (3), 281-302, 1981	247	1981
Translator writing systems J Feldman, D Gries Communications of the ACM 11 (2), 77-113, 1968	199	1968
An exercise in proving parallel programs correct D Gries Communications of the ACM 20 (12), 921-930, 1977	152	1977
Describing an algorithm by Hopcroft D Gries Acta Informatica 2 (2), 97-109, 1973	147	1973
Fault-tolerant broadcasts FB Schneider, D Gries, RD Schlichting Science of Computer Programming 4 (1), 1-15, 1984	125	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
On classes of program schemata RL Constable, G David SIAM Journal on computing 1 (1), 66-118, 1972	120	1972
A note on a standard strategy for developing loop invariants and loops D Gries Science of Computer Programming 2 (3), 207-214, 1982	114	1982
Assignment and procedure call proof rules D Gries, G Levin ACM Transactions on Programming Languages and Systems (TOPLAS) 2 (4), 564-579, 1980	113	1980
Programming methodology: a collection of articles by members of IFIP WG2. 3 D Gries Springer Science & Business Media, 2012	104	2012
What should we teach in an introductory programming course? D Gries Proceedings of the fourth SIGCSE technical symposium on Computer science …, 1974	103	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	99	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