编辑配置文件(在新选项卡中打开) 安德烈亚斯·格雷斯迈耶 合著者距离 作者ID: 格雷斯梅耶尔·安德里亚斯 发布日期: 安德烈亚斯·格雷斯迈耶 外部链接: MGP公司 已编制索引的文档: 5出版物自2005年以来 合著者: 10位合著者具有5联合出版物 307合著作者 全部的 前5名合著者 0 单作者的 三 罗德里克·布洛姆 2 芭芭拉·乔布斯曼 2 鲁道夫·施拉特 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 托马斯·安努·巴苏基 1 安东尼奥·塞隆 1 拜伦·库克 1 德波尔(Frank S。 1 约翰森,艾纳·布罗克 1 斯特凡·斯塔珀 系列 1 计算机与系统科学杂志 1 计算的形式方面 领域 5 计算机科学(68至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用31次28文件 引用人▼ 年份▼ 将程序修复作为游戏。 Zbl 1081.68572号 芭芭拉·乔布斯曼;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 21 2005 发现并修复故障。 Zbl 1263.68112号 芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 7 2012 修复布尔程序并将其应用于C。 Zbl 1188.68188号 安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆;拜伦·库克 2 2006 使用特定于应用程序的调度程序测试并发对象。 Zbl 1161.68630号 鲁道夫·施拉特;伯恩哈德·艾切里尼;法兰克·德波尔;安德烈亚斯·格雷斯迈耶;约翰森,艾纳·布罗克 1 2008 发现并修复故障。 Zbl 1263.68112号 芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 7 2012 使用特定于应用程序的调度程序测试并发对象。 Zbl 1161.68630号 鲁道夫·施拉特;伯恩哈德·艾切里尼;法兰克·德波尔;安德烈亚斯·格雷斯迈耶;约翰森,艾纳·布罗克 1 2008 修复布尔程序并将其应用于C。 Zbl 1188.68188号 安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆;拜伦·库克 2 2006 将程序修复作为游戏。 Zbl 1081.68572号 芭芭拉·乔布斯曼;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 21 2005 所有引用出版物 前5名被引用出版物 全部的 前5名77位作者引用 5 罗德里克·布洛姆 4 芭芭拉·乔布斯曼 三 Sandeep S.Kulkarni。 2 博尔祖·博纳克达尔普尔 2 克里希南德·查特吉 2 哈娜·乔克勒 2 马苏德·易卜拉希米 2 林一燕 2 斯特里赫曼(Ofer Strichman) 1 福阿德·阿布贾拉德 1 阿克西,S。 1 保罗·C·阿提。 1 阿夫尼,盖伊 1 埃齐奥·巴托西 1 迪特马尔·伯旺格 1 约阿金·比约克 1 大卫·布雷索林 1 克里斯蒂安·巴克尔 1 玛尔塔·卡皮鲁比 1 米盖尔·卡里略 1 查克拉波蒂,苏普拉特克 1 陈静淑 1 Cheng,Chih-Hong先生 1 威廉·L·科克。 1 维伦达·戴夫 1 伊利亚州德克雷森佐 1 马丁·德·沃尔夫 1 劳伦特·多恩 1 伯恩德·芬克贝纳 1 斯蒂芬妮·福雷斯特 1 哈达尔·弗兰克尔 1 迪维亚·戈皮纳特 1 安德烈亚斯·格雷斯迈耶 1 拉杜·格罗苏 1 奥尔纳·格伦伯格 1 Guerra,Paulo T。 1 威廉·R·哈里斯。 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 杰哈,萨默什 1 阿尔沙德,朱姆卡 1 John,Ajith K。 1 约翰森,艾纳·布罗克 1 迪帕克·卡普尔 1 Katsaros,Panagiotis公司 1 萨尔夫拉兹·库希德 1 阿洛伊斯·克诺尔。 1 桑卡拉·纳拉亚南·克里希纳 1 奥尔纳·库普弗曼 1 马赛尔·凯斯 1 萨尔瓦多拉托雷 1 鲁帕克·马朱姆达尔 1 穆罕默德·祖拜尔·马利克 1 毗湿奴·穆拉利 1 Nguyen,Thanhvu H。 1 Owe、Olaf 1 尼尔·皮特曼 1 阿米尔·普努利 1 罗马克里希南,C.R。 1 Jean-François拉斯金 1 代表,Thomas W。 1 David A.Rosenblueth。 1 巴特·陈·罗森伯格 1 哈拉尔德街 1 亚尼夫·萨阿尔 1 桑吉特·阿伦库马尔·塞希亚 1 谢塔尔·沙阿 1 莎莱·申瓦尔德 1 斯科特·斯莫尔卡。 1 斯特凡·斯塔珀 1 阿舒托什·特里维迪 1 Vechev,Martin T。 1 亚伦·维尔纳 1 克里斯蒂安·冯·埃森 1 雷娜塔·瓦瑟曼 1 韦斯特利·威默 1 埃兰·雅哈夫 1 格雷塔·约什 全部的 前5名8篇连载文章中引用 三 系统设计中的形式化方法 2 计算机与系统科学杂志 2 理论计算机科学 2 信息与计算 2 分布式计算 1 人工智能 1 数学与人工智能年鉴 1 ACM计算逻辑事务 在5个字段中引用 26 计算机科学(68至XX) 7 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 数学逻辑和基础(03-XX) 2 系统论;控制(93至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文