Concepedia

Alexander Ivrii

AI

11

Publications

666

Citations

11

H-Index

2011

Active since

Affiliations

IBM Research - Haifa(Current)

IBM (United States)

Rice University

Alexander Ivrii is an author at IBM Research - Haifa specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceFormal VerificationVerificationAutomated ReasoningComputer EngineeringComputational ComplexityData ScienceFormal MethodsCombinatorial Optimization

Publications per year

2011–2017

11

Publications

11

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence

Gadi Aleksandrowicz, Hana Chockler, Joseph Y. Halpern et al. · 2014 · 331 citations

Artificial Intelligence, Engineering, Artificial General Intelligence +2

On computing minimal independent support and its applications to sampling and counting

Alexander Ivrii, Sharad Malik, Kuldeep S. Meel et al. · Constraints · 2015 · 70 citations

Mathematical Programming, Engineering, Data Science +12

Incremental formal verification of hardware

Hana Chockler, Alexander Ivrii, Arie Matsliah et al. · Formal Methods in Computer-Aided Design · 2011 · 53 citations

Engineering, Verification, Computer Architecture +19

Pushing to the top

Alexander Ivrii, Arie Gurfinkel · 2015 · 39 citations

Engineering, Verification, Computer-aided Verification +16

Constrained Sampling and Counting: Universal Hashing Meets SAT Solving

Kuldeep S. Meel, Moshe Y. Vardi, Supratik Chakraborty et al. · National Conference on Artificial Intelligence · 2015 · 38 citations

Artificial Intelligence, Correctness Guarantees, Engineering +16

Rows per page

1–5 of 11