作　　者：Malgorzata Biernacka ;Witold Charatonik

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-20.doi:10.4230/LIPIcs.FSCD.2019.8

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：238892295

作　　者：Bartosz Bednarczyk ;Witold Charatonik ;Emanuel Kieronski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;82:11:1-11:20.doi:10.4230/LIPIcs.CSL.2017.11

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：200735077

作　　者：Malgorzata Biernacka ;Witold Charatonik ;Klara Zielinska

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:10:1-10:17.doi:10.4230/LIPIcs.FSCD.2017.10

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：200735119

作　　者：Bartosz Bednarczyk ;Witold Charatonik

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:12:1-12:16.doi:10.4230/LIPIcs.FSTTCS.2017.12

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：220015397

作　　者：Witold Charatonik ;Piotr Witkowski

出　　处：Logical Methods in Computer Science. 2016 ;12(2):1.doi:10.2168/LMCS-12(2:8)2016

出 版 社：Technical University of Braunschweig

文 章 ID：264692093

作　　者：Witold Charatonik ;Piotr Witkowski

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:631-647.doi:10.4230/LIPIcs.CSL.2015.631

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：186847074