| Incremental formal verification of hardware H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo 2011 Formal Methods in Computer-Aided Design (FMCAD), 135-143, 2011 | 61 | 2011 |
| Constrained sampling and counting: Universal hashing meets SAT solving KS Meel, MY Vardi, S Chakraborty, DJ Fremont, SA Seshia, D Fried, A Ivrii, ... Workshops at the thirtieth AAAI conference on artificial intelligence, 2016 | 49 | 2016 |
| On computing minimal independent support and its applications to sampling and counting A Ivrii, S Malik, KS Meel, MY Vardi Constraints 21 (1), 41-58, 2016 | 45 | 2016 |
| Lagrangian isotopy of tori in and CP2 GD Rizell, E Goodman, A Ivrii Geometric and Functional Analysis 26 (5), 1297-1358, 2016 | 37 | 2016 |
| Perfect hashing and CNF encodings of cardinality constraints Y Ben-Haim, A Ivrii, O Margalit, A Matsliah International Conference on Theory and Applications of Satisfiability …, 2012 | 24 | 2012 |
| Reducing color conflicts in triple patterning lithography MS Gray, MT Guzowski, A Ivrii, LW Liebmann, KW McCullen, GE Tellez, ... US Patent 9,158,885, 2015 | 23 | 2015 |
| Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah Haifa verification conference, 72-85, 2012 | 19 | 2012 |
| Pushing to the top A Ivrii, A Gurfinkel 2015 Formal Methods in Computer-Aided Design (FMCAD), 65-72, 2015 | 17 | 2015 |
| Pushing to the Top. A Gurfinkel, A Ivrii FMCAD, 65-72, 2015 | 16 | 2015 |
| The computational complexity of structure-based causality G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii Journal of Artificial Intelligence Research 58, 431-451, 2017 | 13 | 2017 |
| Incremental formal verification H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo US Patent 8,996,339, 2015 | 11 | 2015 |
| Method for purification of lens gases used in photolithography D Alvarez Jr, JJ Spiegelman US Patent 6,645,898, 2003 | 10 | 2003 |
| Lagrangian unknottedness of tori in certain symplectic 4-manifolds. A Ivrii | 10 | 2003 |
| IC3-guided abstraction J Baumgartner, A Ivrii, A Matsliah, H Mony 2012 Formal Methods in Computer-Aided Design (FMCAD), 182-185, 2012 | 9 | 2012 |
| On efficient computation of variable MUSes A Belov, A Ivrii, A Matsliah, J Marques-Silva International Conference on Theory and Applications of Satisfiability …, 2012 | 9 | 2012 |
| Ruled 4-manifolds and isotopies of symplectic surfaces R Hind, A Ivrii Mathematische Zeitschrift 265 (3), 639-652, 2010 | 9 | 2010 |
| K-induction without unrolling A Gurfinkel, A Ivrii 2017 Formal Methods in Computer Aided Design (FMCAD), 148-155, 2017 | 7 | 2017 |
| The art of semi-formal bug hunting PK Nalla, RK Gajavelly, J Baumgartner, H Mony, R Kanzelman, A Ivrii 2016 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 1-8, 2016 | 7 | 2016 |
| Lagrangian isotopy of tori in $ S^ 2\times S^ 2$ and $\BbbCP^ 2$ G Dimitroglou Rizell, E Goodman, A Ivrii Geometric and Functional Analysis 26 (5), 1297-1358, 2016 | 7 | 2016 |
| Small inductive safe invariants A Ivrii, A Gurfinkel, A Belov 2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 2014 | 7 | 2014 |
