David Cao
2016–2023 年に発表
- 6
- 論文数
- 148
- 被引用数
- 5
- h 指数
- 5
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science75%
- Medicine13%
- Engineering5.4%
- Psychology3.3%
- Arts and Humanities1.1%
- Environmental Science1.1%
- その他1.1%
トピック
- Logic, programming, and type systems18.5%
- Parallel Computing and Optimization Techniques11.6%
- Software Engineering Research11%
- Software Testing and Debugging Techniques11%
- Formal Methods in Verification8.2%
- Model-Driven Software Engineering Techniques6.2%
- その他33.6%
よく組む共著者
- Max Willsey2
- Nadia Polikarpova2
- Zachary Tatlock2
- Amanda Zhang1
- Brian Funaki1
- Chandrakana Nandi1
- Cole Schlesinger1
- Daniel Thomas Ginat1
- Davin Tjong1
- Eli Rosenthal1
- Hongfeng Yu 00011
- Igor Soares1
- Jean Yang 00011
- Jeffrey A. Leef1
- Jieting Wu1
- Jun Wang 00221
- Michael H. Zhang1
- Oliver Flatt1
- Osman Ahmed1
- Philip Zucker1
- Qian Yu1
- Rakesh Navuluri1
- Rose Kunkel1
- Shruti Daggumati1
全論文
論文を読み込んでいます…
