Browse our catalog of recent publications authored by IBM researchers. This works shows why IBM is one of the most important contributors to modern computing.

Publications

COMPASS Computer Assurance 1996

AAAI 2026

ICSE 2026

SPIE Advanced Lithography + Patterning 2026

APS Global Physics Summit 2026

ACS Spring 2026

ICLR 2026

Foundation Models

Quantum Safe

Machine Learning

Quantum Systems

Quantum Software

Semiconductors

Materials Discovery

AI Hardware

Careers

EU-Funded Projects

Home

Location details

Location

Labs

Features

Projects

Publications

Verifying SOS specifications