作　　者：Lars Birkedal ;Noah Torp-Smith ;Hongseok Yang

出　　处：Logical Methods in Computer Science. 2006 ;2(05).doi:10.2168/LMCS-2(5:1)2006

出 版 社：Technical University of Braunschweig

文 章 ID：46838649

作　　者：Lars Birkedal ;Hongseok Yang

出　　处：Logical Methods in Computer Science. 2008 ;4(02).doi:10.2168/LMCS-4(2:6)2008

出 版 社：Technical University of Braunschweig

文 章 ID：46838696

作　　者：Hongseok Yang

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

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

文 章 ID：238892291

作　　者：Hongseok Yang

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:3:1-3:1.doi:10.4230/LIPIcs.CONCUR.2017.3

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

文 章 ID：200735169

作　　者：Andrea Cerone ;Alexey Gotsman ;Hongseok Yang

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;85:26:1-26:18.doi:10.4230/LIPIcs.CONCUR.2017.26

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

文 章 ID：200735192

作　　者：Sam Staton ;Dario Stein ;Hongseok Yang 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;107:141:1-141:15.doi:10.4230/LIPIcs.ICALP.2018.141

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

文 章 ID：220014932

作　　者：Heekyoung Kang ;Hae-Jin Sohn ;A-Young Park 等

出　　处：Scientific Reports. 2021 ;11(1):4183.doi:10.1038/s41598-021-83738-4

出 版 社：Springer Nature

文 章 ID：259940293

作　　者：Jacob Thamsborg ;Lars Birkedal ;Hongseok Yang

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691973

作　　者：Alexey Gotsman ;Hongseok Yang

出　　处：Logical Methods in Computer Science. 2013 ;9(3):1.doi:10.2168/LMCS-9(3:12)2013

出 版 社：Technical University of Braunschweig

文 章 ID：264692033