作　　者：Johannes Doleschal ;Benny Kimelfeld ;Wim Martens 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;155:8:1-8:18.doi:10.4230/LIPIcs.ICDT.2020.8

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

文 章 ID：255823521

作　　者：Wim Martens ;Matthias Niewerth ;Tina Trautner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;154:7:1-7:16.doi:10.4230/LIPIcs.STACS.2020.7

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

文 章 ID：255823546

作　　者：Johannes Doleschal ;Wim Martens ;Frank Neven 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:14:1-14:19.doi:10.4230/LIPIcs.ICDT.2018.14

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

文 章 ID：220015228

作　　者：Wim Martens ;Tina Trautner

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;98:19:1-19:21.doi:10.4230/LIPIcs.ICDT.2018.19

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

文 章 ID：220015233

作　　者：Piotr Hofman ;Wim Martens

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;31:230-246.doi:10.4230/LIPIcs.ICDT.2015.230

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

文 章 ID：186846720

作　　者：Wim Martens ;Thomas Zeume

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;48:0:i-0:xvi.doi:10.4230/LIPIcs.ICDT.2016.0

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

文 章 ID：186847273

作　　者：Johannes Doleschal ;Benny Kimelfeld ;Wim Martens 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-39.doi:10.46298/lmcs-18(1:21)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046966