logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
A

Andrew W. Appel

Princeton University

53H-index
347Paper Count
1.1WCitation Count
Published Papers 5
Publication Date
logo
The Scalability of CertiKOS
errCOMMUNICATIONS OF THE ACM
IF12.2
err2019-09-24
err0
PREAI
errAppel, Andrew W.
errShare
errSave
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
errShare
errSave
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
errShare
errSave
Technological access control interferes with noninfringing scholarship
errCOMMUNICATIONS OF THE ACM
IF12.2
err2000-09-01
err4
errOAAI
errAppel, AW; Felten, EW
errShare
errSave
THE WORLDS FASTEST SCRABBLE PROGRAM
errCOMMUNICATIONS OF THE ACM
IF12.2
err1988-05-01
err34
errOAAI
errAPPEL, AW; JACOBSON, GJ
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
B
Benjamin C. Pierce
H-index: 61 · Papers: 352
E
Edward W. Felten
H-index: 52 · Papers: 155
S
Steve Zdancewic
H-index: 46 · Papers: 167
D
Dan S. Wallach
H-index: 45 · Papers: 168
Z
Zhong Shao
H-index: 39 · Papers: 207
View more