×
Compute Distance To:
Author ID: gries.david Recent zbMATH articles by "Gries, David"
Published as: Gries, David

Publications by Year

Citations contained in zbMATH Open

53 Publications have been cited 615 times in 537 Documents Cited by Year
The science of programming. Zbl 0472.68003
Gries, David
114
1981
An axiomatic proof technique for parallel programs. Zbl 0312.68011
Owicki, Susan; Gries, David
96
1976
Compiler construction for digital computers. Zbl 0302.68011
Gries, David
44
1971
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
42
1976
Finding repeated elements. Zbl 0497.68041
Misra, J.; Gries, David
37
1982
A logical approach to discrete math. Zbl 0861.03001
Gries, David; Schneider, Fred B.
30
1993
Describing an algorithm by Hopcroft. Zbl 0242.94042
Gries, David
23
1973
A constructive proof of Vizing’s theorem. Zbl 0795.68157
Misra, J.; Gries, David
20
1992
On classes of program schemata. Zbl 0247.68031
Constable, Robert L.; Gries, David
20
1972
A proof technique for communicating sequential processes. Zbl 0463.68034
Levin, Gary Marc; Gries, David
18
1981
Characterizations of certain classes of norms. Zbl 0164.17603
Gries, David
15
1967
Computing Fibonacci numbers (and similarly defined functions) in log time. Zbl 0452.68052
Gries, David; Levin, Gary
15
1980
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, Jerome; Gries, David
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
A linear sieve algorithm for finding prime numbers. Zbl 0387.68030
Gries, David; Misra, Jayadev
5
1978
The Schorr-Waite graph marking algorithm. Zbl 0414.68015
Gries, David
4
1979
Behavior: A temporal approach to process modelling. Zbl 0606.68022
Nguyen, Van; Demers, Alan; Gries, David; Owicki, Susan
3
1985
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
Some results on fields of values of a matrix. Zbl 0158.03503
Gries, D.; Stoer, J.
3
1967
An axiomatic proof technique for parallel programs. Zbl 0395.68015
Owicki, Susan; Gries, David
3
1978
An exercise in proving parallel programs correct. Zbl 0364.68007
Gries, David
3
1977
K-M-P string matching revisited. Zbl 1339.68338
Reingold, Edward M.; Urban, Kenneth J.; Gries, David
3
1997
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
Beauty is our business. A birthday salute to Edsger W. Dijkstra. Zbl 0718.68004
2
1990
On classes of program schemata. Zbl 0408.68019
Constable, Robert L.; Gries, David
2
1977
Is sometime ever better than alway? Zbl 0452.68012
Gries, David
2
1979
The multiple assignment statement. Zbl 0381.68017
Gries, David
2
1978
Programming by induction. Zbl 0227.68006
Gries, David
2
1972
McLaren’s masterpiece. Zbl 0649.68031
Gries, D.; Prins, J. F.
1
1987
Developing a linear algorithm for cubing a cyclic permutation. Zbl 0678.68024
Xue, Jinyun; Gries, David
1
1988
Documents mean more than just paper! Zbl 0894.68168
Raman, T. V.; Gries, D.
1
1997
Teaching math more effectively, through calculational proofs. Zbl 0875.00012
Gries, David; Schneider, Fred B.
1
1995
Some techniques used in the ALCOR ILLINOIS 7090. Zbl 0141.14403
Gries, D.; Paul, M.; Wiehle, H. R.
1
1965
Foundations for calculational logic. Zbl 0929.03037
Gries, David
1
1997
Basic axiomatic definitions. Zbl 0401.68001
Gries, David
1
1979
The multiple assignment statement. Zbl 0399.68013
Gries, David
1
1979
Is sometimes ever better than always? Zbl 0399.68019
Gries, David
1
1979
The Schorr-Waite graph marking algorithm. Zbl 0414.68016
Gries, David
1
1979
Controlled density sorting. Zbl 0444.68050
Melville, Robert; Gries, David
1
1980
Current ideas in programming methodology. Zbl 0457.68009
Gries, David
1
1979
An illustration of current ideas on the derivation of correctness proofs and correct programs. Zbl 0351.68006
Gries, David
1
1976
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, David
1
1976
Adding the everywhere operator to propositional logic. Zbl 0906.03015
Gries, David; Schneider, Fred B.
1
1998
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.
30
1993
A constructive proof of Vizing’s theorem. Zbl 0795.68157
Misra, 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.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
3
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
37
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
114
1981
A proof technique for communicating sequential processes. Zbl 0463.68034
Levin, Gary Marc; Gries, David
18
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
Basic axiomatic definitions. Zbl 0401.68001
Gries, David
1
1979
The multiple assignment statement. Zbl 0399.68013
Gries, David
1
1979
Is sometimes ever better than always? Zbl 0399.68019
Gries, David
1
1979
The Schorr-Waite graph marking algorithm. Zbl 0414.68016
Gries, David
1
1979
Current ideas in programming methodology. Zbl 0457.68009
Gries, David
1
1979
A linear sieve algorithm for finding prime numbers. Zbl 0387.68030
Gries, David; Misra, Jayadev
5
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
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
3
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
96
1976
Verifying properties of parallel programs: An axiomatic approach. Zbl 0322.68010
Owicki, Susan; Gries, David
42
1976
An illustration of current ideas on the derivation of correctness proofs and correct programs. Zbl 0351.68006
Gries, David
1
1976
An exercise in proving parallel programs correct. Zbl 0361.68014
Gries, David
1
1976
Describing an algorithm by Hopcroft. Zbl 0242.94042
Gries, David
23
1973
On classes of program schemata. Zbl 0247.68031
Constable, Robert L.; Gries, David
20
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
44
1971
Translator writing systems. Zbl 0162.48403
Feldman, Jerome; Gries, David
8
1968
Characterizations of certain classes of norms. Zbl 0164.17603
Gries, David
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 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

Citations by Year