作 者:Davide Ancona ;Giovanni Lagorio
出 处:Electronic Proceedings in Theoretical Computer Science. 2010 ;25:214-230.doi:10.4204/EPTCS.25.20
出 版 社:Open Publishing Association
文 章 ID:83119915
作 者: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