Author: David Gries

Publications

Publication period start: 1965
Publication period end: 2006
Number of co-authors: 43

Co-authors

Number of publications with favourite co-authors
Peter J. Denning
2
Paul Young
4
Dorothy Marsh
8

Productive Colleagues

Most productive colleagues in number of publications
David Lorge Parnas
29
Robert L. Glass
48
Peter J. Denning
64

Publications

Gries, David (2006): What Have We Not Learned about Teaching Programming?. In IEEE Computer, 39 (10) pp. 81-82. http://doi.ieeecomputersociety.org/10.1109/MC.2006.364

Boyer, Robert S., Feijen, W. H. J., Gries, David, Hoare, C. A. R., Misra, Jayadev, Moore, J., Richards, H. (2002): In memoriam: Edsger W. Dijkstra 1930-2002. In Communications of the ACM, 45 (10) pp. 21-22. http://doi.acm.org/10.1145/570907.570921

Raman, T. V., Gries, David (1996): Interactive Audio Documents. In J. Vis. Lang. Comput., 7 (1) pp. 97-108.

Bowen, Jonathan P., Butler, Ricky W., Dill, David L., Glass, Robert L., Gries, David, Hall, Anthony, Hinchey, Michael G., Holloway, C. Michael, Jackson, Daniel, Jones, Cliff B., Lutz, Michael J., Parnas, David Lorge, Rushby, John M., Wing, Jeannette M., Zave, Pamela (1996): An Invitation to Formal Methods. In IEEE Computer, 29 (4) pp. 16-30.

Gries, David, Marsh, Dorothy (1992): The 1990-91 Taulbee Survey Report. In IEEE Computer, 25 (11) pp. 69-75.

Gries, David, Marsh, Dorothy (1992): The 1989-90 Taulbee Survey. In Communications of the ACM, 35 (1) pp. 132-143.

Gries, David (1991): Teaching Calculation and Discrimination: A More Effective Curriculum. In Communications of the ACM, 34 (3) pp. 44-55.

Gries, David, Marsh, Dorothy (1990): The 1988-89 Taulbee Survey Report. In IEEE Computer, 23 (10) pp. 65-71.

Gries, David, Marsh, Dorothy (1990): The 1988-89 Taulbee Survey Report. In Communications of the ACM, 33 (9) pp. 160-169.

Gries, David, Walker, Terry, Young, Paul (1989): The 1988 Snowbird Report: A Discipline Matures. In Communications of the ACM, 32 (3) pp. 294-297.

Gries, David, Marsh, Dorothy (1989): The 1987-1988 Taulbee Survey. In Communications of the ACM, 32 (10) pp. 1217-1224.

Gries, David, Marsh, Dorothy (1989): The 1987-88 Taulbee Survey Report. In IEEE Computer, 22 (11) pp. 49-56.

Denning, Peter J., Comer, Douglas, Gries, David, Mulder, Michael C., Tucker, Allen B., Turner, A. Joe, Young, Paul R. (1989): Computing as a Discipline. In IEEE Computer, 22 (2) pp. 63-70.

Eisenberg, Ted, Gries, David, Hartmanis, Juris, Holcomb, Don, Lynn, M. Stuart, Santoro, Thomas (1989): The Cornell Commission: On Morris and the Worm. In Communications of the ACM, 32 (6) pp. 706-709.

Denning, Peter J., Comer, Douglas, Gries, David, Mulder, Michael C., Tucker, Allen B., Turner, A. Joe, Young, Paul R. (1989): Computing as a Discipline. In Communications of the ACM, 32 (1) pp. 9-23.

Gries, David, Walker, Terry, Young, Paul (1989): 1988 Snowbird Report: A Discipline Matures. In IEEE Computer, 22 (2) pp. 72-75.

Gries, David, Marsh, Dorothy (1988): The 1986-1987 Taulbee Survey. In IEEE Computer, 21 (8) pp. 53-61.

Gries, David, Marsh, Dorothy (1988): The 1986-1987 Taulbee Survey. In Communications of the ACM, 31 (8) pp. 984-991.

Gries, David (1987): The 1985-1986 Taulbee Survey. In Communications of the ACM, 30 (8) pp. 688-694.

Gries, David, Miller, Raymond E., Ritchie, Robert W., Young, Paul (1986): Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. In Communications of the ACM, 29 (9) pp. 870-878.

Gries, David (1986): The 1984-1985 Taulbee Survey. In Communications of the ACM, 29 (10) pp. 972-977.

Gries, David, Miller, Raymond E., Ritchie, Robert W., Young, Paul (1986): Imbalance Between Growth and Funding in Academic Computing Science: Two Trends Colliding. In IEEE Computer, 19 (9) pp. 70-76.

Gries, David, Misra, Jayadev (1978): A Linear Sieve Algorithm for Finding Prime Numbers. In Communications of the ACM, 21 (12) pp. 999-1003.

Gries, David, Gehani, Narain H. (1977): Some Ideas on Data Types in High-Level Languages. In Communications of the ACM, 20 (6) pp. 414-420.

Gries, David (1977): An Exercise in Proving Parallel Programs Correct. In Communications of the ACM, 20 (12) pp. 921-930.

Owicki, Susan S., Gries, David (1976): Verifying Properties of Parallel Programs: An Axiomatic Approach. In Communications of the ACM, 19 (5) pp. 279-285.

Gries, David (1968): Use of transition matrices in compiling. In Communications of the ACM, 11 (1) pp. 26-34. http://doi.acm.org/10.1145/362851.362872

Feldman, Jerome A., Gries, David (1968): Translator writing systems. In Communications of the ACM, 11 (2) pp. 77-113. http://doi.acm.org/10.1145/362896.362902

Bayer, Rudolf, Gries, David, Paul, Manfred, Wiehle, Hans-Rüdiger (1967): The ALCOR Illinois 7090/7094 post mortem dump. In Communications of the ACM, 10 (12) pp. 804-808. http://doi.acm.org/10.1145/363848.363866

Gries, David, Paul, Manfred, Wiehle, Hans-Rüdiger (1965): Some techniques used in the ALCOR ILLINOIS 7090. In Communications of the ACM, 8 (8) pp. 496-500. http://doi.acm.org/10.1145/365474.365511

Raman, T. V., Gries, David (1994): Interactive Audio Documents. In: First Annual ACM Conference on Assistive Technologies , 1994, . pp. 62-68. http://www.acm.org/pubs/articles/proceedings/assets/191028/p62-raman/p62-raman.pdf