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

113 results at Journal of Computer and System Sciences

Finding the median distributively
- - Michael Rodeh
- 1982
- Journal of Computer and System Sciences
Superconcentrators of depth 2
- - Nicholas Pippenger
- 1982
- Journal of Computer and System Sciences
Process logic: Expressiveness, decidability, completeness
- - David Harel
  - Dexter Kozen
  - et al.
- 1982
- Journal of Computer and System Sciences
Structure and complexity of relational queries
- - Ashok Chandra
  - David Harel
- 1982
- Journal of Computer and System Sciences
New hash functions and their use in authentication and set equality
- - Mark N. Wegman
  - J. Lawrence Carter
- 1981
- Journal of Computer and System Sciences
Pebbling with an auxiliary pushdown
- - Nicholas Pippenger
- 1981
- Journal of Computer and System Sciences
Semantics of probabilistic programs
- - Dexter Kozen
- 1981
- Journal of Computer and System Sciences
Computational Complexity of Algebraic Functions
- - Nicholas Pippenger
- 1981
- Journal of Computer and System Sciences
The equivalence of R.E. program schemes and data flow schemes
- - Jeffrey M. Jaffe
- 1980
- Journal of Computer and System Sciences
On formulating simultaneity for studying parallelism and synchronization
- - Raymond E. Miller
  - Chee K. Yap
- 1980
- Journal of Computer and System Sciences