Sima Jamali
Active 2017–2021
- 4
- Papers
- 22
- Citations
- 3
- h-index
- 1
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science100%
Topics
- Formal Methods in Verification31.1%
- Constraint Satisfaction and Optimization13.3%
- Logic, Reasoning, and Knowledge11.1%
- Software Engineering Research6.7%
- Software Testing and Debugging Techniques6.7%
- Model-Driven Software Engineering Techniques6.7%
- Other24.4%
Frequent coauthors
All papers
Loading papers…
