作 者:Corentin Barloy ;Nathana{"e}l Fijalkow ;Nathan Lhote 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-16.doi:10.4230/LIPIcs.CSL.2020.9
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:243494210
作 者:Nathan Lhote ;Vincent Michielini ;Michal Skrzypczak
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;138:1-13.doi:10.4230/LIPIcs.MFCS.2019.61
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892011
作 者:Mikolaj Bojanczyk ;Sandra Kiefer ;Nathan Lhote
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.106
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:238892241
作 者:Luc Dartois ;Paulin Fournier ;Isma{\"e}l Jecker 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:113:1-113:12.doi:10.4230/LIPIcs.ICALP.2017.113
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:198372067
作 者:Vrunda Dave ;Emmanuel Filiot ;Shankara Narayanan Krishna 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:43:1-43:17.doi:10.4230/LIPIcs.CONCUR.2020.43
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822902
作 者:Emmanuel Filiot ;Olivier Gauwin ;Nathan Lhote
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:13:1-13:15.doi:10.4230/LIPIcs.FSTTCS.2016.13
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848133
作 者:Emmanuel Filiot ;Olivier Gauwin ;Nathan Lhote 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-17.doi:10.4230/LIPIcs.FSTTCS.2018.30
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213179