乔纳森·伍德拉夫;亚历山大·乔安诺;夏红艳;安东尼·福克斯;罗伯特·M·诺顿。;大卫·奇斯纳尔;布鲁克斯·戴维斯;古德卡，希兰;纳撒尼尔·W·费拉多。;Markettos，A.西奥多;迈克尔·罗;彼得·纽曼（Peter G.Neumann）。;罗伯特·N·M·沃森。;西蒙·W·摩尔。 CHERI专注：实用压缩能力。 （英语） Zbl 07159066号 IEEE传输。计算。 68，第10期，1455-1469（2019）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodruff}等人，IEEE Trans。计算。68，第10号，1455--1469（2019；Zbl 07159066） 全文： 内政部
金丹（Kiam Tan，Yong）;玛格努斯·奥·米林。;拉马纳·库马尔;安东尼·福克斯;斯科特·欧文斯;迈克尔·诺里什 已验证的CakeML编译器后端。 （英语） Zbl 1493.68091号 J.功能。程序。 29，论文编号e2，57 p.（2019）.MSC公司：68甲18 68N20型 68伏15 PDF格式BibTeX公司 XML格式引用 \文本{Y.Kiam Tan}等人，J.Funct。程序。29，论文编号e2，57 p.（2019；Zbl 1493.68091） 全文： 内政部
安东尼·福克斯 改进了对HOL4中机器代码反编译的工具支持。 （英语） Zbl 1465.68048号 Urban，Christian（ed.）等人，《交互式定理证明》。第六届国际会议，2015年ITP，中国南京，2015年8月24日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9236, 187-202 (2015).MSC公司：68纳米30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fox}，莱克特。注释计算。科学。9236、187--202（2015；Zbl 1465.68048） 全文： 内政部
Böhme，萨沙;Anthony C.J.福克斯。;托马斯·苏厄尔;Tjark韦伯 在HOL4和Isabelle/HOL中重建Z3的位向量证明。 （英语） Zbl 1350.68225号 Jouannaud，Jean-Pierre（编辑）等人，《认证程序和证明》。2011年12月7日至9日在台湾垦丁举行的CPP 2011第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-25378-2/pbk）。计算机科学课堂讲稿7086，183-198（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.Böhme}等人，Lect。注释计算。科学。7086、183--198（2011；Zbl 1350.68225） 全文： 内政部
Anthony C.J.福克斯。 HOL4中的LCF型位爆破。 （英语） Zbl 1342.68283号 Van Eekelen，Marko（编辑）等，交互式定理证明。2011年8月22日至25日，荷兰卑尔根达尔，第二届国际会议，ITP 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22862-9/pbk）。计算机科学课堂讲稿6898，357-362（2011）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.C.J.福克斯}，莱克特。注释计算。科学。6898、357--362（2011；Zbl 1342.68283） 全文： 内政部
安东尼·福克斯;玛格努斯·奥·米林。 ARMv7指令集体系结构的可信单体形式化。 （英语） Zbl 1291.68341号 Kaufmann，Matt（编辑）等人，《交互式定理证明》。2010年7月11日至14日在英国爱丁堡举行的2010年ITP第一届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14051-8/pbk）。计算机科学课堂讲稿6172243-258（2010）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fox}和\textit{M.O.Myreen}，莱克特。注释计算。科学。6172243-258（2010年；Zbl 1291.68341） 全文： 内政部
玛格努斯·奥·米林。;Anthony C.J.福克斯。;迈克尔·J·C·戈登。 ARM机器代码的Hoare逻辑。 （英语） Zbl 1141.68373号 Arbab，Farhad（编辑）等人，软件工程基础国际研讨会。国际研讨会，FSEN 2007，伊朗德黑兰，2007年4月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75697-2/pbk）。《计算机科学讲义》4767272-286（2007）。MSC公司：68纳米30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.O.Myreen}等人，Lect。注释计算。科学。4767、272--286（2007年；Zbl 1141.68373） 全文： 内政部
安东尼·福克斯 用输入和输出验证硬件正确性的代数框架：HOL中的形式化。 （英语） Zbl 1151.68478号 JoséLuiz Fiadeiro等人，《计算机科学中的代数和余代数》。第一届国际会议，2005年CALCO，2005年9月3日至6日，英国斯旺西。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28620-9/pbk）。《计算机科学讲义》3629157-174（2005）。MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Fox}，莱克特。注释计算。科学。3629、157--174（2005年；Zbl 1151.68478） 全文： 内政部
库克，R.J。;福克斯，A。 三元二次型在素参数处的值。 （英语） Zbl 1035.11010号 马塞马提卡 48，编号1-2，137-149（2001）. 审核人：K.-M.Tsang（香港） MSC公司：11日75 第12页 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Cook}和\textit{A.Fox}，Mathematika 48，编号1--2137-149（2001；Zbl 1035.11010） 全文： 内政部
福克斯，A.C.J。;北卡罗来纳州哈曼。 微处理器正确性的代数模型。 （英语） Zbl 0971.68102号 正式Asp。计算。 12，第4号，298-312（2000）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{A.C.J.Fox}和\textit{N.A.Harman}，正式Asp。计算。12，第4号，298--312（2000；Zbl 0971.68102） 全文： 内政部