David Gries 个人学术档案 - 学术资源搜索

引用次数

	总计	2019 年至今
引用	13687	1644
h 指数	42	13
i10 指数	101	19

420

210

105

315

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024164 174 215 224 275 333 296 329 287 317 253 319 307 266 240 248 218 246 308 288 330 312 338 337 363 369 323 402 386 357 318 287 254 337 285 258 297 318 287 199

合著作者

Fred SchneiderCS Dept, Cornell University在 cs.cornell.edu 的电子邮件经过验证
Susan Owicki在 owicki.com 的电子邮件经过验证
Jayadev MisraUniversity of Texas at Austin在 utexas.edu 的电子邮件经过验证
Peter J DenningDistinguished Professor, Naval Postgraduate School在 nps.edu 的电子邮件经过验证
Paul GriesAssociate Professor, Teaching Stream, Computer Science, University of Toronto在 cs.toronto.edu 的电子邮件经过验证
T.V. RamanResearch Scientist, Google Inc在 google.com 的电子邮件经过验证
Jennifer WidomProfessor of Computer Science, Stanford University在 cs.stanford.edu 的电子邮件经过验证
Jan F. PrinsProfessor of Computer Science, UNC Chapel Hill在 cs.unc.edu 的电子邮件经过验证
Jerome Feldman Professor of Computer Science, UC Berkeley在 icsi.berkeley.edu 的电子邮件经过验证
Dennis VolpanoJohns Hopkins University Applied Physics Lab在 jhuapl.edu 的电子邮件经过验证
Alain J. MartinProfessor of Computer Science, California Institute of Technology在 async.caltech.edu 的电子邮件经过验证
Dexter KozenProfessor of Computer Science, Cornell University在 cs.cornell.edu 的电子邮件经过验证
Andrew C. MyersClass of 1912 Professor of Engineering, Dept. of Computer Science, Cornell University在 cs.cornell.edu 的电子邮件经过验证
Edward M ReingoldProf Emeritus Comp Sci, UIUC & Ill Inst of Tech在 iit.edu 的电子邮件经过验证

关注

David Gries

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

在 cs.cornell.edu 的电子邮件经过验证 - 首页

Programming methodology programming languages CS education


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
The science of programming D Gries Springer Science & Business Media, 2012	2810	2012
An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976	1643	1976
Computing as a discipline PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ... Computer 22 (2), 63-70, 1989	1530*	1989
Compiler construction for digital computers D Gries John Wiley & Sons, Inc., 1971	880	1971
Verifying properties of parallel programs: An axiomatic approach S Owicki, D Gries Communications of the ACM 19 (5), 279-285, 1976	805	1976
A logical approach to discrete math D Gries, FB Schneider Springer Science & Business Media, 2013	677	2013
Finding repeated elements J Misra, D Gries Science of computer programming 2 (2), 143-152, 1982	668	1982
A proof technique for communicating sequential processes GM Levin, D Gries Acta Informatica 15 (3), 281-302, 1981	239	1981
A constructive proof of Vizing's theorem J Misra, D Gries Information Processing Letters 41 (3), 131-133, 1992	238	1992
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	148	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	126	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	118	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	100	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	93	1989

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用