Rajeev Joshi
1992–2025 年に発表
- 所属
- Jet Propulsion LaboratoryReliable Software Resources (United States)このコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-1413-0140
- 64
- 論文数
- 1,960
- 被引用数
- 23
- h 指数
- 34
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science88.4%
- Medicine4.2%
- Engineering2.9%
- Neuroscience1%
- Business, Management and Accounting0.8%
- Social Sciences0.6%
- その他2%
トピック
- Formal Methods in Verification18%
- Software Testing and Debugging Techniques16.3%
- Security and Verification in Computing9.1%
- Logic, programming, and type systems8.2%
- Software Reliability and Analysis Research8.1%
- Distributed systems and fault tolerance6.6%
- その他33.7%
よく組む共著者
- Alex Groce12
- Gerard J. Holzmann12
- Srinivas Katkoori12
- Klaus Havelund11
- Md. Adnan Zaman6
- Lakshmi Kavya Kalyanam4
- Cormac Flanagan3
- Franceli L. Cibrian3
- Jayadev Misra3
- Maryam Etezad3
- Sean Kauffman3
- Stephen R. Salton3
- Adarsh Chaudhary2
- Akhil Sahai2
- Allen L. Pan2
- Bin Zhang2
- Emmy Sakakibara2
- Eric E. Schadt2
- Greg Nelson2
- Han‐Shui Hsu2
- Jeong-Meen Seo2
- Jesus Fernando B. Inciong2
- Lam Viet Trung2
- Michelle E. Ehrlich2
全論文
論文を読み込んでいます…
