Torben Scheffel

国・地域

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

機関

• University of Lübeck20.8%
• IMDEA Software Institute11.4%
• ETH Zurich11.1%
• Centre National de la Recherche Scientifique7.5%
• Helmholtz Center for Information Security7.5%
• Saarland University7.5%
• その他34.3%

分野

• Computer Science88.7%
• Engineering5.4%
• Business, Management and Accounting1.6%
• Decision Sciences1.1%
• Agricultural and Biological Sciences0.5%
• Arts and Humanities0.5%
• その他2.2%

トピック

• Formal Methods in Verification22.8%
• Software Testing and Debugging Techniques12.6%
• Real-Time Systems Scheduling8.3%
• Logic, programming, and type systems7.8%
• Advanced Software Engineering Methodologies7.4%
• Distributed systems and fault tolerance6.4%
• その他34.7%