| On computing minimal independent support and its applications to sampling and counting A Ivrii, S Malik, KS Meel, MY Vardi Constraints 21, 41-58, 2016 | 86 | 2016 |
| 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 | 80 | 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 | 76 | 2016 |
| Lagrangian isotopy of tori in and G Dimitroglou Rizell, E Goodman, A Ivrii Geometric and Functional Analysis 26, 1297-1358, 2016 | 66 | 2016 |
| The computational complexity of structure-based causality G Aleksandrowicz, H Chockler, JY Halpern, A Ivrii Journal of Artificial Intelligence Research 58, 431-451, 2017 | 35 | 2017 |
| 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 | 35 | 2015 |
| Pushing to the top A Ivrii, A Gurfinkel 2015 Formal Methods in Computer-Aided Design (FMCAD), 65-72, 2015 | 32 | 2015 |
| Computing interpolants without proofs H Chockler, A Ivrii, A Matsliah Hardware and Software: Verification and Testing: 8th International Haifa …, 2013 | 30 | 2013 |
| Pushing to the Top. A Gurfinkel, A Ivrii FMCAD, 65-72, 2015 | 27 | 2015 |
| 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 | 27 | 2012 |
| K-induction without unrolling A Gurfinkel, A Ivrii 2017 Formal Methods in Computer Aided Design (FMCAD), 148-155, 2017 | 25 | 2017 |
| Lagrangian isotopy of tori in S2× S2 and CP2 G Dimitroglou Rizell, E Goodman, A Ivrii Geom. Funct. Anal 26 (5), 1297-1358, 2016 | 17 | 2016 |
| Explaining partially illegal combinations in combinatorial models A Ivrii, I Segall, R Tzoref-Brill US Patent 9,454,466, 2016 | 16 | 2016 |
| 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 | 15 | 2016 |
| Small inductive safe invariants A Ivrii, A Gurfinkel, A Belov 2014 Formal Methods in Computer-Aided Design (FMCAD), 115-122, 2014 | 15 | 2014 |
| Lagrangian unknottedness of tori in certain symplectic 4-manifolds A Ivrii Stanford University, 2003 | 14 | 2003 |
| IC3 with internal signals R Dureja, A Gurfinkel, A Ivrii, Y Vizel 2021 Formal Methods in Computer Aided Design (FMCAD), 63-71, 2021 | 12 | 2021 |
| Incremental formal verification H Chockler, A Ivrii, A Matsliah, S Moran, Z Nevo US Patent 8,996,339, 2015 | 12 | 2015 |
| IC3-guided abstraction J Baumgartner, A Ivrii, A Matsliah, H Mony 2012 Formal Methods in Computer-Aided Design (FMCAD), 182-185, 2012 | 12 | 2012 |
| Ruled 4-manifolds and isotopies of symplectic surfaces R Hind, A Ivrii Mathematische Zeitschrift 265, 639-652, 2010 | 12 | 2010 |
