作 者:Eva-Maria C. Hols ;Stefan Kratsch ;Astrid Pieterse
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;173:60:1-60:23.doi:10.4230/LIPIcs.ESA.2020.60
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255822815
作 者:Eva-Maria C. Hols ;Stefan Kratsch ;Astrid Pieterse
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:36:1-36:14.doi:10.4230/LIPIcs.STACS.2020.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:255823575
作 者:Eva-Maria C. Hols ;Stefan Kratsch
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;89:20:1-20:12.doi:10.4230/LIPIcs.IPEC.2017.20
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015453
作 者:Eva-Maria C. Hols ;Stefan Kratsch
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;47:43:1-43:14.doi:10.4230/LIPIcs.STACS.2016.43
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847256
作 者:Stefan Fafianie ;Eva-Maria C. Hols ;Stefan Kratsch 等
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;58:35:1-35:14.doi:10.4230/LIPIcs.MFCS.2016.35
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847862
作 者:Eva-Maria C. Hols ;Stefan Kratsch
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;126:1-18.doi:10.4230/LIPIcs.STACS.2019.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230438578