Lukas Convent

国・地域

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

機関

• University of Lübeck21.3%
• IMDEA Software Institute16.1%
• Helmholtz Center for Information Security10.6%
• Aarhus University9.1%
• ETH Zurich9.1%
• University of Edinburgh5.1%
• その他28.7%

分野

• Computer Science90.5%
• Engineering5.2%
• Agricultural and Biological Sciences0.9%
• Business, Management and Accounting0.9%
• Environmental Science0.9%
• Mathematics0.9%
• その他0.9%

トピック

• Formal Methods in Verification24.1%
• Logic, programming, and type systems17%
• Software Testing and Debugging Techniques8.2%
• Real-Time Systems Scheduling6.7%
• Parallel Computing and Optimization Techniques6.4%
• Software Engineering Research5.7%
• その他31.9%