作　　者：Luca Padovani

出　　处：Electronic Proceedings in Theoretical Computer Science. 2009 ;12:71-86.doi:10.4204/EPTCS.12.5

出 版 社：Open Publishing Association

文 章 ID：83119788

作　　者：Luca Padovani

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;45:71-89.doi:10.4204/EPTCS.45.6

出 版 社：Open Publishing Association

文 章 ID：83120101

作　　者：Viviana Bono ;Luca Padovani

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;59:52-67.doi:10.4204/EPTCS.59.5

出 版 社：Open Publishing Association

文 章 ID：83120216

作　　者：Omar Inverso ;Hern{'a}n Melgratti ;Luca Padovani 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;171:14:1-14:21.doi:10.4230/LIPIcs.CONCUR.2020.14

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

文 章 ID：255822873

作　　者：Ugo de'Liguoro ;Luca Padovani

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:15:1-15:28.doi:10.4230/LIPIcs.ECOOP.2018.15

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

文 章 ID：220014746

作　　者：Giuseppe Castagna ;Mariangiola Dezani-Ciancaglini ;Luca Padovani

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691938

作　　者：Viviana Bono ;Luca Padovani

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

出 版 社：Technical University of Braunschweig

文 章 ID：264691955

作　　者：Luca Padovani

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

出 版 社：Technical University of Braunschweig

文 章 ID：264692117

作　　者：Rosita Gerbo ;Luca Padovani

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;291:24-34.doi:10.4204/EPTCS.291.3

出 版 社：Open Publishing Association

文 章 ID：1034734468

作　　者：Damiano Paniccia ;Luca Padovani ;Giorgio Graziani 等

出　　处：Scientific Reports. 2021 ;11.doi:10.1038/s41598-021-01730-4

出 版 社：Springer Nature

文 章 ID：1036023819