dblp.uni-trier.dewww.uni-trier.de

David Gries Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2008
110EEDavid Gries: A principled approach to teaching OO first. SIGCSE 2008: 31-35
2006
109EEDavid Gries: What Have We Not Learned about Teaching Programming? SEW 2006: 175-178
108EEDavid Gries: What Have We Not Learned about Teaching Programming? IEEE Computer 39(10): 81-82 (2006)
2005
107EEChavdar 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
106EEDavid Gries: Problems with CS education. ITiCSE 2002: 135
105EERobert 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)
104EEDavid Gries: Where is programming methodology these days? SIGCSE Bulletin 34(4): 5-7 (2002)
2001
103EEDavid Gries, Bill Marion, Peter Henderson, Diane Schwartz: How mathematical thinking enchances computer science problem solving. SIGCSE 2001: 390-391
102EEDavid Gries, Kathleen Larson, Susan H. Rodger, Mark Allen Weiss, Ursula Wolz: AP CS goes OO. SIGCSE 2001: 423-24
101EEVicki L. Almstrum, David Gries: From the Editors of this special issue. Inf. Process. Lett. 77(2-4): 49-51 (2001)
2000
100EEOwen 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
99EEDavid 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
95EEEric Aaron, David Gries: Formal Justification of Underspecification for S5. Inf. Process. Lett. 64(3): 115-121 (1997)
94EEEdward 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
89EEDavid 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
87EEDavid Gries, Fred B. Schneider: Avoiding the Undefined by Underspecification. Computer Science Today 1995: 366-373
86EEDavid 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
84EET. V. Raman, David Gries: Interactive audio documents. ASSETS 1994: 62-68
83EEDavid 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
81EEJennifer 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
76EEDavid 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
61EEPeter 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
56EEDavid 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
36EEDavid 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
33EEDavid 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
17EEDavid 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 FOCS 1971: 5-19
1968
4EEDavid Gries: Use of transition matrices in compiling. Commun. ACM 11(1): 26-34 (1968)
3EEJerome A. Feldman, David Gries: Translator writing systems. Commun. ACM 11(2): 77-113 (1968)
1967
2EERudolf 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
1EEDavid Gries, Manfred Paul, Hans-Rüdiger Wiehle: Some techniques used in the ALCOR ILLINOIS 7090. Commun. ACM 8(8): 496-500 (1965)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)