编辑配置文件(在新选项卡中打开) Jean-Christophe Filliátre 合著者距离 作者ID: filmatrie.jean-christophe医生 发布日期: Jean-Christophe Filliátre 已编制索引的文档: 16出版物自1999年起 1作为编辑的贡献 合著者: 17合著者具有12联合出版物 208位合作作者 全部的 前5名合著者 5 单作者的 4 西尔维·博尔多 4 纪尧姆·梅尔金德 三 弗朗索瓦·克莱门特 三 米凯拉·马耶罗 三 皮埃尔·韦斯 2 安德烈·帕斯科维奇 1 Sylvain Conchon公司 1 克莱尔·德罗斯 1 莱昂贡德尔曼 1 皮埃尔·勒图泽伊 1 扬尼克·莫伊 1 萨姆·奥雷 1 克里斯汀·保林·莫林 1 弗朗索瓦·波蒂埃 1 哈拉尔德街 1 Natarajan Shankar 1 本杰明·沃纳 全部的 前5名系列 2 函数编程杂志 1 计算机与数学及其应用 1 计算机程序设计科学 1 自动推理杂志 1 系统设计中的形式化方法 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 字段 17 计算机科学(68-XX) 4 数值分析(65-XX) 三 偏微分方程(35-XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名26篇连载文章中引用 20 自动推理杂志 9 计算的形式方面 6 信息与计算 4 理论计算机科学 4 符号计算杂志 4 系统设计中的形式化方法 4 函数编程杂志 4 程序设计中的逻辑和代数方法杂志 三 计算机程序设计科学 三 计算机科学中的数学 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 形式化推理杂志 1 计算机与数学及其应用 1 富兰克林研究所期刊 1 计算与应用数学杂志 1 国际并行程序设计杂志 1 计算几何 1 MSCS公司。计算机科学中的数学结构 1 ETNA公司。数值分析电子交易 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 应用与应用数学 1 计算机科学中的逻辑方法 1 计算机科学前沿 全部的 前5名19个领域引用 126 计算机科学(68-XX) 27 数学逻辑和基础(03-XX) 19 数值分析(65-XX) 三 组合数学(05-XX) 三 范畴理论;同调代数(18-XX) 三 实际功能(26年X月X日) 三 偏微分方程(35-XX) 三 系统论;控制(93至XX) 2 常微分方程(34-XX) 2 动力系统和遍历理论(37至XX) 2 运筹学、数学规划(90-XX) 1 总体主题;集合(00-XX) 1 场论和多项式(12-XX) 1 测量和集成(28-XX) 1 几何图形(51-XX) 1 凸和离散几何(52至XX) 1 量子理论(81-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文