New algorithms for the LCS problem
On cancellation properties of languages which are supports of rational power series
Equivalences among logics of programs
Indecomposable maps in tessellation structures of arbitrary dimension
Time-space tradeoffs for matrix multiplication and the discrete fourier transform on any general sequential random-access computer
Towards a hierarchy of nets
Multi-version concurrency control scheme for a database system
On the computational complexity of path cover problems
The performance of multilective VLSI algorithms
The complexity of two-player games of incomplete information