作 者:Laure Daviaud ;Marcin Jurdzinski ;Karoliina Lehtinen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-14.doi:10.4230/LIPIcs.CONCUR.2019.18
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891926
作 者:Udi Boker ;Karoliina Lehtinen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-16.doi:10.4230/LIPIcs.CONCUR.2019.19
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238891927
作 者:Luca Aceto ;Antonis Achilleos ;Adrian Francalanza 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;183:7:1-7:23.doi:10.4230/LIPIcs.CSL.2021.7
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:258514169
作 者:Udi Boker ;Denis Kuperberg ;Karoliina Lehtinen 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;182:1-13.doi:10.4230/LIPIcs.FSTTCS.2020.41
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:257805111
作 者:Karoliina Lehtinen ;Sandra Quickert
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:457-471.doi:10.4230/LIPIcs.CSL.2015.457
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847063
作 者:Udi Boker ;Karoliina Lehtinen
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-22.doi:10.4230/LIPIcs.FSTTCS.2018.21
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213170
作 者:Karoliina Lehtinen ;Paweł Parys ;Sven Schewe 等
出 处:Logical Methods in Computer Science. 2022 ;18(1):1-18.doi:10.46298/lmcs-18(1:8)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046935
作 者:Karoliina Lehtinen ;Martin Zimmermann
出 处:Logical Methods in Computer Science. 2022 ;18(1):1-35.doi:10.46298/lmcs-18(1:3)2022
出 版 社:Technical University of Braunschweig
文 章 ID:1038046962