作　　者：Mariangiola Dezani-Ciancaglini ;Paola Giannini ;Elena Zucca

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;45:45-58.doi:10.4204/EPTCS.45.4

出 版 社：Open Publishing Association

文 章 ID：83120099

作　　者：Tommaso Petrucciani ;Giuseppe Castagna ;Davide Ancona 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;130:1-24.doi:10.4230/LIPIcs.TYPES.2018.4

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

文 章 ID：241520022

作　　者：Davide Ancona ;Pietro Barbieri ;Francesco Dagnino 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-28.doi:10.4230/LIPIcs.ECOOP.2020.1

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

文 章 ID：256859620

作　　者：Davide Ancona ;Francesco Dagnino ;Jurriaan Rot 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2020 ;166:1-2.doi:10.4230/LIPIcs.ECOOP.2020.32

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

文 章 ID：256859650

作　　者：Davide Ancona ;Paola Giannini ;Elena Zucca

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;69:4:1-4:29.doi:10.4230/LIPIcs.TYPES.2015.4

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

文 章 ID：220015479

作　　者：Davide Ancona ;Francesco Dagnino ;Elena Zucca

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;109:21:1-21:31.doi:10.4230/LIPIcs.ECOOP.2018.21

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

文 章 ID：220014752

作　　者：Paola Giannini ;Marco Servetto ;Elena Zucca

出　　处：Electronic Proceedings in Theoretical Computer Science. 2019 ;293:39-55.doi:10.4204/EPTCS.293.4

出 版 社：Open Publishing Association

文 章 ID：1034315680

作　　者：Médéric Boquien ;Véronique Buat ;Denis Burgarella 等

出　　处：Astronomy & Astrophysics. 2022 ;663:1-18.doi:10.1051/0004-6361/202142537

出 版 社：EDP Sciences

文 章 ID：1039464788