Edit Profile (opens in new tab) Gries, David Compute Distance To: Compute Author ID: gries.david Published as: Gries, David Documents Indexed: 70 Publications since 1965, including 10 Books 3 Contributions as Editor · 1 Further Contribution Co-Authors: 32 Co-Authors with 36 Joint Publications 419 Co-Co-Authors all top 5 Co-Authors 30 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 Stoer, Josef 2 Xue, Jinyun 1 Aaron, Eric 1 Akl, Selim G. 1 Almstrum, Vicki L. 1 Bass, Charlie 1 Brown, Steven D. 1 Demchenko, L. I. 1 Fay, Michael P. 1 Feijen, W. H. J. 1 Feldman, Jerome A. 1 Gehani, Narain H. 1 Goncharova, L. I. 1 Gries, Paul 1 Jacobs, Dean 1 Kowal, V. I. 1 Lafuente, Juan M. 1 Lavrov, Svyatoslav Sergeevich 1 Martin, Alain J. 1 Maryashkin, N. J. 1 Melville, Robert C. 1 Pankevich, V. 1 Pascoletti, Adriano 1 Prins, Jan F. 1 Prukhden, Y. I. 1 Raman, T. V. 1 Reingold, Edward Martin 1 Sbriz, Luigi 1 Schlichting, Richard D. 1 Simont, S. L. 1 Smorodin, A. I. 1 Stanevichnos’, A. I. A. 1 Stojmenović, Ivan 1 Szymanski, Thomas G. 1 Tamm, B. G. 1 Udding, Jan Tijmen 1 Urban, Kenneth J. 1 van de Snepscheut, Jan L. A. 1 van Gasteren, Antonetta Johanna Maria 1 Wiehle, Hans R. 1 Wortman, David B. all top 5 Serials 10 Information Processing Letters 7 Communications of the ACM 6 Science of Computer Programming 5 Acta Informatica 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 Numerische Mathematik 1 SIAM Journal on Numerical Analysis 1 Mathematical and Computer Modelling 1 Journal of Logic and Computation 1 IBM Journal of Research and Development 1 Distributed Computing all top 5 Fields 64 Computer science (68-XX) 5 General and overarching topics; collections (00-XX) 5 Mathematical logic and foundations (03-XX) 4 Combinatorics (05-XX) 3 Number theory (11-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 53 Publications have been cited 615 times in 537 Documents Cited by ▼ Year ▼ The science of programming. Zbl 0472.68003Gries, David 114 1981 An axiomatic proof technique for parallel programs. Zbl 0312.68011Owicki, Susan; Gries, David 96 1976 Compiler construction for digital computers. Zbl 0302.68011Gries, David 44 1971 Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010Owicki, Susan; Gries, David 42 1976 Finding repeated elements. Zbl 0497.68041Misra, J.; Gries, David 37 1982 A logical approach to discrete math. Zbl 0861.03001Gries, David; Schneider, Fred B. 30 1993 Describing an algorithm by Hopcroft. Zbl 0242.94042Gries, David 23 1973 A constructive proof of Vizing’s theorem. Zbl 0795.68157Misra, J.; Gries, David 20 1992 On classes of program schemata. Zbl 0247.68031Constable, Robert L.; Gries, David 20 1972 A proof technique for communicating sequential processes. Zbl 0463.68034Levin, Gary Marc; Gries, David 18 1981 Characterizations of certain classes of norms. Zbl 0164.17603Gries, David 15 1967 Computing Fibonacci numbers (and similarly defined functions) in log time. Zbl 0452.68052Gries, David; Levin, Gary 15 1980 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, Jerome; Gries, David 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 A linear sieve algorithm for finding prime numbers. Zbl 0387.68030Gries, David; Misra, Jayadev 5 1978 The Schorr-Waite graph marking algorithm. Zbl 0414.68015Gries, David 4 1979 Behavior: A temporal approach to process modelling. Zbl 0606.68022Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan 3 1985 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 Some results on fields of values of a matrix. Zbl 0158.03503Gries, D.; Stoer, J. 3 1967 An axiomatic proof technique for parallel programs. Zbl 0395.68015Owicki, Susan; Gries, David 3 1978 An exercise in proving parallel programs correct. Zbl 0364.68007Gries, David 3 1977 K-M-P string matching revisited. Zbl 1339.68338Reingold, Edward M.; Urban, Kenneth J.; Gries, David 3 1997 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 Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004 2 1990 On classes of program schemata. Zbl 0408.68019Constable, Robert L.; Gries, David 2 1977 Is sometime ever better than alway? Zbl 0452.68012Gries, David 2 1979 The multiple assignment statement. Zbl 0381.68017Gries, David 2 1978 Programming by induction. Zbl 0227.68006Gries, David 2 1972 McLaren’s masterpiece. Zbl 0649.68031Gries, D.; Prins, J. F. 1 1987 Developing a linear algorithm for cubing a cyclic permutation. Zbl 0678.68024Xue, Jinyun; Gries, David 1 1988 Documents mean more than just paper! Zbl 0894.68168Raman, T. V.; Gries, D. 1 1997 Teaching math more effectively, through calculational proofs. Zbl 0875.00012Gries, David; Schneider, Fred B. 1 1995 Some techniques used in the ALCOR ILLINOIS 7090. Zbl 0141.14403Gries, D.; Paul, M.; Wiehle, H. R. 1 1965 Foundations for calculational logic. Zbl 0929.03037Gries, David 1 1997 Basic axiomatic definitions. Zbl 0401.68001Gries, David 1 1979 The multiple assignment statement. Zbl 0399.68013Gries, David 1 1979 Is sometimes ever better than always? Zbl 0399.68019Gries, David 1 1979 The Schorr-Waite graph marking algorithm. Zbl 0414.68016Gries, David 1 1979 Controlled density sorting. Zbl 0444.68050Melville, Robert; Gries, David 1 1980 Current ideas in programming methodology. Zbl 0457.68009Gries, David 1 1979 An illustration of current ideas on the derivation of correctness proofs and correct programs. Zbl 0351.68006Gries, David 1 1976 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, David 1 1976 Adding the everywhere operator to propositional logic. Zbl 0906.03015Gries, David; Schneider, Fred B. 1 1998 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. 30 1993 A constructive proof of Vizing’s theorem. Zbl 0795.68157Misra, J.; Gries, David 20 1992 Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004 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 3 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 37 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 114 1981 A proof technique for communicating sequential processes. Zbl 0463.68034Levin, Gary Marc; Gries, David 18 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 Basic axiomatic definitions. Zbl 0401.68001Gries, David 1 1979 The multiple assignment statement. Zbl 0399.68013Gries, David 1 1979 Is sometimes ever better than always? Zbl 0399.68019Gries, David 1 1979 The Schorr-Waite graph marking algorithm. Zbl 0414.68016Gries, David 1 1979 Current ideas in programming methodology. Zbl 0457.68009Gries, David 1 1979 A linear sieve algorithm for finding prime numbers. Zbl 0387.68030Gries, David; Misra, Jayadev 5 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 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 3 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 96 1976 Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010Owicki, Susan; Gries, David 42 1976 An illustration of current ideas on the derivation of correctness proofs and correct programs. Zbl 0351.68006Gries, David 1 1976 An exercise in proving parallel programs correct. Zbl 0361.68014Gries, David 1 1976 Describing an algorithm by Hopcroft. Zbl 0242.94042Gries, David 23 1973 On classes of program schemata. Zbl 0247.68031Constable, Robert L.; Gries, David 20 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 44 1971 Translator writing systems. Zbl 0162.48403Feldman, Jerome; Gries, David 8 1968 Characterizations of certain classes of norms. Zbl 0164.17603Gries, David 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 830 Authors 13 Hesselink, Wim H. 10 Mili, Ali 8 Gries, David 7 de Boer, Frank S. 7 Er, Mingcheng 5 Anisimov, Anatoly V. 5 Back, Ralph-Johan 5 Dovland, Johan 5 Johnsen, Einar Broch 4 Backhouse, Roland C. 4 Berghammer, Rudolf 4 Bijlsma, Alex 4 de Roever, Willem-Paul 4 Desharnais, Jules 4 Francez, Nissim 4 Guttmann, Walter 4 He, Meng 4 Kfoury, Assaf J. 4 Lavrič, Boris 4 Leino, K. Rustan M. 4 Munro, J. Ian 4 Olderog, Ernst-Rüdiger 4 Owe, Olaf 4 Schröder, Lutz 4 Steffen, Martin 4 Stojmenović, Ivan 4 Tirthapura, Srikanta 3 Ahrendt, Wolfgang 3 Apt, Krzysztof Rafal 3 Bergstra, Jan A. 3 Boute, Raymond T. 3 Cafaro, Massimo 3 Cohen, Jacques 3 Colvin, Robert J. 3 Constable, Robert Lee 3 Dongol, Brijesh 3 Dromey, R. Geoff 3 Gagie, Travis 3 Ghardallou, Wided 3 Hayes, Ian J. 3 Hoare, C. A. R. Tony 3 Labed Jilani, Lamia 3 Lahiri, Bibudh 3 Louhichi, Asma 3 Milius, Stefan 3 Milner, Robin 3 Morris, Joseph M. 3 Mraihi, Olfa 3 Namjoshi, Kedar S. 3 Navarro, Gonzalo 3 Phillips, Jeff M. 3 Ponse, Alban 3 Pulimeno, Marco 3 Soundararajan, Neelam 3 Stewart, Iain A. 3 Urzyczyn, Paweł 3 Wißmann, Thorsten 3 Xue, Jinyun 3 Zhang, Qin 2 Aharon, Shir 2 Baeten, Jos C. M. 2 Berstel, Jean 2 Berztiss, Alfs 2 Boasson, Luc 2 Boudriga, Noureddine A. 2 Brink, Chris 2 Bsaïes, Khaled 2 Cachera, David 2 Carton, Olivier 2 Chaki, Sagar 2 Chaudhari, Dipak L. 2 Corrêa, Ricardo Cordeiro 2 Cousot, Patrick 2 Damani, Om P. 2 de Figueiredo, Celina M. Herrera 2 de Lucena, Carlos José Pereira 2 Doherty, Simon 2 Dorsch, Ulrich 2 Duan, Zhenhua 2 Dyba, Martin 2 Epicoco, Italo 2 Farias, Pablo M. S. 2 Furia, Carlo Alberto 2 Garcia, Pedro 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 Hoey, James 2 Höfner, Peter 2 Homeier, Peter V. 2 Hooman, Jozef Johannes Maria 2 Huang, Zengfeng 2 Januario, Tiago 2 Jeż, Artur 2 Jones, Cliff B. 2 Kahl, Wolfram ...and 730 more Authors all top 5 Cited in 108 Serials 64 Theoretical Computer Science 60 Information Processing Letters 45 Formal Aspects of Computing 37 Acta Informatica 19 Software. Practice & Experience 13 Distributed Computing 11 Journal of Computer and System Sciences 11 Journal of Logical and Algebraic Methods in Programming 10 Information and Computation 8 Information Sciences 8 Science of Computer Programming 8 Formal Methods in System Design 7 Computing 7 Linear Algebra and its Applications 6 Cybernetics 6 Journal of Information & Optimization Sciences 6 The Journal of Logic and Algebraic Programming 5 BIT 5 International Journal of Computer & Information Sciences 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 Algorithmica 4 Cybernetics and Systems Analysis 3 Computers & Mathematics with Applications 3 Algebra Universalis 3 International Journal of Parallel Programming 3 Journal of Automated Reasoning 3 Journal of Parallel and Distributed Computing 3 MSCS. Mathematical Structures in Computer Science 3 International Journal of Computer Mathematics 3 Journal of Applied Non-Classical Logics 3 Journal of Functional Programming 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 Theory of Computing Systems 2 Journal of Combinatorial Optimization 2 Data Mining and Knowledge Discovery 2 Journal of Discrete Mathematical Sciences & Cryptography 2 Journal of Machine Learning Research (JMLR) 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 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 Computers & Operations Research 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 SIAM Review 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 International Journal of Computational Fluid Dynamics 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 Fundamenta Informaticae 1 Integers ...and 8 more Serials all top 5 Cited in 33 Fields 481 Computer science (68-XX) 79 Mathematical logic and foundations (03-XX) 26 Combinatorics (05-XX) 16 Number theory (11-XX) 16 Numerical analysis (65-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 8 Operations research, mathematical programming (90-XX) 7 Information and communication theory, circuits (94-XX) 6 Order, lattices, ordered algebraic structures (06-XX) 4 General algebraic systems (08-XX) 4 Statistics (62-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Mathematics education (97-XX) 3 General and overarching topics; collections (00-XX) 3 Category theory; homological algebra (18-XX) 3 Sequences, series, summability (40-XX) 3 Probability theory and stochastic processes (60-XX) 3 Biology and other natural sciences (92-XX) 2 Associative rings and algebras (16-XX) 2 Real functions (26-XX) 2 Functions of a complex variable (30-XX) 2 Partial differential equations (35-XX) 2 Convex and discrete geometry (52-XX) 1 History and biography (01-XX) 1 Group theory and generalizations (20-XX) 1 Special functions (33-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 Mechanics of deformable solids (74-XX) 1 Quantum theory (81-XX) 1 Systems theory; control (93-XX) Citations by Year