Eric Mugnier
Active 2022–2026
- 8
- Papers
- 56
- Citations
- 4
- h-index
- 3
- 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 Science87.2%
- Biochemistry, Genetics and Molecular Biology5.1%
- Social Sciences5.1%
- Decision Sciences2.6%
Topics
- Formal Methods in Verification21.1%
- Logic, programming, and type systems15.8%
- Software Engineering Research10.5%
- Software Testing and Debugging Techniques10.5%
- Adversarial Robustness in Machine Learning6.6%
- Security and Verification in Computing5.3%
- Other30.3%
Frequent coauthors
- Yuanyuan Zhou 00015
- Ranjit Jhala3
- Chengcheng Xiang2
- Emmanuel Anaya Gonzalez2
- Li Zhong2
- Nadia Polikarpova2
- Adin Ackerman1
- Alain Foguena Kenfak1
- Amit Levy 00011
- Andreas Konasch1
- Anthony Tarbinian1
- Bingyu Shen 00021
- Daniel Genné1
- David Tao1
- Dominique Marianne Staehli1
- Enze Liu 00011
- Etienne Pittet1
- Geoffrey M. Voelker1
- George Kappos1
- Gregor John1
- Haochen Huang1
- Kurt Thomas1
- Leon Schuermann1
- Luca Invernizzi1
All papers
Loading papers…
