作 者:Jakub Michaliszyn ;Jan Otop ;Piotr Witkowski
出 处:Electronic Proceedings in Theoretical Computer Science. 2012 ;96:141-154.doi:10.4204/EPTCS.96.11
出 版 社:Open Publishing Association
文 章 ID:83120593
作 者:Jakub Michaliszyn ;Jan Otop
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.17
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891925
作 者:Jakub Michaliszyn ;Jan Otop
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:42:1-42:13.doi:10.4230/LIPIcs.FSTTCS.2017.42
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015427
作 者:Jakub Michaliszyn ;Jan Otop ;Piotr Wieczorek
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:43:1-43:15.doi:10.4230/LIPIcs.FSTTCS.2017.43
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015428
作 者:Emanuel Kieronski ;Jakub Michaliszyn ;Jan Otop
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:264-275.doi:10.4230/LIPIcs.FSTTCS.2011.264
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186845884
作 者:Emanuel Kieronski ;Jakub Michaliszyn
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;16:396-410.doi:10.4230/LIPIcs.CSL.2012.396
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846173
作 者:Jakub Michaliszyn ;Jan Otop
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;23:563-577.doi:10.4230/LIPIcs.CSL.2013.563
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186846360
作 者:Jakub Michaliszyn ;Jan Otop
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-16.doi:10.4230/LIPIcs.CONCUR.2018.10
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213322