Alexander Ivrii
Publication Activity (10 Years)
Years Active: 2011-2021
Publications (10 Years): 14
Publications (10 Years): 14
Publications
- Rohit Dureja, Arie Gurfinkel, Alexander Ivrii, Yakir Vizel
- Alexander Ivrii, Ofer Strichman
- Alexander Ivrii, Ofer Strichman
- Ryan Berryhill, Alexander Ivrii, Andreas G. Veneris
- Alexander Ivrii, Ziv Nevo, Jason Baumgartner
- Arie Gurfinkel, Alexander Ivrii
- Pradeep Kumar Nalla, Raj Kumar Gajavelly, Jason Baumgartner, Hari Mony, Robert Kanzelman, Alexander Ivrii
- Valeriy Balabanov, Alexander Ivrii
- Arie Gurfinkel, Alexander IvriiPushing to the Top. FMCAD (2015)
- Alexander Ivrii, Vadim Ryvchin, Ofer Strichman
- Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
- Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern, Alexander Ivrii
- Alexander Ivrii, Arie Gurfinkel, Anton Belov
- Gadi Aleksandrowicz, Jason Baumgartner, Alexander Ivrii, Ziv Nevo
- Hana Chockler, Alexander Ivrii, Arie Matsliah, Simone Fulvio Rollini, Natasha Sharygina
- Jason Baumgartner, Alexander Ivrii, Arie Matsliah, Hari MonyIC3-guided abstraction. FMCAD (2012)
- Anton Belov, Alexander Ivrii, Arie Matsliah, João Marques-Silva
- Yael Ben-Haim, Alexander Ivrii, Oded Margalit, Arie Matsliah
- Hana Chockler, Alexander Ivrii, Arie Matsliah
- Hana Chockler, Alexander Ivrii, Arie Matsliah, Shiri Moran, Ziv Nevo