Nicolas Wu

国・地域

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

機関

• Imperial College London19.2%
• KU Leuven10.8%
• University of Oxford10.5%
• Radboud University Nijmegen8.4%
• University of Edinburgh7.7%
• University of Bristol7.1%
• その他36.2%

分野

• Computer Science90.7%
• Decision Sciences2.1%
• Engineering1.8%
• Mathematics1.8%
• Environmental Science0.8%
• Medicine0.8%
• その他2.1%

トピック

• Logic, programming, and type systems29.9%
• Formal Methods in Verification13.4%
• Logic, Reasoning, and Knowledge9.6%
• Parallel Computing and Optimization Techniques7.8%
• Software Engineering Research7.2%
• Model-Driven Software Engineering Techniques5.7%
• その他26.3%