Ben Simner
2017–2025 年に発表
- 10
- 論文数
- 83
- 被引用数
- 4
- h 指数
- 4
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science94.5%
- Medicine1.8%
- Neuroscience1.8%
- Health Professions1.8%
トピック
- Formal Methods in Verification15.4%
- Security and Verification in Computing15.4%
- Parallel Computing and Optimization Techniques14.7%
- Logic, programming, and type systems14.7%
- Distributed systems and fault tolerance9.8%
- Software Testing and Debugging Techniques8.4%
- その他21.7%
よく組む共著者
全論文
論文を読み込んでいます…