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