首页
探索
nav.journalClub
趋势
更多
Synapse
⌘+K
Synapse
语言
简体中文
简体中文
Radu Rugina | Synapse
RR
Radu Rugina
Logic, programming, and type systems
Kitware (United States)
Share
Follow
Claim This Profile
About
Research focus
Logic, programming, and type systems
Impact
41 pubs · 1,627 cites · h-index 22
Affiliations
Kitware (United States)
VMware (United States)
Cornell University
See all
Publications