首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Hongwei Xi | Synapse
HX
Hongwei Xi
Logic, programming, and type systems
Singapore Institute of Technology
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
205 pubs · 3,317 cites · h-index 26
Affiliations
Singapore Institute of Technology
Chinese Academy of Sciences
Nanfang Hospital
See all
Publications