Stephan Gocht

国・地域

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

機関

• National University of Singapore14.5%
• University of Copenhagen11.7%
• Karlsruhe Institute of Technology10.7%
• Lund University10%
• University of Helsinki7.9%
• Centre National de la Recherche Scientifique6.9%
• その他38.3%

分野

• Computer Science92.8%
• Engineering2.2%
• Mathematics1.7%
• Decision Sciences1.1%
• Earth and Planetary Sciences0.6%
• Economics, Econometrics and Finance0.6%
• その他1.1%

トピック

• Formal Methods in Verification22.3%
• Logic, programming, and type systems11.5%
• Constraint Satisfaction and Optimization11%
• Logic, Reasoning, and Knowledge9.6%
• Bayesian Modeling and Causal Inference7.1%
• Software Testing and Debugging Techniques6.6%
• その他31.9%