作　　者：Florent Brhard ;Assia Mahboubi ;Damien Pous 等

出　　处：Proceedings of the National Academy of Sciences. 2019 ;116(42):20817-20819.doi:10.1073/pnas.1913212116

出 版 社：The National Academy of Sciences of the United States of America

文 章 ID：239774940

作　　者：Matthias Brun ;Dmitriy Traytel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-18.doi:10.4230/LIPIcs.ITP.2019.10

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

文 章 ID：240116667

作　　者：Martin Raszyk ;David Basin ;Dmitriy Traytel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;132:1-14.doi:10.4230/LIPIcs.ICALP.2019.127

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

文 章 ID：238892262

作　　者：Jasmin Christian Blanchette ;Mathias Fleury ;Dmitriy Traytel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;84:11:1-11:18.doi:10.4230/LIPIcs.FSCD.2017.11

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

文 章 ID：200735120

作　　者：Dmitriy Traytel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:487-503.doi:10.4230/LIPIcs.CSL.2015.487

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

文 章 ID：186847065

作　　者：Dmitriy Traytel

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;52:31:1-31:17.doi:10.4230/LIPIcs.FSCD.2016.31

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

文 章 ID：186847463

作　　者：Basil Fürer ;Andreas Lochbihler ;Joshua Schneider 等

出　　处：Logical Methods in Computer Science. 2022 ;18(1):1-28.doi:10.46298/lmcs-18(1:23)2022

出 版 社：Technical University of Braunschweig

文 章 ID：1038046964