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

8892 results for Computer Science

Non-well-founded sets modeled as ideal fixed points
- - Michael W. Mislove
  - Lawrence S. Moss
  - et al.
- 1991
- Information and Computation
Object-oriented design and programming in medical decision support
- - Heather Heathfield
  - Jim Armstrong
  - et al.
- 1991
- Comput. Methods Programs Biomed.
Making negatives and plates for printing by electroerosion. Introduction and overview
- - K. Pennington
- 1991
- IBM J. Res. Dev
Decidability of finite probabilistic propositional dynamic logics
- - M. Tiomkin
  - J.A. Makowsky
- 1991
- Information and Computation
Context based spelling correction
- - Eric Mays
  - Fred J. Damerau
  - et al.
- 1991
- Inf. Process. Manage.
Constructive non-regularized geometry
- - Jarek R. Rossignac
  - Aristides A.G. Requicha
- 1991
- Computer-Aided Design
Simultaneity is harder than agreement
- - Brian A. Coan
  - Cynthia Dwork
- 1991
- Information and Computation
Making negatives and plates for printing by electroerosion. II. Larger-scale fabrication and testing
- - M.S. Cohen
  - A. Afzali
  - et al.
- 1991
- IBM J. Res. Dev
Modulation and coding for information storage the success of certain modulation and coding techniques in data communications have inspired promising new applications in digital data storage
- - Paul H. Siegel
  - Jack K. Wolf
- 1991
- IEEE Communications Magazine
Finite element applications on a shared-memory multiprocessor: Algorithms and experimental results
- - Ramesh Natarajan
- 1991
- Journal of Computational Physics