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

Data exchange: Semantics and query answering
- - Ronald Fagin
  - Phokion G. Kolaitis
  - et al.
- 2005
- Theoretical Computer Science
An inexact-suffix-tree-based algorithm for detecting extensible patterns
- - Abhijit Chattaraj
  - Laxmi Parida
- 2005
- Theoretical Computer Science
Randomized approximation of the stable marriage problem
- - Magnús M. Halldórsson
  - Kazuo Iwama
  - et al.
- 2004
- Theoretical Computer Science
Competitive caching of query results in search engines
- - Ronny Lempel
  - Shlomo Moran
- 2004
- Theoretical Computer Science
Rank two bipartite bound entangled states do not exist
- - Pawel Horodecki
  - John A. Smolin
  - et al.
- 2003
- Theoretical Computer Science
Solving the generalized mask constraint for test generation of binary floating point add operation
- - Abraham Ziv
  - Laurent Fournier
- 2003
- Theoretical Computer Science
The Bancomat problem: An example of resource allocation in a partitionable asynchronous system
- - Jeremy Sussman
  - Keith Marzullo
- 2003
- Theoretical Computer Science
On local transformation of polygons with visibility properties
- - Carmen Hernando
  - Michael E. Houle
  - et al.
- 2002
- Theoretical Computer Science
PAC learning with Nasty Noise
- - Nader H. Bshouty
  - Nadav Eiron
  - et al.
- 2002
- Theoretical Computer Science
On the submodular matrix representation of a digraph
- - Arlette Gaillard
  - Heinz Groeflin
  - et al.
- 2002
- Theoretical Computer Science