作　　者：Lukasz Czajka ;Cynthia Kop

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

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

文 章 ID：238892299

作　　者：Cynthia Kop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;167:36:1-36:19.doi:10.4230/LIPIcs.FSCD.2020.36

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

文 章 ID：255823213

作　　者：Cynthia Kop ;Femke Raamsdonk

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692005

作　　者：Cynthia Kop ;Femke van Raamsdonk

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;10:203-218.doi:10.4230/LIPIcs.RTA.2011.203

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

文 章 ID：186845921

作　　者：Carsten Fuhs ;Cynthia Kop

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;15:176-192.doi:10.4230/LIPIcs.RTA.2012.176

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

文 章 ID：186846084

作　　者：Cynthia Kop ;Aart Middeldorp ;Thomas Sternagel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;36:223-240.doi:10.4230/LIPIcs.RTA.2015.223

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

文 章 ID：186846891

作　　者：Cynthia Kop ;Jakob Grue Simonsen

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:23:1-23:18.doi:10.4230/LIPIcs.FSCD.2016.23

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

文 章 ID：186847455