作　　者：Stefan Funke ;S{\"o}ren Laue ;Sabine Storandt

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;75:18:1-18:13.doi:10.4230/LIPIcs.SEA.2017.18

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

文 章 ID：200735022

作　　者：Stefan Funke ;Andre Nusser ;Sabine Storandt

出　　处：Journal of Artificial Intelligence Research. 2015 ;53:633-658.

出 版 社：American Association of Artificial

文 章 ID：216537639

作　　者：Stefan Funke ;Felix Weitbrecht

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;181:1-15.doi:10.4230/LIPIcs.ISAAC.2020.28

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

文 章 ID：257804995

作　　者：Stefan Funke ;Mat{\'u}s Mihal{\'a}k

出　　处：OASIcs : OpenAccess Series in Informatics. 2014 ;42:i-ix.doi:10.4230/OASIcs.ATMOS.2014.i

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

文 章 ID：186848804