皮耶保罗·德加诺;吉安·路易吉，法拉利;吉安卢卡·梅泽蒂 常规和无上下文的标称记录道。 （英语） Zbl 1376.68087号 学报信息。 54，第4号，399-433（2017）. 审核人：弗朗西斯科·多尔斯（蒙特勒） 理学硕士：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，《信息学报》54，第4期，399--433（2017年；Zbl 1376.68087） 全文： DOI程序
D.巴兹利。;德加诺，P。;法拉利，G.L。;托斯托，E。 将两个基于自动机的编排和舞蹈模型联系起来。 （英语） Zbl 1352.68125号 J.日志。阿尔盖布。方法计划。 85，第3期，425-446（2016）.理学硕士：65年第68季度 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人，J.Log。阿尔盖布。方法计划。85，第3号，425--446（2016；Zbl 1352.68125） 全文： DOI程序 链接
马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 模型检查使用策略。 （英语） Zbl 1361.68133号 数学。结构。计算。科学。 25，编号3，710-763（2015）.理学硕士：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，《数学》。结构。计算。科学。25，第3号，710--763（2015；Zbl 1361.68133） 全文： DOI程序
马西莫·巴托莱蒂;皮耶保罗·德加诺;保罗·迪·吉安贝拉迪诺;罗伯托·祖尼诺 Petri网和线性逻辑中的Debits和credits。 （英语） Zbl 1321.68356号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。在何塞·梅塞格尔65岁生日之际献给他的散文。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲座笔记9200，135-159（2015）。理学硕士：68问题85 03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，Lect。注释计算。科学。9200、135——159（2015年；Zbl 1321.68356） 全文： DOI程序 链接
大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉，法拉利 自动分析服务合同。 （英语） Zbl 1444.68110号 Maffei，Matteo（编辑）等人，《值得信赖的全球计算》。第九届国际研讨会，TGC 2014，罗马，意大利，2014年9月5-6日。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8902, 34-50 (2014).理学硕士：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Basile}等人，Lect。注释计算。科学。8902，34-50（2014；Zbl 1444.68110） 全文： DOI程序
皮耶保罗·德加诺;吉安·路易吉，法拉利;吉安卢卡·梅泽蒂 用于资源使用控制的标称自动机。 （英语） Zbl 1297.68121号 Moreira，Nelma（编辑）等人，《自动机的实现和应用》。2012年7月17日至20日，第17届国际会议，CIAA 2012，葡萄牙波尔图。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31605-0/pbk）。计算机科学讲义7381125-137（2012）。理学硕士：65年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，Lect。注释计算。科学。7381125-137（2012年；Zbl 1297.68121） 全文： DOI程序
马西莫·巴托莱蒂;皮耶保罗·德加诺;吉安·路易吉，法拉利;罗伯托·祖尼诺 弱粘结剂的艰苦生活。 （英语） Zbl 1291.68278号 Hildebrandt，Thomas（编辑）等人，第15届并发表达性国际研讨会论文集（EXPRESS 2008），加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》242，第1期，49-72（2009）。理学硕士：68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bartoletti}等人，《电子》。注释Theor。计算。科学。242，第1号，49--72（2009；Zbl 1291.68278） 全文： DOI程序