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

Optimization of electromagnetic actuator performance for high-speed valves
- - J. Karidis
  - S.R. Turns
- 1986
- Journal of Mechanical Design, Transactions of the ASME
Efficient optimization of computationally expensive objective functions
- - J. Karidis
  - S.R. Turns
- 1986
- Journal of Mechanical Design, Transactions of the ASME
Limits for automatic verification of finite-state concurrent systems
- - Krzysztof R. Apt
  - Dexter C. Kozen
- 1986
- Information Processing Letters
A simple characterization of database dependency implication
- - Yoshito Hanatani
  - Ronald Fagin
- 1986
- Information Processing Letters
Multi-dimensional discretization scheme for the hydrodynamic model of semiconductor devices
- - M. Rudan
  - F. Odeh
- 1986
- COMPEL - The international journal for computation and mathematics in electrical and electronic engineering
Two results on tables
- - Christiaan T.M. Jacobs
  - Peter Van Emde Boas
- 1986
- Information Processing Letters
Generating wireframes from set-theoretic solid models by spatial division
- - J.R. Woodwark
- 1986
- Computer-Aided Design
Trends in computers
- - Ralph E. Gomory
- 1986
- EJOR
Optimal Hop-by-Hop Flow Control in Computer Networks
- - Zvi Rosberg
  - Inder S. Gopal
- 1986
- IEEE TACON
The IBM Yorktown Simulation Engine
- - Gregory F. Pfister
- 1986
- Proceedings of the IEEE