Yaron Velner
发表
Jason Teutsch,
Prateek Saxena,
Loi Luu,
2017,
USENIX Security Symposium.
Jason Teutsch,
Loi Luu,
Yaron Velner,
2017,
Financial Cryptography Workshops.
Yaron Velner,
S. Shenker,
Aurojit Panda,
2019,
Formal Methods in System Design.
Krishnendu Chatterjee,
Yaron Velner,
Amir Kafshdar Goharshady,
2018,
CONCUR.
Scott Shenker,
Alexander Moshe Rabinovich,
Shmuel Sagiv,
2016,
Formal Methods in System Design.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Alexander Moshe Rabinovich,
2012,
Inf. Comput..
Krishnendu Chatterjee,
Andreas Pavlogiannis,
Yaron Velner,
2015,
POPL.
Yaron Velner,
Yaron Velner,
2012,
ICALP.
Yaron Velner,
Yaron Velner,
2012,
ArXiv.
Alexander Moshe Rabinovich,
Yaron Velner,
Yaron Velner,
2011,
FoSSaCS.
Scott Shenker,
Roman Manevich,
Shmuel Sagiv,
2017,
SAS.
Scott Shenker,
Roman Manevich,
Shmuel Sagiv,
2017,
ArXiv.
Scott Shenker,
Roman Manevich,
Mooly Sagiv,
2017
.
Krishnendu Chatterjee,
Yaron Velner,
Amir Kafshdar Goharshady,
2018,
ESOP.
Krishnendu Chatterjee,
Thomas A. Henzinger,
Jan Otop,
2017,
Inf. Comput..
Krishnendu Chatterjee,
Yaron Velner,
Yaron Velner,
2017,
J. ACM.
Krishnendu Chatterjee,
Yaron Velner,
Yaron Velner,
2012,
ArXiv.
Krishnendu Chatterjee,
Yaron Velner,
Yaron Velner,
2012,
CONCUR.
Krishnendu Chatterjee,
Yaron Velner,
Yaron Velner,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.