编辑配置文件（在新选项卡中打开） 哈尼尔·巴博萨 合著者距离 作者ID： 芭蕉 发布日期： 哈尼尔·巴博萨 已编制索引的文档： 11出版物自2017年起 2作为编辑的贡献 合著者： 23位合著者具有13联合出版物 429名合作作者 全部的 前5名合著者 0 单作者的 9 安德鲁·雷诺兹 7 塞萨尔·蒂内利 6 克拉克·W·巴雷特。 4 帕斯卡·方丹 三 安德烈斯·诺兹利 2 贾斯敏·克里斯蒂安·布兰切特 2 艾娜·尼梅茨 2 马蒂亚斯·普雷纳 2 阿琼·维斯瓦纳坦 2 尤尼·佐哈尔 1 亚历山德罗·阿巴特 1 克里斯蒂娜·大卫 1 丹尼尔·欧拉乌伊 1 马蒂亚斯·弗勒里 1 帕斯卡·凯塞利 1 基里恩·克莱默 1 丹尼尔·科宁 1 汉娜·拉奇尼特 1 丹尼尔·拉拉兹 1 亚历克斯·奥兹德米尔 1 伊丽莎白·波尔格林 1 吉赛尔·赖斯 1 斯科特·维特里 系列 2 自动推理杂志 1 理论计算机科学电子论文集（EPTCS） 领域 13 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用52中的次39文件 引用人▼ 年份▼ 重新访问枚举实例化。 Zbl 1423.68468号 安德鲁·雷诺兹；哈尼尔·巴博萨；帕斯卡·方丹 15 2018 将SMT求解器扩展到高阶逻辑。 Zbl 07178968号 哈尼尔·巴博萨；安德鲁·雷诺兹；丹尼尔·欧拉乌伊；塞萨尔·蒂内利；克拉克·巴雷特 10 2019 具有自由变量的同余闭包。 Zbl 1452.68113号 哈尼尔·巴博萨；帕斯卡·方丹；安德鲁·雷诺兹 8 2017 用于公式处理的可扩展细粒度证明。 Zbl 1468.68278号 哈尼尔·巴博萨；贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；帕斯卡·方丹 5 2020 SMT解算器的语法制导重写规则枚举。 兹比尔1441.68233 安德烈斯·诺兹利；安德鲁·雷诺兹；哈尼尔·巴博萨；艾娜·尼梅茨；马蒂亚斯·普雷纳；克拉克·巴雷特；塞萨尔·蒂内利 4 2019 具有共享选择器的数据类型。 兹比尔1511.68175 安德鲁·雷诺兹；阿琼·维斯瓦纳坦；哈尼尔·巴博萨；塞萨尔·蒂内利；克拉克·巴雷特 4 2018 在工业级SMT解决方案中进行灵活的验证生产。 Zbl 07628179号 哈尼尔·巴博萨；安德鲁·雷诺兹；基里恩·克莱默；汉娜·拉奇尼特；艾娜·尼梅茨；安德烈斯·诺兹利；亚历克斯·奥兹德米尔；马蒂亚斯·普雷纳；阿琼·维斯瓦纳坦；斯科特·维特里；尤尼·佐哈尔；塞萨尔·蒂内利；克拉克·巴雷特 三 2022 对于字符串解算器来说，冲突的速度更快，减少的速度更慢。 兹比尔1514.68274 安德烈斯·诺兹利；安德鲁·雷诺兹；哈尼尔·巴博萨；克拉克·巴雷特；塞萨尔·蒂内利 1 2022 用于公式处理的可扩展细粒度证明。 兹比尔1494.68280 哈尼尔·巴博萨；贾斯敏·克里斯蒂安·布兰切特；帕斯卡·方丹 1 2017 2019年8月26日，巴西纳塔尔，第六届定理证明交换研讨会论文集。 Zbl 1490.68029号 1 2019 在工业级SMT解决方案中进行灵活的验证生产。 Zbl 07628179号 哈尼尔·巴博萨；安德鲁·雷诺兹；基里恩·克莱默；汉娜·拉奇尼特；艾娜·尼梅茨；安德烈斯·诺兹利；亚历克斯·奥兹德米尔；马蒂亚斯·普雷纳；阿琼·维斯瓦纳坦；斯科特·维特里；尤尼·佐哈尔；塞萨尔·蒂内利；克拉克·巴雷特 三 2022 对于字符串解算器来说，冲突的速度更快，减少的速度更慢。 兹比尔1514.68274 安德烈斯·诺兹利；安德鲁·雷诺兹；哈尼尔·巴博萨；克拉克·巴雷特；塞萨尔·蒂内利 1 2022 用于公式处理的可扩展细粒度证明。 Zbl 1468.68278号 哈尼尔·巴博萨；贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里；帕斯卡·方丹 5 2020 将SMT求解器扩展到高阶逻辑。 Zbl 07178968号 哈尼尔·巴博萨；安德鲁·雷诺兹；丹尼尔·欧拉乌伊；塞萨尔·蒂内利；克拉克·巴雷特 10 2019 SMT解算器的语法制导重写规则枚举。 兹比尔1441.68233 安德烈斯·诺兹利；安德鲁·雷诺兹；哈尼尔·巴博萨；艾娜·尼梅茨；马蒂亚斯·普雷纳；克拉克·巴雷特；塞萨尔·蒂内利 4 2019 2019年8月26日，巴西纳塔尔，第六届定理证明交换研讨会论文集。 Zbl 1490.68029号 1 2019 重新访问枚举实例化。 Zbl 1423.68468号 安德鲁·雷诺兹；哈尼尔·巴博萨；帕斯卡·方丹 15 2018 具有共享选择器的数据类型。 兹比尔1511.68175 安德鲁·雷诺兹；阿琼·维斯瓦纳坦；哈尼尔·巴博萨；塞萨尔·蒂内利；克拉克·巴雷特 4 2018 具有自由变量的同余闭包。 Zbl 1452.68113号 哈尼尔·巴博萨；帕斯卡·方丹；安德鲁·雷诺兹 8 2017 用于公式处理的可扩展细粒度证明。 Zbl 1494.68280号 哈尼尔·巴博萨；贾斯敏·克里斯蒂安·布兰切特；帕斯卡·方丹 1 2017 所有引用出版物 前5名被引用出版物 全部的 前5名87位作者引用 9 克拉克·W·巴雷特。 8 安德鲁·雷诺兹 8 塞萨尔·蒂内利 7 贾斯敏·克里斯蒂安·布兰切特 6 索菲·托雷特 5 哈尼尔·巴博萨 5 艾娜·尼梅茨 5 马蒂亚斯·普雷纳 5 尤尼·佐哈尔 4 帕斯卡·方丹 4 佩塔·武克米罗维奇 三 亚历山大·本特坎普 三 Heule，Marijn J.H。 三 克里斯托夫·韦登巴赫 2 Seulkee Baek公司 2 马丁·布隆伯格 2 西蒙·克鲁恩斯 2 加布里埃尔·埃布纳 2 马蒂亚斯·弗勒里 2 简·兰格 2 Nummelin，维萨卡 2 克里斯托夫·林盖森 2 汉斯·约尔·舒尔 2 盛英 1 亚历山德罗·阿巴特 1 艾丽卡·阿尔布拉汉姆 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 艾哈迈德·巴亚特 1 弗兰蒂舍克·布拉胡德克 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 玛丽亚·保拉（Maria Paola Bonacina） 1 克里斯托弗·布朗（Christopher W.Brown）。 1 蔡少伟 1 陈玉芳 1 乔利亚特，大卫 1 詹姆斯·哈罗德·达文波特 1 克里斯蒂娜·大卫 1 安托万·笛福内 1 马丁·德沙奈斯 1 伊琳娜·德拉古斯特 1 丹尼尔·欧拉乌伊 1 英格兰，马修 1 拉沙·法奎 1 克里斯托夫·费泽尔 1 阿尔贝托·菲奥里 1 圣菲省格拉汉·伦格兰德 1 甘纳·哈东 1 沃伊特·哈夫勒纳 1 Jochen Hoenicke公司 1 卢卡什，霍利克 1 沙迦·伊扎基 1 比约恩凯德尔 1 马吕斯·坎普 1 帕斯卡·凯塞利 1 亚历山大·科赫。 1 杰西卡·科赫 1 基里恩·克莱默 1 丹尼尔·科宁 1 马库斯·科洛奇 1 米贾·库尔琴斯基 1 汉娜·拉奇尼特 1 丹尼尔·拉拉兹 1 Ondřej Lengál 1 李伯翰 1 凯文·洛茨 1 贾斯珀·纳尔巴赫 1 安德烈斯·诺兹利 1 德克·诺沃特卡 1 亚历克斯·奥兹德米尔 1 迈克尔·菲利普森 1 伊丽莎白·波尔格林 1 贾尔斯·里格尔 1 安迪·鲁普 1 坦尼娅·辛德勒。 1 安德斯·施利奇特克鲁尔 1 Natarajan Shankar 1 尤拉吉·西奇 1 伊坦·辛格 1 菲利普·斯佩克特 1 亚历山大·斯蒂恩 1 马丁·斯特雷克 1 杰夫·萨特克利夫 1 阿琼·维斯瓦纳坦 1 斯科特·维特里 1 马可·沃伊格特 1 乌韦·沃尔德曼 1 张新迪 全部的 前5名引用于6个系列 11 自动推理杂志 2 ACM计算逻辑汇刊 1 符号计算杂志 1 人工智能通信 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在3个字段中引用 38 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文