Michael Emmi
Active 2006–2023
- 45
- Papers
- 1,469
- Citations
- 22
- h-index
- 34
- 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 Science96.5%
- Engineering2%
- Business, Management and Accounting0.5%
- Decision Sciences0.2%
- Health Professions0.2%
- Agricultural and Biological Sciences0.1%
- Other0.6%
Topics
- Software Testing and Debugging Techniques13.9%
- Formal Methods in Verification13.3%
- Distributed systems and fault tolerance11.6%
- Security and Verification in Computing11.4%
- Parallel Computing and Optimization Techniques8.8%
- Logic, programming, and type systems8.2%
- Other32.9%
Frequent coauthors
- Constantin Enea16
- Ahmed Bouajjani10
- Rupak Majumdar7
- Jad Hamza5
- Akash Lal4
- Serdar Tasiran4
- Zvonimir Rakamaric4
- Burcu Kulahcioglu Ozkan3
- Gabriela F. Ciocarlie3
- Ranjit Jhala3
- Shaz Qadeer3
- Aritra Sengupta2
- Jingbo Wang 00062
- Liana Hadarean2
- Montgomery Carter2
- Nicolás Rosner2
- Shaobo He 00022
- Alice Wang1
- Antonio Filieri1
- Arvind Haran1
- Bogdan Copos1
- Byron Cook1
- Cezara Dragoi1
- Chris Hawblitzel1
All papers
Loading papers…
