logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
M

Manuel Fähndrich

university of california davis

42H指数
124论文数
6.1K被引数
收录论文 4
发表时间
logo
Scaling Static Analyses at Facebook
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-07-24
err121
errOAAI
errDistefano, Dino; Fahndrich, Manuel; Logozzo, Francesco; O'Hearn, Peter W.
err分享
err收藏
Abstracting Runtime Heaps for Program Understanding抽象运行时堆以理解程序
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2013-06-01
err15
errOAAI
errMarron, Mark; Sanchez, Cesar; Su, Zhendong; Fahndrich, Manuel
err分享
err收藏
Specification and Verification: The Spec# Experience
errCOMMUNICATIONS OF THE ACM
IF12.2
err2011-06-01
err96
PREAI
errBarnett, Mike; Faehndrich, Manuel; Leino, K. Rustan M.; Mueller, Peter; Schulte, Wolfram; Venter, Herman
err分享
err收藏
Righting software
errIEEE SOFTWARE
IF3
err2004-05-01
err61
PREAI
errLarus, JB; Ball, T; Bas, M; DeLine, R; Fähndrich, M; Pincus, I; Rajamani, SK; Vankatapathy, R
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
Zhendong Su 封面图
Zhendong Su (Zhendong Su)
H 指数: 65 · 论文数: 275
S
Sriram K. Rajamani
H 指数: 55 · 论文数: 209
K
K. Rustan M. Leino
H 指数: 51 · 论文数: 174
P
Peter W. O’Hearn
H 指数: 48 · 论文数: 148
W
Wolfram Schulte
H 指数: 46 · 论文数: 239
查看更多