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

8896 results for Computer Science

Parallelism and concurrency of graph manipulations
- - Hartmut Ehrig
  - Barry K. Rosen
- 1980
- Theoretical Computer Science
Generation of node lists using segment analysis
- - Aspi B. Wadia
- 1980
- Computer Languages
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
Finite difference solution of the Cosserat fluid jet equations
- - D.B. Bogy
  - S.J. Shine
  - et al.
- 1980
- Journal of Computational Physics
The complexity of logical theories
- - Leonard Berman
- 1980
- Theoretical Computer Science
Integration of algorithmic aids into decision support systems
- - L.C. Barbosa
  - R. Hirko
- 1980
- MIS Quarterly: Management Information Systems
Hierarchical relaxation
- - W.L. Miranker
- 1979
- Computing
Implicit computation of synchronization primitives
- - Richard A. De Millo
  - Raymond E. Miller
- 1979
- Information Processing Letters