×
作者ID: filmatrie.jean-christophe医生“Filliátre,Jean-Christophe”最近发表的zbMATH文章
发布日期: Jean-Christophe Filliátre
已编制索引的文档: 16出版物自1999年起
1作为编辑的贡献
合著者: 17合著者具有12联合出版物
208位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

16出版物有被引用158中的次132文件 引用人 年份
Why3——程序遇到证明者的地方。 Zbl 1435.68366号
Jean-Christophe Filliátre;安德烈·帕斯科维奇
43
2013
波动方程数值解:C程序的综合机械化证明。 Zbl 1267.68208号
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·马耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯
21
2013
ICS:集成的规范化器和求解器。 Zbl 0996.68559号
Jean-Christophe Filliátre;萨姆·奥雷;哈拉尔德街;Natarajan Shankar
18
2001
使用类型理论中的解释验证非功能程序。 Zbl 1111.68389号
Jean-Christophe Filliátre
13
2003
证明和程序的函数。 Zbl 1126.68475号
Jean-Christophe Filliátre;皮埃尔·勒图泽伊
12
2004
结合Coq和Gappa来验证浮点程序。 Zbl 1247.68232号
西尔维·博尔多;Jean-Christophe Filliátre;纪尧姆·梅尔金德
10
2009
可信计算:从偏微分方程到实际程序的机械化证明。 Zbl 1369.35051号
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·马耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯
10
2014
波动方程解方案的形式证明:方法误差。 Zbl 1291.68329号
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·马耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯
9
2010
使用它们的一个逻辑。 Zbl 1381.68266号
Jean-Christophe Filliátre
7
2013
幽灵代码。 Zbl 1358.68070号
Jean-Christophe Filliátre;莱昂贡德尔曼;安德烈·帕斯科维奇
4
2016
程序的正式证明:find。 Zbl 1178.68353号
Jean-Christophe Filliátre
2
2007
类型论中命令式程序的证明。 Zbl 0944.03021号
Jean-Christophe Filliátre
2
1999
半持久数据结构。 Zbl 1133.68325号
Sylvain Conchon公司;Jean-Christophe Filliátre
2
2008
更正包含容器的代码。 兹比尔1335.68052
克莱尔·德罗斯;Jean-Christophe Filliátre;扬尼克·莫伊
2
2011
使用分散不变量进行更简单的证明。 Zbl 1518.68048号
Jean-Christophe Filliátre
2
2021
在功能上产生森林的所有理想。 Zbl 1110.68359号
Jean-Christophe Filliátre;弗朗索瓦·波蒂埃
1
2003
使用分散不变量进行更简单的证明。 Zbl 1518.68048号
Jean-Christophe Filliátre
2
2021
幽灵代码。 Zbl 1358.68070号
Jean-Christophe Filliátre;莱昂贡德尔曼;安德烈·帕斯科维奇
4
2016
可信计算:从偏微分方程到实际程序的机械化证明。 Zbl 1369.35051号
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·马耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯
10
2014
Why3——程序遇到证明者的地方。 Zbl 1435.68366号
Jean-Christophe Filliátre;安德烈·帕斯科维奇
43
2013
波动方程数值解:C程序的综合机械化证明。 Zbl 1267.68208号
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·马耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯
21
2013
使用它们的一个逻辑。 Zbl 1381.68266号
Jean-Christophe Filliátre
7
2013
更正包含容器的代码。 Zbl 1335.68052号
克莱尔·德罗斯;Jean-Christophe Filliátre;扬尼克·莫伊
2
2011
波动方程解方案的形式证明:方法误差。 Zbl 1291.68329号
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·马耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯
9
2010
结合Coq和Gappa来验证浮点程序。 Zbl 1247.68232号
西尔维·博尔多;Jean-Christophe Filliátre;纪尧姆·梅尔金德
10
2009
半持久数据结构。 Zbl 1133.68325号
Sylvain Conchon公司;Jean-Christophe Filliátre
2
2008
程序的正式证明:find。 Zbl 1178.68353号
Jean-Christophe Filliátre
2
2007
证明和程序的函数。 Zbl 1126.68475号
Jean-Christophe Filliátre;皮埃尔·勒图泽伊
12
2004
使用类型理论中的解释验证非功能程序。 Zbl 1111.68389号
Jean-Christophe Filliátre
13
2003
在功能上产生森林的所有理想。 Zbl 1110.68359号
Jean-Christophe Filliátre;弗朗索瓦·波蒂埃
1
2003
ICS:集成标准化器和求解器。 Zbl 0996.68559号
Jean-Christophe Filliátre;萨姆·奥雷;哈拉尔德街;Natarajan Shankar
18
2001
类型理论中命令式程序的证明。 Zbl 0944.03021号
Jean-Christophe Filliátre
2
1999
全部的 前5名

279位作者引用

7 西尔维·博尔多
5 克劳德·马奇
5 纪尧姆·梅尔金德
4 亚历山大·本特坎普
4 弗朗索瓦·克莱门特
4 米凯拉·马耶罗
4 豪尔赫·索萨·品托
弗朗索瓦·博博特
罗伯特·布鲁托梅索
亚历山德罗·西马蒂
Sylvain Conchon公司
伊曼纽尔·德·安吉利斯
Jean-Christophe Filliátre
法比奥·菲奥拉万蒂
玛丽亚诺·莫斯卡托(Mariano M.Moscato)。
塞萨尔·穆尼奥斯。
托比亚斯·尼普科
Nummelin,维萨卡
阿尔贝托·佩特罗西
毛里齐奥·普罗埃蒂
罗伯托·塞巴斯蒂安
斯特里赫曼(Ofer Strichman)
索菲·托雷特
佩塔·武克米罗维奇
2 亚明·艾特阿默尔
2 安德鲁·W·阿佩尔。
2 安德烈·阿鲁索艾
2 克拉克·W·巴雷特。
2 卞金亭
2 贾斯敏·克里斯蒂安·布兰切特
2 米歇尔·博雷尔
2 马可·波扎诺
2 乔达里,Dipak L。
2 亚当·奇利帕拉
2 马丁·克鲁查德
2 西蒙·克鲁恩斯
2 Om P.达马尼。
2 伊娃·达鲁洛娃
2 德波尔(Frank S。
2 斯蒂恩·德古乌
2 纪尧姆·杜邦
2 亚伦·M·达特(Aaron M.Dutle)。
2 弗洛里安·费索尔
2 玛丽亚·乔昂·弗雷德
2 莱昂贡德尔曼
2 迈克尔·J·C·戈登。
2 托马斯·格雷戈里
2 Hiep,Hans-Dieter A。
2 费比安·伊姆勒
2 汤米·A·琼蒂拉。
2 约翰内斯·卡尼格
2 米查尔·科内奇
2 丹尼尔·科宁
2 彼得·兰米奇
2 凯瑟琳·勒雷
2 泽维尔·勒罗伊
2 卢伦索、科劳迪奥·贝洛
2 文森特·马丁
2 黑山,曼努埃尔
2 扬尼克·莫伊
2 玛格努斯·奥·米林。
2 马克·潘特尔
2 安德烈·帕斯科维奇
2 克里斯汀·保林·莫林
2 里卡多·佩纳
2 拉斐尔·里乌·赫尔夫特
2 弗拉德·鲁苏
2 尼拉杰·库马尔·辛格
2 霍尔格·蒂斯
2 劳拉·蒂托洛
2 彼得·范·罗苏姆
2 皮埃尔·韦斯
1 罗莎·阿巴斯
1 阿费尔特,雷纳德
1 沃尔夫冈·阿伦特
1 丹尼尔·安尼科夫
1 Krzysztof Rafal公寓
1 阿拉斯代尔·阿姆斯特朗
1 罗克萨娜·阿萨耶什
1 菲利普·奥德巴德
1 巴哈雷赫巴德班
1 巴博萨、路易斯·索亚雷斯
1 塞巴斯蒂安·巴丁
1 珍妮特·巴恩斯
1 David A.Basin。
1 圣地亚哥包蒂斯塔
1 詹姆斯·巴克斯特
1 贾法尔·比亚扎尔
1 大卫·宾德尔。
1 豪尔赫·布拉兹奎兹
1 约翰·博格斯特罗姆
1 博斯特罗姆,蓬图斯
1 杰拉德·布多尔
1 约阿希姆·布雷特纳
1 罗德里克·查普曼
1 克利斯朵夫·查尔顿
1 亚瑟·查古埃罗
1 玛莎·契契克
1 陈,冉
1 佛罗伦萨雪佛龙
…还有179位作者

按年份列出的引文