Publications

This is our catalog of recent publications authored by IBM researchers, in collaboration with the global research community. We’re currently adding our back catalog of more than 110,000 publications. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Featured collections

Popular topics

Year

9 results for Alexander Ivrii

Late breaking results: FRIENDS - Finding related interesting events via neighbor detection
- - Raviv Gal
  - Haim Kermany
  - et al.
- 2020
- DAC 2020
Constrained sampling and counting: Universal hashing meets SAT solving
- - Kuldeep S. Meel
  - Moshe Vardi
  - et al.
- 2016
- AAAI 2016
Learning support sets in IC3 and Quip: The good, the bad, and the ugly
- - Ryan Berryhill
  - Alexander Ivrii
  - et al.
- 2017
- FMCAD 2017
K-induction without unrolling
- - Arie Gurfinkel
  - Alexander Ivrii
- 2017
- FMCAD 2017
The art of semi-formal bug hunting
- - Pradeep Kumar Nalla
  - Raj Kumar Gajavelly
  - et al.
- 2016
- ICCAD 2016
Pushing to the top
- - Alexander Ivrii
  - Arie Gurfinkel
- 2015
- FMCAD 2015
The computational complexity of structure-based causality
- - Gadi Aleksandrowicz
  - Hana Chockler
  - et al.
- 2017
- JAIR
Lagrangian isotopy of tori in S²× S² and CP²
- - Georgios Dimitroglou Rizell
  - Elizabeth Goodman
  - et al.
- 2016
- Geometric and Functional Analysis
On computing minimal independent support and its applications to sampling and counting
- - Alexander Ivrii
  - Sharad Malik
  - et al.
- 2015
- Constraints