Lee Pike
2004–2024 年に発表
- 所属
- Galois (United States)Langley Research Centerこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 40
- 論文数
- 805
- 被引用数
- 17
- h 指数
- 24
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science81.2%
- Engineering13.9%
- Decision Sciences1.2%
- Social Sciences0.8%
- Agricultural and Biological Sciences0.6%
- Physics and Astronomy0.6%
- その他1.8%
トピック
- Formal Methods in Verification20.8%
- Software Testing and Debugging Techniques11.1%
- Real-Time Systems Scheduling10.1%
- Embedded Systems Design Techniques7.3%
- Security and Verification in Computing7.1%
- Logic, programming, and type systems6.5%
- その他37%
よく組む共著者
- Patrick C. Hickey5
- Trevor Elliott5
- James Bielman4
- Sebastian Niller4
- Alwyn E. Goodloe3
- Alwyn Goodloe3
- Geoffrey M. Brown3
- John Launchbury3
- Nis Wegmann3
- Aaron Tomb2
- Alfons Geser2
- Aritra Sengupta2
- Benjamin F. Jones 00022
- Jamey Sharp2
- Jeffrey Maddalon2
- John Backes2
- Mark Tullsen2
- Martin Schäf2
- Nicolás Rosner2
- Paul S. Miner2
- Willem Visser2
- Adam Foltzer1
- Alan J. Hu1
- Andrew Gacek1
全論文
論文を読み込んでいます…
