作　　者：Tobias Gärtner ;Martin Ziegler

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;24:77-91.doi:10.4204/EPTCS.24.12

出 版 社：Open Publishing Association

文 章 ID：83119887

作　　者：Margit H. Simon ;Martin Ziegler ;Joyce Bosmans 等

出　　处：Scientific Reports. 2015 ;5.doi:10.1038/srep18153

出 版 社：Springer Nature

文 章 ID：146913617

作　　者：Arno Pauly ;Dongseong Seon ;Martin Ziegler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;152:1-17.doi:10.4230/LIPIcs.CSL.2020.34

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

文 章 ID：243494235

作　　者：Margit H. Simon ;Martin Ziegler ;Joyce Bosmans 等

出　　处：Scientific Reports. 2015 ;5(1).doi:10.1038/srep18153

出 版 社：Springer Nature

文 章 ID：235878519

作　　者：David Evans ;Navjit Sagoo ;Willem Renema 等

出　　处：Proceedings of the National Academy of Sciences. 2018 ;115(6):1174-1179.doi:10.1073/pnas.1714744115

出 版 社：The National Academy of Sciences of the United States of America

文 章 ID：211034765

作　　者：Finn Zahari ;Eduardo Pérez ;Mamathamba Kalishettyhalli Mahadevaiah 等

出　　处：Scientific Reports. 2020 ;10(1).doi:10.1038/s41598-020-71334-x

出 版 社：Springer Nature

文 章 ID：255833095

作　　者：Akitoshi Kawamura ;Hiroyuki Ota ;Carsten Rösnick 等

出　　处：Logical Methods in Computer Science. 2014 ;10(1):1.doi:10.2168/LMCS-10(1:6)2014

出 版 社：Technical University of Braunschweig

文 章 ID：264692205

作　　者：Martin Ziegler

出　　处：OASIcs : OpenAccess Series in Informatics. 2009 ;11.doi:10.4230/OASIcs.CCA.2009.2277

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

文 章 ID：186848325

作　　者：Akitoshi Kawamura ;Holger Thies ;Martin Ziegler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;117:1-17.doi:10.4230/LIPIcs.MFCS.2018.30

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

文 章 ID：230213385

作　　者：Sven Dirkmann ;Mirko Hansen ;Martin Ziegler 等

出　　处：Scientific Reports. 2016 ;6(1).doi:10.1038/srep35686

出 版 社：Springer Nature

文 章 ID：235867345