作　　者：Sarah Winkler

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;131:1-15.doi:10.4230/LIPIcs.FSCD.2019.3

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

文 章 ID：238892290

作　　者：Nao Hirokawa ;Aart Middeldorp ;Christian Sternagel 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:19:1-19:16.doi:10.4230/LIPIcs.FSCD.2017.19

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

文 章 ID：200735128

作　　者：Sarah Winkler ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;108:30:1-30:18.doi:10.4230/LIPIcs.FSCD.2018.30

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

文 章 ID：220014788

作　　者：Sarah Winkler ;Haruhiko Sato ;Aart Middeldorp 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;6:373-384.doi:10.4230/LIPIcs.RTA.2010.373

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

文 章 ID：186845710

作　　者：Sarah Winkler ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:319-334.doi:10.4230/LIPIcs.RTA.2013.319

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

文 章 ID：186846320

作　　者：Sarah Winkler ;Harald Zankl ;Aart Middeldorp

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2013 ;21:335-351.doi:10.4230/LIPIcs.RTA.2013.335

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

文 章 ID：186846321

作　　者：Sarah Winkler ;Georg Moser

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;311:25-31.doi:10.4204/EPTCS.311.4

出 版 社：Open Publishing Association

文 章 ID：1034734186