编辑配置文件(在新选项卡中打开) 安德鲁·肯尼迪。 合著者距离 作者ID: 肯尼迪·安德鲁-j 发布日期: 安德鲁·肯尼迪;安德鲁·肯尼迪。 主页: https://www.linkedin.com/in/andrew-kennedy-3324287/ 外部链接: MGP公司 已编制索引的文档: 19出版物自1996年起 合著者: 14合著者具有14联合出版物 237位合作作者 全部的 前5名合著者 4 单作者的 10 尼克·本顿 2 马丁·霍夫曼 2 克劳迪奥·拉索五世。 2 Vytiniotis,迪米特里奥斯 1 罗伯特·艾奇 1 伦纳特·贝林格 1 中基尔胡尔 1 Jonas Braband Jensen 1 帕特里夏·约翰 1 萨姆·林德利 1 康诺·托马斯·麦克布莱德 1 Vivek Nigam先生 1 乔治·罗素。 1 西蒙,唐 1 卡斯滕·瓦明 1 于大川 系列 4 函数编程杂志 2 理论计算机科学 1 自动推理杂志 字段 19 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 1 阶、格、有序代数结构(06-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 13出版物有被引用60中的次56文件 引用人▼ 年份▼ Coq中的一些领域理论和指称语义。 Zbl 1252.68248号 尼克·本顿;安德鲁·肯尼迪;卡斯滕·瓦明 9 2009 继续编译,继续。 Zbl 1291.68124号 安德鲁·肯尼迪 9 2007 阅读、写作和关系。面向效果分析的扩展语义。 Zbl 1168.68356号 尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格 7 2006 Coq中的强类型术语表示。 Zbl 1269.68041号 尼克·本顿;中基尔胡尔;安德鲁·肯尼迪。;康纳·麦克布莱德 7 2012 单数、效果和变换。 Zbl 0958.68046号 尼克·本顿;安德鲁·肯尼迪 5 1999 异常语法。 Zbl 0994.68030号 尼克·本顿;安德鲁·肯尼迪 5 2001 将标准ML编译为Java字节码。 Zbl 1428.68096号 尼克·本顿;安德鲁·肯尼迪;乔治·罗素 5 1999 低级代码的高级分离逻辑。 Zbl 1301.68101号 乔纳斯·B·延森。;尼克·本顿;安德鲁·肯尼迪 5 2013 Pickler组合器。 Zbl 1063.68035号 安德鲁·肯尼迪。 4 2004 代数索引类型的抽象和不变性。 Zbl 1301.68183号 罗伯特·艾奇;帕特里夏·约翰;安德鲁·肯尼迪 2 2013 无泪中介语工作:SML与Java的融合。 兹比尔1344.68047 尼克·本顿;安德鲁·肯尼迪 1 1999 功能珍珠:一点一滴都很重要。 Zbl 1323.68172号 Vytiniotis,迪米特里奥斯;安德鲁·肯尼迪。 1 2010 的泛型形式化。NET公共语言运行库。 兹比尔1325.68053 于大川;安德鲁·肯尼迪;唐·赛姆 1 2004 低级代码的高级分离逻辑。 Zbl 1301.68101号 乔纳斯·B·延森。;尼克·本顿;安德鲁·肯尼迪 5 2013 代数索引类型的抽象和不变性。 Zbl 1301.68183号 罗伯特·艾奇;帕特里夏·约翰;安德鲁·肯尼迪 2 2013 Coq中的强类型术语表示。 Zbl 1269.68041号 尼克·本顿;中基尔胡尔;安德鲁·肯尼迪。;康纳·麦克布莱德 7 2012 功能珍珠:一点一滴都很重要。 Zbl 1323.68172号 Vytiniotis,迪米特里奥斯;安德鲁·肯尼迪。 1 2010 Coq中的一些领域理论和指称语义。 Zbl 1252.68248号 尼克·本顿;安德鲁·肯尼迪;卡斯滕·瓦明 9 2009 编译(续)。 Zbl 1291.68124号 安德鲁·肯尼迪 9 2007 阅读、写作和关系。面向效果分析的扩展语义。 Zbl 1168.68356号 尼克·本顿;安德鲁·肯尼迪;马丁·霍夫曼;伦纳特·贝林格 7 2006 Pickler组合器。 Zbl 1063.68035号 安德鲁·肯尼迪。 4 2004 的泛型形式化。NET公共语言运行库。 Zbl 1325.68053号 于大川;安德鲁·肯尼迪;唐·赛姆 1 2004 异常语法。 Zbl 0994.68030号 尼克·本顿;安德鲁·肯尼迪 5 2001 单数、效果和变换。 Zbl 0958.68046号 尼克·本顿;安德鲁·肯尼迪 5 1999 将标准ML编译为Java字节码。 Zbl 1428.68096号 尼克·本顿;安德鲁·肯尼迪;乔治·罗素 5 1999 无泪中介语工作:SML与Java的融合。 Zbl 1344.68047号 尼克·本顿;安德鲁·肯尼迪 1 1999 所有引用出版物 排名前五的出版物 全部的 前5名111位作者引用 4 罗伯特·艾奇 4 碧姬·品特卡 三 尼克·本顿 三 安德鲁·肯尼迪。 三 保罗·布莱恩·利维 三 萨姆·林德利 三 康诺·托马斯·麦克布莱德 2 纪尧姆·阿拉伊斯 2 拉尔斯·比克达尔 2 德根,马库斯 2 乌戈·德利古罗 2 丹尼尔·希勒斯特罗姆 2 马丁·霍夫曼 2 奥哈德·卡玛 2 松崎隆彦 2 阿尔贝托·莫米利亚诺 2 Vivek Nigam先生 2 马尔科·帕维奥蒂 2 弗洛里安·拉贝 2 彼得·蒂曼。 2 里卡多·特雷格里亚 2 斯特凡·韦尔 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 贝尼亚米·阿卡托利 1 迈克尔·D·亚当斯。 1 丹尼尔·艾哈曼 1 阿马尔·艾哈迈德 1 托尔斯滕·阿滕柯奇 1 阿奈、平子 1 Noriko H.Arai。 1 安德烈·鲍尔 1 杰斯珀·本特森 1 佩特尔·贝雷茨基 1 布兰奇,桑德琳 1 威廉·鲍曼。 1 Brachthäuser,乔纳森·伊曼纽尔 1 安德鲁·凯夫 1 詹姆斯·查普曼(James T.E.Chapman)。 1 亚瑟·查古埃罗 1 克拉克、戴夫 1 泽维尔·克莱尔 1 丹尼尔森、尼尔斯·安德斯 1 奥尔内拉·达达 1 扎伊娜·达盖伊 1 汤姆·J·德容。 1 费雷拉,Francisco H.G。 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 西蒙·福勒 1 Anthony C.J.福克斯。 1 富士达,富城府 1 藤崎隆彦 1 杰伦、布拉姆 1 托马斯·吉尔雷 1 谢尔盖·冈查洛夫 1 菲利普·哈勒 1 Aliya Hameer 1 霍罗扎尔,富尔亚 1 达尼尔·霍帕西 1 布赖恩·霍夫曼 1 中基尔胡尔 1 伊瓦内、希德诺 1 吉勒姆·贾伯 1 Munehiro小林 1 直纪小林 1 Kokke,温 1 Paulette Koronkevich 1 瓦西里欧斯·库塔瓦斯 1 尼古拉·克劳斯 1 朱玛·库多 1 文森特·拉波特 1 马蒂厄·莱梅尔 1 泽维尔·勒罗伊 1 Hidehiko Masuhara 1 松田和川 1 麦克德莫特,迪伦 1 詹姆斯·麦金纳 1 可能吧,马修 1 希瑟·米勒 1 莫格尔贝里,拉斯穆斯·埃杰勒斯 1 J.Garrett莫里斯 1 格雷格·莫里塞特 1 穆勒,诺曼 1 奥利维尔·妮可 1 诺里斯,迈克尔 1 克劳斯·奥斯特曼 1 卢卡·保里尼 1 马可·帕特里格纳尼 1 毛罗·皮科洛 1 大卫·皮哈迪 1 弗朗索瓦·波蒂埃 1 普雷特纳,马蒂亚 1 拉蒙·拉科夫 1 克里斯托夫·劳赫 1 美国雷迪。 1 对手,泽维尔 1 卢卡·罗维斯 1 史蒂文·施费尔 1 卢茨·施罗德 1 菲利普·舒斯特 1 Ayumi Shinohara …还有11位作者 全部的 前5名12篇连载文章中引用 9 函数编程杂志 6 MSCS公司。计算机科学中的数学结构 4 理论计算机科学 4 自动推理杂志 三 高阶和符号计算 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 新一代计算 1 信息与计算 1 AI通信 1 逻辑与代数程序设计杂志 1 计算机语言、系统和结构 在5个字段中引用 55 计算机科学(68-XX) 16 数学逻辑和基础(03-XX) 9 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文