Jay A. McCarthy
2007–2023 年に発表
- 所属
- Brigham Young Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-2061-7396
- 16
- 論文数
- 315
- 被引用数
- 8
- h 指数
- 7
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science92.4%
- Decision Sciences2%
- Engineering1.6%
- Social Sciences1.6%
- Agricultural and Biological Sciences0.4%
- Biochemistry, Genetics and Molecular Biology0.4%
- その他1.6%
トピック
- Logic, programming, and type systems24.2%
- Formal Methods in Verification11%
- Software Engineering Research9.5%
- Parallel Computing and Optimization Techniques9.3%
- Model-Driven Software Engineering Techniques7.4%
- Software Testing and Debugging Techniques6.8%
- その他31.8%
よく組む共著者
- Robert Bruce Findler8
- Shriram Krishnamurthi8
- Matthew Flatt4
- Matthias Felleisen4
- Sam Tobin-Hochstadt4
- Burke Fetscher2
- Casey Klein2
- Eli Barzilay2
- Max S. New2
- Alex Knauth1
- Arjun Guha1
- Ben Greenman1
- Carl Eastlund1
- Christos Dimoulas1
- Daniel Feltey1
- Greg Pettyjohn1
- Gregory H. Cooper1
- Jack Firth1
- Jens Axel Søgaard1
- John Clements1
- John D. Ramsdell1
- Jon Rafkind1
- Joshua D. Guttman1
- Kiran Gopinathan1
全論文
論文を読み込んでいます…
