A transaction-based approach to relational database specification.
Finding minimum-cost circulations by canceling negative cycles.
A uniform approach toward handling atomic and structured information in the nested relational database model.
Spacefilling curves and the planar travelling salesman problem.
On the design of some systolic algorithms.
Using temporal hierarchies to efficiently maintain large temporal databases.
The periodic balanced sorting network.
Distributed bisimulations.
The conjecture of Fliess on commutative context-free languages.
Passes, sweeps, and visits in attribute grammars.
Learnability and the Vapnik-Chervonenkis dimension.
P-uniform circuit complexity.