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

Verity - a formal verification program for custom CMOS circuits
- - Andreas Kuehlmann
  - A. Srinivasan
  - et al.
- 1995
- IBM J. Res. Dev
Architecture for multimedia communication and real-time collaboration
- - B.K. Aldred
  - G.W. Bonsall
  - et al.
- 1995
- IBM Systems Journal
On exponential ill-conditioning and internal layer behavior
- - Luis G. Reyna
  - Michael J. Ward
- 1995
- Numerical Functional Analysis and Optimization
Recent advances in the automatic inspection of integrated circuits for pattern defects
- - Byron E. Dom
  - Virginia Brecher
- 1995
- Machine Vision and Applications
Stochastic sensitivity analysis method for neural network learning
- - Masato Koda
- 1995
- International Journal of Systems Science
High-level synthesis in an industrial environment
- - Reinaldo A. Bergamaschi
  - R.A. O'Connor
  - et al.
- 1995
- IBM J. Res. Dev
Multiclass Query Scheduling in Real-Time Database Systems
- - HweeHwa Pang
  - Michael Carey
  - et al.
- 1995
- IEEE Transactions on Knowledge and Data Engineering
METANET: Principles of an Arbitrary Topology LAN
- - Yoram Ofek
  - Moti Yung
- 1995
- IEEE/ACM Transactions on Networking
Performance of fiber-optic data links using 670-nm cw VCSELs and a monolithic Si photodetector and CMOS preamplifier
- - D. Kuchta
  - H. Ainspan
  - et al.
- 1995
- IBM J. Res. Dev
The Krypto Knight Family of Light-Weight Protocols for Authentication and Key Distribution
- - Ray Bird
  - Inder Gopal
  - et al.
- 1995
- IEEE/ACM Transactions on Networking