Publications

16 results for Alexander Ivrii

Krylov diagonalization of large many-body Hamiltonians on a quantum processor
- - Nobuyuki Yoshioka
  - Mirko Amico
  - et al.
- 2025
- Nature Communications
LINEAR CIRCUIT SYNTHESIS USING WEIGHTED STEINER TREES
- - Nir Gavrielov
  - Alexander Ivrii
  - et al.
- 2024
- Quantum Information and Computation
Synthesis of a quantum circuit with unique two-qubit layers
- - Shelly Garion
  - Alexander Ivrii
  - et al.
- 2023
- IWQC 2023
Late breaking results: FRIENDS - Finding related interesting events via neighbor detection
- - Raviv Gal
  - Haim Kermany
  - et al.
- 2020
- DAC 2020
K-induction without unrolling
- - Arie Gurfinkel
  - Alexander Ivrii
- 2017
- FMCAD 2017
Learning support sets in IC3 and Quip: The good, the bad, and the ugly
- - Ryan Berryhill
  - Alexander Ivrii
  - et al.
- 2017
- FMCAD 2017
The computational complexity of structure-based causality
- - Gadi Aleksandrowicz
  - Hana Chockler
  - et al.
- 2017
- JAIR
The art of semi-formal bug hunting
- - Pradeep Kumar Nalla
  - Raj Kumar Gajavelly
  - et al.
- 2016
- ICCAD 2016
Lagrangian isotopy of tori in S²× S² and CP²
- - Georgios Dimitroglou Rizell
  - Elizabeth Goodman
  - et al.
- 2016
- Geometric and Functional Analysis
Pushing to the top
- - Alexander Ivrii
  - Arie Gurfinkel
- 2015
- FMCAD 2015