David Gries

	2008
110		David Gries: A principled approach to teaching OO first. SIGCSE 2008: 31-35
	2006
109		David Gries: What Have We Not Learned about Teaching Programming? SEW 2006: 175-178
108		David Gries: What Have We Not Learned about Teaching Programming? IEEE Computer 39(10): 81-82 (2006)
	2005
107		Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher Re, Ilya Rifkin, Tingyan Yuan, Dora Abdullah, Kathy Carpenter, David Gries, Dexter Kozen, Andrew C. Myers, David I. Schwartz, Jayavel Shanmugasundaram: Supporting workflow in a course management system. SIGCSE 2005: 262-266
	2002
106		David Gries: Problems with CS education. ITiCSE 2002: 135
105		Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards: In memoriam: Edsger W. Dijkstra 1930-2002. Commun. ACM 45(10): 21-22 (2002)
104		David Gries: Where is programming methodology these days? SIGCSE Bulletin 34(4): 5-7 (2002)
	2001
103		David Gries, Bill Marion, Peter Henderson, Diane Schwartz: How mathematical thinking enchances computer science problem solving. SIGCSE 2001: 390-391
102		David Gries, Kathleen Larson, Susan H. Rodger, Mark Allen Weiss, Ursula Wolz: AP CS goes OO. SIGCSE 2001: 423-24
101		Vicki L. Almstrum, David Gries: From the Editors of this special issue. Inf. Process. Lett. 77(2-4): 49-51 (2001)
	2000
100		Owen L. Astrachan, Robert Cartwight, Rich Kick, Cay S. Horstmann, Fran Trees, Gail Chapman, David Gries, Henry MacKay Walker, Ursula Wolz: Recommendations for changes in advanced placement computer science (panel session). SIGCSE 2000: 416
	1999
99		David Gries: Monotonicity in Calculational Proofs. Correct System Design 1999: 79-85
	1998
98		David Gries, Willem P. de Roever: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA Chapman & Hall 1998
97		David Gries: Teaching calculational logic. PROCOMET 1998: 9-10
96		David Gries, Fred B. Schneider: Adding the Everywhere Operator to Propositional Logic. J. Log. Comput. 8(1): 119-129 (1998)
	1997
95		Eric Aaron, David Gries: Formal Justification of Underspecification for S5. Inf. Process. Lett. 64(3): 115-121 (1997)
94		Edward M. Reingold, Kenneth J. Urban, David Gries: K-M-P String Matching Revisited. Inf. Process. Lett. 64(5): 217-223 (1997)
	1996
93		David Gries: Data refinement and the transform. NATO ASI DPD 1996: 205-232
92		Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave: An Invitation to Formal Methods. IEEE Computer 29(4): 16-30 (1996)
91		T. V. Raman, David Gries: Interactive Audio Documents. J. Vis. Lang. Comput. 7(1): 97-108 (1996)
	1995
90		David Gries: Equational Logic as a Tool. AMAST 1995: 1-17
89		David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston: Teaching as a logic tool (abstract). SIGCSE 1995: 384-385
88		David Gries: Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. ZUM 1995: 508-509
87		David Gries, Fred B. Schneider: Avoiding the Undefined by Underspecification. Computer Science Today 1995: 366-373
86		David Gries, Fred B. Schneider: Equational Propositional Logic. Inf. Process. Lett. 53(3): 145-152 (1995)
85		T. V. Raman, David Gries: Audio Formatting - Presenting Structured Information Aurally. Multimedia Syst. 3(3): 116-125 (1995)
	1994
84		T. V. Raman, David Gries: Interactive audio documents. ASSETS 1994: 62-68
83		David Gries, Fred B. Schneider: Teaching Logic as a Tool. CSEE 1994: 599-599
	1993
82		David Gries, Fred B. Schneider: A Logical Approach to Discrete Math. Springer 1993
	1992
81		Jennifer Widom, David Gries, Fred B. Schneider: Trace-Based Network Proof Systems: Expressiveness and Completeness. ACM Trans. Program. Lang. Syst. 14(3): 396-416 (1992)
80		David Gries, Dorothy Marsh: The 1989-90 Taulbee Survey. Commun. ACM 35(1): 132-143 (1992)
79		David Gries, Dorothy Marsh: The 1990-91 Taulbee Survey Report. IEEE Computer 25(11): 69-75 (1992)
78		Jayadev Misra, David Gries: A Constructive Proof of Vizing's Theorem. Inf. Process. Lett. 41(3): 131-133 (1992)
	1991
77		David Gries: Teaching Calculation and Discrimination: A More Effective Curriculum. Commun. ACM 34(3): 44-55 (1991)
	1990
76		David Gries: Instilling Professionalism in Software Engineers. CSEE 1990: 1
75		David Gries, Dorothy Marsh: The 1988-89 Taulbee Survey Report. Commun. ACM 33(9): 160-169 (1990)
74		David Gries, Dorothy Marsh: The 1988-89 Taulbee Survey Report. IEEE Computer 23(10): 65-71 (1990)
73		David Gries, Dennis M. Volpano: The Transform - a New Language Construct. Structured Programming 11(1): 1-10 (1990)
	1989
72		David Gries: My Thoughts on Software Engineering in the Late 1960s. ICSE 1989: 98
71		David Gries: Position Statement on the Foundations of Software Engineering. IFIP Congress 1989: 954
70		Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young: Computing as a Discipline. Commun. ACM 32(1): 9-23 (1989)
69		David Gries, Dorothy Marsh: The 1987-1988 Taulbee Survey. Commun. ACM 32(10): 1217-1224 (1989)
68		David Gries, Terry Walker, Paul Young: The 1988 Snowbird Report: A Discipline Matures. Commun. ACM 32(3): 294-297 (1989)
67		Ted Eisenberg, David Gries, Juris Hartmanis, Don Holcomb, M. Stuart Lynn, Thomas Santoro: The Cornell Commission: On Morris and the Worm. Commun. ACM 32(6): 706-709 (1989)
66		David Gries, Dorothy Marsh: The 1987-88 Taulbee Survey Report. IEEE Computer 22(11): 49-56 (1989)
65		Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young: Computing as a Discipline. IEEE Computer 22(2): 63-70 (1989)
64		David Gries, Terry Walker, Paul Young: 1988 Snowbird Report: A Discipline Matures. IEEE Computer 22(2): 72-75 (1989)
63		Selim G. Akl, David Gries, Ivan Stojmenovic: An Optimal Parallel Algorithm for Generating Combinations. Inf. Process. Lett. 33(3): 135-139 (1989)
62		David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding: An Algorithm for Transitive Reduction of an Acyclic Graph. Sci. Comput. Program. 12(2): 151-155 (1989)
	1988
61		Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young: Computing as a discipline: preliminary report of the ACM task force on the core of computer science. SIGCSE 1988: 41
60		David Gries, Jinyun Xue: Generating a Random Cycle Permutation. BIT 28(3): 569-572 (1988)
59		David Gries, Dorothy Marsh: The 1986-1987 Taulbee Survey. Commun. ACM 31(8): 984-991 (1988)
58		David Gries, Dorothy Marsh: The 1986-1987 Taulbee Survey. IEEE Computer 21(8): 53-61 (1988)
57		Jinyun Xue, David Gries: Developing a Linear Algorithm for Cubing a Cyclic Permutation. Sci. Comput. Program. 11(2): 161-165 (1988)
	1987
56		David Gries: Models for Re-Use. FSTTCS 1987: 373-375
55		Jennifer Widom, David Gries, Fred B. Schneider: Completeness and Incompleteness of Trace-Based Network Proof Systems. POPL 1987: 27-38
54		David Gries: The 1985-1986 Taulbee Survey. Commun. ACM 30(8): 688-694 (1987)
53		W. H. J. Feijen, A. J. M. van Gasteren, David Gries: In-situ Inversion of a Cyclic Permutation. Inf. Process. Lett. 24(1): 11-14 (1987)
52		David Gries, Adriano Pascoletti, Luigi Sbriz: Horner's Rule and the Computation of Linear Recurrences. Inf. Process. Lett. 25(4): 237-240 (1987)
51		David Gries: A Note on Graham's Convex Hull Algorithm. Inf. Process. Lett. 25(5): 323-328 (1987)
50		David Gries, Jan Prins: McLaren's Masterpiece. Sci. Comput. Program. 8(2): 139-145 (1987)
	1986
49		David Gries: The 1984-1985 Taulbee Survey. Commun. ACM 29(10): 972-977 (1986)
48		David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young: Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. Commun. ACM 29(9): 870-878 (1986)
47		Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki: A Model and Temporal Proof System for Networks of Processes. Distributed Computing 1(1): 7-25 (1986)
46		David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young: Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. IEEE Computer 19(9): 70-76 (1986)
	1985
45		Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki: Behavior: A Temporal Approach to Process Modelling. Logic of Programs 1985: 237-254
44		Van Nguyen, David Gries, Susan S. Owicki: A Model and Temporal Proof System for Networks of Processes. POPL 1985: 121-131
43		Dean Jacobs, David Gries: General Correctness: A Unification of Partial and Total Correctness. Acta Inf. 22(1): 67-83 (1985)
	1984
42		Fred B. Schneider, David Gries, Richard D. Schlichting: Fault-Tolerant Broadcasts. Sci. Comput. Program. 4(1): 1-15 (1984)
	1982
41		Jayadev Misra, David Gries: Finding Repeated Elements. Sci. Comput. Program. 2(2): 143-152 (1982)
40		David Gries: A Note on a Standard Strategy for Developing Loop Invariants and Loops. Sci. Comput. Program. 2(3): 207-214 (1982)
	1981
39		David Gries: The Science of Programming. Springer 1981
38		Gary Levin, David Gries: A Proof Technique for Communicating Sequential Processes. Acta Inf. 15: 281-302 (1981)
	1980
37		David Gries: Educating the Programmer: Notation, Proofs and the Development of Programs. IFIP Congress 1980: 935-944
36		David Gries, Gary Levin: Assignment and Procedure Call Proof Rules. ACM Trans. Program. Lang. Syst. 2(4): 564-579 (1980)
35		Robert Melville, David Gries: Controlled Density Sorting. Inf. Process. Lett. 10(4/5): 169-172 (1980)
34		David Gries, Gary Levin: Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. Inf. Process. Lett. 11(2): 68-69 (1980)
	1979
33		David Gries: Is Sometimes Ever Better Than Alway? ACM Trans. Program. Lang. Syst. 1(2): 258-265 (1979)
32		David Gries: The Schorr-Waite Graph Marking Algorithm. Acta Inf. 11: 223-232 (1979)
	1978
31		David Gries: Parallel Programming. GI Jahrestagung 1978: 214-233
30		David Gries: The Multiple Assignment Statement. Program Construction 1978: 100-112
29		David Gries: Is Sometimes Ever Better Than Always? Program Construction 1978: 113-124
28		David Gries: The Schorr-Waite Graph Marking Algorithm. Program Construction 1978: 58-69
27		David Gries: Eliminating the Chaff. Program Construction 1978: 70-74
26		David Gries: Current Ideas in Programming Methodology. Program Construction 1978: 77-93
25		David Gries: Basic Axiomatic Definitions. Program Construction 1978: 94-99
24		David Gries, Jayadev Misra: A Linear Sieve Algorithm for Finding Prime Numbers. Commun. ACM 21(12): 999-1003 (1978)
23		Juan M. Lafuente, David Gries: Language Facilities for Programming User-Computer Dialogues. IBM Journal of Research and Development 22(2): 145-158 (1978)
22		David Gries: The Multiple Assignment Statement. IEEE Trans. Software Eng. 4(2): 89-93 (1978)
	1977
21		David Gries: An Exercise in Proving Parallel Programs Correct. Commun. ACM 20(12): 921-930 (1977)
20		David Gries, Narain H. Gehani: Some Ideas on Data Types in High-Level Languages. Commun. ACM 20(6): 414-420 (1977)
19		David Gries: Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs". IEEE Trans. Software Eng. 3(3): 262 (1977)
	1976
18		David Gries: Error Recovery and Correction - An Introduction to the Literature. Compiler Construction 1976: 627-638
17		David Gries, Narain H. Gehani: Some Ideas on Data Types in High Level Languages. Conference on Data: Abstraction, Definition and Structure 1976: 120
16		David Gries: Some Comments on Programming Language Design. Fachtagung über Programmiersprachen 1976: 235-252
15		David Gries: An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). ICSE 1976: 200
14		Susan S. Owicki, David Gries: An Axiomatic Proof Technique for Parallel Programs I. Acta Inf. 6: 319-340 (1976)
13		Susan S. Owicki, David Gries: Verifying Properties of Parallel Programs: An Axiomatic Approach. Commun. ACM 19(5): 279-285 (1976)
12		David Gries: An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs. IEEE Trans. Software Eng. 2(4): 238-244 (1976)
	1975
11		David Gries: An exercise in proving parallel programs correct. Language Hierarchies and Interfaces 1975: 57-81
	1973
10		David Gries: Describing an Algorithm by Hopcroft Acta Inf. 2: 97-109 (1973)
	1972
9		David Gries: Programming by Induction. Inf. Process. Lett. 1(3): 100-107 (1972)
8		Robert L. Constable, David Gries: On Classes of Program Schemata. SIAM J. Comput. 1(1): 66-118 (1972)
7		Steven Brown, David Gries, Thomas G. Szymanski: Program Schemes with Pushdown Stores. SIAM J. Comput. 1(3): 242-268 (1972)
	1971
6		David Gries: Compiler Construction for Digital Computers John Wiley 1971
5		Robert L. Constable, David Gries: On Classes of Program Schemata SWAT (FOCS) 1971: 5-19
	1968
4		David Gries: Use of transition matrices in compiling. Commun. ACM 11(1): 26-34 (1968)
3		Jerome A. Feldman, David Gries: Translator writing systems. Commun. ACM 11(2): 77-113 (1968)
	1967
2		Rudolf Bayer, David Gries, Manfred Paul, Hans-Rüdiger Wiehle: The ALCOR Illinois 7090/7094 post mortem dump. Commun. ACM 10(12): 804-808 (1967)
	1965
1		David Gries, Manfred Paul, Hans-Rüdiger Wiehle: Some techniques used in the ALCOR ILLINOIS 7090. Commun. ACM 8(8): 496-500 (1965)

Coauthor Index

1	Eric Aaron	[95]
2	Dora Abdullah	[107]
3	Selim G. Akl	[63]
4	Vicki L. Almstrum	[101]
5	Owen L. Astrachan	[100]
6	Rudolf Bayer	[2]
7	Chavdar Botev	[107]
8	Jonathan P. Bowen	[92]
9	Robert S. Boyer	[105]
10	Steven Brown	[7]
11	Ricky W. Butler	[92]
12	Kathy Carpenter	[107]
13	Robert Cartwight	[100]
14	Hubert Chao	[107]
15	Theodore Chao	[107]
16	Gail Chapman	[100]
17	Yim Cheng	[107]
18	Douglas Comer (Douglas E. Comer)	[61] [65] [70]
19	Robert L. Constable	[5] [8]
20	Alan J. Demers	[45] [47]
21	Peter J. Denning	[61] [65] [70]
22	David L. Dill	[92]
23	Raymond Doyle	[107]
24	Ted Eisenberg	[67]
25	W. H. J. Feijen	[53] [105]
26	Jerome A. Feldman	[3]
27	A. J. M. van Gasteren	[53]
28	Narain H. Gehani	[17] [20]
29	Robert L. Glass	[92]
30	Sergey Grankin	[107]
31	Jon Guarino	[107]
32	Saikat Guha	[107]
33	Anthony Hall	[92]
34	Juris Hartmanis	[67]
35	Peter Henderson	[103]
36	Michael G. Hinchey (Mike Hinchey)	[92]
37	C. A. R. Hoare (Tony Hoare)	[105]
38	Don Holcomb	[67]
39	C. Michael Holloway	[92]
40	Cay S. Horstmann	[100]
41	Daniel Jackson	[92]
42	Dean Jacobs	[43]
43	Cliff B. Jones (Clifford B. Jones)	[92]
44	Rich Kick	[100]
45	Dexter Kozen	[107]
46	Joan Krone	[89]
47	Juan M. Lafuente	[23]
48	Kathleen Larson	[102]
49	Pei-Chen Lee	[107]
50	Gary Levin	[34] [36] [38]
51	Michael J. Lutz	[92]
52	M. Stuart Lynn	[67]
53	Bill Marion	[103]
54	Dorothy Marsh	[58] [59] [66] [69] [74] [75] [79] [80]
55	Alain J. Martin	[62]
56	Robert Melville	[35]
57	Raymond E. Miller	[46] [48]
58	Jayadev Misra	[24] [41] [78] [105]
59	J. Moore	[105]
60	Michael C. Mulder	[61] [65] [70]
61	Andrew C. Myers	[107]
62	Van Nguyen	[44] [45] [47]
63	Susan S. Owicki	[13] [14] [44] [45] [47]
64	David Lorge Parnas	[92]
65	Adriano Pascoletti	[52]
66	Manfred Paul	[1] [2]
67	Dan Perry	[107]
68	Jan Prins (Jan F. Prins)	[50]
69	T. V. Raman	[84] [85] [91]
70	Christopher Ré (Christopher Re)	[107]
71	Edward M. Reingold	[94]
72	H. Richards	[105]
73	Ilya Rifkin	[107]
74	Robert W. Ritchie	[46] [48]
75	Susan H. Rodger	[102]
76	Willem P. de Roever (Willem-Paul de Roever)	[98]
77	John M. Rushby	[92]
78	Thomas Santoro	[67]
79	Luigi Sbriz	[52]
80	Richard D. Schlichting	[42]
81	Fred B. Schneider	[42] [55] [81] [82] [83] [86] [87] [89] [96]
82	David I. Schwartz	[107]
83	Diane Schwartz	[103]
84	Jayavel Shanmugasundaram	[107]
85	Jan L. A. van de Snepscheut	[62]
86	Ivan Stojmenovic	[63]
87	Thomas G. Szymanski	[7]
88	Fran Trees	[100]
89	Allen B. Tucker	[61] [65] [70]
90	A. Joe Turner	[61] [65] [70]
91	Jan Tijmen Udding	[62]
92	Kenneth J. Urban	[94]
93	Dennis M. Volpano	[73]
94	Henry MacKay Walker	[100]
95	Terry Walker	[64] [68]
96	J. Stanley Warford	[89]
97	Mark Allen Weiss	[102]
98	J. Peter Weston	[89]
99	Jennifer Widom	[55] [81]
100	Hans-Rüdiger Wiehle	[1] [2]
101	Jeannette M. Wing	[92]
102	Ursula Wolz	[100] [102]
103	Jinyun Xue	[57] [60]
104	Paul Young	[46] [48] [64] [68]
105	Paul R. Young	[61] [65] [70]
106	Tingyan Yuan	[107]
107	Pamela Zave	[92]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page