Question 1

What does Shachar Itzhaky research?

Accepted Answer

Shachar Itzhaky publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Testing and Debugging Techniques.

Question 2

Which keywords describe Shachar Itzhaky's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Satisfiability Modulo Theories, Static Analysis, Symbolic Model Checker, Automated Testing and Software Fault Localization.

Question 3

Where does Shachar Itzhaky work?

Accepted Answer

Shachar Itzhaky's main affiliation in the publication record is Tel Aviv University, Israel.

Question 4

How many publications and citations does Shachar Itzhaky have?

Accepted Answer

OpenAlex counts 60 works and 846 citations for Shachar Itzhaky, an h-index of 16, ranking #978,629 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Shachar Itzhaky's h-index high?

Accepted Answer

An h-index of 16 is at or above that of 82% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 20%.