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

引用次数

	总计	2019 年至今
引用	13596	1575
h 指数	42	12
i10 指数	101	17

400

200

100

300

1985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024164 174 215 224 274 333 294 326 287 316 253 319 307 267 240 248 215 245 309 290 330 310 338 337 363 369 324 400 386 359 318 286 254 337 285 258 296 315 285 136

合著作者

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. MyersProfessor 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	2801	2012
An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976	1633	1976
Computing as a discipline PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ... Computer 22 (2), 63-70, 1989	1514*	1989
Compiler construction for digital computers D Gries John Wiley & Sons, Inc., 1971	875	1971
Verifying properties of parallel programs: An axiomatic approach S Owicki, D Gries Communications of the ACM 19 (5), 279-285, 1976	800	1976
A logical approach to discrete math D Gries, FB Schneider Springer Science & Business Media, 2013	673	2013
Finding repeated elements J Misra, D Gries Science of computer programming 2 (2), 143-152, 1982	655	1982
A proof technique for communicating sequential processes GM Levin, D Gries Acta Informatica 15 (3), 281-302, 1981	237	1981
A constructive proof of Vizing's theorem J Misra, D Gries Information Processing Letters 41 (3), 131-133, 1992	231	1992
Translator writing systems J Feldman, D Gries Communications of the ACM 11 (2), 77-113, 1968	206	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	142	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
A note on a standard strategy for developing loop invariants and loops D Gries Science of Computer Programming 2 (3), 207-214, 1982	116	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	91	1989

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用