Boris Eng

国・地域

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

機関

• Roma Tre University13.3%
• University of Sussex13.3%
• University of Southern Denmark13.3%
• Max Planck Institute for Software Systems13.3%
• Centre National de la Recherche Scientifique6.7%
• Max Planck Society6.7%
• その他33.3%

分野

• Computer Science100%

トピック

• Logic, programming, and type systems16.7%
• Security and Verification in Computing16.7%
• Logic, Reasoning, and Knowledge12.5%
• Formal Methods in Verification8.3%
• Distributed systems and fault tolerance8.3%
• Advanced Malware Detection Techniques8.3%
• その他29.2%