A. Goharshady
发表
Krishnendu Chatterjee,
Amir Kafshdar Goharshady,
Arash Pourdamghani,
2019,
2019 IEEE International Conference on Blockchain and Cryptocurrency (ICBC).
Krishnendu Chatterjee,
Andreas Pavlogiannis,
Prateesh Goyal,
2019,
ACM Trans. Program. Lang. Syst..
K. Chatterjee,
Rasmus Ibsen-Jensen,
Andreas Pavlogiannis,
2016,
POPL.
Krishnendu Chatterjee,
Andreas Pavlogiannis,
Amir Kafshdar Goharshady,
2015,
ACM Trans. Program. Lang. Syst..
K. Chatterjee,
Rasmus Ibsen-Jensen,
A. K. Goharshady,
2019
.
Krishnendu Chatterjee,
Amir Kafshdar Goharshady,
Arash Pourdamghani,
2019,
SAC.
Krishnendu Chatterjee,
Yaron Velner,
Amir Kafshdar Goharshady,
2018,
ESOP.
Krishnendu Chatterjee,
Hongfei Fu,
Amir Kafshdar Goharshady,
2017,
CAV.
K. Chatterjee,
A. K. Goharshady,
Hongfei Fu,
2021,
PLDI.
Tobias Meggendorfer,
Đorđe Žikelić,
A. Goharshady,
2024,
Proceedings of the ACM on Programming Languages.
Krishnendu Chatterjee,
Jinyi Wang,
Hongfei Fu,
2020,
PLDI.
Faster Algorithms for Quantitative Analysis of Markov Chains and Markov Decision Processes with Small Treewidth
pdf
Krishnendu Chatterjee,
Andreas Pavlogiannis,
Amir Kafshdar Goharshady,
2020,
ArXiv.
Krishnendu Chatterjee,
Hongfei Fu,
Amir Kafshdar Goharshady,
2019,
PLDI.
Krishnendu Chatterjee,
Hongfei Fu,
Amir Kafshdar Goharshady,
2019,
Proc. ACM Program. Lang..
Krishnendu Chatterjee,
Hongfei Fu,
Amir Kafshdar Goharshady,
2019,
ArXiv.