Clyde Ruby
1999–2003 年に発表
- 所属
- Iowa State Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 8
- 論文数
- 1,650
- 被引用数
- 6
- h 指数
- 6
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science97.2%
- Engineering0.8%
- Social Sciences0.8%
- Environmental Science0.3%
- Agricultural and Biological Sciences0.2%
- Decision Sciences0.2%
- その他0.5%
トピック
- Logic, programming, and type systems19.2%
- Formal Methods in Verification16.3%
- Advanced Software Engineering Methodologies12.9%
- Software Testing and Debugging Techniques12.1%
- Software Engineering Research11.5%
- Security and Verification in Computing5.6%
- その他22.4%
よく組む共著者
全論文
論文を読み込んでいます…
