Greg Kimberly
1999–2024 年に発表
- 13
- 論文数
- 127
- 被引用数
- 6
- h 指数
- 4
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science81.4%
- Engineering14%
- Decision Sciences2.3%
- Neuroscience1.2%
- Psychology1.2%
トピック
- Formal Methods in Verification24.1%
- Software Reliability and Analysis Research13.3%
- Safety Systems Engineering in Autonomy10.2%
- Software Testing and Debugging Techniques9.6%
- Model-Driven Software Engineering Techniques9%
- Advanced Software Engineering Methodologies8.4%
- その他25.3%
よく組む共著者
- Jae Kim6
- Josh D. Eckhardt6
- Alessandro Cimatti4
- Denis Osipychev4
- Matthew Caesar 00014
- Alberto Griggio3
- Guijun Wang3
- Jinyang Li 00043
- Joydeep Bhattacharyya3
- Kyo Hyun Kim3
- Marco Bozzano3
- Stefano Tonetta3
- Tarek F. Abdelzaher3
- Anthony Fernandes Pires2
- Deepti Kalasapura2
- Denizhan Kara2
- Martin Jonás2
- Ruijie Wang 00042
- Shengzhong Liu2
- Sibin Mohan2
- Tianshi Wang 00022
- Vineetha Paruchuri2
- Yigong Hu2
- Yizhuo Chen2
全論文
論文を読み込んでいます…