Timothy Kam
1992–2024 年に発表
- 所属
- University of California, Berkeleyこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 28
- 論文数
- 1,099
- 被引用数
- 16
- h 指数
- 21
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science85.5%
- Engineering10.5%
- Biochemistry, Genetics and Molecular Biology1.1%
- Decision Sciences0.8%
- Business, Management and Accounting0.7%
- Psychology0.4%
- その他1.1%
トピック
- Formal Methods in Verification27.9%
- Embedded Systems Design Techniques11.3%
- VLSI and Analog Circuit Testing9.8%
- Software Testing and Debugging Techniques9.1%
- Low-power high-performance VLSI design6.4%
- Software Reliability and Analysis Research6.2%
- その他29.2%
よく組む共著者
- Robert K. Brayton10
- Tiziano Villa8
- Michael Kishinevsky5
- Alberto Sangiovanni‐Vincentelli4
- Alberto L. Sangiovanni-Vincentelli3
- Eriko Nurvitadhi3
- James C. Hoe3
- Pei-Hsin Ho3
- Shih-Lien Lu3
- Xinning Wang3
- Alan Mishchenko2
- Jordi Cortadella2
- Marc Galceran Oms2
- P. A. Subrahmanyam2
- Xudong Zhao 00052
- Yatin Vasant Hoskote2
- Ümit Y. Ogras2
- A. Aziz1
- A. Sangiovanni-Vincenteili1
- Adrian J. Isles1
- Alberto L. Angiovanni-Vincentelli1
- Alexandru Nicolau1
- Allen Head1
- Edmund M. Clarke1
全論文
論文を読み込んでいます…
