作　　者：Mario Coppo ;Ferruccio Damiani ;Elena Grassi 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;6:77-92.doi:10.4204/EPTCS.6.6

出 版 社：Open Publishing Association

文 章 ID：83119737

作　　者：Mario Coppo ;Ferruccio Damiani ;Maurizio Drocco 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;28:82-98.doi:10.4204/EPTCS.28.6

出 版 社：Open Publishing Association

文 章 ID：83119943

作　　者：Mario Coppo ;Ferruccio Damiani ;Maurizio Drocco 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;40:102-120.doi:10.4204/EPTCS.40.8

出 版 社：Open Publishing Association

文 章 ID：83120064

作　　者：Makoto Tatsuta ;Ferruccio Damiani

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:102-115.doi:10.4204/EPTCS.54.8

出 版 社：Open Publishing Association

文 章 ID：83120162

作　　者：Cristina Calcagno ;Mario Coppo ;Ferruccio Damiani 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;67:3-18.doi:10.4204/EPTCS.67.3

出 版 社：Open Publishing Association

文 章 ID：83120307

作　　者：Ferruccio Damiani ;Mirko Viroli

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692119

作　　者：Giorgio Audrito ;Ferruccio Damiani ;Volker Stolz 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;302:47-61.doi:10.4204/EPTCS.302.4

出 版 社：Open Publishing Association

文 章 ID：1034807937