编辑配置文件（在新选项卡中打开） 亚瑟·查古埃罗 合著者距离 作者ID： 查格罗·亚瑟 发布日期： 亚瑟·查古埃罗；亚瑟·查格罗 已编制索引的文档： 16出版物自2008年起 合著者： 17合著者具有11联合出版物 255位合作作者 全部的 前5名合著者 5 单作者的 6 弗朗索瓦·波蒂埃 三 阿卡尔（Umut A.Acar）。 三 雷尼，迈克 2 阿玛·盖诺 1 布莱恩·艾德米尔。 1 马丁·博丹 1 丹尼尔·菲拉雷蒂 1 菲利普·安·加德纳 1 雅克·亨利·乔尔丹 1 塞尔吉奥·马菲斯 1 Daiva Naudziuniene公司 1 本杰明·皮尔斯。 1 兰迪·波拉克 1 阿兰·施密特 1 菲利普·西奇科夫斯基 1 加雷思·戴维·史密斯 1 斯蒂芬妮·威里奇 系列 2 自动推理杂志 1 函数编程杂志 领域 16 计算机科学（68至XX） 5 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用148中的次108文件 引用人▼ 年份▼ 工程形式元理论。 Zbl 1295.68052号 布莱恩·艾德米尔；亚瑟·查古埃罗；本杰明·皮尔斯。；兰迪·波拉克；斯蒂芬妮·威里奇 40 2008 本地无名表示。 Zbl 1260.68368号 亚瑟·查古埃罗 26 2012 命令式程序验证的特征公式。 Zbl 1323.68366号 亚瑟·查古埃罗 22 2011 通过特征公式进行程序验证。 Zbl 1323.68202号 亚瑟·查古埃罗 13 2010 对高效union-find实现的正确性和已摊销复杂性进行机器检查验证。 Zbl 1465.68172号 亚瑟·查古埃罗；弗朗索瓦·波蒂埃 11 2015 使用时间信用验证分离逻辑中union-find实现的正确性和已摊销的复杂性。 Zbl 1468.68120号 亚瑟·查古埃罗；弗朗索瓦·波蒂埃 10 2019 大量资金：通过演绎程序验证形式化渐进复杂性声明。 兹比尔1418.68055 阿玛·盖诺；亚瑟·查古埃罗；弗朗索瓦·波蒂埃 9 2018 相当大的步骤语义。 Zbl 1381.68138号 亚瑟·查古埃罗 4 2013 增量循环检测算法的形式化证明和分析。 Zbl 07649967号 阿玛·盖诺；雅克·亨利·乔尔丹；亚瑟·查古埃罗；弗朗索瓦·波蒂埃 4 2019 分离逻辑的临时只读权限。 Zbl 1485.68056号 亚瑟·查古埃罗；弗朗索瓦·波蒂埃 三 2017 可信的机械化JavaSript规范。 Zbl 1284.68381号 马丁·博丹；亚瑟·查格罗；丹尼尔·菲拉雷蒂；菲利普·加德纳；塞尔吉奥·马菲斯；Daiva Naudziuniene公司；阿兰·施密特；加雷思·史密斯 三 2014 最优不动点组合器。 Zbl 1291.68332号 亚瑟·查古埃罗 2 2010 功能演算的功能翻译。 Zbl 1323.68099号 亚瑟·查古埃罗；弗朗索瓦·波蒂埃 1 2008 使用时间信用验证分离逻辑中union-find实现的正确性和已摊销的复杂性。 Zbl 1468.68120号 亚瑟·查古埃罗；弗朗索瓦·波蒂埃 10 2019 增量循环检测算法的形式化证明和分析。 Zbl 07649967号 阿玛·盖诺；雅克·亨利·乔尔丹；亚瑟·查古埃罗；弗朗索瓦·波蒂埃 4 2019 大量资金：通过演绎程序验证形式化渐进复杂性声明。 兹比尔1418.68055 阿玛·盖诺；亚瑟·查古埃罗；弗朗索瓦·波蒂埃 9 2018 分离逻辑的临时只读权限。 Zbl 1485.68056号 亚瑟·查古埃罗；弗朗索瓦·波蒂埃 三 2017 对高效union-find实现的正确性和已摊销复杂性进行机器检查验证。 Zbl 1465.68172号 亚瑟·查古埃罗；弗朗索瓦·波蒂埃 11 2015 可信的机械化JavaSript规范。 Zbl 1284.68381号 马丁·博丹；亚瑟·查格罗；丹尼尔·菲拉雷蒂；菲利普·加德纳；塞尔吉奥·马菲斯；Daiva Naudziuniene公司；阿兰·施密特；加雷思·史密斯 三 2014 相当大的步骤语义。 Zbl 1381.68138号 亚瑟·查古埃罗 4 2013 本地无名表示。 Zbl 1260.68368号 亚瑟·查古埃罗 26 2012 命令式程序验证的特征公式。 Zbl 1323.68366号 亚瑟·查古埃罗 22 2011 通过特征公式进行程序验证。 Zbl 1323.68202号 亚瑟·查古埃罗 13 2010 最优不动点组合器。 兹比尔1291.68332 亚瑟·查古埃罗 2 2010 工程形式元理论。 Zbl 1295.68052号 布莱恩·艾德米尔；亚瑟·查古埃罗；本杰明·皮尔斯。；兰迪·波拉克；斯蒂芬妮·威里奇 40 2008 功能演算的功能翻译。 Zbl 1323.68099号 亚瑟·查古埃罗；弗朗索瓦·波蒂埃 1 2008 所有引用出版物 前5名被引用出版物 全部的 前5名210位作者引用 7 彼得·兰米奇 5 亚瑟·查古埃罗 5 托比亚斯·尼普科 5 弗朗索瓦·波蒂埃 5 城市，基督教 4 埃内斯托·科佩罗 4 诺拉·萨兹 4 阿尔瓦罗·塔西斯特罗 三 米勒，戴尔·艾伦 三 兰迪·波拉克 三 威尔默·里奇奥蒂 三 克里斯汀·里兹卡拉 三 佐藤真彦 2 纪尧姆·阿拉伊斯 2 安德烈亚·阿斯佩蒂 2 罗伯特·艾奇 2 巴赫·鲍尔森，卡斯珀 2 安德烈·鲍尔 2 杰斯珀·本特森 2 科恩，西里尔 2 安德鲁·加塞克 2 洛伦佐·盖里 2 阿玛·盖诺 2 马克西米利安·哈斯贝克。 2 雅克·亨利·乔尔丹 2 库尔特·梅尔霍恩 2 阿尔贝托·莫米利亚诺 2 彼得·莫塞斯（Peter D.Mosses）。 2 玛格努斯·奥·米林。 2 戈帕兰·纳达图尔 2 若阿希姆·帕罗 2 碧姬·品特卡 2 阿兰·施密特 2 Sefidgar，S.礼萨 2 斯蒂芬妮·威里奇 1 穆罕默德·阿卜杜勒·阿齐兹 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 贝尼亚米·阿卡托利 1 雷纳尔德·阿弗尔德 1 艾亚德·阿尔卡萨 1 Joao Alpuim 1 奥曼，波霍拉·约翰内斯 1 西德尼·阿曼尼 1 纪尧姆·安巴尔 1 毛里西奥·阿亚拉·林科恩 1 蒂鲍特·巴拉邦斯基 1 巴博萨，A.V。 1 布鲁诺·巴拉斯 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 马丁·伯杰（Martin J.Berger）。 1 斯特凡·伯格霍费尔 1 布洛特，亚瑟 1 Böhme，萨沙 1 维维亚娜·博诺 1 波夫，安娜 1 托马斯·布雷班特 1 约阿希姆·布雷特纳 1 布林科普，豪克 1 米歇尔·布格列西 1 斯特凡诺·卡尔扎瓦拉 1 Chang，Bor-Yuh Evan先生 1 詹姆斯·查普曼（James T.E.Chapman）。 1 纳撒尼尔·查尔顿 1 陈，冉 1 陈子林 1 詹姆斯·切尼 1 Alekse ChentsovĭAleksandrovich 1 阿尔贝托·齐法格利翁 1 Joshua M.科恩。 1 安德烈亚·科斯蒂亚 1 约翰·Cyphert 1 皮埃尔·埃瓦里斯特·达甘 1 弗朗西斯科·达尼诺 1 诺曼·丹纳 1 洛丽斯·达安东尼 1 卡瓦尔坎蒂·德·莫拉（Cavalcanti de Moura）、弗拉维奥·莱昂纳多（Flávio Leonardo） 1 马里亚纽拉州Dezani-Ciancaglini 1 凯瑟琳·杜布瓦 1 吉登·恩斯特 1 丹尼尔·费尔蒂 1 艾米·费尔蒂（Amy P.Felty）。 1 玛丽贝尔·费尔南德斯 1 伯克·费舍尔 1 Jean-Christophe Filliátre 1 罗伯特·布鲁斯，芬德勒 1 里卡多·福卡尔迪 1 扬尼克·福斯特 1 杰弗里·福斯特。 1 马可·加博阿迪 1 加西亚·佩雷斯，阿尔瓦罗 1 菲利普·安·加德纳 1 迪帕克·加尔格 1 后藤，马修 1 沃尔特·古特曼 1 尤里安·黑格 1 Aliya Hameer 1 菲利普·哈塞尔瓦特（Philipp G.Haselwarter）。 1 卢多维奇·亨利奥 1 伊达尔戈·赫雷罗（Hidalgo-Herrero），梅赛德斯 1 Yoichi Hirai …还有110多名作者 全部的 前5名14篇连载文章中引用 23 自动推理杂志 10 函数编程杂志 6 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 三 程序设计中的逻辑和代数方法杂志 2 计算机科学中的逻辑方法 1 人工智能 1 计算机程序设计科学 1 符号计算杂志 1 Indagationes Mathematicae公司。新系列 1 系统设计中的形式化方法 1 逻辑程序设计理论与实践 1 泛逻辑 1 形式化推理杂志 在5个字段中引用 104 计算机科学（68至XX） 39 数学逻辑和基础（03-XX） 2 组合数学（05-XX） 2 运筹学、数学规划（90-XX） 1 实际功能（26年X月X日） 按年份列出的引文