Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by David Gries
Program Schemes With Pushdown Stores
SIAM Journal on Computing
Mathematics
Computer Science
Some Ideas on Data Types in High-Level Languages
Communications of the ACM
Computer Science
A Model and Temporal Proof System for Networks of Processes
Distributed Computing
Computer Networks
Hardware
Communications
Architecture
Computational Theory
Mathematics
Theoretical Computer Science
General Correctness: A Unification of Partial and Total Correctness
Acta Informatica
Computer Networks
Software
Information Systems
Communications
In-Situ Inversion of a Cyclic Permutation
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Related publications
The Forward Search for Very Large Datasets
Journal of Statistical Software
Uncertainty
Statistics
Probability
Software
R Graphics (3rd Edition)
Journal of Statistical Software
Uncertainty
Statistics
Probability
Software
On an Analogue of Titchmarsh’s Divisor Problem for Holomorphic Cusp Forms
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Uniqueness of Enhancement for Triangulated Categories
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
The Archimedean Theory of the Exterior Square $L$-Functions Over $\Mathbb{Q}$
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Intersecting Families of Permutations
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Proof of Aldous’ Spectral Gap Conjecture
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
W$^{*}$–superrigidity for Bernoulli Actions of Property (T) Groups
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
Appendix and Erratum to “Massey Products for Elliptic Curves of Rank 1”
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
The Complex Monge-Ampère Equation on Compact Hermitian Manifolds
Journal of the American Mathematical Society
Mathematics
Applied Mathematics
