Wang Yi
Active 1995–2025
- Affiliations
- City University of Hong KongUniversity of California, IrvineShanghai Jiao Tong UniversityThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- ORCID
- 0000-0002-2994-6110
- 51
- Papers
- 704
- Citations
- 17
- h-index
- 22
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
- Shanghai Jiao Tong University11.7%
- Tsinghua University11.1%
- Chinese Academy of Sciences10.3%
- Peking University10.3%
- Uppsala University7%
- Hong Kong Polytechnic University6.4%
- Other43.3%
Fields
- Computer Science81.8%
- Earth and Planetary Sciences4.4%
- Engineering3.9%
- Medicine3.7%
- Social Sciences1.6%
- Neuroscience1.1%
- Other3.4%
Topics
- 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%
- Other43%
Frequent coauthors
- 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
All papers
Loading papers…
