Maxime Dénès

国・地域

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

機関

• Institut national de recherche en sciences et technologies du numérique17.8%
• Centre National de la Recherche Scientifique15.6%
• Universidad de La Rioja10.2%
• University of Pennsylvania7.9%
• California University of Pennsylvania7%
• University of Gothenburg5.4%
• その他36.2%

分野

• Computer Science90.6%
• Mathematics4.5%
• Biochemistry, Genetics and Molecular Biology1.2%
• Engineering1.2%
• Decision Sciences0.8%
• Environmental Science0.8%
• その他0.8%

トピック

• Logic, programming, and type systems22.8%
• Formal Methods in Verification16.1%
• Security and Verification in Computing13.9%
• Software Testing and Debugging Techniques10.5%
• Advanced Malware Detection Techniques8.1%
• Logic, Reasoning, and Knowledge5.4%
• その他23.2%