詹姆斯·巴克斯特;安娜·卡瓦尔坎蒂 安全关键Java字节码的代数编译。 （英语） Zbl 1498.68064号 Polikarpova，Nadia（编辑）等，《综合形式方法》。2017年9月20日至22日在意大利都灵举行的2017年第13届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10510, 161-176 (2017).MSC公司：68甲19 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Baxter}和\textit{A.Cavalcanti}，莱克特。注释计算。科学。10510、161--176（2017；Zbl 1498.68064） 全文： 内政部 链接
泽达，弗兰克;安娜·卡瓦尔坎蒂 任务规划法。 （英语） Zbl 1331.68054号 正式Asp。计算。 27，第2期，423-472（2015）。MSC公司：68纳米30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti}，正式Asp。计算。27，第2号，423--472（2015；Zbl 1331.68054） 全文： 内政部 链接
泽达，弗兰克;安娜·卡瓦尔坎蒂 方法理论的高阶UTP。 （英语） Zbl 1452.68061号 Wolff，Burkhart（编辑）等人，《统一编程理论》。第四届国际研讨会，2012年UTP，2012年8月27日至28日，法国巴黎。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。7681, 204-223 (2013).MSC公司：68纳米30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}和\textit{A.Cavalcanti}，莱克特。注释计算。科学。7681204-223（2013；Zbl 1452.68061） 全文： 内政部
安娜·卡瓦尔坎蒂;安迪·威林斯;吉姆·伍德科克 安全关键Java内存模型正式化。 （英语） 兹比尔1259.68029 正式Asp。计算。 25，第1期，37-57（2013）。MSC公司：68甲19 68甲15 68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人，《正式Asp》。计算。25、1号、37-57（2013；Zbl 1259.68029） 全文： 内政部
泽达，弗兰克;马塞尔·奥利维拉;安娜·卡瓦尔坎蒂 对完善战术的机械化支持。 （英语） Zbl 1242.68077号 正式Asp。计算。 24，第1期，127-160（2012）。MSC公司：68纳米30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zeyda}等人，《正式Asp》。计算。24，第1号，127--160（2012；Zbl 1242.68077） 全文： 内政部
阿道夫·杜兰;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 面向对象语言编译器设计的代数方法。 （英语） Zbl 1214.68126号 正式Asp。计算。 22，第5期，489-535（2010）。MSC公司：68N20型 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Duran}等人，正式Asp。计算。22，第5号，489--535（2010；Zbl 1214.68126） 全文： 内政部 链接
墨西哥科内里奥;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 声音重构。 （英语） Zbl 1191.68168号 科学。计算。程序。 75，第3期，106-133（2010）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit｛M.Cornélio｝等人，《科学》。计算。程序。75，编号3，106--133（2010；Zbl 1191.68168） 全文： 内政部
安娜·卡瓦尔坎蒂;威尔·哈伍德;吉姆·伍德科克 统一编程理论中的指针和记录。 （英语） Zbl 1186.68107号 Steve Dunne等人，《统一编程理论》。2006年2月5日至7日，在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-34750-7/pbk）。计算机科学讲座笔记4010200-216（2006）。MSC公司：68纳米30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}等人，Lect。注释计算。科学。4010200--216（2006；Zbl 1186.68107） 全文： 内政部
桑托斯，蒂亚戈;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 UTP中的面向对象。 （英语） Zbl 1186.68091号 Steve Dunne等人，《统一编程理论》。2006年2月5日至7日，在英国达勒姆郡沃尔沃斯城堡举行的UTP 2006第一届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-34750-7/pbk）。《计算机科学讲义》4010，18-37（2006）。MSC公司：68号01 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{T.Santos}等人，Lect。注释计算。科学。4010、18-37（2006年；Zbl 1186.68091） 全文： 内政部
墨西哥科内里奥;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 重构为分层架构。 （英语） Zbl 1272.68092号 Mota，A.（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2004），巴西累西腓，2004年11月29日至12月1日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记130，281-300（2005）。MSC公司：68甲19 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Cornélio}等人，《电子》。注释Theor。计算。科学。130、281--300（2005年；Zbl 1272.68092） 全文： 链接
保罗·博尔巴;奥古斯托·桑帕约;安娜·卡瓦尔坎蒂;墨西哥科内里奥 面向对象编程的代数推理。 （英语） Zbl 1091.68027号 科学。计算。程序。 52，编号1-3，53-100（2004）。MSC公司：68甲19 PDF格式BibTeX公司 XML格式引用 \textit{P.Borba}等人，科学。计算。程序。52，编号1--3，53-100（2004；Zbl 1091.68027） 全文： 内政部
墨西哥科内里奥;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 通过转换重构。 （英语） Zbl 1270.68168号 Derrick，John（编辑）等人，REFINE 2002。BCS FACS精炼研讨会会议记录（FLoC 2002卫星活动），丹麦哥本哈根，2002年7月20日至21日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记70，第3期，311-330（2002）。MSC公司：60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Cornélio}等人，《电子》。注释Theor。计算。科学。70，第3号，311--330（2002；Zbl 1270.68168） 全文： 链接
阿道夫·杜兰;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 形式字节码生成的精化代数。 （英语） Zbl 1015.68769号 George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2495, 347-358 (2002).MSC公司：68单位99 68N20型 68甲19 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Duran}等人，Lect。注释计算。科学。2495347--358（2002年；Zbl 1015.68769） 全文： 链接