Publications

113 results at 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
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
New hash functions and their use in authentication and set equality
- - Mark N. Wegman
  - J. Lawrence Carter
- 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
Pebbling with an auxiliary pushdown
- - Nicholas Pippenger
- 1981
- Journal of Computer and System Sciences
Computable queries for relational data bases
- - Ashok K. chandra
  - David Harel
- 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