| Publication | Date of Publication | Type |
|---|
Computational thinking in programming language and compiler design (keynote)
Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing | 2023-11-14 | Paper |
Translations on a context free grammar
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
Complexity theory
Computer Science | 2014-02-21 | Paper |
| scientific article; zbMATH DE number 5344975 (Why is no real title available?) | 2008-09-18 | Paper |
A flow-map model for analyzing pseudothresholds in fault-tolerant quantum computing
(available as arXiv preprint) | 2008-09-03 | Paper |
| scientific article; zbMATH DE number 5254145 (Why is no real title available?) | 2008-03-26 | Paper |
| scientific article; zbMATH DE number 1142294 (Why is no real title available?) | 1998-05-04 | Paper |
| scientific article; zbMATH DE number 703699 (Why is no real title available?) | 1994-12-15 | Paper |
| scientific article; zbMATH DE number 42372 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 42373 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 108366 (Why is no real title available?) | 1993-01-23 | Paper |
| scientific article; zbMATH DE number 42862 (Why is no real title available?) | 1992-09-17 | Paper |
| scientific article; zbMATH DE number 3767009 (Why is no real title available?) | 1983-01-01 | Paper |
Bounds on the size and transmission rate of communications protocols
Computers & Mathematics with Applications | 1982-01-01 | Paper |
Inferring a Tree from Lowest Common Ancestors with an Application to the Optimization of Relational Expressions
SIAM Journal on Computing | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3817043 (Why is no real title available?) | 1979-01-01 | Paper |
Awk — a pattern scanning and processing language
Software: Practice and Experience | 1979-01-01 | Paper |
Equivalences among Relational Expressions
SIAM Journal on Computing | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3596212 (Why is no real title available?) | 1978-01-01 | Paper |
Rectilinear steiner trees: Efficient special-case algorithms
Networks | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3567977 (Why is no real title available?) | 1977-01-01 | Paper |
Node listings for reducible flow graphs
Journal of Computer and System Sciences | 1976-01-01 | Paper |
Bounds on the Complexity of the Longest Common Subsequence Problem
Journal of the ACM | 1976-01-01 | Paper |
On Finding Lowest Common Ancestors in Trees
SIAM Journal on Computing | 1976-01-01 | Paper |
Efficient string matching
Communications of the ACM | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3481857 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3483585 (Why is no real title available?) | 1975-01-01 | Paper |
Evaluating Polynomials at Fixed Sets of Points
SIAM Journal on Computing | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3596260 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3511563 (Why is no real title available?) | 1974-01-01 | Paper |
Dynamic Memories with Rapid Random and Sequential Access
IEEE Transactions on Computers | 1974-01-01 | Paper |
A Technique for Speeding up ${\text{LR}}(k)$ Parsers
SIAM Journal on Computing | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3478389 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3435566 (Why is no real title available?) | 1973-01-01 | Paper |
Error detection in precedence parsers
Mathematical Systems Theory | 1973-01-01 | Paper |
Equivalence of programs with structured variables
Journal of Computer and System Sciences | 1972-01-01 | Paper |
Optimization of LR(k) parsers
Journal of Computer and System Sciences | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3551932 (Why is no real title available?) | 1972-01-01 | Paper |
A Minimum Distance Error-Correcting Parser for Context-Free Languages
SIAM Journal on Computing | 1972-01-01 | Paper |
Translations on a context free grammar
Information and Control | 1972-01-01 | Paper |
The Transitive Reduction of a Directed Graph
SIAM Journal on Computing | 1972-01-01 | Paper |
Optimization of Straight Line Programs
SIAM Journal on Computing | 1972-01-01 | Paper |
Weak and Mixed Strategy Precedence Parsing
Journal of the ACM | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3407136 (Why is no real title available?) | 1972-01-01 | Paper |
Linear precedence functions for weak precedence grammars
International Journal of Computer Mathematics | 1972-01-01 | Paper |
Principles of Optimal Page Replacement
Journal of the ACM | 1971-01-01 | Paper |
Characterizations and extensions of pushdown translations
Mathematical Systems Theory | 1971-01-01 | Paper |
| scientific article; zbMATH DE number 3407128 (Why is no real title available?) | 1971-01-01 | Paper |
On the computational power of pushdown automata
Journal of Computer and System Sciences | 1970-01-01 | Paper |
A characterization of two-way deterministic classes of languages
Journal of Computer and System Sciences | 1970-01-01 | Paper |
Properties of syntax directed translations
Journal of Computer and System Sciences | 1969-01-01 | Paper |
Syntax directed translations and the pushdown assembler
Journal of Computer and System Sciences | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3449757 (Why is no real title available?) | 1969-01-01 | Paper |
A general theory of translation
Mathematical Systems Theory | 1969-01-01 | Paper |
Nested Stack Automata
Journal of the ACM | 1969-01-01 | Paper |
The theory of languages
Mathematical Systems Theory | 1968-01-01 | Paper |
Indexed Grammars—An Extension of Context-Free Grammars
Journal of the ACM | 1968-01-01 | Paper |
The theory of languages
Mathematical Systems Theory | 1968-01-01 | Paper |
Time and tape complexity of pushdown automaton languages
Information and Control | 1968-01-01 | Paper |
