| Publication | Date of Publication | Type |
|---|
| GYM: a multiround distributed join algorithm | 2018-07-18 | Paper |
Computing marginals using MapReduce
Journal of Computer and System Sciences | 2018-04-18 | Paper |
Parallel skyline queries
Theory of Computing Systems | 2016-04-18 | Paper |
Translations on a context free grammar
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
| scientific article; zbMATH DE number 5344975 (Why is no real title available?) | 2008-09-18 | Paper |
| scientific article; zbMATH DE number 5254145 (Why is no real title available?) | 2008-03-26 | Paper |
Querying websites using compact skeletons.
Journal of Computer and System Sciences | 2003-08-19 | Paper |
| scientific article; zbMATH DE number 1517989 (Why is no real title available?) | 2000-10-17 | Paper |
Information integration using logical views
Theoretical Computer Science | 2000-08-21 | Paper |
| scientific article; zbMATH DE number 744107 (Why is no real title available?) | 2000-07-06 | Paper |
Answering queries using limited external query processors
Journal of Computer and System Sciences | 1999-09-22 | Paper |
The input/output complexity of transitive closure
Annals of Mathematics and Artificial Intelligence | 1997-10-26 | Paper |
The deevolution of concurrent logic programming languages
The Journal of Logic Programming | 1997-03-17 | Paper |
Argument reduction by factoring
Theoretical Computer Science | 1997-02-28 | Paper |
| scientific article; zbMATH DE number 805390 (Why is no real title available?) | 1995-10-12 | Paper |
| scientific article; zbMATH DE number 703699 (Why is no real title available?) | 1994-12-15 | Paper |
| scientific article; zbMATH DE number 578226 (Why is no real title available?) | 1994-05-29 | Paper |
Logical query optimization by proof-tree transformation
Journal of Computer and System Sciences | 1993-10-10 | Paper |
| scientific article; zbMATH DE number 176241 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 108366 (Why is no real title available?) | 1993-01-23 | 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 |
High-Probability Parallel Transitive-Closure Algorithms
SIAM Journal on Computing | 1991-01-01 | Paper |
An Optimal Synchronizer for the Hypercube
SIAM Journal on Computing | 1989-01-01 | Paper |
On the convergence of query evaluation
Journal of Computer and System Sciences | 1989-01-01 | Paper |
Parallel complexity of logical query programs
Algorithmica | 1988-01-01 | Paper |
A Communication-Time Tradeoff
SIAM Journal on Computing | 1987-01-01 | Paper |
Algorithms for the compilation of regular expressions into PLAs
Algorithmica | 1987-01-01 | Paper |
Implementation of logical query languages for databases
ACM Transactions on Database Systems | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3858396 (Why is no real title available?) | 1984-01-01 | Paper |
On the foundations of the universal relation model
ACM Transactions on Database Systems | 1984-01-01 | Paper |
Connections in acyclic hypergraphs
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3767009 (Why is no real title available?) | 1983-01-01 | Paper |
Maximal objects and the semantics of universal relation databases
ACM Transactions on Database Systems | 1983-01-01 | Paper |
Tools for Template Dependencies
SIAM Journal on Computing | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3890770 (Why is no real title available?) | 1982-01-01 | Paper |
A simplied universal relation assumption and its properties
ACM Transactions on Database Systems | 1982-01-01 | Paper |
Template Dependencies
Journal of the ACM | 1982-01-01 | Paper |
The Compilation of Regular Expressions into Integrated Circuits
Journal of the ACM | 1982-01-01 | Paper |
The theory of functional and template dependencies
Theoretical Computer Science | 1982-01-01 | Paper |
Bounds on the size and transmission rate of communications protocols
Computers & Mathematics with Applications | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3723922 (Why is no real title available?) | 1981-01-01 | Paper |
Deadlock-Free Packet Switching Networks
SIAM Journal on Computing | 1981-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 |
Equivalence of Relational Database Schemes
SIAM Journal on Computing | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3648167 (Why is no real title available?) | 1980-01-01 | Paper |
Adequacy of decompositions of relational databases
Journal of Computer and System Sciences | 1980-01-01 | Paper |
A Scheme for the Automatic Inference of Variable Types
Journal of the ACM | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3664335 (Why is no real title available?) | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3817043 (Why is no real title available?) | 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 |
Monotone data flow analysis frameworks
Acta Informatica | 1977-01-01 | Paper |
Economy of description by parsers, DPDA's, and PDA's
Theoretical Computer Science | 1977-01-01 | Paper |
Operations on sparse relations
Communications of the ACM | 1977-01-01 | Paper |
Finding the depth of a flow graph
Journal of Computer and System Sciences | 1977-01-01 | Paper |
Evaluating Relational Expressions with Dense and Sparse Arguments
SIAM Journal on Computing | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3551831 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3569813 (Why is no real title available?) | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3574947 (Why is no real title available?) | 1976-01-01 | Paper |
On Finding Lowest Common Ancestors in Trees
SIAM Journal on Computing | 1976-01-01 | Paper |
Protection in operating systems
Communications of the ACM | 1976-01-01 | Paper |
Bounds on the Complexity of the Longest Common Subsequence Problem
Journal of the ACM | 1976-01-01 | Paper |
Node listings for reducible flow graphs
Journal of Computer and System Sciences | 1976-01-01 | Paper |
Global Data Flow Analysis and Iterative Algorithms
Journal of the ACM | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3481857 (Why is no real title available?) | 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 3596231 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3557229 (Why is no real title available?) | 1975-01-01 | Paper |
Worst-Case Performance Bounds for Simple One-Dimensional Packing Algorithms
SIAM Journal on Computing | 1975-01-01 | Paper |
Evaluating Polynomials at Fixed Sets of Points
SIAM Journal on Computing | 1975-01-01 | Paper |
NP-complete scheduling problems
Journal of Computer and System Sciences | 1975-01-01 | Paper |
A Simple Algorithm for Global Data Flow Analysis Problems
SIAM Journal on Computing | 1975-01-01 | Paper |
On the complexity of LR(k) testing
Communications of the ACM | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3511563 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3454791 (Why is no real title available?) | 1974-01-01 | Paper |
Characterizations of Reducible Flow Graphs
Journal of the ACM | 1974-01-01 | Paper |
Dynamic Memories with Rapid Random and Sequential Access
IEEE Transactions on Computers | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3478389 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3485194 (Why is no real title available?) | 1973-01-01 | Paper |
Parsing algorithms with backtrack
Information and Control | 1973-01-01 | Paper |
Set Merging Algorithms
SIAM Journal on Computing | 1973-01-01 | Paper |
Fast algorithms for the elimination of common subexpressions
Acta Informatica | 1973-01-01 | Paper |
A Technique for Speeding up ${\text{LR}}(k)$ Parsers
SIAM Journal on Computing | 1973-01-01 | Paper |
Error detection in precedence parsers
Mathematical Systems Theory | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3557207 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3551857 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3551932 (Why is no real title available?) | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3407136 (Why is no real title available?) | 1972-01-01 | Paper |
The Transitive Reduction of a Directed Graph
SIAM Journal on Computing | 1972-01-01 | Paper |
Optimization of LR(k) parsers
Journal of Computer and System Sciences | 1972-01-01 | Paper |
Translations on a context free grammar
Information and Control | 1972-01-01 | Paper |
Flow Graph Reducibility
SIAM Journal on Computing | 1972-01-01 | Paper |
Optimization of Straight Line Programs
SIAM Journal on Computing | 1972-01-01 | Paper |
A Note on the Efficiency of Hashing Functions
Journal of the ACM | 1972-01-01 | Paper |
Equivalence of programs with structured variables
Journal of Computer and System Sciences | 1972-01-01 | Paper |
Weak and Mixed Strategy Precedence Parsing
Journal of the ACM | 1972-01-01 | Paper |
Modular Networks and Nondeterministic Sequential Machines
IEEE Transactions on Computers | 1972-01-01 | Paper |
Linear precedence functions for weak precedence grammars
International Journal of Computer Mathematics | 1972-01-01 | Paper |
| scientific article; zbMATH DE number 3407128 (Why is no real title available?) | 1971-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 |
On the computational power of pushdown automata
Journal of Computer and System Sciences | 1970-01-01 | Paper |
The Generation of Optimal Code for Arithmetic Expressions
Journal of the ACM | 1970-01-01 | Paper |
A characterization of two-way deterministic classes of languages
Journal of Computer and System Sciences | 1970-01-01 | Paper |
| scientific article; zbMATH DE number 3311755 (Why is no real title available?) | 1969-01-01 | Paper |
| scientific article; zbMATH DE number 3449757 (Why is no real title available?) | 1969-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 |
A general theory of translation
Mathematical Systems Theory | 1969-01-01 | Paper |
Some Results on Tape-Bounded Turing Machines
Journal of the ACM | 1969-01-01 | Paper |
Halting Stack Automata
Journal of the ACM | 1969-01-01 | Paper |
Uniform Synthesis of Sequential Circuits†
Bell System Technical Journal | 1969-01-01 | Paper |
Time and tape complexity of pushdown automaton languages
Information and Control | 1968-01-01 | Paper |
The theory of languages
Mathematical Systems Theory | 1968-01-01 | Paper |
The theory of languages
Mathematical Systems Theory | 1968-01-01 | Paper |
Relations Between Time and Tape Complexities
Journal of the ACM | 1968-01-01 | Paper |
Deterministic stack automata and the quotient operator
Journal of Computer and System Sciences | 1968-01-01 | Paper |
Decidable and Undecidable Questions About Automata
Journal of the ACM | 1968-01-01 | Paper |
Sets accepted by one-way stack automata are context sensitive
Information and Control | 1968-01-01 | Paper |
An Approach to a Unified Theory of Automata
Bell System Technical Journal | 1967-01-01 | Paper |
On the capabilities of codes to correct synchronization errors
IEEE Transactions on Information Theory | 1967-01-01 | Paper |
Nonerasing stack automata
Journal of Computer and System Sciences | 1967-01-01 | Paper |
Near-optimal, single-synchronization-error-correcting code
IEEE Transactions on Information Theory | 1966-01-01 | Paper |
Decoding of Cyclic Codes Using Position Invariant Functions
IBM Journal of Research and Development | 1965-01-01 | Paper |
