作　　者：Marco Gaboardi ;Mauro Piccolo

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;22:1-13.doi:10.4204/EPTCS.22.1

出 版 社：Open Publishing Association

文 章 ID：83119864

作　　者：Marco Gaboardi

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

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

文 章 ID：200735110

作　　者：Marco Gaboardi ;Kobbi Nissim ;David Purser

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;168:129:1-129:17.doi:10.4230/LIPIcs.ICALP.2020.129

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

文 章 ID：255823164

作　　者：Ugo Dal Lago ;Marco Gaboardi

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691883

作　　者：Marco Gaboardi ;Justin Hsu

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;32:129-139.doi:10.4230/LIPIcs.SNAPL.2015.129

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

文 章 ID：186846741

作　　者：Gilles Barthe ;Marco Gaboardi ;Benjamin Gr{\'e}goire 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:107:1-107:15.doi:10.4230/LIPIcs.ICALP.2016.107

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

文 章 ID：186847704

作　　者：Myrto Arapinis ;Diego Figueira ;Marco Gaboardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;55:120:1-120:13.doi:10.4230/LIPIcs.ICALP.2016.120

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

文 章 ID：186847717