作 者:Krishnendu Chatterjee ;Kristoffer Arnsfelt Hansen ;Rasmus Ibsen-Jensen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:55:1-55:13.doi:10.4230/LIPIcs.MFCS.2017.55
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510103
作 者:Krishnendu Chatterjee ;Rasmus Ibsen-Jensen ;Martin A. Nowak
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;83:61:1-61:13.doi:10.4230/LIPIcs.MFCS.2017.61
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:205510110
作 者:Krishnendu Chatterjee ;Rasmus Ibsen-Jensen ;Isma{"e}l Jecker 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;170:22:1-22:13.doi:10.4230/LIPIcs.MFCS.2020.22
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822932
作 者:Krishnendu Chatterjee ;Rasmus Rasmus Ibsen-Jensen ;Andreas Pavlogiannis
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;57:28:1-28:17.doi:10.4230/LIPIcs.ESA.2016.28
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847775
作 者:Krishnendu Chatterjee ;Amir Kafshdar Goharshady ;Rasmus Ibsen-Jensen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.11
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213323