David Gries

Citado por

	Total	Desde 2020
Citas	13828	1475
Índice h	42	12
Índice i10	102	18

420

210

105

315

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025175 216 222 274 336 297 329 291 317 253 318 307 268 239 249 215 255 305 287 330 313 338 337 363 369 324 409 386 355 320 290 255 338 284 261 300 315 290 282 27

Coautores

Fred SchneiderCS Dept, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Susan OwickiDirección de correo verificada de owicki.com
Jayadev MisraUniversity of Texas at AustinDirección de correo verificada de utexas.edu
Peter J DenningDistinguished Professor, Naval Postgraduate SchoolDirección de correo verificada de nps.edu
Paul GriesAssociate Professor, Teaching Stream, Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
T.V. RamanResearch Scientist, Google IncDirección de correo verificada de google.com
Jennifer WidomProfessor of Computer Science, Stanford UniversityDirección de correo verificada de cs.stanford.edu
Jan F. PrinsProfessor of Computer Science, UNC Chapel HillDirección de correo verificada de cs.unc.edu
Jerome Feldman Professor of Computer Science, UC BerkeleyDirección de correo verificada de icsi.berkeley.edu
Dennis VolpanoJohns Hopkins University Applied Physics LabDirección de correo verificada de jhuapl.edu
Alain J. MartinProfessor of Computer Science, California Institute of TechnologyDirección de correo verificada de async.caltech.edu
Dexter KozenProfessor of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell UniversityDirección de correo verificada de cs.cornell.edu
Edward M ReingoldProf Emeritus Comp Sci, UIUC & Ill Inst of TechDirección de correo verificada de iit.edu

Seguir

David Gries

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

Dirección de correo verificada de cs.cornell.edu - Página principal

Programming methodology programming languages CS education


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The science of programming D Gries Springer Science & Business Media, 2012	2822	2012
An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976	1660	1976
Computing as a discipline PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ... Computer 22 (2), 63-70, 1989	1556*	1989
Compiler construction for digital computers D Gries John Wiley & Sons, Inc., 1971	882	1971
Verifying properties of parallel programs: An axiomatic approach S Owicki, D Gries Communications of the ACM 19 (5), 279-285, 1976	814	1976
A logical approach to discrete math D Gries, FB Schneider Springer Science & Business Media, 2013	685	2013
Finding repeated elements J Misra, D Gries Science of computer programming 2 (2), 143-152, 1982	681	1982
A constructive proof of Vizing's theorem J Misra, D Gries Information Processing Letters 41 (3), 131-133, 1992	255	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	208	1968
An exercise in proving parallel programs correct D Gries Communications of the ACM 20 (12), 921-930, 1977	151	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	128	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	97	1989

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores