Oded Padon

国・地域

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

機関

• Shanghai Jiao Tong University11.8%
• Tsinghua University9.9%
• Tel Aviv University8.8%
• Institute of Computing Technology8%
• Chinese Academy of Sciences7.8%
• Stanford University7.2%
• その他46.6%

分野

• Computer Science93.4%
• Engineering1.7%
• Decision Sciences1.2%
• Mathematics0.6%
• Social Sciences0.5%
• Biochemistry, Genetics and Molecular Biology0.4%
• その他2.2%

トピック

• Formal Methods in Verification17.7%
• Parallel Computing and Optimization Techniques12.9%
• Logic, programming, and type systems10.9%
• Software Testing and Debugging Techniques9.3%
• Distributed systems and fault tolerance8.9%
• Advanced Neural Network Applications8.4%
• その他31.9%