费卢西奥·达米亚尼;约翰·多夫兰;艾纳尔·布罗赫·约翰森;伊娜·谢弗 验证特性：细粒度重用的增量证明系统。 （英语） Zbl 1342.68059号 正式Asp。计算。 26，第4期，761-793（2014）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人，正式Asp。计算。26，第4号，761--793（2014；Zbl 1342.68059） 全文： 内政部 链接
洛伦佐·贝蒂尼;萨拉·卡佩基;费卢西奥·达米亚尼 类Java语言的灵活动态特征替换。 （英语） Zbl 1284.68101号 科学。计算。程序。 78，编号：907-932（2013）.MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，科学。计算。程序。78，第7号，907--932（2013；Zbl 1284.68101） 全文： 内政部
洛伦佐·贝蒂尼;费卢西奥·达米亚尼;伊娜·谢弗 面向增量的软件产品线的组合类型检查。 （英语） Zbl 1448.68212号 学报信息。 50，第2期，77-122（2013）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{L.Bettini}等人，《信息学报》第50期，第2期，第77-122页（2013年；Zbl 1448.68212） 全文： 内政部 链接
洛伦佐·贝蒂尼;费卢西奥·达米亚尼;凯萨琳·盖尔曼;1月Schäfer 在类似Java的设置中，将特征与框和所有权类型相结合。 （英语） Zbl 1264.68046号 科学。计算。程序。 78，第2期，218-247（2013）.MSC公司：68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛L.Bettini｝等人，《科学》。计算。程序。78，第2号，218--247（2013；Zbl 1264.68046） 全文： 内政部 链接
费卢西奥·达米亚尼;保拉·吉安尼尼;亚历山德罗·里奇;米尔科·维罗利 代理和工件的标准类型可靠性。 （英语） Zbl 1424.68102号 科学。Ann.计算。科学。 22，第2期，267-326（2012）.MSC公司：68问题85 68甲19 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人，科学。Ann.计算。科学。22，第2号，267--326（2012；Zbl 1424.68102） 全文： 内政部
大卫·安科纳;安德烈亚·科拉迪;乔瓦尼·拉戈里奥;费卢西奥·达米亚尼 面向对象语言抽象编译成共导CLP（X）：类型推理能满足验证吗？ （英语） Zbl 1308.68027号 Beckert，Bernhard（编辑）等人，面向对象软件的形式验证。国际会议，FoVeOOS 2010，法国巴黎，2010年6月28日至30日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18069-9/pbk）。计算机科学课堂讲稿6528，31-45（2011）。MSC公司：68甲15 68甲19 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人，Lect。注释计算。科学。6528，31-45（2011；Zbl 1308.68027） 全文： 内政部
费卢西奥·达米亚尼;埃琳娜·贾奇诺;保拉·吉安尼尼 用于“环境感知”计算的别名类型和效果。 （英语） Zbl 1154.68038号 芬丹。通知。 88，编号1-2，63-107（2008）.MSC公司：68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人，Fundam。通知。88，编号1--2，63-107（2008年；兹bl 1154.68038）
大卫·安科纳;费鲁奇奥·达米亚尼;索菲亚·德罗索波卢;埃琳娜·祖卡 多态字节码：类Java语言的组合编译。 （英语） Zbl 1369.68122号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。26-37 (2005).MSC公司：68N20型 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机协会（ACM）。26-37（2005年；Zbl 1369.68122） 全文： 内政部
费卢西奥·达米亚尼;索菲亚·德罗索波卢;保拉·吉安尼尼 意外对象重新分类的优化效果：\（\mathcal{F}{\mathit-ickle}_{3}\）（扩展抽象）。 （英语） Zbl 1257.68050号 卡洛·布兰多（编辑）等人，《理论计算机科学》。第八届意大利会议，2003年ICTCS，意大利贝蒂诺罗，2003年10月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20216-1/pbk）。莱克特。注释计算。科学。2841, 97-110 (2003).MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{F.Damiani}等人，Lect。注释计算。科学。2841、97——110（2003年；Zbl 1257.68050） 全文： 内政部
大卫·安科纳;克里斯托弗·安德森;费卢西奥·达米亚尼;索菲亚·德罗索波卢;保拉·吉安尼尼;埃琳娜·祖卡 将\（{\mathcal F}\）ickle有效地翻译为Java。 （英语） Zbl 1042.68534号 安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。2001年10月4日至6日，第七届意大利会议，ICTCS2001，意大利都灵。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。2202, 215-234 (2001).MSC公司：68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人，Lect。注释计算。科学。2202215--234（2001年；Zbl 1042.68534） 全文： 链接
索菲亚·德罗索波卢;费卢西奥·达米亚尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 \（\mathcal F\）咯咯作响：动态对象重新分类。 （英语） Zbl 0982.68636号 Lindskov Knudsen，Jörgen（编辑），ECOOP 2001-面向对象编程。第十五届欧洲会议，匈牙利布达佩斯，2001年6月18日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2072, 130-149 (2001).MSC公司：68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Drossopoulou}等人，Lect。注释计算。科学。2072、130--149（2001年；Zbl 0982.68636） 全文： 内政部