出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:47:47-47:13.doi:10.4230/LIPIcs.FSTTCS.2017.47
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:220015432
作 者:Alexander Weinert ;Martin Zimmermann
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:31:1-31:17.doi:10.4230/LIPIcs.CSL.2016.31
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186847948
作 者:Alexander Weinert ;Martin Zimmermann
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:28:1-28:14.doi:10.4230/LIPIcs.FSTTCS.2016.28
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:186848148
作 者:Daniel Neider ;Alexander Weinert ;Martin Zimmermann
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-17.doi:10.4230/LIPIcs.CSL.2018.34
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213309
作 者:Sven Schewe ;Alexander Weinert ;Martin Zimmermann
出 处:LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-17.doi:10.4230/LIPIcs.CSL.2018.36
出 版 社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
文 章 ID:230213310
作 者:Daniel Neider ;Alexander Weinert ;Martin Zimmermann
出 处:Electronic Proceedings in Theoretical Computer Science. 2019 ;305:1-16.doi:10.4204/EPTCS.305.1
出 版 社:Open Publishing Association
文 章 ID:1034960649