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

8892 results for 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
A note on paths embedded in trees
- - Arnold L. Rosenberg
- 1979
- Information Processing Letters
Approximation by circles
- - T.J. Rivlin
- 1979
- Computing
Two results on process logic
- - David Harel
- 1979
- Information Processing Letters
A semantically meaningful characterization of reducible flowchart schemes
- - Calvin C. Elgot
  - John C. Shepherdson
- 1979
- Theoretical Computer Science