Clovis Eberhart
Active 2013–2025
- 27
- Papers
- 81
- Citations
- 6
- h-index
- 1
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is not shown (dated before this author's first paper)
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.3%
- Engineering7.3%
- Biochemistry, Genetics and Molecular Biology1.8%
- Decision Sciences1.8%
- Economics, Econometrics and Finance1.8%
Topics
- Formal Methods in Verification23.9%
- Logic, programming, and type systems19.7%
- Logic, Reasoning, and Knowledge15.4%
- Software Testing and Debugging Techniques8.5%
- Natural Language Processing Techniques4.3%
- Autonomous Vehicle Technology and Safety4.3%
- Other23.9%
Frequent coauthors
- Ichiro Hasuo10
- Jérémy Dubut8
- Sasinee Pruekprasert8
- Tom Hirschowitz7
- James Haydon4
- Ahmet Cetinkaya3
- Akihisa Yamada 00023
- Fuyuki Ishikawa3
- Kazuki Watanabe 00033
- Kazuyuki Asada3
- Shin-ya Katsumata3
- Thomas Seiller3
- Alexis Laouar2
- Bartek Klin2
- Kohei Suenaga2
- Toru Takisaka2
- Tsutomu Kobayashi2
- Erik André Pallas1
- Kenji Kamijo1
- Kenta Cho 00021
- Martin Bondu1
- Nian-Ze Lee1
- Nick Hu1
- Rose Bohrer1
All papers
Loading papers…
