作　　者：Paul Blain Levy ;Sergey Goncharov

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;139:1-17.doi:10.4230/LIPIcs.CALCO.2019.13

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

文 章 ID：241520010

作　　者：Tim Lukas Diezel ;Sergey Goncharov

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

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

文 章 ID：255823201

作　　者：Yulia Goncharova ;Olesya Bragina ;Sergey Goncharov 等

出　　处：E3S Web of Conferences. 2021 ;247:1060.doi:10.1051/e3sconf/202124701060

出 版 社：EDP Sciences

文 章 ID：260764471

作　　者：Nathan Bowler ;Sergey Goncharov ;Paul Levy 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692028

作　　者：Sergey Goncharov ;Julian Jakob ;Renato Neves

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;118:1-17.doi:10.4230/LIPIcs.CONCUR.2018.22

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

文 章 ID：230213334

作　　者：Yulia Goncharova ;Svetlana Verechagina ;Nikolay Ochkas 等

出　　处：E3S Web of Conferences. 2021 ;285:1-7.doi:10.1051/e3sconf/202128502046

出 版 社：EDP Sciences

文 章 ID：1034925267

作　　者：Yulia Goncharova ;Nadezhda Gapishko ;Nikolay Ochkas 等

出　　处：E3S Web of Conferences. 2021 ;285:1-5.doi:10.1051/e3sconf/202128502047

出 版 社：EDP Sciences

文 章 ID：1034925268