Science Explorer Back to mapMap
Discussion
Researcher · Tel Aviv University · Israel

Shachar Itzhaky

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.

ORCID 0000-0002-7276-7644 OpenAlex
World rank
#978,629
of 7,710,434 ranked researchers
Rank in Israel
#6,937
of 38,292
Works
60
Citations
846
Citations per work
14.1
h-index
16
i10-index 26Top 20% in Artificial Intelligence
Shachar Itzhaky

What does Shachar Itzhaky research?

Shachar Itzhaky's work is mostly in Computer Science (90%).

Physical Sciences: 54 works · 89.6% of their workComputer Science: 54 works · 89.6% of their workArtificial Intelligence: 16 works · 27.4% of their workComputational Theory and Mathematics: 10 works · 16.5% of their workSoftware: 9 works · 15.2% of their workHardware and Architecture: 7 works · 11.6% of their workComputer Networks and Communications: 6 works · 9.8% of their workInformation Systems: 5 works · 9.1% of their workEverything else: 6 works · 10.4% of their workTHEIR WORKShachar Itzhaky60works
Physical Sciences90%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science5489.6%
  2. Everything else610.4%
  1. 1Artificial Intelligence27% of their works
  2. 2Computational Theory and Mathematics16% of their works
  3. 3Software15% of their works
  4. 4Hardware and Architecture12% of their works
  5. 5Computer Networks and Communications10% of their works
  6. 6Information Systems9% of their works

Research topics

Which keywords describe Shachar Itzhaky's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 18 words, with their numbers
  1. Model Checking583 topics
  2. Temporal Logic322 topics
  3. Formal Verification261 topic
  4. Satisfiability Modulo Theories261 topic
  5. Static Analysis261 topic
  6. Symbolic Model Checker261 topic
  7. Automated Testing181 topic
  8. Software Fault Localization181 topic
  9. Parallel Computing91 topic
  10. Performance Optimization91 topic
  11. Security Policies81 topic
  12. Side-Channel Attacks81 topic
  13. Code Clone Detection71 topic
  14. Refactoring71 topic
  15. Answer Set Programming61 topic
  16. High-Level Synthesis61 topic
  17. Modal Logic61 topic
  18. Reconfigurable Computing61 topic

Where does Shachar Itzhaky work?

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

How many publications and citations does Shachar Itzhaky have?

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.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Shachar Itzhaky. Posts are plain text and can be reported.