作　　者：Laura Bozzelli ;Alberto Molinari ;Angelo Montanari 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:120:1-120:14.doi:10.4230/LIPIcs.ICALP.2017.120

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

文 章 ID：198372074

作　　者：Alberto Molinari ;Angelo Montanari ;Adriano Peron

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;41:193-210.doi:10.4230/LIPIcs.CSL.2015.193

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

文 章 ID：186847047

作　　者：Laura Bozzelli ;Alberto Molinari ;Angelo Montanari 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;65:26:1-26:14.doi:10.4230/LIPIcs.FSTTCS.2016.26

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

文 章 ID：186848146

作　　者：Matteo Benedetti ;Vigilio Fontanari ;Alberto Molinari 等

出　　处：MATEC Web of Conferences. 2018 ;165.doi:10.1051/matecconf/201816502011

出 版 社：EDP Sciences

文 章 ID：1016652629

作　　者：Laura Bozzelli ;Alberto Molinari ;Angelo Montanari 等

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

出 版 社：Technical University of Braunschweig

文 章 ID：1038046963