Eran Yahav
Eran Yahav publishes mostly in Artificial Intelligence, Computer Networks and Communications and Software, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Distributed systems and fault tolerance.
- World rank
- #50,715 of 1,633,909 ranked researchers
- Rank in Israel
- #507 of 8,450
- Works
- 42
- Citations
- 414
- Citations per work
- 9.9
What does Eran Yahav research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence24% of their works
- 2Computer Networks and Communications16% of their works
- 3Software12% of their works
- 4Computational Theory and Mathematics12% of their works
- 5Information Systems12% of their works
- 6Signal Processing8% of their works
Research topics
Which keywords describe Eran Yahav's research?
The keywords of their largest research topics: Model Checking, Machine Learning, Formal Verification, Static Analysis, Deep Learning, Distributed Systems, Fault Tolerance and Satisfiability Modulo Theories.
- Active Learning
- Parallel Computing
- Android Malware
- Refactoring
- Automated Testing
- Satisfiability Modulo Theories
- Distributed Systems
- Static Analysis
- Machine Learning
- Model Checking
- Formal Verification
- Deep Learning
- Fault Tolerance
- Symbolic Model Checker
- Code Clone Detection
- Software Fault Localization
- Detection
- Performance Optimization
- Semi-Supervised Learning
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 19 words, with their numbers
- Model Checking132 topics
- Machine Learning113 topics
- Formal Verification71 topic
- Static Analysis71 topic
- Deep Learning62 topics
- Distributed Systems61 topic
- Fault Tolerance61 topic
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Automated Testing51 topic
- Code Clone Detection51 topic
- Refactoring51 topic
- Software Fault Localization51 topic
- Android Malware41 topic
- Detection41 topic
- Parallel Computing41 topic
- Performance Optimization41 topic
- Active Learning21 topic
- Semi-Supervised Learning21 topic
Where does Eran Yahav work?
Eran Yahav's main affiliation in the publication record is Technion – Israel Institute of Technology, Israel.
How many publications and citations does Eran Yahav have?
Science Explorer counts 42 works and 414 citations for Eran Yahav, ranking #50,715 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.