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

15 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
The computational complexity of structure-based causality
- - Gadi Aleksandrowicz
  - Hana Chockler
  - et al.
- 2014
- AAAI 2014
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
Small inductive safe invariants
- - Alexander Ivrii
  - Arie Gurfinkel
  - et al.
- 2014
- FMCAD 2014
Using cross-entropy for satisfiability
- - Hana Chockler
  - Alexander Ivrii
  - et al.
- 2013
- SAC 2013
Incremental formal verification of hardware
- - Hana Chockler
  - Alexander Ivrii
  - et al.
- 2011
- FMCAD 2011