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

A new look at fault-tolerant network routing
- - Danny Dolev
  - Joseph Y. Halpern
  - et al.
- 1987
- Information and Computation
Education in formal methods for software engineering
- - John Wordsworth
- 1987
- Information and Software Technology
A distributed adaptive routing algorithm
- - M.S. Chen
  - J.S. Meditch
- 1987
- Computers and Electrical Engineering
A categorical treatment of pre- and post-conditions
- - Eric G. Wagner
- 1987
- Theoretical Computer Science
A Versatile Camera Calibration Technique for High-Accuracy 3D Machine Vision Metrology Using Off-the-Shelf TV Cameras and Lenses
- - Roger Y. Tsai
- 1987
- IEEE Journal on Robotics and Automation
Intertask Communications in an Integrated Multirobot System
- - Kang G. Shin
  - Mark E. Epstein
- 1987
- IEEE Journal on Robotics and Automation
The complementation problem for Büchi automata with applications to temporal logic
- - A. Prasad Sistla
  - Moshe Y. Vardi
  - et al.
- 1987
- Theoretical Computer Science
Discrete logarithms in GF(p)
- - Don Coppersmith
  - Andrew M. Odlzyko
  - et al.
- 1986
- Algorithmica
Introduction: New approaches to linear programming
- - Nimrod Megiddo
- 1986
- Algorithmica
On some union and intersection problems for polygons with fixed orientations
- - P. Widmayer
  - Y.F. Wu
  - et al.
- 1986
- Computing