Vincent Jackson

国・地域

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

機関

• University of Kent20.8%
• Association for Computing Machinery14.2%
• University of Cambridge11.3%
• The University of Melbourne8.5%
• Purdue University West Lafayette8.5%
• Massachusetts Institute of Technology7.5%
• その他29.2%

分野

• Computer Science92.6%
• Biochemistry, Genetics and Molecular Biology3.7%
• Decision Sciences3.7%

トピック

• Logic, programming, and type systems26%
• Formal Methods in Verification17.8%
• Security and Verification in Computing17.8%
• Parallel Computing and Optimization Techniques13.7%
• Distributed systems and fault tolerance6.8%
• Embedded Systems Design Techniques4.1%
• その他13.7%