David Gries

引用先

	すべて	2020 年以来
引用	13826	1473
h 指標	42	12
i10 指標	102	18

420

210

105

315

1986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025176 216 224 274 336 297 329 291 319 253 318 307 268 239 247 217 251 305 287 330 313 338 337 363 369 324 408 385 356 320 289 256 338 284 262 300 316 288 285 22

共著者

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	2821	2012
An axiomatic proof technique for parallel programs I S Owicki, D Gries Acta informatica 6 (4), 319-340, 1976	1661	1976
Computing as a discipline PJ Denning, DE Comer, D Gries, MC Mulder, A Tucker, AJ Turner, ... Computer 22 (2), 63-70, 1989	1553*	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	680	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	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	98	1989

現在システムで処理を実行できません。しばらくしてからもう一度お試しください。

論文 1–20

年間引用数

重複した引用

結合された引用

共著者を追加共著者

フォロー

引用先

共著者