Daniel Tuijnman

国・地域

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

機関

• Universität Ulm22.2%
• Shanghai Key Laboratory of Trustworthy Computing11.1%
• Technische Universität Berlin11.1%
• Software (Spain)11.1%
• East China Normal University8.3%
• University of Freiburg5.6%
• その他30.6%

分野

• Computer Science94.4%
• Business, Management and Accounting5.6%

トピック

• Parallel Computing and Optimization Techniques21.7%
• Logic, programming, and type systems21.7%
• Embedded Systems Design Techniques10.9%
• Formal Methods in Verification8.7%
• Software Testing and Debugging Techniques6.5%
• Logic, Reasoning, and Knowledge6.5%
• その他23.9%