编辑配置文件(在新选项卡中打开) 阿奎那·霍伯 合著者距离 作者ID: 流浪汉 发布日期: 阿奎那·霍伯 外部链接: MGP公司 已编制索引的文档: 12出版物自2008年以来,包括1本书 合著者: 12位合著者具有9联合出版物 165位合作作者 全部的 前5名合著者 0 单作者的 4 安德鲁·W·阿佩尔。 4 罗伯特·多金斯 2 克里斯蒂安·吉尔吉纳 2 朱尔斯·维拉德 1 伦纳特·贝林格 1 布兰奇,桑德琳 1 魏恩根·钦 1 戴安娜·科斯塔 1 安德烈亚·科斯蒂亚 1 约西亚·多兹 1 菲利普·安·加德纳 1 刘伟祥 1 泽维尔·勒罗伊 1 安舒曼·莫汉 1 杜鹃花拉德 1 阿桑卡亚·夏尔马 1 戈登·斯图尔特 1 王胜毅 1 弗朗西斯科·扎帕·纳德利 系列 1 计算机科学中的逻辑方法 领域 12 计算机科学(68至XX) 8 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用72中的次49文件 引用人▼ 年份▼ 认证编译器的程序逻辑。 Zbl 1298.68009号 安德鲁·W·阿佩尔。;罗伯特·多金斯;阿奎那·霍伯;伦纳特·贝林格;约西亚·多兹;戈登·斯图尔特;布兰奇,桑德琳;泽维尔·勒罗伊 26 2014 并发分离逻辑的Oracle语义。 Zbl 1133.68371号 阿奎那·霍伯;安德鲁·W·阿佩尔。;弗朗西斯科·扎帕·纳德利 19 2008 通过近似间接的理论。 Zbl 1312.68060号 阿奎那·霍伯;罗伯特·多金斯;安德鲁·W·阿佩尔。 9 2010 数据结构中共享的后果。 Zbl 1301.68180号 阿奎那·霍伯;朱尔斯·维拉德 8 2013 验证并发图算法。 Zbl 1483.68203号 杜鹃花拉德;阿奎那·霍伯;朱尔斯·维拉德;菲利普·加德纳 6 2016 用于操作语义推理的多模分离逻辑。 Zbl 1286.68395号 罗伯特·多金斯;安德鲁·W·阿佩尔。;阿奎那·霍伯 2 2008 并发分离逻辑中的障碍。 Zbl 1326.68096号 阿奎那·霍伯;克里斯蒂安·吉尔吉纳 2 2011 在并发分离逻辑中对权限区域进行推理。 Zbl 1478.68051号 詹姆斯·布罗瑟斯顿;戴安娜·科斯塔;阿奎那·霍伯;约翰·威克森 1 2020 在并发分离逻辑中对权限区域进行推理。 Zbl 1478.68051号 詹姆斯·布罗瑟斯顿;戴安娜·科斯塔;阿奎那·霍伯;约翰·威克森 1 2020 验证并发图算法。 Zbl 1483.68203号 杜鹃花拉德;阿奎那·霍伯;朱尔斯·维拉德;菲利普·加德纳 6 2016 认证编译器的程序逻辑。 Zbl 1298.68009号 安德鲁·W·阿佩尔。;罗伯特·多金斯;阿奎那·霍伯;伦纳特·贝林格;约西亚·多兹;戈登·斯图尔特;布兰奇,桑德琳;泽维尔·勒罗伊 26 2014 数据结构中共享的后果。 Zbl 1301.68180号 阿奎那·霍伯;朱尔斯·维拉德 8 2013 并发分离逻辑中的障碍。 Zbl 1326.68096号 阿奎那·霍伯;克里斯蒂安·吉尔吉纳 2 2011 通过近似间接的理论。 Zbl 1312.68060号 阿奎那·霍伯;罗伯特·多金斯;安德鲁·W·阿佩尔。 9 2010 并发分离逻辑的Oracle语义。 Zbl 1133.68371号 阿奎那·霍伯;安德鲁·W·阿佩尔。;弗朗西斯科·扎帕·纳德利 19 2008 用于操作语义推理的多模分离逻辑。 Zbl 1286.68395号 罗伯特·多金斯;安德鲁·W·阿佩尔。;阿奎那·霍伯 2 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名102位作者引用 8 安德鲁·W·阿佩尔。 6 拉尔斯·比克达尔 4 阿奎那·霍伯 4 罗伯特·克雷伯斯 三 杰斯珀·本特森 三 伦纳特·贝林格 三 阿列舍·比兹亚克 三 玛丽克·赫斯曼 2 吉尔·巴特 2 曹勤祥 2 罗伯特·多金斯 2 德里克·德雷尔(Derek R.Dreyer)。 2 雅克·亨利·乔尔丹 2 拉尔夫·荣格 2 泽维尔·勒罗伊 2 Wytse Oortwijn公司 2 詹斯·佩格尔 2 大卫·皮哈迪 2 纳迪亚·波里卡波娃 2 弗朗索瓦·波蒂埃 2 伊利亚·谢尔盖 2 弗洛里安·祖勒格 1 阿夫申·阿米吉 1 何塞·巴塞拉尔·阿尔梅达 1 安妮迪亚·班纳吉 1 卡勒姆·班尼斯特 1 鲍玉燕 1 曼纽尔·巴博萨 1 弗雷德里克·贝松 1 古斯塔沃·贝塔特 1 布兰奇,桑德琳 1 斯特凡·布隆 1 亚历山大·布伊斯 1 胡安·迭戈·坎波 1 亚瑟·夏盖罗 1 陈,冉 1 西里尔·科恩 1 Joshua M.科恩。 1 安德烈亚科斯蒂亚 1 圣地亚哥库埃拉 1 福雷德里克·达布罗夫斯基 1 Dang,Han-Hing(韩红) 1 赛义德·达拉比 1 约西亚·多兹 1 董,袁 1 吉登·恩斯特 1 冯新余 1 菲利普·安·加德纳 1 克里斯蒂安·吉尔吉纳 1 拉杰夫·普拉巴卡尔·戈尔 1 林赛·格罗夫斯。 1 塞缪尔·格吕特 1 Guo,余 1 彼得·霍夫纳 1 霍诺雷,沃尔夫 1 侯哲 1 沙迦·伊扎基 1 Joosten,Sebastian J.C。 1 乔纳斯·卡斯伯格·辛里奇森 1 悉达哈·克里希纳 1 彼得·兰米奇 1 文森特·拉波特 1 Gary T.Leavens。 1 刘伟祥 1 珍妮·雅克·利维 1 卡洛斯·卢纳 1 格雷戈里·马莱查 1 亚历山大·马尔基斯 1 威廉·曼斯基 1 克里斯托夫·马提亚 1 安舒曼·莫汉 1 伯恩哈德·莫勒 1 沃伊西奇·莫斯托夫斯基。 1 戴维·诺曼(David A.Naumann)。 1 马尔科·帕维奥蒂 1 大卫·J·皮尔斯。 1 希拉·佩勒 1 杜鹃花拉德 1 罗伊斯,伯恩哈德 1 鲁本·罗伊,N.S。 1 莫森野生动物园 1 亚历杭德罗·桑切斯。 1 塞萨尔·桑切斯 1 施温哈默,Jan 1 邵,钟 1 菲利普·西奇科夫斯基 1 克里斯蒂安·斯特夫林 1 乔治·斯特鲁斯 1 亚历山大·萨默斯。 1 卡斯珀·斯文森 1 Laurent Théry 1 阿文·费尔南托 1 马克·乌廷 1 维克托·瓦菲阿迪斯 1 范德波尔,扬·科内利斯 1 朱尔斯·维拉德 1 王钦石 1 托马斯·维斯 1 皮埃尔·威尔克 1 杨红seok …还有另外两位作者 全部的 前5名9连载 9 自动推理杂志 三 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 函数编程杂志 1 数学与人工智能年鉴 1 ACM计算逻辑汇刊 1 计算机科学中的逻辑方法 在3个字段中引用 46 计算机科学(68至XX) 28 数理逻辑与基础(03-XX) 2 信息与通信理论、电路(94-XX) 按年份列出的引文