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

Andrew W. Appel

Princeton University

53H指数
347论文数
1.1W被引数
收录论文 5
发表时间
logo
The Scalability of CertiKOS
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-09-24
err0
PREAI
errAppel, Andrew W.
err分享
err收藏
Position paper: the science of deep specification
errPHILOSOPHICAL TRANSACTIONS OF THE ROYAL SOCIETY A-MATHEMATICAL PHYSICAL AND ENGINEERING SCIENCES
IF3.7
err2017-09-04
err31
errOAAI
errAppel, Andrew W.; Beringer, Lennart; Chlipala, Adam; Pierce, Benjamin C.; Shao, Zhong; Weirich, Stephanie; Zdancewic, Steve
err分享
err收藏
SAFKASI: A security mechanism for language-based systems
errACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
IF6.2
err2000-10-01
err72
errOAAI
errWallach, DS; Appel, AW; Felten, EW
err分享
err收藏
Technological access control interferes with noninfringing scholarship
errCOMMUNICATIONS OF THE ACM
IF12.2
err2000-09-01
err4
errOAAI
errAppel, AW; Felten, EW
err分享
err收藏
THE WORLDS FASTEST SCRABBLE PROGRAM
errCOMMUNICATIONS OF THE ACM
IF12.2
err1988-05-01
err34
errOAAI
errAPPEL, AW; JACOBSON, GJ
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
B
Benjamin C. Pierce
H 指数: 61 · 论文数: 352
E
Edward W. Felten
H 指数: 52 · 论文数: 155
S
Steve Zdancewic
H 指数: 46 · 论文数: 167
D
Dan S. Wallach
H 指数: 45 · 论文数: 167
Z
Zhong Shao
H 指数: 39 · 论文数: 206
查看更多