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

132 results at Theoretical Computer Science

Detecting quantum entanglement
- - Barbara M. Terhal
- 2002
- Theoretical Computer Science
On sparse evaluation representations
- - G. Ramalingam
- 2002
- Theoretical Computer Science
On the unique shortest lattice vector problem
- - S. Ravi Kumar
  - D. Sivakumar
- 2001
- Theoretical Computer Science
On model checking for the μ-calculus and its fragments
- - E.Allen Emerson
  - Charanjit S. Jutla
  - et al.
- 2001
- Theoretical Computer Science
An application of lattice theory to knowledge representation
- - Frank J. Oles
- 2000
- Theoretical Computer Science
Secure distributed storage and retrieval
- - Juan A. Garay
  - Rosario Gennaro
  - et al.
- 2000
- Theoretical Computer Science
A formula for incorporating weights into scoring rules
- - Ronald Fagin
  - Edward L. Wimmers
- 2000
- Theoretical Computer Science
A sublinear parallel algorithm for stable matching
- - Tomás Feder
  - Nimrod Megiddo
  - et al.
- 2000
- Theoretical Computer Science
Using fast matrix multiplication to find basic solutions
- - Peter A. Beling
  - Nimrod Megiddo
- 1998
- Theoretical Computer Science
The local detection paradigm and its applications to self-stabilization 1
- - Yehuda Afek
  - Shay Kutten
  - et al.
- 1997
- Theoretical Computer Science