Krishnendu Chatterjee
发表
Thomas A. Henzinger,
Krishnendu Chatterjee,
Jan Otop,
2020,
CONCUR.
Thomas A. Henzinger,
Krishnendu Chatterjee,
Jan Otop,
2019,
Log. Methods Comput. Sci..
Jerzy A. Filar,
Maria Kleshnina,
Krishnendu Chatterjee,
2020
.
Martin A. Nowak,
Andreas Pavlogiannis,
Josef Tkadlec,
2018,
ArXiv.
Wolfgang Dvorák,
Krishnendu Chatterjee,
Monika Henzinger,
2019,
CONCUR.
Vojtech Forejt,
Krishnendu Chatterjee,
Toma Brazdil,
2013,
2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Krishnendu Chatterjee,
Hongfei Fu,
Amir Kafshdar Goharshady,
2019,
Proc. ACM Program. Lang..