David Gries - RankMe

129 papers A* 4A 9B 3C 1Journal 79Unranked 24

Year	Rank	Type	Title / Venue / Authors
2022	—	`ch.`	Development of Correct Programs. Edsger Wybe Dijkstra David Gries
2022	—	`ch.`	Reflections on Edsger and His Influence. Edsger Wybe Dijkstra David Gries
2009	J	`jnl`	Discrete mathematics/structures: how do we deal with the late appreciation problem? J. Comput. Sci. Coll. David Gries, Michael Eckmann, Ali Erkan, James E. Heliotis
2008	A	`conf`	A principled approach to teaching OO first. SIGCSE David Gries
2006	C	`conf`	What Have We Not Learned about Teaching Programming? SEW David Gries
2006	J	`jnl`	What Have We Not Learned about Teaching Programming? Computer David Gries
2005	A	`conf`	Supporting workflow in a course management system. SIGCSE Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher Ré, Ilya Rifkin, Tingyan Yuan, Dora Abdullah, Kathy Carpenter, David Gries, Dexter Kozen, Andrew C. Myers, David I. Schwartz, Jayavel Shanmugasundaram
2005	J	`jnl`	Teaching program development. J. Comput. Sci. Coll. David Gries
2004	J	`jnl`	The mathematics of programming and why we should teach it. J. Comput. Sci. Coll. David Gries
2002	J	`jnl`	Frames and folders: a teachable memory model for Java. J. Comput. Sci. Coll. Paul Gries, David Gries
2002	J	`jnl`	In memoriam: Edsger W. Dijkstra 1930-2002. Commun. ACM Robert S. Boyer, W. H. J. Feijen, David Gries, C. A. R. Hoare, Jayadev Misra, J. Moore, H. Richards
2002	B	`conf`	Problems with CS education. ITiCSE David Gries
2002	—	`book`	ProgramLive - master Java programming in a dynamic, self-paced learning environment. David Gries, Paul Gries, Petra Hall
2002	J	`jnl`	Where is programming methodology these days? ACM SIGCSE Bull. David Gries
2001	A	`conf`	AP CS goes OO. SIGCSE David Gries, Kathleen Larson, Susan H. Rodger, Mark Allen Weiss, Ursula Wolz
2001	J	`jnl`	From the Editors of this special issue. Inf. Process. Lett. Vicki L. Almstrum, David Gries
2001	A	`conf`	How mathematical thinking enchances computer science problem solving. SIGCSE David Gries, Bill Marion, Peter B. Henderson, Diane Schwartz
2000	A	`conf`	Recommendations for changes in advanced placement computer science (panel session). SIGCSE Owen L. Astrachan, Robert Cartwight, Richard Kick, Cay S. Horstmann, Fran Trees, Gail Chapman, David Gries, Henry MacKay Walker, Ursula Wolz
1999	—	`conf`	Monotonicity in Calculational Proofs. Correct System Design David Gries
1998	J	`jnl`	Adding the Everywhere Operator to Propositional Logic. J. Log. Comput. David Gries, Fred B. Schneider
1998	—	`ed.`	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 PROCOMET David Gries, Willem P. de Roever
1998	—	`conf`	Teaching calculational logic. PROCOMET David Gries
1997	J	`jnl`	Audio formatting - Making spoken text and math comprehensible. Int. J. Speech Technol. T. V. Raman, David Gries
1997	J	`jnl`	Formal Justification of Underspecification for S5. Inf. Process. Lett. Eric Aaron, David Gries
1997	J	`jnl`	K-M-P String Matching Revisited. Inf. Process. Lett. Edward M. Reingold, Kenneth J. Urban, David Gries
1996	J	`jnl`	An Invitation to Formal Methods. Computer 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
1996	—	`conf`	Data refinement and the transform. NATO ASI DPD David Gries
1996	J	`jnl`	Interactive Audio Documents. J. Vis. Lang. Comput. T. V. Raman, David Gries
1995	J	`jnl`	Audio Formatting - Presenting Structured Information Aurally. Multim. Syst. T. V. Raman, David Gries
1995	J	`jnl`	Audio formatting - Making spoken text and math comprehensible. Int. J. Speech Technol. T. V. Raman, David Gries
1995	—	`ch.`	Avoiding the Undefined by Underspecification. Computer Science Today David Gries, Fred B. Schneider
1995	—	`conf`	Equational Logic as a Tool. AMAST David Gries
1995	—	`conf`	Equational Logic: A Great Pedagogical Tool for Teaching a Skill in Logic. ZUM David Gries
1995	J	`jnl`	Equational Propositional Logic. Inf. Process. Lett. David Gries, Fred B. Schneider
1995	A	`conf`	Teaching as a logic tool (abstract). SIGCSE David Gries, Fred B. Schneider, Joan Krone, J. Stanley Warford, J. Peter Weston
1994	A	`conf`	Interactive audio documents. ASSETS T. V. Raman, David Gries
1994	—	`conf`	Teaching Logic as a Tool. CSEE David Gries, Fred B. Schneider
1993	—	`book`	A Logical Approach to Discrete Math. David Gries, Fred B. Schneider
1992	J	`jnl`	A Constructive Proof of Vizing's Theorem. Inf. Process. Lett. Jayadev Misra, David Gries
1992	B	`conf`	Are formal methods useful for software development? COMPSAC Horst F. Wedde, Betty H. C. Cheng, David Gries, N. Shankar, Kwei-Jay Lin, Mark A. Ardis
1992	—	`conf`	Data Refinement and the Transform. NATO ASI PDC David Gries
1992	J	`jnl`	The 1989-90 Taulbee Survey. Commun. ACM David Gries, Dorothy Marsh
1992	J	`jnl`	The 1990-91 Taulbee Survey Report. Computer David Gries, Dorothy Marsh
1992	J	`jnl`	Trace-Based Network Proof Systems: Expressiveness and Completeness. ACM Trans. Program. Lang. Syst. Jennifer Widom, David Gries, Fred B. Schneider
1991	J	`jnl`	Teaching Calculation and Discrimination: A More Effective Curriculum. Commun. ACM David Gries
1990	—	`conf`	Instilling Professionalism in Software Engineers. CSEE David Gries
1990	J	`jnl`	The 1988-89 Taulbee Survey Report. Commun. ACM David Gries, Dorothy Marsh
1990	J	`jnl`	The 1988-89 Taulbee Survey Report. Computer David Gries, Dorothy Marsh
1990	J	`jnl`	The Transform - a New Language Construct. Struct. Program. David Gries, Dennis M. Volpano
1989	J	`jnl`	1988 Snowbird Report: A Discipline Matures. Computer David Gries, Terry Walker, Paul Young
1989	J	`jnl`	An Algorithm for Transitive Reduction of an Acyclic Graph. Sci. Comput. Program. David Gries, Alain J. Martin, Jan L. A. van de Snepscheut, Jan Tijmen Udding
1989	J	`jnl`	An Optimal Parallel Algorithm for Generating Combinations. Inf. Process. Lett. Selim G. Akl, David Gries, Ivan Stojmenovic
1989	J	`jnl`	Computing as a Discipline. Commun. ACM Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young
1989	J	`jnl`	Computing as a Discipline. Computer Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young
1989	A*	`conf`	My Thoughts on Software Engineering in the Late 1960s. ICSE David Gries
1989	—	`conf`	Position Statement on the Foundations of Software Engineering. IFIP Congress David Gries
1989	J	`jnl`	The 1987-1988 Taulbee Survey. Commun. ACM David Gries, Dorothy Marsh
1989	J	`jnl`	The 1987-88 Taulbee Survey Report. Computer David Gries, Dorothy Marsh
1989	J	`jnl`	The 1988 Snowbird Report: A Discipline Matures. Commun. ACM David Gries, Terry Walker, Paul Young
1989	J	`jnl`	The Cornell Commission: On Morris and the Worm. Commun. ACM Ted Eisenberg, David Gries, Juris Hartmanis, Don Holcomb, M. Stuart Lynn, Thomas Santoro
1988	A	`conf`	Computing as a discipline: preliminary report of the ACM task force on the core of computer science. SIGCSE Peter J. Denning, Douglas Comer, David Gries, Michael C. Mulder, Allen B. Tucker, A. Joe Turner, Paul R. Young
1988	J	`jnl`	Developing a Linear Algorithm for Cubing a Cyclic Permutation. Sci. Comput. Program. Jinyun Xue, David Gries
1988	J	`jnl`	Generating a Random Cycle Permutation. BIT David Gries, Jinyun Xue
1988	J	`jnl`	The 1986-1987 Taulbee Survey. Commun. ACM David Gries, Dorothy Marsh
1988	J	`jnl`	The 1986-1987 Taulbee Survey. Computer David Gries, Dorothy Marsh
1987	J	`jnl`	A Note on Graham's Convex Hull Algorithm. Inf. Process. Lett. David Gries
1987	A*	`conf`	Completeness and Incompleteness of Trace-Based Network Proof Systems. POPL Jennifer Widom, David Gries, Fred B. Schneider
1987	J	`jnl`	Horner's Rule and the Computation of Linear Recurrences. Inf. Process. Lett. David Gries, Adriano Pascoletti, Luigi Sbriz
1987	J	`jnl`	In-situ Inversion of a Cyclic Permutation. Inf. Process. Lett. W. H. J. Feijen, A. J. M. van Gasteren, David Gries
1987	J	`jnl`	McLaren's Masterpiece. Sci. Comput. Program. David Gries, Jan F. Prins
1987	—	`conf`	Models for Re-Use. FSTTCS David Gries
1987	J	`jnl`	The 1985-1986 Taulbee Survey. Commun. ACM David Gries
1986	J	`jnl`	A Model and Temporal Proof System for Networks of Processes. Distributed Comput. Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
1986	J	`jnl`	Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. Commun. ACM David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young
1986	J	`jnl`	Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. Computer David Gries, Raymond E. Miller, Robert W. Ritchie, Paul Young
1986	J	`jnl`	The 1984-1985 Taulbee Survey. Commun. ACM David Gries
1986	J	`jnl`	The 1984-85 Taulbee Survey. Computer David Gries
1985	A*	`conf`	A Model and Temporal Proof System for Networks of Processes. POPL Van Nguyen, David Gries, Susan S. Owicki
1985	—	`conf`	A new notion of encapsulation. SLIPE David Gries, Jan F. Prins
1985	—	`conf`	Behavior: A Temporal Approach to Process Modelling. Logic of Programs Van Nguyen, Alan J. Demers, David Gries, Susan S. Owicki
1985	J	`jnl`	General Correctness: A Unification of Partial and Total Correctness. Acta Informatica Dean Jacobs, David Gries
1984	J	`jnl`	Fault-Tolerant Broadcasts. Sci. Comput. Program. Fred B. Schneider, David Gries, Richard D. Schlichting
1982	J	`jnl`	A Note on a Standard Strategy for Developing Loop Invariants and Loops. Sci. Comput. Program. David Gries
1982	J	`jnl`	Finding Repeated Elements. Sci. Comput. Program. Jayadev Misra, David Gries
1982	J	`jnl`	Letter to Dr. Susan Gerhart: comments on two book reviews. ACM SIGSOFT Softw. Eng. Notes David Gries
1981	J	`jnl`	A Proof Technique for Communicating Sequential Processes. Acta Informatica Gary Levin, David Gries
1981	—	`book`	The Programming Language Ada Reference Manual, Proposed Standard Document, United States Department of Defense Wilfried Brauer, Per Brinch Hansen, David Gries, C. Moler, Gerhard Seegmüller, Josef Stoer, Niklaus Wirth
1981	—	`book`	The Science of Programming. David Gries
1980	J	`jnl`	Assignment and Procedure Call Proof Rules. ACM Trans. Program. Lang. Syst. David Gries, Gary Levin
1980	J	`jnl`	Computing Fibonacci Numbers (and Similarly Defined Functions) in Log Time. Inf. Process. Lett. David Gries, Gary Levin
1980	J	`jnl`	Controlled Density Sorting. Inf. Process. Lett. Robert Melville, David Gries
1980	—	`conf`	Educating the Programmer: Notation, Proofs and the Development of Programs. IFIP Congress David Gries
1980	J	`jnl`	Eliminating the chaff. ACM SIGSOFT Softw. Eng. Notes David Gries
1979	J	`jnl`	Is Sometimes Ever Better Than Alway? ACM Trans. Program. Lang. Syst. David Gries
1979	J	`jnl`	The Schorr-Waite Graph Marking Algorithm. Acta Informatica David Gries
1978	J	`jnl`	A Linear Sieve Algorithm for Finding Prime Numbers. Commun. ACM David Gries, Jayadev Misra
1978	J	`jnl`	ACM SIGPLAN history of programming languages conference ALGOL 60 language summary. ACM SIGPLAN Notices David Gries
1978	—	`conf`	Basic Axiomatic Definitions. Program Construction David Gries
1978	—	`conf`	Current Ideas in Programming Methodology. Program Construction David Gries
1978	—	`conf`	Eliminating the Chaff. Program Construction David Gries
1978	—	`conf`	Is Sometimes Ever Better Than Always? Program Construction David Gries
1978	J	`jnl`	Language Facilities for Programming User-Computer Dialogues. IBM J. Res. Dev. Juan M. Lafuente, David Gries
1978	—	`conf`	Parallel Programming. GI Jahrestagung David Gries
1978	—	`conf`	The Multiple Assignment Statement. Program Construction David Gries
1978	J	`jnl`	The Multiple Assignment Statement. IEEE Trans. Software Eng. David Gries
1978	—	`conf`	The Schorr-Waite Graph Marking Algorithm. Program Construction David Gries
1977	J	`jnl`	An Exercise in Proving Parallel Programs Correct. Commun. ACM David Gries
1977	J	`jnl`	Correction to "An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs". IEEE Trans. Software Eng. David Gries
1977	J	`jnl`	Some Ideas on Data Types in High-Level Languages. Commun. ACM David Gries, Narain H. Gehani
1976	J	`jnl`	An Axiomatic Proof Technique for Parallel Programs I. Acta Informatica Susan S. Owicki, David Gries
1976	A*	`conf`	An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs (Abstract). ICSE David Gries
1976	J	`jnl`	An Illustration of Current Ideas on the Derivation of Correctness Proofs and Correct Programs. IEEE Trans. Software Eng. David Gries
1976	B	`conf`	Error Recovery and Correction - An Introduction to the Literature. Compiler Construction David Gries
1976	—	`conf`	Some Comments on Programming Language Design. Fachtagung über Programmiersprachen David Gries
1976	—	`conf`	Some Ideas on Data Types in High Level Languages. Conference on Data: Abstraction, Definition and Structure David Gries, Narain H. Gehani
1976	J	`jnl`	Verifying Properties of Parallel Programs: An Axiomatic Approach. Commun. ACM Susan S. Owicki, David Gries
1975	—	`conf`	An exercise in proving parallel programs correct. Language Hierarchies and Interfaces David Gries
1974	J	`jnl`	Panel discussion on structured programming. ACM SIGCSE Bull. David Gries, Priar W. Kerrighan, Donald R. Chand, John D. Woolley, Richard C. Holt, Thomas W.-S. Plum, Victor Pasill, Olivier Lecarme, Clinton R. Foulk
1974	A	`conf`	What should we teach in an introductory programming course? SIGCSE David Gries
1973	J	`jnl`	Describing an Algorithm by Hopcroft Acta Informatica David Gries
1972	J	`jnl`	On Classes of Program Schemata. SIAM J. Comput. Robert L. Constable, David Gries
1972	J	`jnl`	Program Schemes with Pushdown Stores. SIAM J. Comput. Steven Brown, David Gries, Thomas G. Szymanski
1972	J	`jnl`	Programming by Induction. Inf. Process. Lett. David Gries
1971	—	`book`	Compiler Construction for Digital Computers David Gries
1971	—	`conf`	On Classes of Program Schemata SWAT Robert L. Constable, David Gries
1968	J	`jnl`	Translator writing systems. Commun. ACM Jerome A. Feldman, David Gries
1968	J	`jnl`	Use of transition matrices in compiling. Commun. ACM David Gries
1967	J	`jnl`	The ALCOR Illinois 7090/7094 post mortem dump. Commun. ACM Rudolf Bayer, David Gries, Manfred Paul, Hans-Rüdiger Wiehle
1965	J	`jnl`	Some techniques used in the ALCOR ILLINOIS 7090. Commun. ACM David Gries, Manfred Paul, Hans-Rüdiger Wiehle