The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

David Gries: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. David Gries
    An exercise in proving parallel programs correct. [Citation Graph (0, 0)][DBLP]
    Language Hierarchies and Interfaces, 1975, pp:57-81 [Conf]
  6. David Gries
    Error Recovery and Correction - An Introduction to the Literature. [Citation Graph (0, 0)][DBLP]
    Compiler Construction, 1976, pp:627-638 [Conf]
  7. David Gries
    Equational Logic as a Tool. [Citation Graph (0, 0)][DBLP]
    AMAST, 1995, pp:1-17 [Conf]
  8. T. V. Raman, David Gries
    Interactive audio documents. [Citation Graph (0, 0)][DBLP]
    ASSETS, 1994, pp:62-68 [Conf]
  9. David Gries
    Monotonicity in Calculational Proofs. [Citation Graph (0, 0)][DBLP]
    Correct System Design, 1999, pp:79-85 [Conf]
  10. David Gries
    Instilling Professionalism in Software Engineers. [Citation Graph (0, 0)][DBLP]
    CSEE, 1990, pp:1- [Conf]
  11. David Gries, Fred B. Schneider
    Teaching Logic as a Tool. [Citation Graph (0, 0)][DBLP]
    CSEE, 1994, pp:599-599 [Conf]
  12. Robert L. Constable, David Gries
    On Classes of Program Schemata [Citation Graph (0, 0)][DBLP]
    FOCS, 1971, pp:5-19 [Conf]
  13. David Gries
    Models for Re-Use. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1987, pp:373-375 [Conf]
  14. David Gries
    Parallel Programming. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1978, pp:214-233 [Conf]
  15. 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]
  16. David Gries
    My Thoughts on Software Engineering in the Late 1960s. [Citation Graph (0, 0)][DBLP]
    ICSE, 1989, pp:98- [Conf]
  17. David Gries
    Educating the Programmer: Notation, Proofs and the Development of Programs. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1980, pp:935-944 [Conf]
  18. David Gries
    Position Statement on the Foundations of Software Engineering. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:954- [Conf]
  19. 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]
  20. David Gries
    Data refinement and the transform. [Citation Graph (0, 0)][DBLP]
    NATO ASI DPD, 1996, pp:205-232 [Conf]
  21. David Gries
    The Schorr-Waite Graph Marking Algorithm. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:58-69 [Conf]
  22. David Gries
    Eliminating the Chaff. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:70-74 [Conf]
  23. David Gries
    Current Ideas in Programming Methodology. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:77-93 [Conf]
  24. David Gries
    Basic Axiomatic Definitions. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:94-99 [Conf]
  25. David Gries
    The Multiple Assignment Statement. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:100-112 [Conf]
  26. David Gries
    Is Sometimes Ever Better Than Always? [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:113-124 [Conf]
  27. 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]
  28. 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]
  29. David Gries
    Teaching calculational logic. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:9-10 [Conf]
  30. David Gries
    Some Comments on Programming Language Design. [Citation Graph (0, 0)][DBLP]
    Fachtagung über Programmiersprachen, 1976, pp:235-252 [Conf]
  31. 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]
  32. 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]
  33. 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]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. David Gries
    What Have We Not Learned about Teaching Programming? [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:175-178 [Conf]
  40. David Gries
    Describing an Algorithm by Hopcroft [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1973, v:2, n:, pp:97-109 [Journal]
  41. David Gries
    The Schorr-Waite Graph Marking Algorithm. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1979, v:11, n:, pp:223-232 [Journal]
  42. 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]
  43. 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]
  44. David Gries, Jinyun Xue
    Generating a Random Cycle Permutation. [Citation Graph (0, 0)][DBLP]
    BIT, 1988, v:28, n:3, pp:569-572 [Journal]
  45. 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]
  46. 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]
  47. 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]
  48. 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]
  49. Jerome A. Feldman, David Gries
    Translator writing systems. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1968, v:11, n:2, pp:77-113 [Journal]
  50. David Gries
    Use of transition matrices in compiling. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1968, v:11, n:1, pp:26-34 [Journal]
  51. 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]
  52. David Gries
    The 1984-1985 Taulbee Survey. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1986, v:29, n:10, pp:972-977 [Journal]
  53. David Gries
    The 1985-1986 Taulbee Survey. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1987, v:30, n:8, pp:688-694 [Journal]
  54. 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]
  55. 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]
  56. 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]
  57. 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]
  58. 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]
  59. 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]
  60. 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]
  61. 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]
  62. 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]
  63. 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]
  64. 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]
  65. 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]
  66. 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]
  67. 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]
  68. 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]
  69. 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]
  70. 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]
  71. 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]
  72. 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]
  73. 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]
  74. 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]
  75. 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]
  76. 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]
  77. 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]
  78. David Gries
    Programming by Induction. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1972, v:1, n:3, pp:100-107 [Journal]
  79. 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]
  80. 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]
  81. 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]
  82. 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]
  83. 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]
  84. 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]
  85. 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]
  86. 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]
  87. 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]
  88. 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]
  89. David Gries, Jan Prins
    McLaren's Masterpiece. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1987, v:8, n:2, pp:139-145 [Journal]
  90. Jayadev Misra, David Gries
    Finding Repeated Elements. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1982, v:2, n:2, pp:143-152 [Journal]
  91. 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]
  92. 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]
  93. 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]
  94. 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]
  95. 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]
  96. 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]
  97. 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]
  98. 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]
  99. 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]
  100. 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]
  101. David Gries
    The Multiple Assignment Statement. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1978, v:4, n:2, pp:89-93 [Journal]
  102. 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]

  103. A principled approach to teaching OO first. [Citation Graph (, )][DBLP]


  104. Problems with CS education. [Citation Graph (, )][DBLP]


Search in 9.742secs, Finished in 9.745secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002