Paley Li

国・地域

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

機関

• Victoria University of Wellington20.1%
• University of Kent12.1%
• Association for Computing Machinery10.1%
• University of Washington8.7%
• Amrita Vishwa Vidyapeetham6.7%
• IBM Research - Zurich6%
• その他36.2%

分野

• Computer Science97.3%
• Decision Sciences1.3%
• Engineering1.3%

トピック

• Logic, programming, and type systems27.9%
• Parallel Computing and Optimization Techniques14.2%
• Formal Methods in Verification10.2%
• Software Engineering Research8.6%
• Distributed systems and fault tolerance8.1%
• Security and Verification in Computing8.1%
• その他22.8%