编辑配置文件(在新选项卡中打开) Anthony C.J.福克斯。 合著者距离 作者ID: 狐狸.安东尼-c-j 发布日期: 安东尼·福克斯;Anthony C.J.福克斯。;福克斯,A.C.J。 更多。。。较少的 已编制索引的文档: 10出版物自2000年起 合著者: 23位合著者具有6联合出版物 150位合作作者 全部的 前5名合著者 三 单作者的 三 玛格努斯·奥·米林。 1 Böhme,萨沙 1 大卫·奇斯纳尔 1 布鲁克斯·戴维斯 1 纳撒尼尔·卫斯理·费拉多 1 迈克尔·J·C·戈登。 1 基兰古德卡 1 北卡罗来纳州哈曼。 1 亚历山大·乔安诺 1 拉马纳·库马尔 1 Markettos,A.西奥多 1 西蒙·摩尔(Simon W.Moore)。 1 彼得·加布里埃尔·诺伊曼 1 迈克尔·诺里什 1 罗伯特·M·诺顿。 1 斯科特·欧文斯 1 迈克尔·罗 1 托马斯·D·休厄尔。 1 Tan,Yong Kiam先生 1 罗伯特·N·M·沃森。 1 Tjark韦伯 1 乔纳森·伍德拉夫 1 夏、红艳 系列 1 电气电子工程师学会计算机期刊 1 马西马蒂卡 1 计算的形式方面 1 函数编程杂志 字段 9 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 数论(11-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用39中的次35文件 引用人▼ 年份▼ 已验证的CakeML编译器后端。 Zbl 1493.68091号 金丹(Kiam Tan,Yong);玛格努斯·奥·米林。;拉马纳·库马尔;安东尼·福克斯;斯科特·欧文斯;迈克尔·诺里什 12 2019 三元二次型在素参数处的值。 Zbl 1035.11010号 库克,R.J。;福克斯,A。 11 2001 ARMv7指令集体系结构的可信单体形式化。 Zbl 1291.68341号 安东尼·福克斯;玛格努斯·奥·米林。 9 2010 在HOL4和Isabelle/HOL中重建Z3的位向量证明。 Zbl 1350.68225号 Böhme,萨沙;Anthony C.J.福克斯。;托马斯·休厄尔;Tjark韦伯 6 2011 微处理器正确性的代数模型。 Zbl 0971.68102号 福克斯,A.C.J。;北卡罗来纳州哈曼。 5 2000 HOL4中的LCF型位爆破。 Zbl 1342.68283号 Anthony C.J.福克斯。 三 2011 改进了对HOL4中机器代码反编译的工具支持。 Zbl 1465.68048号 安东尼·福克斯 2 2015 用输入和输出验证硬件正确性的代数框架:HOL中的形式化。 Zbl 1151.68478号 安东尼·福克斯 1 2005 ARM机器代码的Hoare逻辑。 Zbl 1141.68373号 玛格努斯·奥·米林。;Anthony C.J.福克斯。;迈克尔·J·C·戈登。 1 2007 已验证的CakeML编译器后端。 Zbl 1493.68091号 金丹(Kiam Tan,Yong);玛格努斯·奥·米林。;拉马纳·库马尔;安东尼·福克斯;斯科特·欧文斯;迈克尔·诺里什 12 2019 改进了对HOL4中机器代码反编译的工具支持。 Zbl 1465.68048号 安东尼·福克斯 2 2015 在HOL4和Isabelle/HOL中重建Z3的位向量证明。 兹比尔1350.68225 Böhme,萨沙;Anthony C.J.福克斯。;托马斯·休厄尔;Tjark韦伯 6 2011 HOL4中的LCF型位爆破。 Zbl 1342.68283号 Anthony C.J.福克斯。 三 2011 ARMv7指令集体系结构的可信单体形式化。 Zbl 1291.68341号 安东尼·福克斯;玛格努斯·奥·米林。 9 2010 ARM机器代码的Hoare逻辑。 Zbl 1141.68373号 玛格努斯·奥·米林。;Anthony C.J.福克斯。;迈克尔·J·C·戈登。 1 2007 用输入和输出验证硬件正确性的代数框架:HOL中的形式化。 Zbl 1151.68478号 安东尼·福克斯 1 2005 三元二次型在素数变元处的值。 Zbl 1035.11010号 库克,R.J。;福克斯,A。 11 2001 微处理器正确性的代数模型。 Zbl 0971.68102号 福克斯,A.C.J。;北卡罗来纳州哈曼。 5 2000 所有引用出版物 前5名被引用出版物 全部的 前5名103位作者引用 8 玛格努斯·奥·米林。 三 Anthony C.J.福克斯。 2 卡明·阿巴特 2 奥斯卡·亚伯拉罕森 2 奥曼·波霍拉,约翰内斯 2 Barbosa,哈尼尔 2 贾斯敏·克里斯蒂安·布兰切特 2 Böhme,萨沙 2 北卡罗来纳州哈曼。 2 拉马纳·库马尔 2 迈克尔·诺里什 2 斯科特·欧文斯 2 亚当·桑德伯格·爱立信 2 Tan,Yong Kiam先生 2 约翰·V·塔克。 1 奥曼,波霍拉·约翰内斯 1 克拉克·W·巴雷特。 1 贝拉德,贝特里奇 1 罗伯托·布兰科 1 Blazy,桑德林 1 布洛特,亚瑟 1 Joshua A.Bockenek。 1 伯恩,彼得 1 贝内迪克特·博利格 1 Busi,Matteo公司 1 迈克尔·克里斯滕森(Michael F.Christensen)。 1 瑟·特凡·乔巴赫 1 罗伯特·J·科尔文。 1 尼古拉斯·考夫林 1 皮埃尔·埃瓦里斯特·达甘 1 贾里德·戴维斯 1 董金松 1 阿德里安·杜里埃 1 马蒂亚斯·弗勒里 1 帕斯卡·方丹 1 福克斯,A.J.C。 1 傅玉福 1 拉杰夫·甘地 1 迪帕克·加格 1 阿玛·盖诺 1 本·哈德科夫 1 Heule,Marijn J.H。 1 Hoa,Koh Chuen村 1 侯哲 1 Hriţcu,科特林 1 格温·克莱恩 1 基里恩·克莱默 1 汉娜·拉奇尼特 1 朱莉娅·劳尔。 1 莱切内特,Jean-Christophe 1 马修·勒豪特 1 李鹏飞 1 刘嘉祥 1 刘,杨 1 约瑟夫·麦克马汉 1 格雷格·莫里塞特 1 托比·默里 1 Priya Narasimhan 1 劳顿·尼科尔斯 1 艾娜·尼梅茨 1 安德烈斯·诺兹利 1 亚历克斯·奥兹德米尔 1 马可·帕特里格纳尼 1 劳伦斯·查尔斯·保尔森 1 大卫·皮哈迪 1 马蒂亚斯·普雷纳 1 比诺伊·拉文德兰 1 安德鲁·雷诺兹 1 贾里德·罗埃什 1 亨利克·罗斯特德 1 菲利普·吕默 1 大卫·萨南 1 彼得·休厄尔 1 托马斯·D·休厄尔。 1 蒂莫西·舍伍德 1 石小木 1 Syeda、Hira Taqdees 1 纳塔利·斯兹纳杰德 1 Tan、Gang 1 谭佳琦 1 埃里克·坦特 1 泰惠君 1 杰雷米·蒂鲍特 1 汤普森,B.C。 1 塞萨尔·蒂内利 1 阿文·费南托(Alwen Fernanto Tiu) 1 蔡明勋 1 斯泰利奥斯·赞帕斯 1 弗里克·韦贝克 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 王,弯腰 1 王玉婷 1 Tjark韦伯 1 克里斯托弗·温特斯泰格。 1 吴金华 1 徐向哲 1 杨伯寅 1 尹振国 1 弗朗西斯科·扎帕·纳德利 …还有3位作者 全部的 前5名8篇连载文章中引用 7 自动推理杂志 2 逻辑与代数程序设计杂志 1 应用数学与计算 1 理论计算机科学 1 计算的形式方面 1 系统设计中的形式化方法 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 35 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 按年份列出的引文