Benoît Barbot

国・地域

このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。

機関

• 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%
• その他42.8%

分野

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

トピック

• 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%
• その他23.2%