保拉·吉安尼尼;马可·塞韦托;埃琳娜·祖卡;詹姆斯·科内 唯一性和不变性的灵活恢复。 （英语） Zbl 1417.68032号 西奥。计算。科学。 764, 145-172 (2019).MSC公司：68号30 68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Giannii}等人，Theor。计算。科学。764145-172（2019年；Zbl 1417.68032） 全文： 内政部 arXiv公司 链接
大卫·安科纳;乔瓦尼·拉戈里奥;埃琳娜·祖卡 通过共导逻辑编程进行类型推理。 （英语） Zbl 1246.68079号 Berardi，Stefano（编辑）等人，《证明和程序的类型》。2008年3月26日至29日在意大利都灵举行的TYPES 2008国际会议。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-02443-6/pbk）。计算机科学课堂讲稿5497,1-18（2009）。MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人，Lect。注释计算。科学。5497，1-18（2009年；兹bl 1246.68079） 全文： 内政部
大卫·安科纳;费卢西奥·达米亚尼;索菲亚·德罗索波卢;埃琳娜·祖卡 多态字节码：类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） 全文： 内政部
大卫·安科纳;埃琳娜·祖卡 类Java语言的主要类型。 （英语） Zbl 1325.68051号 2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。306-317 (2004).MSC公司：第68页第19页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}和\textit{E.Zucca}，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。306--317（2004年；Zbl 1325.68051） 全文： 内政部
大卫·安科纳;乔瓦尼·拉戈里奥;埃琳娜·祖卡 Java单独编译的正式框架。 （英语） Zbl 1049.68746号 Magnusson，Boris（编辑），ECOOP 2002-面向对象编程。第十六届欧洲会议，2002年6月10日至14日，西班牙马拉加。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43759-2）。莱克特。注释计算。科学。2374, 609-635 (2002).MSC公司：68单位99 第68页第19页 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人，Lect。注释计算。科学。2374609--635（2002年；Zbl 1049.68746） 全文： 链接
大卫·安科纳;克里斯托弗·安德森;费卢西奥·达米亚尼;索菲亚·德罗索波卢;保拉·吉安尼尼;埃琳娜·祖卡 将\（{\mathcal F}\）ickle有效地翻译为Java。 （英语） Zbl 1042.68534号 安东尼奥·雷斯蒂沃（编辑）等人，《理论计算机科学》。第七届意大利会议，ICTCS 2001，意大利都灵，2001年10月4-6日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42672-8）。莱克特。注释计算。科学。第2202215-234页（2001年）。MSC公司：68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}等人，Lect。注释计算。科学。2202215--234（2001年；Zbl 1042.68534） 全文： 链接
大卫·安科纳;祖卡，埃琳娜 类Java语言的真正模块。 （英语） Zbl 0982.68809号 Lindskov Knudsen，Jörgen（编辑），ECOOP 2001-面向对象编程。第十五届欧洲会议，匈牙利布达佩斯，2001年6月18日至22日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2072, 354-380 (2001).MSC公司：68单位99 第68页第19页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}和\textit{E.Zucca}，莱克特。注释计算。科学。2072、354--380（2001年；Zbl 0982.68809） 全文： 链接
大卫·安科纳;埃琳娜·祖卡 混合模理论：基本算子和派生算子。 （英语） 兹比尔0918.68008 数学。结构。计算。科学。 8，第4号，401-446（1998）.MSC公司：68甲15 68号01 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Ancona}和\textit{E.Zucca}，数学。结构。计算。科学。8，第4号，401--446（1998；Zbl 0918.68008） 全文： 内政部