Edit Profile Gries, David Compute Distance To: Compute Author ID: gries.david Published as: Gries, D.; Gries, David Documents Indexed: 73 Publications since 1965, including 12 Books all top 5 Co-Authors 27 single-authored 5 Owicki, Susan S. 5 Schneider, Fred B. 4 Misra, Jayadev 3 Conway, Richard W. 3 Levin, Gary Marc 2 Constable, Robert Lee 2 Demers, Alan J. 2 Nguyen, Van-Dang 2 Xue, Jinyun 1 Aaron, Eric 1 Akl, Selim G. 1 Almstrum, Vicki L. 1 Bass, Charlie 1 Brown, Steven D. 1 Fay, Michael P. 1 Feijen, W. H. J. 1 Gehani, Narain H. 1 Gries, Paul 1 Jacobs, Dean 1 Martin, Alain J. 1 Melville, Robert C. 1 Pascoletti, Adriano 1 Reingold, Edward Martin 1 Sbriz, Luigi 1 Schlichting, Richard D. 1 Stojmenović, Ivan 1 Szymanski, Thomas G. 1 Udding, Jan Tijmen 1 Urban, Kenneth J. 1 van de Snepscheut, Jan L. A. 1 van Gasteren, Antonetta Johanna Maria 1 Wortman, David B. all top 5 Serials 10 Information Processing Letters 5 Acta Informatica 5 Science of Computer Programming 4 Communications of the ACM 3 IEEE Transactions on Software Engineering 2 SIAM Journal on Computing 2 ACM Transactions on Programming Languages and Systems 1 American Mathematical Monthly 1 BIT 1 Kiberneticheskiĭ Sbornik. Novaya Seriya 1 Journal of Logic and Computation 1 Distributed Computing all top 5 Fields 58 Computer science (68-XX) 5 Mathematical logic and foundations (03-XX) 4 General and overarching topics; collections (00-XX) 4 Combinatorics (05-XX) 3 Number theory (11-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 56 Publications have been cited 616 times in 536 Documents Cited by ▼ Year ▼ The science of programming. Zbl 0472.68003Gries, David 119 1981 An axiomatic proof technique for parallel programs. Zbl 0312.68011Owicki, Susan; Gries, David 90 1976 Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010Owicki, Susan; Gries, David 46 1976 Compiler construction for digital computers. Zbl 0302.68011Gries, David 46 1971 Finding repeated elements. Zbl 0497.68041Misra, J.; Gries, David 32 1982 A logical approach to discrete math. Zbl 0861.03001Gries, David; Schneider, Fred B. 31 1993 Describing an algorithm by Hopcroft. Zbl 0242.94042Gries, David 21 1973 On classes of program schemata. Zbl 0247.68031Constable, Robert L.; Gries, David 21 1972 A constructive proof of Vizing’s theorem. Zbl 0795.68157Misra, J.; Gries, David 17 1992 A proof technique for communicating sequential processes. Zbl 0463.68034Levin, Gary Marc; Gries, David 17 1981 Computing Fibonacci numbers (and similarly defined functions) in log time. Zbl 0452.68052Gries, David; Levin, Gary 15 1980 Characterizations of certain classes of norms. Zbl 0164.17603Gries, D. 15 1967 General correctness: A unification of partial and total correctness. Zbl 0559.68021Jacobs, Dean; Gries, David 12 1985 Assignment and procedure call proof rules. Zbl 0468.68006Gries, David; Levin, Gary 11 1980 A note on a standard strategy for developing loop invariants and loops. Zbl 0516.68008Gries, David 10 1982 Program schemes with pushdown stores. Zbl 0278.68068Brown, Steven; Gries, David; Szymanski, Thomas 10 1972 Some ideas on data types in high-level languages. Zbl 0358.68045Gries, David; Gehani, Narain 9 1977 Translator writing systems. Zbl 0162.48403Feldman, J.; Gries, D. 8 1968 Equational propositional logic. Zbl 0875.03034Gries, David; Schneider, Fred B. 7 1995 The science of programming. (4th printing). Zbl 0614.68002Gries, David 6 1987 An optimal parallel algorithm for generating combinations. Zbl 0689.68043Akl, Selim G.; Gries, David; Stojmenovic, Ivan 5 1989 A model and temporal proof system for networks of processes. Zbl 0598.68025Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan 5 1986 Behavior: A temporal approach to process modelling. Zbl 0606.68022Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan 4 1985 The Schorr-Waite graph marking algorithm. Zbl 0414.68015Gries, David 4 1979 A linear sieve algorithm for finding prime numbers. Zbl 0387.68030Gries, David; Misra, Jayadev 4 1978 An exercise in proving parallel programs correct. Zbl 0364.68007Gries, David 4 1977 K-M-P string matching revisited. Zbl 1339.68338Reingold, Edward M.; Urban, Kenneth J.; Gries, David 3 1997 Generating a random cyclic permutation. Zbl 0656.68076Gries, David; Xue, Jinyun 3 1988 Fault-tolerant broadcasts. Zbl 0534.68019Schneider, Fred B.; Gries, David; Schlichting, Richard D. 3 1984 An axiomatic proof technique for parallel programs. Zbl 0395.68015Owicki, Susan; Gries, David 3 1978 Some results on fields of values of a matrix. Zbl 0158.03503Gries, D.; Stoer, J. 3 1967 Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004Feijen, W. H. J. (ed.); van Gasteren, A. J. M. (ed.); Gries, David (ed.); Misra, J. (ed.) 2 1990 An algorithm for transitive reduction of an acyclic graph. Zbl 0678.68061Gries, David; Martin, Alain J.; van de Snepscheut, Jan L. A.; Udding, Jan Tijmen 2 1989 Is sometime ever better than alway? Zbl 0452.68012Gries, David 2 1979 The Schorr-Waite graph marking algorithm. Zbl 0414.68016Gries, David 2 1979 The multiple assignment statement. Zbl 0381.68017Gries, David 2 1978 On classes of program schemata. Zbl 0408.68019Constable, Robert L.; Gries, David 2 1977 Programming by induction. Zbl 0227.68006Gries, David 2 1972 Adding the everywhere operator to propositional logic. Zbl 0906.03015Gries, David; Schneider, Fred B. 1 1998 Documents mean more than just paper! Zbl 0894.68168Raman, T. V.; Gries, D. 1 1997 Foundations for calculational logic. Zbl 0929.03037Gries, David 1 1997 Teaching math more effectively, through calculational proofs. Zbl 0875.00012Gries, David; Schneider, Fred B. 1 1995 Developing a linear algorithm for cubing a cyclic permutation. Zbl 0678.68024Xue, Jinyun; Gries, David 1 1988 McLaren’s masterpiece. Zbl 0649.68031Gries, D.; Prins, J. F. 1 1987 Controlled density sorting. Zbl 0444.68050Melville, Robert; Gries, David 1 1980 An introduction to programming. A structured approach using PL/I and PL/C. 3rd ed. Zbl 0512.68004Conway, Richard; Gries, David 1 1979 Current ideas in programming methodology. Zbl 0457.68009Gries, David 1 1979 Basic axiomatic definitions. Zbl 0401.68001Gries, David 1 1979 Is sometimes ever better than always? Zbl 0399.68019Gries, David 1 1979 The multiple assignment statement. Zbl 0399.68013Gries, David 1 1979 Programming methodology. A collection of articles by members of IFIP WG2.3. Zbl 0392.00013Gries, David (ed.) 1 1978 Parallel programming. Zbl 0387.68019Gries, David 1 1978 Correction to ”An illustration of current ideas on the derivation of correctness proofs and correct programs”. Zbl 0358.68032Gries, David 1 1977 An exercise in proving parallel programs correct. Zbl 0361.68014Gries, D. 1 1976 An illustration of current ideas on the derivation of correctness proofs and correct programs. Zbl 0351.68006Gries, David 1 1976 Some techniques used in the ALCOR ILLINOIS 7090. Zbl 0141.14403Gries, D.; Paul, M.; Wiehle, H. R. 1 1965 Adding the everywhere operator to propositional logic. Zbl 0906.03015Gries, David; Schneider, Fred B. 1 1998 K-M-P string matching revisited. Zbl 1339.68338Reingold, Edward M.; Urban, Kenneth J.; Gries, David 3 1997 Documents mean more than just paper! Zbl 0894.68168Raman, T. V.; Gries, D. 1 1997 Foundations for calculational logic. Zbl 0929.03037Gries, David 1 1997 Equational propositional logic. Zbl 0875.03034Gries, David; Schneider, Fred B. 7 1995 Teaching math more effectively, through calculational proofs. Zbl 0875.00012Gries, David; Schneider, Fred B. 1 1995 A logical approach to discrete math. Zbl 0861.03001Gries, David; Schneider, Fred B. 31 1993 A constructive proof of Vizing’s theorem. Zbl 0795.68157Misra, J.; Gries, David 17 1992 Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004Feijen, W. H. J. (ed.); van Gasteren, A. J. M. (ed.); Gries, David (ed.); Misra, J. (ed.) 2 1990 An optimal parallel algorithm for generating combinations. Zbl 0689.68043Akl, Selim G.; Gries, David; Stojmenovic, Ivan 5 1989 An algorithm for transitive reduction of an acyclic graph. Zbl 0678.68061Gries, David; Martin, Alain J.; van de Snepscheut, Jan L. A.; Udding, Jan Tijmen 2 1989 Generating a random cyclic permutation. Zbl 0656.68076Gries, David; Xue, Jinyun 3 1988 Developing a linear algorithm for cubing a cyclic permutation. Zbl 0678.68024Xue, Jinyun; Gries, David 1 1988 The science of programming. (4th printing). Zbl 0614.68002Gries, David 6 1987 McLaren’s masterpiece. Zbl 0649.68031Gries, D.; Prins, J. F. 1 1987 A model and temporal proof system for networks of processes. Zbl 0598.68025Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan 5 1986 General correctness: A unification of partial and total correctness. Zbl 0559.68021Jacobs, Dean; Gries, David 12 1985 Behavior: A temporal approach to process modelling. Zbl 0606.68022Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan 4 1985 Fault-tolerant broadcasts. Zbl 0534.68019Schneider, Fred B.; Gries, David; Schlichting, Richard D. 3 1984 Finding repeated elements. Zbl 0497.68041Misra, J.; Gries, David 32 1982 A note on a standard strategy for developing loop invariants and loops. Zbl 0516.68008Gries, David 10 1982 The science of programming. Zbl 0472.68003Gries, David 119 1981 A proof technique for communicating sequential processes. Zbl 0463.68034Levin, Gary Marc; Gries, David 17 1981 Computing Fibonacci numbers (and similarly defined functions) in log time. Zbl 0452.68052Gries, David; Levin, Gary 15 1980 Assignment and procedure call proof rules. Zbl 0468.68006Gries, David; Levin, Gary 11 1980 Controlled density sorting. Zbl 0444.68050Melville, Robert; Gries, David 1 1980 The Schorr-Waite graph marking algorithm. Zbl 0414.68015Gries, David 4 1979 Is sometime ever better than alway? Zbl 0452.68012Gries, David 2 1979 The Schorr-Waite graph marking algorithm. Zbl 0414.68016Gries, David 2 1979 An introduction to programming. A structured approach using PL/I and PL/C. 3rd ed. Zbl 0512.68004Conway, Richard; Gries, David 1 1979 Current ideas in programming methodology. Zbl 0457.68009Gries, David 1 1979 Basic axiomatic definitions. Zbl 0401.68001Gries, David 1 1979 Is sometimes ever better than always? Zbl 0399.68019Gries, David 1 1979 The multiple assignment statement. Zbl 0399.68013Gries, David 1 1979 A linear sieve algorithm for finding prime numbers. Zbl 0387.68030Gries, David; Misra, Jayadev 4 1978 An axiomatic proof technique for parallel programs. Zbl 0395.68015Owicki, Susan; Gries, David 3 1978 The multiple assignment statement. Zbl 0381.68017Gries, David 2 1978 Programming methodology. A collection of articles by members of IFIP WG2.3. Zbl 0392.00013Gries, David (ed.) 1 1978 Parallel programming. Zbl 0387.68019Gries, David 1 1978 Some ideas on data types in high-level languages. Zbl 0358.68045Gries, David; Gehani, Narain 9 1977 An exercise in proving parallel programs correct. Zbl 0364.68007Gries, David 4 1977 On classes of program schemata. Zbl 0408.68019Constable, Robert L.; Gries, David 2 1977 Correction to ”An illustration of current ideas on the derivation of correctness proofs and correct programs”. Zbl 0358.68032Gries, David 1 1977 An axiomatic proof technique for parallel programs. Zbl 0312.68011Owicki, Susan; Gries, David 90 1976 Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010Owicki, Susan; Gries, David 46 1976 An exercise in proving parallel programs correct. Zbl 0361.68014Gries, D. 1 1976 An illustration of current ideas on the derivation of correctness proofs and correct programs. Zbl 0351.68006Gries, David 1 1976 Describing an algorithm by Hopcroft. Zbl 0242.94042Gries, David 21 1973 On classes of program schemata. Zbl 0247.68031Constable, Robert L.; Gries, David 21 1972 Program schemes with pushdown stores. Zbl 0278.68068Brown, Steven; Gries, David; Szymanski, Thomas 10 1972 Programming by induction. Zbl 0227.68006Gries, David 2 1972 Compiler construction for digital computers. Zbl 0302.68011Gries, David 46 1971 Translator writing systems. Zbl 0162.48403Feldman, J.; Gries, D. 8 1968 Characterizations of certain classes of norms. Zbl 0164.17603Gries, D. 15 1967 Some results on fields of values of a matrix. Zbl 0158.03503Gries, D.; Stoer, J. 3 1967 Some techniques used in the ALCOR ILLINOIS 7090. Zbl 0141.14403Gries, D.; Paul, M.; Wiehle, H. R. 1 1965 all cited Publications top 5 cited Publications all top 5 Cited by 821 Authors 13 Hesselink, Wim H. 9 Gries, David 9 Mili, Ali 7 Er, Mingcheng 6 de Boer, Frank S. 6 de Roever, Willem-Paul 5 Anisimov, Anatoly V. 5 Back, Ralph-Johan 5 Berghammer, Rudolf 5 Dovland, Johan 5 Johnsen, Einar Broch 4 Backhouse, Roland C. 4 Bijlsma, Alex 4 Brookes, Stephen D. 4 Colvin, Robert J. 4 Desharnais, Jules 4 Francez, Nissim 4 Guttmann, Walter 4 Hayes, Ian J. 4 He, Meng 4 Jones, Cliff B. 4 Kfoury, Assaf J. 4 Lavrič, Boris 4 Leino, K. Rustan M. 4 Olderog, Ernst-Rüdiger 4 Owe, Olaf 4 Steffen, Martin 4 Tirthapura, Srikanta 4 von Wright, Joachim 3 Ahrendt, Wolfgang 3 Apt, Krzysztof Rafal 3 Cohen, Jacques 3 Constable, Robert Lee 3 Dromey, R. Geoff 3 Duan, Zhenhua 3 Ghardallou, Wided 3 Hoare, C. A. R. Tony 3 Labed Jilani, Lamia 3 Lahiri, Bibudh 3 Louhichi, Asma 3 Marques de Sá, Eduardo 3 Milner, Robin 3 Morris, Joseph M. 3 Mraihi, Olfa 3 Munro, J. Ian 3 Namjoshi, Kedar S. 3 Phillips, Jeff M. 3 Schröder, Lutz 3 Soundararajan, Neelam 3 Stewart, Iain A. 3 Urzyczyn, Paweł 3 Xue, Jinyun 3 Zhang, Qin 2 Aharon, Shir 2 Baeten, Jos C. M. 2 Bergstra, Jan A. 2 Berztiss, Alfs 2 Boudriga, Noureddine A. 2 Boute, Raymond T. 2 Brink, Chris 2 Broy, Manfred 2 Bsaïes, Khaled 2 Cachera, David 2 Cafaro, Massimo 2 Chaki, Sagar 2 Chaudhari, Dipak L. 2 Corrêa, Ricardo Cordeiro 2 Cousot, Patrick 2 da Rocha Pinto, Pedro 2 Damani, Om P. 2 de Figueiredo, Celina M. Herrera 2 de Lucena, Carlos José Pereira 2 Dinsdale-Young, Thomas 2 Dongol, Brijesh 2 Dorsch, Ulrich 2 Dyba, Martin 2 Farias, Pablo M. S. 2 Fokkinga, Maarten M. 2 Furia, Carlo Alberto 2 Gagie, Travis 2 Garcia, Pedro 2 Gardner, Philippa Anne 2 Gouda, Mohamed G. 2 Groote, Jan Friso 2 Gurfinkel, Arie 2 Guzmán, Fernando 2 Han, Yijie 2 He, Jifeng 2 Hellmuth, Marc 2 Höfner, Peter 2 Homeier, Peter V. 2 Hooman, Jozef Johannes Maria 2 Januario, Tiago 2 Jeż, Artur 2 Kahl, Wolfram 2 Kaldewaij, Anne 2 Katz, Shmuel 2 Klimek, Radosław 2 Lee, Der-Tsai 2 Lee, Lap-Kei ...and 721 more Authors all top 5 Cited in 104 Serials 66 Theoretical Computer Science 64 Information Processing Letters 43 Formal Aspects of Computing 37 Acta Informatica 19 Software. Practice & Experience 14 Journal of Computer and System Sciences 13 Distributed Computing 10 Information and Computation 10 Journal of Logical and Algebraic Methods in Programming 8 Information Sciences 8 Science of Computer Programming 8 Linear Algebra and its Applications 8 Formal Methods in System Design 7 The Journal of Logic and Algebraic Programming 6 Computing 6 International Journal of Computer & Information Sciences 6 Cybernetics 6 Journal of Information & Optimization Sciences 5 Computers & Mathematics with Applications 5 BIT 5 BIT. Nordisk Tidskrift for Informationsbehandling 4 Discrete Applied Mathematics 4 Journal of Soviet Mathematics 4 Journal of Symbolic Computation 4 Journal of Computer Science and Technology 4 Cybernetics and Systems Analysis 3 Algebra Universalis 3 Algorithmica 3 International Journal of Parallel Programming 3 Journal of Parallel and Distributed Computing 3 MSCS. Mathematical Structures in Computer Science 3 International Journal of Computer Mathematics 3 Annals of Mathematics and Artificial Intelligence 3 Sādhanā 2 Computer Methods in Applied Mechanics and Engineering 2 Linear and Multilinear Algebra 2 Fuzzy Sets and Systems 2 Journal of Combinatorial Theory. Series B 2 Mathematical Systems Theory 2 SIAM Journal on Computing 2 Studia Logica 2 Annals of Pure and Applied Logic 2 Journal of Automated Reasoning 2 Journal of Applied Non-Classical Logics 2 Journal of Functional Programming 2 Theory of Computing Systems 2 Journal of Combinatorial Optimization 2 Data Mining and Knowledge Discovery 2 Journal of Discrete Mathematical Sciences & Cryptography 2 ACM Transactions on Computational Logic 2 Journal of Discrete Algorithms 2 International Journal of Parallel, Emergent and Distributed Systems 2 Logical Methods in Computer Science 2 Algorithms 2 Computer Science Review 1 ACM Computing Surveys 1 Artificial Intelligence 1 Computer Physics Communications 1 Communications on Pure and Applied Mathematics 1 Discrete Mathematics 1 International Journal of Control 1 International Journal of Mathematical Education in Science and Technology 1 International Journal of Systems Science 1 Journal of Mathematical Biology 1 Mathematical Notes 1 Periodica Mathematica Hungarica 1 ACM Transactions on Database Systems 1 Applied Mathematics and Computation 1 Journal of Computational and Applied Mathematics 1 Journal of Economic Theory 1 Journal of Philosophical Logic 1 Journal of Pure and Applied Algebra 1 Kybernetes 1 Kybernetika 1 Numerische Mathematik 1 Programming and Computer Software 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 1 Combinatorica 1 Physica D 1 Computers & Operations Research 1 Mathematical and Computer Modelling 1 Journal of Scientific Computing 1 Annals of Operations Research 1 Random Structures & Algorithms 1 Computational Geometry 1 International Journal of Foundations of Computer Science 1 European Journal of Operational Research 1 RAIRO. Informatique Théorique et Applications 1 Advances in Engineering Software 1 Computational and Applied Mathematics 1 Reliable Computing 1 Parallel Algorithms and Applications 1 Positivity 1 Annals of Combinatorics 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Higher-Order and Symbolic Computation 1 International Journal of Applied Mathematics and Computer Science 1 Integers 1 Statistical Analysis and Data Mining ...and 4 more Serials all top 5 Cited in 32 Fields 482 Computer science (68-XX) 82 Mathematical logic and foundations (03-XX) 21 Combinatorics (05-XX) 16 Number theory (11-XX) 14 Numerical analysis (65-XX) 12 Linear and multilinear algebra; matrix theory (15-XX) 7 Operations research, mathematical programming (90-XX) 7 Information and communication theory, circuits (94-XX) 5 Order, lattices, ordered algebraic structures (06-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 General and overarching topics; collections (00-XX) 4 General algebraic systems (08-XX) 4 Statistics (62-XX) 3 Category theory; homological algebra (18-XX) 3 Sequences, series, summability (40-XX) 3 Convex and discrete geometry (52-XX) 2 Associative rings and algebras (16-XX) 2 Functions of a complex variable (30-XX) 2 Probability theory and stochastic processes (60-XX) 2 Biology and other natural sciences (92-XX) 2 Mathematics education (97-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Special functions (33-XX) 1 Partial differential equations (35-XX) 1 Difference and functional equations (39-XX) 1 Functional analysis (46-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 General topology (54-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Citations by Year