Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

132 results at Theoretical Computer Science

Record allocation for minimizing seek delay
- - U.I. Gupta
  - D.T. Lee
  - et al.
- 1981
- Theoretical Computer Science
More on advice on structuring compilers and proving them correct
- - James W. Thatcher
  - Eric G. Wagner
  - et al.
- 1981
- Theoretical Computer Science
An elementary proof of the completeness of PDL
- - Dexter Kozen
  - Rohit Parikh
- 1981
- Theoretical Computer Science
On the total correctness of nondeterministic programs
- - David Harel
- 1981
- Theoretical Computer Science
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- - David Harel
- 1980
- Theoretical Computer Science
Indexings of subrecursive classes
- - Dexter Kozen
- 1980
- Theoretical Computer Science
Parallelism and concurrency of graph manipulations
- - Hartmut Ehrig
  - Barry K. Rosen
- 1980
- Theoretical Computer Science
Uniform data encodings
- - Arnold L. Rosenberg
  - Larry J. Stockmeyer
  - et al.
- 1980
- Theoretical Computer Science
Complexity of Boolean algebras
- - Dexter Kozen
- 1980
- Theoretical Computer Science
On another Boolean matrix
- - Nicholas Pippenger
- 1980
- Theoretical Computer Science