×
作者ID: 狐狸.安东尼-c-j最近由“福克斯,安东尼·C·J”撰写的zbMATH文章
发布日期: 安东尼·福克斯;Anthony C.J.福克斯。;福克斯,A.C.J。
已编制索引的文档: 10出版物自2000年起
合著者: 23位合著者具有6联合出版物
150位合作作者

按年份列出的出版物

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名

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位作者

按年份列出的引文