编辑配置文件（在新选项卡中打开） 罗伯特·艾奇 合著者距离 作者ID： atkey.robert公司 发布日期： 罗伯特·艾奇 外部链接： MGP公司·逆戟鲸 已编制索引的文档： 26出版物自2004年起 2作为编辑的贡献 合著者： 19位合著者具有15联合出版物 305位联合作者 全部的 前5名合著者 12 单作者的 6 尼尔·加尼 6 帕特里夏·约翰 4 萨姆·林德利 2 丹尼尔·希勒斯特罗姆 2 康诺·托马斯·麦克布莱德 2 弗雷德里克·诺德瓦尔·福斯伯格 1 纪尧姆·阿拉伊斯 1 詹姆斯·查普曼（James T.E.Chapman）。 1 布鲁诺加夫拉诺维奇 1 巴特·雅各布斯 1 安德鲁·肯尼迪。 1 尼拉坎坦·R·克里希纳斯瓦米。 1 克莱门斯·库普克 1 杰雷米·莱登特 1 詹姆斯·麦金纳 1 J.Garrett莫里斯 1 蒂莫西，狂欢吧 1 Sivaramakrishnan，K.C。 1 萨姆·斯塔顿 系列 4 函数编程杂志 2 理论计算机科学电子论文集（EPTCS） 1 计算机科学中的逻辑方法 全部的 前5名领域 25 计算机科学（68至XX） 11 数理逻辑与基础（03-XX） 5 范畴理论；同调代数（18-XX） 2 总体主题；集合（00-XX） 1 粒子和系统力学（70-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用156中的次138文件 引用人▼ 年份▼ 使用保护递归进行高效的联合编程。 Zbl 1323.68092号 罗伯特·艾奇；康纳·麦克布莱德 25 2013 参数化的计算概念。 Zbl 1191.68156号 罗伯特·艾奇 16 2009 数量类型理论的句法和语义。 Zbl 1452.03029号 罗伯特·艾奇 15 2018 使用分离逻辑进行摊销资源分析。 Zbl 1260.68083号 罗伯特·艾奇 14 2010 依赖型理论的相关参数模型。 Zbl 1284.68163号 罗伯特·艾奇；尼尔·加尼；帕特里夏·约翰 14 2014 具有绑定的语法的类型和范围安全的宇宙：它们的语义和证明。 兹比尔1522.68118 纪尧姆·阿拉伊斯；罗伯特·艾奇；詹姆斯·查普曼；康纳·麦克布莱德；詹姆斯·麦金纳 13 2021 混乱带来并发性。 Zbl 1343.68159号 罗伯特·艾奇；萨姆·林德利；J.Garrett莫里斯 7 2016 纤维诱导符合效果。 Zbl 1352.68169号 罗伯特·艾奇；尼尔·加尼；巴特·雅各布斯；帕特里夏·约翰 7 2012 箭头的分类模型是什么？ Zbl 1291.68107号 罗伯特·艾奇 7 2011 通过通用延续的效果处理程序。 兹比尔1442.68028 丹尼尔·希勒斯特罗姆；萨姆·林德利；罗伯特·艾奇 7 2020 效果处理程序的连续传递样式。 Zbl 1441.68017号 丹尼尔·希勒斯特罗姆；萨姆·林德利；罗伯特·艾奇；Sivaramakrishnan，K.C。 6 2017 较高种类的关系参数性。 Zbl 1252.68059号 罗伯特·艾奇 4 2012 参数化单子代数。 Zbl 1239.18006号 罗伯特·艾奇 4 2009 观察经典过程的通信语义。 Zbl 1485.68156号 罗伯特·艾奇 三 2017 免费语法：使用参数表示带有绑定的语法。 Zbl 1246.68084号 罗伯特·艾奇 2 2009 交错的数据和效果。 Zbl 1419.68036号 罗伯特·艾奇；帕特里夏·约翰 2 2015 CoqJVM：使用依赖类型的Java虚拟机的可执行规范。 Zbl 1138.68344号 罗伯特·艾奇 2 2008 代数索引类型的抽象和不变性。 Zbl 1301.68183号 罗伯特·艾奇；帕特里夏·约翰；安德鲁·肯尼迪 2 2013 精炼归纳类型。 Zbl 1241.68045号 罗伯特·艾奇；帕特里夏·约翰；尼尔·加尼 2 2012 什么时候类型细化是归纳类型？ Zbl 1326.68066号 罗伯特·艾奇；帕特里夏·约翰；尼尔·加尼 1 2011 使用语义动作进行分析的语义。 Zbl 1361.68111号 罗伯特·艾奇 1 2012 用于资源分离的\（\lambda\）-演算。 Zbl 1098.68023号 罗伯特·艾奇 1 2004 成分博弈论，成分。 Zbl 1480.91052号 罗伯特·艾奇；布鲁诺加夫拉诺维奇；尼尔·加尼；克莱门斯·库普克；杰雷米·莱登特；弗雷德里克·诺德瓦尔·福斯伯格 1 2021 具有绑定的语法的类型和范围安全的宇宙：它们的语义和证明。 兹比尔1522.68118 纪尧姆·阿拉伊斯；罗伯特·艾奇；詹姆斯·查普曼；康纳·麦克布莱德；詹姆斯·麦金纳 13 2021 成分博弈论，成分。 Zbl 1480.91052号 罗伯特·艾奇；布鲁诺加夫拉诺维奇；尼尔·加尼；克莱门斯·库普克；杰雷米·莱登特；弗雷德里克·诺德瓦尔·福斯伯格 1 2021 通过通用延续的效果处理程序。 Zbl 1442.68028号 丹尼尔·希勒斯特罗姆；萨姆·林德利；罗伯特·艾奇 7 2020 数量类型理论的句法和语义。 Zbl 1452.03029号 罗伯特·艾奇 15 2018 效果处理程序的连续传递样式。 Zbl 1441.68017号 丹尼尔·希勒斯特罗姆；萨姆·林德利；罗伯特·艾奇；Sivaramakrishnan，K.C。 6 2017 观察到经典过程的通信语义。 Zbl 1485.68156号 罗伯特·艾奇 三 2017 混乱带来并发性。 兹比尔1343.68159 罗伯特·艾奇；萨姆·林德利；J.Garrett莫里斯 7 2016 交错的数据和效果。 Zbl 1419.68036号 罗伯特·艾奇；帕特里夏·约翰 2 2015 依赖型理论的一个相对参数模型。 Zbl 1284.68163号 罗伯特·艾奇；尼尔·加尼；帕特里夏·约翰 14 2014 使用保护递归进行高效的联合编程。 Zbl 1323.68092号 罗伯特·艾奇；康纳·麦克布莱德 25 2013 代数索引类型的抽象和不变性。 Zbl 1301.68183号 罗伯特·艾奇；帕特里夏·约翰；安德鲁·肯尼迪 2 2013 纤维诱导符合效果。 Zbl 1352.68169号 罗伯特·艾奇；尼尔·加尼；巴特·雅各布斯；帕特里夏·约翰 7 2012 更高类型的关系参数。 Zbl 1252.68059号 罗伯特·艾奇 4 2012 精炼归纳类型。 Zbl 1241.68045号 罗伯特·艾奇；帕特里夏·约翰；尼尔·加尼 2 2012 使用语义动作进行分析的语义。 Zbl 1361.68111号 罗伯特·艾奇 1 2012 什么是箭头的分类模型？ Zbl 1291.68107号 罗伯特·艾奇 7 2011 什么时候类型细化是归纳类型？ Zbl 1326.68066号 罗伯特·艾奇；帕特里夏·约翰；尼尔·加尼 1 2011 使用分离逻辑进行摊销资源分析。 Zbl 1260.68083号 罗伯特·艾奇 14 2010 参数化的计算概念。 Zbl 1191.68156号 罗伯特·艾奇 16 2009 参数化单子代数。 Zbl 1239.18006号 罗伯特·艾奇 4 2009 免费语法：使用参数表示带有绑定的语法。 Zbl 1246.68084号 罗伯特·艾奇 2 2009 CoqJVM：使用依赖类型的Java虚拟机的可执行规范。 Zbl 1138.68344号 罗伯特·艾奇 2 2008 用于资源分离的\（\lambda\）-演算。 Zbl 1098.68023号 罗伯特·艾奇 1 2004 所有引用的出版物 前5名被引用出版物 全部的 前5名238位作者引用 8 莫格尔贝里，拉斯穆斯·埃杰勒斯 7 罗伯特·艾奇 7 拉尔斯·比克达尔 6 阿列舍·比兹亚克 5 安布罗斯·卡波西 4 拉纳德·A·克鲁斯顿。 4 尼尔·加尼 4 马西耶·皮罗格 4 弗朗索瓦·波蒂埃 三 奥尔内拉·达达 三 哈雷III伊德斯 三 汉斯·布格·格雷斯沃尔 三 一郎·哈索 三 帕特里夏·约翰 三 科瓦奇，安德拉斯 三 萨姆·林德利 三 巴赛尔·曼纳 三 弗雷德里克·诺德瓦尔·福斯伯格 三 多米尼克·A·乌节。 三 溅出物，Bas 三 阿伦·斯塔姆 三 菲利普·李·沃德勒 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 丹尼尔·艾哈曼 2 纪尧姆·阿拉伊斯 2 浅井，肯尼奇 2 贾斯敏·克里斯蒂安·布兰切特 2 Brachthäuser，乔纳森·伊曼纽尔 2 亚瑟·查古埃罗 2 肯塔·乔 2 聪，又有 2 多米尼克·德夫里塞 2 马可·加博阿迪 2 布鲁诺加夫拉诺维奇 2 恩里科·吉奥尔齐 2 杰里米·吉本斯 2 丹尼尔·格拉泽 2 马克西米利安·哈斯贝克。 2 詹·菲利普·霍夫曼 2 毛罗·贾斯克利奥夫 2 Toshiki Kataoka 2 胜本，Shin-ya 2 瑞安·卡瓦纳 2 卡夫沃斯，G.A。 2 温·科克 2 克莱门斯·库普克 2 安布罗斯·拉丰 2 彼得·兰米奇 2 丹尼尔·李卡塔（Daniel R.Licata）。 2 塔德乌兹·利塔克 2 安德烈亚斯·洛赫比勒 2 松崎隆彦 2 康诺·托马斯·麦克布莱德 2 J.Garrett莫里斯 2 托比亚斯·尼普科 2 安德烈亚斯·努伊茨 2 克劳斯·奥斯特曼 2 马尔科·帕维奥蒂 2 佩雷斯（Jorge A.Pérez）。 2 埃克塞奎尔·里瓦斯 2 汤姆·施里杰弗斯 2 菲利普·舒斯特 2 保拉·加布里埃拉·塞维利 2 萨姆·斯塔顿 2 沃特·斯威斯特拉 2 尼科洛·维尔特里 2 斯蒂芬妮·威里奇 2 尼古拉斯·吴 1 托尔斯滕·阿滕柯奇 1 桑德拉·阿尔维斯 1 马克西姆·安布拉德 1 阿奈、平子 1 卡洛·安吉利 1 丹尼尔·安尼科夫 1 安德鲁·W·阿佩尔。 1 Noriko H.Arai。 1 川崎朝田 1 巴赫·鲍尔森，卡斯珀 1 斯蒂芬妮·巴尔泽 1 海宁·巴索尔德 1 杰斯珀·本特森 1 Jean-Philippe Bernardy 1 里卡多·比安奇尼 1 约翰·博格斯特罗姆 1 艾默里·布齐 1 布林科普，豪克 1 卢卡斯·布尔瓦恩 1 路易斯·凯雷斯 1 曹勤祥 1 马泰奥·卡普奇 1 埃文·卡瓦洛 1 乔里斯·休列曼斯 1 Chang，Bor-Yuh Evan先生 1 詹姆斯·查普曼（James T.E.Chapman）。 1 魏恩根·钦 1 普里塔姆·乔杜里 1 杰斯珀·考克斯 1 卢卡斯修道院 1 可口、蒂埃里 1 西蒙·克鲁恩斯 …还有138位作者 全部的 前5名15连载 18 函数编程杂志 18 计算机科学中的逻辑方法 9 MSCS公司。计算机科学中的数学结构 6 自动推理杂志 三 理论计算机科学 三 信息与计算 2 程序设计中的逻辑和代数方法杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 人工智能通信 1 Indagationes Mathematicae公司。新系列 1 逻辑、语言与信息杂志 1 范畴的理论与应用 1 高阶和符号计算 全部的 前5名在8个字段中引用 118 计算机科学（68至XX） 67 数理逻辑与基础（03-XX） 28 范畴理论；同调代数（18-XX） 三 代数拓扑（55-XX） 1 总体主题；集合（00-XX） 1 量子理论（81-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文