Limor Fix
Limor Fix publishes mostly in Computational Theory and Mathematics, Artificial Intelligence and Software, on topics such as Formal Methods in Verification, Logic, programming, and type systems and Software Testing and Debugging Techniques.
- World rank
- #586,787 of 1,633,909 ranked researchers
- Rank in Israel
- #4,380 of 8,450
- Works
- 18
- Citations
- 111
- Citations per work
- 6.2
What does Limor Fix research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Computational Theory and Mathematics25% of their works
- 2Artificial Intelligence22% of their works
- 3Software16% of their works
- 4Electrical and Electronic Engineering9% of their works
- 5Hardware and Architecture9% of their works
- 6Industrial and Manufacturing Engineering9% of their works
Research topics
Which keywords describe Limor Fix's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Formal Verification, Static Analysis, Automated Testing and Software Fault Localization.
- Side-Channel Attacks
- Modal Logic
- Distributed Systems
- Reconfigurable Computing
- Soft Errors
- Software Fault Localization
- Static Analysis
- Symbolic Model Checker
- Temporal Logic
- Model Checking
- Satisfiability Modulo Theories
- Formal Verification
- Automated Testing
- Radiation Effects
- High-Level Synthesis
- Answer Set Programming
- Grid Computing
- Security Policies
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
- Model Checking143 topics
- Temporal Logic92 topics
- Satisfiability Modulo Theories81 topic
- Symbolic Model Checker81 topic
- Formal Verification51 topic
- Static Analysis51 topic
- Automated Testing41 topic
- Software Fault Localization41 topic
- Radiation Effects31 topic
- Soft Errors31 topic
- High-Level Synthesis21 topic
- Reconfigurable Computing21 topic
- Answer Set Programming11 topic
- Distributed Systems11 topic
- Grid Computing11 topic
- Modal Logic11 topic
- Security Policies11 topic
- Side-Channel Attacks11 topic
Where does Limor Fix work?
Limor Fix's main affiliation in the publication record is Intel (Israel), Israel.
How many publications and citations does Limor Fix have?
Science Explorer counts 18 works and 111 citations for Limor Fix, ranking #586,787 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.