作　　者：Alessandro Bianco ;Marco Faella ;Fabio Mogavero 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;28:48-63.doi:10.4204/EPTCS.28.4

出 版 社：Open Publishing Association

文 章 ID：83119941

作　　者：Ferrante Alessandro ;Aniello Murano ;Mimmo Parente

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:1)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109798

作　　者：Piero A. Bonatti ;Carsten Lutz ;Aniello Murano 等

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:11)2008

出 版 社：Technical University of Braunschweig

文 章 ID：47109807

作　　者：Laura Bozzelli ;Aniello Murano ;Giuseppe Perelli 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;90:6:1-6:17.doi:10.4230/LIPIcs.TIME.2017.6

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

文 章 ID：202421999

作　　者：Dario Della Monica ;David de Frutos-Escrig ;Angelo Montanari 等

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

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

文 章 ID：202422004

作　　者：Fabio Mogavero ;Aniello Murano ;Moshe Y. Vardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:133-144.doi:10.4230/LIPIcs.FSTTCS.2010.133

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

文 章 ID：186845765

作　　者：Laura Bozzelli ;Aniello Murano ;Loredana Sorrentino

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;120:1-22.doi:10.4230/LIPIcs.TIME.2018.6

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

文 章 ID：230213257

作　　者：Nathana{\"e}l Fijalkow ;Bastien Maubert ;Aniello Murano 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;119:1-23.doi:10.4230/LIPIcs.CSL.2018.23

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

文 章 ID：230213298