科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
专利缴费
专利查询
未登录
返回
B
Bor-Yuh Evan Chang
University of Colorado System
19
H指数
104
论文数
2.3K
被引数
0
相关解读
订阅
收录论文
2
发表时间
发表时间
IF
被引数
Shape Analysis
FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES
IF
0.5
2020-01-01
4
OA
AI
Chang, Bor-Yuh Evan; Dragoi, Cezara; Manevich, Roman; Rinetzky, Noam; Rival, Xavier
分享
收藏
In Defense of Soundiness: A Manifesto
COMMUNICATIONS OF THE ACM
IF
12.2
2015-01-28
184
OA
AI
Livshits, Benjamin; Sridharan, Manu; Smaragdakis, Yannis; Lhotak, Ondrej; Amaral, J. Nelson; Chang, Bor-Yuh Evan; Guyer, Samuel Z.; Khedker, Uday P.; Moller, Anders; Vardoulakis, Dimitrios
分享
收藏
研究方向
暂时未获取到该数据
合作学者
合作期刊
Y
Yannis Smaragdakis
H 指数: 45 · 论文数: 220
B
Benjamin Livshits
H 指数: 40 · 论文数: 214
A
Anders Møller
H 指数: 39 · 论文数: 175
M
Manu Sridharan
H 指数: 33 · 论文数: 117
X
Xavier Rival
H 指数: 26 · 论文数: 117
查看更多