×

zbMATH — the first resource for mathematics

Gries, David

Compute Distance To:
Author ID: gries.david Recent zbMATH articles by "Gries, David"
Published as: Gries, D.; Gries, David
Documents Indexed: 73 Publications since 1965, including 12 Books

Publications by Year

Citations contained in zbMATH

56 Publications have been cited 616 times in 536 Documents Cited by Year
The science of programming. Zbl 0472.68003
Gries, David
119
1981
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David
90
1976
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
46
1976
Compiler construction for digital computers. Zbl 0302.68011
Gries, David
46
1971
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
32
1982
A logical approach to discrete math. Zbl 0861.03001
Gries, David; Schneider, Fred B.
31
1993
Describing an algorithm by Hopcroft. Zbl 0242.94042
Gries, David
21
1973
On classes of program schemata. Zbl 0247.68031
Constable, Robert L.; Gries, David
21
1972
A constructive proof of Vizing’s theorem. Zbl 0795.68157
Misra, J.; Gries, David
17
1992
A proof technique for communicating sequential processes. Zbl 0463.68034
Levin, Gary Marc; Gries, David
17
1981
Computing Fibonacci numbers (and similarly defined functions) in log time. Zbl 0452.68052
Gries, David; Levin, Gary
15
1980
Characterizations of certain classes of norms. Zbl 0164.17603
Gries, D.
15
1967
General correctness: A unification of partial and total correctness. Zbl 0559.68021
Jacobs, Dean; Gries, David
12
1985
Assignment and procedure call proof rules. Zbl 0468.68006
Gries, David; Levin, Gary
11
1980
A note on a standard strategy for developing loop invariants and loops. Zbl 0516.68008
Gries, David
10
1982
Program schemes with pushdown stores. Zbl 0278.68068
Brown, Steven; Gries, David; Szymanski, Thomas
10
1972
Some ideas on data types in high-level languages. Zbl 0358.68045
Gries, David; Gehani, Narain
9
1977
Translator writing systems. Zbl 0162.48403
Feldman, J.; Gries, D.
8
1968
Equational propositional logic. Zbl 0875.03034
Gries, David; Schneider, Fred B.
7
1995
The science of programming. (4th printing). Zbl 0614.68002
Gries, David
6
1987
An optimal parallel algorithm for generating combinations. Zbl 0689.68043
Akl, Selim G.; Gries, David; Stojmenovic, Ivan
5
1989
A model and temporal proof system for networks of processes. Zbl 0598.68025
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
5
1986
Behavior: A temporal approach to process modelling. Zbl 0606.68022
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
4
1985
The Schorr-Waite graph marking algorithm. Zbl 0414.68015
Gries, David
4
1979
A linear sieve algorithm for finding prime numbers. Zbl 0387.68030
Gries, David; Misra, Jayadev
4
1978
An exercise in proving parallel programs correct. Zbl 0364.68007
Gries, David
4
1977
K-M-P string matching revisited. Zbl 1339.68338
Reingold, Edward M.; Urban, Kenneth J.; Gries, David
3
1997
Generating a random cyclic permutation. Zbl 0656.68076
Gries, David; Xue, Jinyun
3
1988
Fault-tolerant broadcasts. Zbl 0534.68019
Schneider, Fred B.; Gries, David; Schlichting, Richard D.
3
1984
An axiomatic proof technique for parallel programs. Zbl 0395.68015
Owicki, Susan; Gries, David
3
1978
Some results on fields of values of a matrix. Zbl 0158.03503
Gries, D.; Stoer, J.
3
1967
Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004
Feijen, 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.68061
Gries, David; Martin, Alain J.; van de Snepscheut, Jan L. A.; Udding, Jan Tijmen
2
1989
Is sometime ever better than alway? Zbl 0452.68012
Gries, David
2
1979
The Schorr-Waite graph marking algorithm. Zbl 0414.68016
Gries, David
2
1979
The multiple assignment statement. Zbl 0381.68017
Gries, David
2
1978
On classes of program schemata. Zbl 0408.68019
Constable, Robert L.; Gries, David
2
1977
Programming by induction. Zbl 0227.68006
Gries, David
2
1972
Adding the everywhere operator to propositional logic. Zbl 0906.03015
Gries, David; Schneider, Fred B.
1
1998
Documents mean more than just paper! Zbl 0894.68168
Raman, T. V.; Gries, D.
1
1997
Foundations for calculational logic. Zbl 0929.03037
Gries, David
1
1997
Teaching math more effectively, through calculational proofs. Zbl 0875.00012
Gries, David; Schneider, Fred B.
1
1995
Developing a linear algorithm for cubing a cyclic permutation. Zbl 0678.68024
Xue, Jinyun; Gries, David
1
1988
McLaren’s masterpiece. Zbl 0649.68031
Gries, D.; Prins, J. F.
1
1987
Controlled density sorting. Zbl 0444.68050
Melville, Robert; Gries, David
1
1980
An introduction to programming. A structured approach using PL/I and PL/C. 3rd ed. Zbl 0512.68004
Conway, Richard; Gries, David
1
1979
Current ideas in programming methodology. Zbl 0457.68009
Gries, David
1
1979
Basic axiomatic definitions. Zbl 0401.68001
Gries, David
1
1979
Is sometimes ever better than always? Zbl 0399.68019
Gries, David
1
1979
The multiple assignment statement. Zbl 0399.68013
Gries, David
1
1979
Programming methodology. A collection of articles by members of IFIP WG2.3. Zbl 0392.00013
Gries, David (ed.)
1
1978
Parallel programming. Zbl 0387.68019
Gries, David
1
1978
Correction to ”An illustration of current ideas on the derivation of correctness proofs and correct programs”. Zbl 0358.68032
Gries, David
1
1977
An exercise in proving parallel programs correct. Zbl 0361.68014
Gries, D.
1
1976
An illustration of current ideas on the derivation of correctness proofs and correct programs. Zbl 0351.68006
Gries, David
1
1976
Some techniques used in the ALCOR ILLINOIS 7090. Zbl 0141.14403
Gries, D.; Paul, M.; Wiehle, H. R.
1
1965
Adding the everywhere operator to propositional logic. Zbl 0906.03015
Gries, David; Schneider, Fred B.
1
1998
K-M-P string matching revisited. Zbl 1339.68338
Reingold, Edward M.; Urban, Kenneth J.; Gries, David
3
1997
Documents mean more than just paper! Zbl 0894.68168
Raman, T. V.; Gries, D.
1
1997
Foundations for calculational logic. Zbl 0929.03037
Gries, David
1
1997
Equational propositional logic. Zbl 0875.03034
Gries, David; Schneider, Fred B.
7
1995
Teaching math more effectively, through calculational proofs. Zbl 0875.00012
Gries, David; Schneider, Fred B.
1
1995
A logical approach to discrete math. Zbl 0861.03001
Gries, David; Schneider, Fred B.
31
1993
A constructive proof of Vizing’s theorem. Zbl 0795.68157
Misra, J.; Gries, David
17
1992
Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004
Feijen, 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.68043
Akl, Selim G.; Gries, David; Stojmenovic, Ivan
5
1989
An algorithm for transitive reduction of an acyclic graph. Zbl 0678.68061
Gries, David; Martin, Alain J.; van de Snepscheut, Jan L. A.; Udding, Jan Tijmen
2
1989
Generating a random cyclic permutation. Zbl 0656.68076
Gries, David; Xue, Jinyun
3
1988
Developing a linear algorithm for cubing a cyclic permutation. Zbl 0678.68024
Xue, Jinyun; Gries, David
1
1988
The science of programming. (4th printing). Zbl 0614.68002
Gries, David
6
1987
McLaren’s masterpiece. Zbl 0649.68031
Gries, D.; Prins, J. F.
1
1987
A model and temporal proof system for networks of processes. Zbl 0598.68025
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
5
1986
General correctness: A unification of partial and total correctness. Zbl 0559.68021
Jacobs, Dean; Gries, David
12
1985
Behavior: A temporal approach to process modelling. Zbl 0606.68022
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
4
1985
Fault-tolerant broadcasts. Zbl 0534.68019
Schneider, Fred B.; Gries, David; Schlichting, Richard D.
3
1984
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
32
1982
A note on a standard strategy for developing loop invariants and loops. Zbl 0516.68008
Gries, David
10
1982
The science of programming. Zbl 0472.68003
Gries, David
119
1981
A proof technique for communicating sequential processes. Zbl 0463.68034
Levin, Gary Marc; Gries, David
17
1981
Computing Fibonacci numbers (and similarly defined functions) in log time. Zbl 0452.68052
Gries, David; Levin, Gary
15
1980
Assignment and procedure call proof rules. Zbl 0468.68006
Gries, David; Levin, Gary
11
1980
Controlled density sorting. Zbl 0444.68050
Melville, Robert; Gries, David
1
1980
The Schorr-Waite graph marking algorithm. Zbl 0414.68015
Gries, David
4
1979
Is sometime ever better than alway? Zbl 0452.68012
Gries, David
2
1979
The Schorr-Waite graph marking algorithm. Zbl 0414.68016
Gries, David
2
1979
An introduction to programming. A structured approach using PL/I and PL/C. 3rd ed. Zbl 0512.68004
Conway, Richard; Gries, David
1
1979
Current ideas in programming methodology. Zbl 0457.68009
Gries, David
1
1979
Basic axiomatic definitions. Zbl 0401.68001
Gries, David
1
1979
Is sometimes ever better than always? Zbl 0399.68019
Gries, David
1
1979
The multiple assignment statement. Zbl 0399.68013
Gries, David
1
1979
A linear sieve algorithm for finding prime numbers. Zbl 0387.68030
Gries, David; Misra, Jayadev
4
1978
An axiomatic proof technique for parallel programs. Zbl 0395.68015
Owicki, Susan; Gries, David
3
1978
The multiple assignment statement. Zbl 0381.68017
Gries, David
2
1978
Programming methodology. A collection of articles by members of IFIP WG2.3. Zbl 0392.00013
Gries, David (ed.)
1
1978
Parallel programming. Zbl 0387.68019
Gries, David
1
1978
Some ideas on data types in high-level languages. Zbl 0358.68045
Gries, David; Gehani, Narain
9
1977
An exercise in proving parallel programs correct. Zbl 0364.68007
Gries, David
4
1977
On classes of program schemata. Zbl 0408.68019
Constable, Robert L.; Gries, David
2
1977
Correction to ”An illustration of current ideas on the derivation of correctness proofs and correct programs”. Zbl 0358.68032
Gries, David
1
1977
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David
90
1976
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
46
1976
An exercise in proving parallel programs correct. Zbl 0361.68014
Gries, D.
1
1976
An illustration of current ideas on the derivation of correctness proofs and correct programs. Zbl 0351.68006
Gries, David
1
1976
Describing an algorithm by Hopcroft. Zbl 0242.94042
Gries, David
21
1973
On classes of program schemata. Zbl 0247.68031
Constable, Robert L.; Gries, David
21
1972
Program schemes with pushdown stores. Zbl 0278.68068
Brown, Steven; Gries, David; Szymanski, Thomas
10
1972
Programming by induction. Zbl 0227.68006
Gries, David
2
1972
Compiler construction for digital computers. Zbl 0302.68011
Gries, David
46
1971
Translator writing systems. Zbl 0162.48403
Feldman, J.; Gries, D.
8
1968
Characterizations of certain classes of norms. Zbl 0164.17603
Gries, D.
15
1967
Some results on fields of values of a matrix. Zbl 0158.03503
Gries, D.; Stoer, J.
3
1967
Some techniques used in the ALCOR ILLINOIS 7090. Zbl 0141.14403
Gries, D.; Paul, M.; Wiehle, H. R.
1
1965
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

Citations by Year