David Gries

Citirano

	Sve	Od 2018.
Citati	12917	1489
H-indeks	40	12
i10-indeks	102	17

400

200

100

300

1984198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023163 169 169 213 206 255 299 284 309 281 304 243 308 290 250 237 245 209 243 299 283 375 313 326 326 359 360 322 390 381 340 306 282 253 324 270 247 291 289 68

Suautori

Fred SchneiderCS Dept, Cornell UniversityPotvrđena adresa e-pošte na cs.cornell.edu
Susan OwickiPotvrđena adresa e-pošte na owicki.com
Jayadev MisraUniversity of Texas at AustinPotvrđena adresa e-pošte na utexas.edu
Peter J DenningDistinguished Professor, Naval Postgraduate SchoolPotvrđena adresa e-pošte na nps.edu
Paul GriesAssociate Professor, Teaching Stream, Computer Science, University of TorontoPotvrđena adresa e-pošte na cs.toronto.edu
T.V. RamanResearch Scientist, Google IncPotvrđena adresa e-pošte na google.com
Jennifer WidomProfessor of Computer Science, Stanford UniversityPotvrđena adresa e-pošte na cs.stanford.edu
Jan F. PrinsProfessor of Computer Science, UNC Chapel HillPotvrđena adresa e-pošte na cs.unc.edu
Jerome Feldman Professor of Computer Science, UC BerkeleyPotvrđena adresa e-pošte na icsi.berkeley.edu
Dennis VolpanoJohns Hopkins University / Applied Physics LabPotvrđena adresa e-pošte na jhuapl.edu
Alain J. MartinProfessor of Computer Science, California Institute of TechnologyPotvrđena adresa e-pošte na async.caltech.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityPotvrđena adresa e-pošte na cs.cornell.edu
Andrew C. MyersProfessor of Computer Science, Cornell UniversityPotvrđena adresa e-pošte na cs.cornell.edu
Edward M ReingoldProf Emeritus Comp Sci, UIUC & Ill Inst of TechPotvrđena adresa e-pošte na iit.edu

Prati

David Gries

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

Potvrđena adresa e-pošte na cs.cornell.edu - Početna stranica

Programming methodology programming languages CS education


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
The science of programming D Gries Springer Science & Business Media, 2012	2680	2012
An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976	1587	1976
Computing as a discipline PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ... Computer 22 (2), 63-70, 1989	1336*	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	767	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	600	1982
A proof technique for communicating sequential processes GM Levin, D Gries Acta Informatica 15 (3), 281-302, 1981	231	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

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori