编辑配置文件(在新选项卡中打开) 安德烈亚斯·罗斯伯格 合著者距离 作者ID: 罗斯伯格·安德里亚斯 发布日期: 安德烈亚斯·罗斯伯格 外部链接: MGP公司 已编制索引的文档: 10出版物自2008年起 合著者: 4位合著者具有6联合出版物 119合著作者 合著者 4 单作者的 6 德里克·德雷尔(Derek R.Dreyer)。 三 乔治·奈斯 1 阿马尔·艾哈迈德 1 拉尔斯·比克达尔 系列 三 函数编程杂志 领域 10 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用57中的次42文件 引用人▼ 年份▼ 依赖于州的表示独立性。 Zbl 1315.68080号 阿马尔·艾哈迈德;德雷克·德雷尔;安德烈亚斯·罗斯伯格 28 2009 高阶有状态ADT的关系模式逻辑。 Zbl 1312.68142号 德雷克·德雷尔;乔治·奈斯;安德烈亚斯·罗斯伯格;拉尔斯·比克达尔 10 2010 F-ing模块。 Zbl 1322.68048号 安德烈亚斯·罗斯伯格;克劳迪奥·拉索;德雷克·德雷尔 7 2014 混合ML模块系统。 兹比尔1323.68069 德雷尔,德里克;安德烈亚斯·罗斯伯格 4 2008 1ML–核心和模块统一(F-ing一流模块)。 Zbl 1360.68338号 安德烈亚斯·罗斯伯格 三 2015 非参数参数。 Zbl 1302.68092号 乔治·奈斯;德雷克·德雷尔;安德烈亚斯·罗斯伯格 2 2009 非参数参数。 Zbl 1262.68026号 乔治·奈斯;德雷克·德雷尔;安德烈亚斯·罗斯伯格 2 2011 1ML带特效。F-ing生成性多态性。 Zbl 1343.68042号 安德烈亚斯·罗斯伯格 1 2016 1ML带特效。F-ing生成性多态性。 Zbl 1343.68042号 安德烈亚斯·罗斯伯格 1 2016 1ML–核心和模块统一(F-ing一流模块)。 Zbl 1360.68338号 安德烈亚斯·罗斯伯格 三 2015 F-ing模块。 Zbl 1322.68048号 安德烈亚斯·罗斯伯格;克劳迪奥·拉索;德雷克·德雷尔 7 2014 非参数参数。 Zbl 1262.68026号 乔治·奈斯;德雷克·德雷尔;安德烈亚斯·罗斯伯格 2 2011 高阶有状态ADT的关系模式逻辑。 兹比尔1312.68142 德雷尔,德里克;乔治·奈斯;安德烈亚斯·罗斯伯格;拉尔斯·比克达尔 10 2010 依赖于州的表示独立性。 Zbl 1315.68080号 阿马尔·艾哈迈德;德雷克·德雷尔;安德烈亚斯·罗斯伯格 28 2009 非参数参数。 Zbl 1302.68092号 格奥尔格·奈斯;德雷克·德雷尔;安德烈亚斯·罗斯伯格 2 2009 混合ML模块系统。 Zbl 1323.68069号 德雷克·德雷尔;安德烈亚斯·罗斯伯格 4 2008 所有引用出版物 前5名被引用出版物 全部的 前5名78位作者引用 8 拉尔斯·比克达尔 5 安德烈·穆拉夫斯基。 4 克里斯蒂安·斯特夫林 4 雅各布·塔姆斯堡 三 尼尔·加尼 三 吉勒姆·贾伯 三 罗伯特·克雷伯斯 三 弗雷德里克·诺德瓦尔·福斯伯格 三 费德里科·奥尔萨尼戈 三 尼科斯·齐夫列科斯 2 阿列舍·比兹亚克 2 德里克·德雷尔(Derek R.Dreyer)。 2 雅克·亨利·乔尔丹 2 拉尔夫·荣格 2 安德烈亚斯·罗斯伯格 2 菲利普·西奇科夫斯基 2 埃希罗·苏米 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 纪尧姆·阿拉伊斯 1 纳达·阿明 1 阿米尔·穆罕默德(Amir-Mhammadian,Sepehr) 1 迈托·阿拉皮尼斯 1 达柳斯·比尔纳茨基 1 亚瑟·查古埃罗 1 瑟·特凡·乔巴赫 1 罗伯特·多金斯 1 索菲亚·克洛伊·德罗索波卢 1 苏珊·艾森巴赫 1 Mehran S·法拉。 1 弗鲁明,丹 1 马尔科·加博阿迪 1 迪帕克·加格 1 雅克·加里格 1 洛伦佐·盖里 1 塞缪尔·格吕特 1 Aliya Hameer 1 阿奎那·霍伯 1 帕特里夏·约翰 1 德克斯特·C·科赞。 1 拉森,瑟伦·B。 1 兰科·拉齐奇 1 Lee,Gyesik先生 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 刘佳 1 多雷尔·卢卡努 1 朱利安·麦凯 1 阿尔贝托·莫米利亚诺 1 中田庆子 1 戴维·诺曼(David A.Naumann)。 1 新,Max S。 1 约阿希姆·尼伦 1 詹姆斯·诺布尔。 1 马丁·奥德斯基 1 Park,琼云 1 松武公园 1 布丽姬·皮恩特卡 1 彼得·波列修克 1 瞿伟浩 1 美国雷迪。 1 蒂姆,狂欢 1 科林·里巴 1 艾克·里特 1 蒂亚克·隆普夫 1 格里高·罗什乌 1 弗拉德·鲁苏 1 莱恩,马克·德莫特 1 大卫·萨贝尔 1 奥古斯托·桑帕约。 1 史蒂文·施费尔 1 曼弗雷德·施密特·沙乌 1 施温哈默(Jan Schwinghammer) 1 Seo、Jeongbong 1 莱拉·席尔瓦 1 凯瑟琳·斯塔克 1 桑德罗·斯塔基 1 卡斯珀·斯文森 1 Vytiniotis,迪米特里奥斯 1 斯蒂芬妮·威里奇 全部的 前5名12篇连载文章中引用 5 函数编程杂志 4 理论计算机科学 三 自动推理杂志 2 计算机语言、系统和结构 2 计算机科学中的逻辑方法 1 信息与计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 42 计算机科学(68至XX) 16 数理逻辑与基础(03-XX) 4 范畴理论;同调代数(18-XX) 1 一般代数系统(08-XX) 按年份列出的引文