编辑配置文件（在新选项卡中打开） 弗朗索瓦·博博特 合著者距离 作者ID： 博博特·弗朗索瓦 发布日期： 弗朗索瓦·博博特;弗朗索瓦·博博特 编入索引的文档： 8出版物自2011年起 合著者： 34位合著者具有8联合出版物 376位合作作者 全部的 前5名合著者 0 单作者的 2 塞巴斯蒂安·巴丁 2 亚伦·M·达特（Aaron M.Dutle）。 2 玛丽亚诺·莫斯卡托（Mariano M.Moscato）。 2 塞萨尔·穆尼奥斯。 2 劳拉·蒂托洛 1 罗伯特·阿马迪奥（Roberto M.Amadio）。 1 尼古拉斯·阿亚奇 1 Jaap P.Boender。 1 昆廷·布伊拉盖 1 布莱恩·坎贝尔 1 克里斯托弗·夏顿 1 扎卡里亚·奇哈尼 1 Sylvain Conchon公司 1 伊芙琳，孔蒂让 1 伊利亚斯·加尼尔 1 穆罕默德·伊格尔内拉拉 1 安托万·马德特 1 阿西亚·马布比 1 布鲁诺·玛丽 1 詹姆斯·麦金纳 1 阿兰·梅布苏特 1 纪尧姆·梅尔金德 1 多米尼克·P·穆里根。 1 安德烈·帕斯科维奇 1 瓦伦丁·佩雷尔 1 毛罗·皮科洛 1 兰迪·波拉克 1 雷吉斯·贾纳斯，亚恩 1 克劳迪奥·萨塞尔多蒂·科恩 1 米哈埃拉·西希雷亚努 1 伊恩·斯塔克 1 保罗·特兰基利 1 贝诺缬氨酸 1 鲍里斯·亚科博夫斯基 系列 1 计算的形式方面 领域 8 计算机科学（68至XX） 2 数值分析（65-XX） 1 数学逻辑和基础（03-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用22中的次21文件 引用人▼ 年份▼ 用多种排序语言表示多态类型。 Zbl 1348.68215号 弗朗索瓦·博博特;安德烈·帕斯科维奇 6 2011 用于电路构建量子程序的自动演绎验证框架。 Zbl 1473.68106号 克利斯朵夫·查尔顿;塞巴斯蒂安·巴丁;弗朗索瓦·博博特;瓦伦丁·佩雷尔;贝诺缬氨酸 5 2021 位向量理论的锐化约束规划方法。 Zbl 1489.68249号 扎卡里亚·奇哈尼;布鲁诺·玛丽;弗朗索瓦·博博特;塞巴斯蒂安·巴丁 4 2017 认证复杂性（CerCo）。 Zbl 1445.68057号 罗伯特·阿马迪奥（Roberto M.Amadio）。;尼古拉斯·阿亚奇;弗朗索瓦·博博特;Jaap P.博恩德。;布莱恩·坎贝尔;伊利亚斯·加尼尔;安托万·马德特;詹姆斯·麦金纳;多米尼克·P·穆利根。;毛罗·皮科洛;兰迪·波拉克;雷吉斯·詹纳斯，Yann;克劳迪奥·萨塞尔多蒂·科恩;伊恩·斯塔克;保罗·特兰基利 三 2014 基于单纯形的Fourier-Motzkin扩展，用于求解线性整数算法。 Zbl 1358.68249号 弗朗索瓦·博博特;Sylvain Conchon公司;伊芙琳，孔蒂让;穆罕默德·伊格尔内拉拉;阿西亚·马布比;阿兰·梅布苏特;纪尧姆·梅尔金德 三 2012 紧凑位置报告算法的正式验证浮点实现。 Zbl 1460.68128号 蒂托洛，劳拉;玛丽亚诺·莫斯卡托（Mariano M.Moscato）。;塞萨尔·穆尼奥斯。;亚伦·杜特尔;弗朗索瓦·博博特 1 2018 用于电路构建量子程序的自动演绎验证框架。 Zbl 1473.68106号 克利斯朵夫·查尔顿;塞巴斯蒂安·巴丁;弗朗索瓦·博博特;瓦伦丁·佩雷尔;贝诺缬氨酸 5 2021 紧凑位置报告算法的正式验证浮点实现。 Zbl 1460.68128号 劳拉·蒂托洛;玛丽亚诺·莫斯卡托（Mariano M.Moscato）。;塞萨尔·穆尼奥斯。;亚伦·杜特尔;弗朗索瓦·博博特 1 2018 位向量理论的锐化约束规划方法。 Zbl 1489.68249号 扎卡里亚奇哈尼;布鲁诺·玛丽;弗朗索瓦·博博特;塞巴斯蒂安·巴丁 4 2017 认证复杂性（CerCo）。 Zbl 1445.68057号 罗伯特·阿马迪奥（Roberto M.Amadio）。;尼古拉斯·阿亚奇;博伯特，弗朗索瓦;Jaap P.Boender。;布莱恩·坎贝尔;伊利亚斯·加尼尔;安托万·马德特;詹姆斯·麦金纳;多米尼克·P·穆利根。;毛罗·皮科洛;兰迪·波拉克;雷吉斯·贾纳斯，亚恩;克劳迪奥·萨塞尔多蒂·科恩;伊恩·斯塔克;保罗·特兰奎利 三 2014 基于单纯形的Fourier-Motzkin扩展，用于求解线性整数算法。 Zbl 1358.68249号 弗朗索瓦·博博特;Sylvain Conchon公司;伊芙琳，孔蒂让;穆罕默德·伊格尔内拉拉;阿西亚·马布比;阿兰·梅布苏特;纪尧姆·梅尔金德 三 2012 用多种语言表达多态类型。 Zbl 1348.68215号 弗朗索瓦·博博特;安德烈·帕斯科维奇 6 2011 所有引用出版物 前5名被引用出版物 全部的 前5名63位作者引用 三 弗朗索瓦·博博特 2 艾哈迈德·巴亚特 2 贾斯敏·克里斯蒂安·布兰切特 2 马丁·布隆伯格 2 亚瑟·查古埃罗 2 穆纳乔·埃切宁 2 迈赫迪·姆哈拉 2 弗朗索瓦·波蒂埃 2 贾尔斯·里格尔 2 克里斯托夫·韦登巴赫 1 约翰·A·阿伯特。 1 艾丽卡·阿尔布拉汉姆 1 塞巴斯蒂安·巴丁 1 费边·鲍尔·马尔夸特 1 贝恩德·贝克尔 1 亚历山大·本特坎普 1 安娜·玛丽亚·比加蒂 1 Böhme，萨沙 1 布莱恩，马丁 1 布赫伯格，布鲁诺 1 克利斯朵夫·查尔顿 1 亚历山德罗·西马蒂 1 西蒙·克鲁恩斯 1 詹姆斯·哈罗德·达文波特 1 布鲁诺·杜特雷 1 亚伦·M·达特（Aaron M.Dutle）。 1 瑞希德·埃哈希德 1 英格兰，马修 1 帕斯卡·方丹 1 斯蒂芬·福雷斯特 1 Anthony C.J.福克斯。 1 圣菲省格拉汉·伦格兰德 1 阿尔贝托·格里乔 1 德扬·约瓦诺维奇 1 丹尼尔·科宁 1 拉马纳·库马尔 1 斯特凡·洛伊 1 Kuldeep S.梅尔。 1 马希德·穆罕默德利塔伊里希 1 玛丽亚诺·莫斯卡托（Mariano M.Moscato）。 1 塞萨尔·穆尼奥斯。 1 玛格努斯·O·米琳。 1 迈克尔·诺里什 1 斯科特·欧文斯 1 安德烈·帕斯科维奇 1 尼古拉斯·佩尔蒂埃 1 瓦伦丁·佩雷尔 1 吉尔斯·佩森特 1 安德烈·波佩斯库 1 克里斯蒂安·席林 1 彼得·施密特（Peter H.Schmitt）。 1 Werner M.塞勒。 1 尼古拉斯·斯莫尔博内 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 托马斯·斯特姆 1 Tan，Yong Kiam（陈永健） 1 劳拉·蒂托洛 1 马蒂亚斯·乌尔布里奇 1 贝诺缬氨酸 1 雷诺德·维尔马特 1 乌韦·沃尔德曼 1 王文喜 5篇连载文章中引用 三 自动推理杂志 2 计算机科学中的逻辑方法 1 计算的形式方面 1 系统设计中的形式化方法 1 函数编程杂志 在5个字段中引用 21 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 量子理论（81-XX） 2 运筹学、数学规划（90-XX） 1 数值分析（65-XX） 按年份列出的引文