Wang Yi
1995–2025 年に発表
- 所属
- City University of Hong KongUniversity of California, IrvineShanghai Jiao Tong Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0002-2994-6110
- 51
- 論文数
- 704
- 被引用数
- 17
- h 指数
- 22
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science81.8%
- Earth and Planetary Sciences4.4%
- Engineering3.9%
- Medicine3.7%
- Social Sciences1.6%
- Neuroscience1.1%
- その他3.4%
トピック
- Formal Methods in Verification18.1%
- Embedded Systems Design Techniques9.1%
- Parallel Computing and Optimization Techniques8.9%
- Real-Time Systems Scheduling7.2%
- Software Testing and Debugging Techniques7.1%
- Software Engineering Research6.6%
- その他43%
よく組む共著者
- Paul Pettersson12
- Gerd Behrmann7
- Alexandre David6
- Edmund Clarke5
- Johan Bengtsson5
- Kim G. Larsen5
- Kim Larsen5
- Christel Baier4
- David Dill4
- Fredrik Larsson4
- Geguang Pu4
- He Jifeng4
- Joseph Sifakis4
- Koushik Sen4
- Orna Grumberg4
- Rajeev Alur4
- Thomas Henzinger4
- A Cimatti3
- A. David3
- Alessandro Cimatti3
- Amir Pnueli3
- Doron Peled3
- Enrico Giunchiglia3
- Gregory Malecha3
全論文
論文を読み込んでいます…
