编辑配置文件(在新选项卡中打开) 斯蒂芬·麦卡曼特 合著者距离 作者ID: 麦卡曼特·斯蒂芬 发布日期: 斯蒂芬·麦卡曼特 外部链接: MGP公司 已编制索引的文档: 1出版物自2007年起 合著者: 6位合著者具有1联合出版物 50位合作作者 全部的 前5名合著者 0 单作者的 1 迈克尔·D·恩斯特。 1 Philip J.郭。 1 卡洛斯·加布里埃尔(Carlos Gabriel),帕切科·冈萨雷斯(Pacheco González) 1 杰夫·H·珀金斯。 1 马修·桑茨。 1 肖,陈 系列 1 计算机程序设计科学 字段 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 1出版物有被引用33中的次29文件 引用人▼ 年份▼ 用于可能不变量的动态检测的Daikon系统。 Zbl 1161.68390号 迈克尔·D·恩斯特。;杰夫·帕金斯。;Philip J.郭。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨。;肖,陈 33 2007 动态检测可能不变量的Daikon系统。 Zbl 1161.68390号 迈克尔·D·恩斯特。;杰夫·H·珀金斯。;Philip J.郭。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨。;肖,陈 33 2007 所有引用出版物 排名前五的出版物 全部的 前5名83位作者引用 三 福尔克·豪尔 三 阿里·米莉 三 伯恩哈德·斯特芬 2 谢尔·亚哈龙 2 索菲亚·卡塞尔 2 本特·琼森 2 拉米亚·拉比德·吉拉尼 2 阿斯玛·卢希奇 2 奥尔法·姆拉伊 2 查塔尼亚·纳德卡尼 1 鲁伊·阿伯鲁 1 亚历克斯·艾肯 1 马克西米利安·阿尔盖德 1 玛丽亚·阿尔普特 1 鲍嘉璐 1 埃齐奥·巴托西 1 安娜·贝基 1 艾哈迈德·博阿贾尼 1 韦尔·阿明(Wael-Amine)Boutglay 1 哈立德·比萨耶斯 1 安娜·卡瓦尔坎蒂 1 查克拉波蒂,苏普拉特克 1 亚历山德罗·西马蒂 1 科恩·克莱森 1 J.Robert M.科尼什。 1 保罗·塞勒姆·达席尔瓦 1 阿娜·克里斯蒂娜·维埃拉·德·梅洛 1 皮埃特罗·费拉拉 1 格雷姆·恒河 1 加尔达洛,Wided 1 阿尔贝托·冈萨雷斯 1 阿什图什·古普塔 1 彼得·哈贝梅尔 1 许,贾斯汀 1 黄康静 1 Atsushi Igarashi 1 今西明文 1 马尔特·伊斯伯纳 1 沙迦·伊扎基 1 金、项羽 1 穆阿·约翰逊 1 卡普尔,迪帕克 1 莫里茨·基弗 1 Steve F.金。 1 弗拉基米尔·克莱巴诺夫 1 小岛贤介 1 萨瓦斯·科努尔 1 丹尼尔·科宁 1 林方珍 1 克里斯汀·马提斯 1 彼得·米勒 1 萨默·纳希德 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 埃莉奥诺拉·内斯特里尼 1 德扬·尼科维奇 1 科林·奥哈洛兰 1 丹尼尔·帕尔多 1 德拉什蒂·巴沙克 1 希拉·佩莱格 1 邱晓康 1 罗伊,苏巴吉特 1 彼得·沙赫特 1 拉胡尔·夏尔马 1 沙龙·肖姆 1 尼古拉斯·斯莫尔博内 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 Jean-Pierre塔宾 1 奈特什·特里维迪 1 马蒂亚斯·乌尔布里奇 1 迪夫耶什·乌纳德卡特 1 van Gemund,Arjan J.C。 1 艾丽西亚·维拉纽埃娃 1 王淑玲 1 格奥尔格·魏森巴赫 1 詹姆斯·C·P·伍德科克。 1 徐,熊 1 埃兰·雅哈夫 1 詹伯华 1 詹乃军 1 张志海 1 什洛莫·齐尔伯斯坦 1 Peter Zoeteweij 全部的 前5名16篇连载文章中引用 三 计算的形式方面 2 自动推理杂志 1 信息学报 1 人工智能 1 理论计算机科学 1 计算机程序设计科学 1 符号计算杂志 1 信息与计算 1 机器学习 1 系统设计中的形式化方法 1 函数编程杂志 1 人工智能研究杂志 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 系统科学与复杂性杂志 1 应用数学杂志 在3个字段中引用 29 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文