作　　者：Thomas Brihaye ;Florent Delgrange ;Youssouf Oualhadj 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-18.doi:10.4230/LIPIcs.CONCUR.2019.8

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

文 章 ID：238891916

作　　者：Vronique Bruy{\`e}re ;Quentin Hautem ;Mickael Randour 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.21

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

文 章 ID：238891929

作　　者：Rapha{\"e}l Berthon ;Mickael Randour ;Jean-Fran{\c{c}}ois Raskin

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:121:1-121:15.doi:10.4230/LIPIcs.ICALP.2017.121

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

文 章 ID：198372075

作　　者：Patricia Bouyer ;Stphane Le Roux ;Youssouf Oualhadj 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:24:1-24:22.doi:10.4230/LIPIcs.CONCUR.2020.24

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

文 章 ID：255822883

作　　者：V{\'e}ronique Bruy{\`e}re ;Emmanuel Filiot ;Mickael Randour 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2014 ;25:199-213.doi:10.4230/LIPIcs.STACS.2014.199

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

文 章 ID：186846454

作　　者：Patricia Bouyer ;Nicolas Markey ;Mickael Randour 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:106:1-106:14.doi:10.4230/LIPIcs.ICALP.2016.106

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

文 章 ID：186847703

作　　者：St{\'e}phane Le Roux ;Arno Pauly ;Mickael Randour

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;122:1-20.doi:10.4230/LIPIcs.FSTTCS.2018.38

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

文 章 ID：230213187

作　　者：Patricia Bouyer ;Stéphane Le Roux ;Youssouf Oualhadj 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：1038046950