作　　者：Esparza, Javier ;Gaiser, Andreas ;Kiefer, Stefan

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;5.doi:10.4230/LIPIcs.STACS.2010.2468

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

文 章 ID：87958864

作　　者：Aust, Stefan ;Kiefer, Stefan

出　　处：Historische Literatur. 2006 ;04(01).

出 版 社：Franz Steiner Verlag

文 章 ID：46251590

作　　者：Worrell, James ;Kiefer, Stefan ;Jančar, Petr 等

出　　处：Logical Methods in Computer Science. 2018 ;14(4).doi:10.23638/LMCS-14(4:13)2018

出 版 社：Technical University of Braunschweig

文 章 ID：1022768406

作　　者：Worrell, James ;Marusic, Ines ;Kiefer, Stefan

出　　处：Logical Methods in Computer Science. 2017 ;13(1).

出 版 社：Technical University of Braunschweig

文 章 ID：1011733869

作　　者：Shirmohammadi, Mahsa ;Kiefer, Stefan ;Fijalkow, Nathanaël

出　　处：Logical Methods in Computer Science. 2020 ;16(2):1-28.

出 版 社：Technical University of Braunschweig

文 章 ID：1035318178

作　　者：Esparza, Javier ;Kiefer, Stefan ;Křetínský, Jan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.5

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

文 章 ID：1037088696

作　　者：Kiefer, Stefan ;Semukhin, Pavel ;Widdershoven, Cas

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.6

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

文 章 ID：1037088729

作　　者：Kiefer, Stefan ;Mayr, Richard ;Shirmohammadi, Mahsa 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;203.doi:10.4230/LIPIcs.CONCUR.2021.11

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

文 章 ID：1037088730

作　　者：Kiefer, Stefan ;Tang, Qiyi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2021 ;213.doi:10.4230/LIPIcs.FSTTCS.2021.48

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

文 章 ID：1037089153