Benoît Barbot

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

• Centre National de la Recherche Scientifique15.6%
• University of Oxford13.8%
• Université Paris-Saclay7.8%
• Université Paris-Est Créteil7.2%
• University of Turin7.2%
• Aalborg University5.6%
• Other42.8%

Fields

• Computer Science83%
• Biochemistry, Genetics and Molecular Biology4.9%
• Engineering3.3%
• Business, Management and Accounting2.2%
• Medicine2.2%
• Mathematics1.1%
• Other3.3%

Topics

• Formal Methods in Verification29.2%
• Software Reliability and Analysis Research12.9%
• Software Testing and Debugging Techniques10.3%
• Petri Nets in System Modeling9.5%
• Machine Learning and Algorithms8.9%
• Adversarial Robustness in Machine Learning6%
• Other23.2%