Christopher A. Stone
1996–2023 年に発表
- 所属
- Harvey Mudd Collegeこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0009-0006-5720-3433
- 14
- 論文数
- 230
- 被引用数
- 6
- h 指数
- 4
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science99.3%
- Agricultural and Biological Sciences0.7%
トピック
- Logic, programming, and type systems33.6%
- Formal Methods in Verification13.1%
- Software Engineering Research10.3%
- Parallel Computing and Optimization Techniques9.2%
- Advanced Software Engineering Methodologies8.5%
- Logic, Reasoning, and Knowledge7.9%
- その他17.4%
よく組む共著者
- Andrej Bauer3
- Robert Harper 00013
- Melissa E. O'Neill2
- Peter Lee 00012
- Adam M. Cozzette1
- Ari D. Schumer1
- Brent Heeringa1
- Chris Okasaki1
- David Reed 00011
- David Tarditi1
- Edoardo Biagioni1
- Gaëtan Gilbert1
- Henry Hammer1
- J. Gregory Morrisett1
- Jon G. Riecke1
- Julia Matsieva1
- Julie Medero1
- Karen L. Reid1
- Katherine Breeden1
- Kenneth Cline1
- Lucas Bang1
- M. Joe DeBlasio1
- Matija Pretnar1
- Mehran Sahami1
全論文
論文を読み込んでいます…
