Nick Benton
1992–2024 年に発表
- 所属
- Microsoft Research (United Kingdom)Meta (United Kingdom)Microsoft (United States)このコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 62
- 論文数
- 2,286
- 被引用数
- 28
- h 指数
- 36
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 2 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science97.4%
- Engineering0.6%
- Mathematics0.4%
- Decision Sciences0.3%
- Biochemistry, Genetics and Molecular Biology0.2%
- Business, Management and Accounting0.2%
- その他0.8%
トピック
- Logic, programming, and type systems29.2%
- Formal Methods in Verification16.4%
- Logic, Reasoning, and Knowledge11.2%
- Security and Verification in Computing8.7%
- Parallel Computing and Optimization Techniques8.2%
- Distributed systems and fault tolerance6.6%
- その他19.7%
よく組む共著者
- Andrew Kennedy20
- Martin Hofmann 000113
- Amal Ahmed 00016
- Chung-Kil Hur5
- Neelakantan R. Krishnaswami5
- Lars Birkedal4
- Martin Hyland4
- Vivek Nigam4
- Gavin Bierman3
- Greg Morrisett3
- Lennart Beringer3
- Conor McBride2
- Jonas Braband Jensen2
- Nicolas Tabareau2
- Pierre-Évariste Dagand2
- Valeria de Paiva2
- Xavier Leroy2
- Abbott Michael Gordon1
- Adam Barwell1
- Alberto Momigliano1
- Ales Bizjak1
- Alex Buckley1
- Alexis Ghyselen1
- Aliya Hameer1
全論文
論文を読み込んでいます…
