编辑配置文件（在新选项卡中打开） 香塔尔·凯勒 合著者距离 作者ID: 凯勒·坎塔尔 发布日期： 香塔尔·凯勒 外部链接： MGP公司 编入索引的文档： 11出版物自2010年起 2作为编辑的贡献 合著者： 32位合著者具有10联合出版物 559位联合作者 全部的 前5名合著者 1 单作者的 2 蒂鲍特·巴拉邦斯基 2 弗莱德里克·博朗格 2 阮文海 2 贝诺缬氨酸 2 本杰明·沃纳 2 沃尔夫，伯克哈特 1 米歇尔·阿尔芒 1 克拉克·W·巴雷特。 1 Véronique公司的Benzaken 1 德克·拜尔 1 卡尔蒂基扬·巴尔干 1 伊芙琳·孔特让 1 奥利维尔·丹维 1 安托万，Deligna-Lavoud 1 伯拉克·埃基奇 1 德国福雷 1 X·费加。 1 马蒂亚斯·弗勒里 1 西蒙·福雷斯特 1 塞德里克·Fornet 1 本杰明·格雷戈里 1 Hriţcu，科特林 1 拥抱，E。 1 凯兹，盖伊 1 科尔维斯，马尔库夫 1 马克·拉森 1 阿兰·梅布苏特 1 马提亚斯·普奇 1 阿西姆·拉斯托吉 1 安德鲁·雷诺兹 1 Pierre-Yves支柱 1 尼基尔·斯瓦米 1 Laurent Théry 1 塞萨尔·蒂内利 1 圣地亚哥Zanella Béguelin 1 Jean-Karim Zinzindohoue 系列 1 国际塑性杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子论文集（EPTCS） 领域 12 计算机科学（68至XX） 2 总体主题；集合（00-XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物被引用66中的次60文件 引用人▼ 年份▼ SAT/SMT解算器通过证明证人与Coq的模块化集成。 Zbl 1350.68223号 迈克尔·阿尔芒;德国福雷;本杰明·格雷戈里;香塔尔·凯勒;Laurent Théry;本杰明·沃纳 21 2011 将HOL灯导入Coq。 Zbl 1291.68353号 香塔尔·凯勒;本杰明·沃纳 18 2010 SMTCoq：用于将SMT解算器集成到Coq中的插件。 Zbl 1494.68285号 伯克Ekici;阿兰·梅布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特 11 2017 （\mathrm{F}^*\）中的依赖类型和多单子效应。 Zbl 1347.68038号 尼基尔·斯瓦米;Hriţcu，科特林;香塔尔·凯勒;阿西姆·拉斯托吉;安托万，Deligna-Lavoud;西蒙·福雷斯特;卡尔蒂基扬·巴尔干;塞德里克·Fornet;Pierre-Yves支柱;科尔维斯，马尔库夫;Jean-Karim Zinzindohoue;圣地亚哥Zanella-Béguelin 10 2016 非指示性排序中的参数。 Zbl 1252.68259号 香塔尔·凯勒;马克·拉森 5 2012 TESL的符号操作语义——用于异构系统测试。 Zbl 1494.68154号 阮文海;蒂鲍特·巴拉邦斯基;弗莱德里克·博朗格;香塔尔·凯勒;贝诺缬氨酸;沃尔夫，伯克哈特 1 2017 SQL执行引擎的Coq形式化。 Zbl 1511.68107号 V·本扎肯。;孔特让（Contejean，E..）。;凯勒，Ch。;马丁斯，E。 1 2018 微结构尺寸对高纯镍力学性能的影响。 Zbl 1426.74010号 凯勒，C。;拥抱，E。;X·费加。 1 2011 SQL执行引擎的Coq形式化。 Zbl 1511.68107号 V·本扎肯。;孔特让（Contejean，E..）。;凯勒，Ch。;马丁斯，E。 1 2018 SMTCoq：用于将SMT解算器集成到Coq中的插件。 Zbl 1494.68285号 伯拉克·埃基奇;阿兰·梅布苏特;塞萨尔·蒂内利;香塔尔·凯勒;凯兹，盖伊;安德鲁·雷诺兹;克拉克·巴雷特 11 2017 TESL的符号操作语义——用于异构系统测试。 Zbl 1494.68154号 阮文海;蒂鲍特·巴拉邦斯基;弗莱德里克·博朗格;香塔尔·凯勒;贝诺缬氨酸;沃尔夫，伯克哈特 1 2017 （\mathrm{F}^*\）中的依赖类型和多单子效应。 Zbl 1347.68038号 尼基尔·斯瓦米;Hriţcu，科特林;香塔尔·凯勒;阿西姆·拉斯托吉;安托万，Deligna-Lavoud;西蒙·福雷斯特;卡尔蒂基扬·巴尔干;塞德里克·Fornet;Pierre-Yves支柱;科尔维斯，马尔库夫;Jean-Karim Zinzindohoue;圣地亚哥Zanella-Béguelin 10 2016 非指示性排序中的参数。 Zbl 1252.68259号 香塔尔·凯勒;马克·拉森 5 2012 SAT/SMT解算器通过证据证人与Coq的模块化集成。 兹比尔1350.68223 迈克尔·阿尔芒;德国福雷;本杰明·格雷戈里;香塔尔·凯勒;Laurent Théry;本杰明·沃纳 21 2011 微结构尺寸对高纯镍力学性能的影响。 Zbl 1426.74010号 凯勒，C。;拥抱，E。;X·费加。 1 2011 将HOL灯导入Coq。 Zbl 1291.68353号 尚塔尔凯勒;本杰明·沃纳 18 2010 所有引用出版物 前5名被引用出版物 全部的 前5名150位作者引用 8 弗洛里安·拉贝 6 塞萨里·卡利西克 5 迈克尔·科尔哈斯 5 安德鲁·雷诺兹 5 塞萨尔·蒂内利 4 克拉克·W·巴雷特。 4 贾斯敏·克里斯蒂安·布兰切特 4 艾娜·尼梅茨 4 马蒂亚斯·普雷纳 三 马蒂亚斯·弗勒里 三 Thibault Gauthier 三 尤尼·佐哈尔 2 哈尼尔·巴博萨 2 Böhme，萨沙 2 西里尔·科恩 2 查伊卡，Łukasz 2 帕斯卡·方丹 2 贾尼契奇，普雷德拉格 2 直纪小林 2 格雷戈里·马莱查 2 穆勒，丹尼斯 2 玛格努斯·奥·米林。 2 亚当·纳莫维奇 2 汉斯·约尔·舒尔 2 马卡里乌斯·温泽尔 1 泽维尔·阿拉米吉恩 1 阿南德，阿比舍克 1 塞皮德·阿萨迪 1 蒂鲍特·巴拉邦斯基 1 杰斯珀·本特森 1 Bertholon，Guillaume纪尧姆 1 弗雷德里克·贝松 1 马克·贝泽姆 1 卡尔蒂基扬·巴尔干 1 阿比舍克省比什哈瓦特 1 西蒙·布利兹 1 玛丽亚·保拉（Maria Paola Bonacina） 1 弗莱德里克·博朗格 1 鲍利耶，西蒙 1 艾默里·布齐 1 托马斯·布雷班特 1 约阿希姆·布雷特纳 1 克里斯·布尔祖斯卡 1 拉斐尔·考德利埃 1 斯特吉奥斯·查齐基里亚基迪斯 1 陈，冉 1 陈玉龙 1 扎卡里亚·奇哈尼 1 哈娜·乔克勒 1 Joshua M.科恩。 1 皮埃尔·埃曼纽·科尼勒奥 1 安吉洛·德·卡罗 1 安托万，Deligna-Lavoud 1 邓玉欣 1 马丁·德沙奈斯 1 凯瑟琳·杜布瓦 1 卡琳·埃文·蒙多萨 1 扬尼克·福斯特 1 塞德里克·Fornet 1 圣菲省格拉汉·伦格兰德 1 盖诺，阿马尔 1 莉安娜·哈达伦 1 花冈、果一郎 1 马里恩·赫勒。 1 佩德拉姆·霍塞尼 1 侯泽晨 1 安蒂·E·J·海瓦·里宁。 1 米尼亚·伊恩库 1 Atsushi Igarashi 1 费边·伊姆勒 1 伊奥维诺、文森佐 1 里卡多·戴维·卡茨 1 香塔尔·凯勒 1 福崎北川 1 Kohbrok，Konrad公司 1 科尔维斯，马尔库夫 1 基里恩·克莱默 1 拉马纳·库马尔 1 费边·昆泽 1 拉尔夫·库斯特斯 1 汉娜·拉奇尼特 1 李东浩 1 珍妮·雅克·利维 1 李、姚 1 安德烈亚斯·洛赫比勒 1 罗朝晖 1 艾瑞克·马德琳 1 阿西亚·马布比 1 罗比·马利克 1 马尔科·马利科维奇 1 菲利普·马里奇 1 埃里克·马丁·多雷尔 1 高弘松田 1 巴特·门宁克 1 戴尔·艾伦·米勒 1 大卫·莫尼奥（David P.Monniaux）。 1 米里杜尔·南迪 1 朱利安·纳布克斯 1 阮文海 1 迈克尔·诺里什 …还有50多位作者 全部的 前5名引用于8个系列 12 自动推理杂志 三 系统设计中的形式化方法 2 MSCS公司。计算机科学中的数学结构 1 信息学报 1 符号计算杂志 1 函数编程杂志 1 计算机科学中的逻辑方法 1 形式化推理杂志 全部的 前5名在8个字段中引用 54 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 6 信息与通信理论、电路（94-XX） 1 数论（11-XX） 1 凸和离散几何（52至XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文