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

15 results at STOC 1984

Automata theoretic techniques for modal logics of programs (extended abstract)
- - Moshe Y. Vard
  - Pierre Wolper
- 1984
- STOC 1984
The complexity of elementary algebra and geometry (preliminary version)
- - Michael Ben-Or
  - Dexter Kozen
  - et al.
- 1984
- STOC 1984
Finding euler circuits in logarithmic parallel time
- - B. Awerbuch
  - A. Israeli
  - et al.
- 1984
- STOC 1984
On monotone formulae with restricted depth (preliminary version)
- - Maria Klawe
  - Wolfgang J. Paul
  - et al.
- 1984
- STOC 1984
A new look at fault tolerant network routing
- - Danny Dolev
  - Joe Halpern
  - et al.
- 1984
- STOC 1984
On the possibility and impossibility of achieving clock synchronization
- - Danny Dolev
  - Joe Halpern
  - et al.
- 1984
- STOC 1984
An efficient network synchronization protocol
- - Baruch Awerbuch
- 1984
- STOC 1984
Efficient fault tolerant routings in networks
- - Andrei Broder
  - Michael Fischer
  - et al.
- 1984
- STOC 1984
Evaluating logarithms in GF(2ⁿ)
- - Don Coppersmith
- 1984
- STOC 1984
Pebblings, edgings, and equational logic
- - Dexter Kozen
- 1984
- STOC 1984