作 者:Krishnendu Chatterjee ;Rupak Majumdar
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;25:22-29.doi:10.4204/EPTCS.25.6
出 版 社:Open Publishing Association
文 章 ID:83119901
作 者:Krishnendu Chatterjee ;Nathanaël Fijalkow
出 处:Electronic Proceedings in Theoretical Computer Science. 2011 ;54:74-86.doi:10.4204/EPTCS.54.6
出 版 社:Open Publishing Association
文 章 ID:83120160
作 者:Luca de Alfaro ;Krishnendu Chatterjee ;Marco Faella 等
出 处:Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:7)2009
出 版 社:Technical University of Braunschweig
文 章 ID:47208404
作 者:Jean-Francois Raskin ;Krishnendu Chatterjee ;Laurent Doyen 等
出 处:Logical Methods in Computer Science. 2007 ;3(03).doi:10.2168/LMCS-3(3:4)2007
出 版 社:Technical University of Braunschweig
文 章 ID:46838667
作 者:Andreas Pavlogiannis ;Josef Tkadlec ;Krishnendu Chatterjee 等
出 处:Scientific Reports. 2017 ;7(1).doi:10.1038/s41598-017-00107-w
出 版 社:Springer Nature
文 章 ID:235883410
作 者:Andreas Pavlogiannis ;Krishnendu Chatterjee ;Ben Adlam 等
出 处:Scientific Reports. 2015 ;5.doi:10.1038/srep17147
出 版 社:Springer Nature
文 章 ID:146910635
作 者:Laura Schmid ;Krishnendu Chatterjee ;Stefan Schmid
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;153:1-16.doi:10.4230/LIPIcs.OPODIS.2019.21
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:243494186
作 者:Krishnendu Chatterjee ;Nir Piterman
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.6
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891914
作 者:Krishnendu Chatterjee ;Wolfgang Dvor{'a}k ;Monika Henzinger 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891915
作 者:Krishnendu Chatterjee ;Thomas A. Henzinger ;Jan Otop
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.27
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891935