编辑配置文件(在新选项卡中打开) 杰夫·H·珀金斯。 合著者距离 作者ID: 珀金斯·杰夫·赫 发布日期: 杰夫·H·珀金斯。 已编制索引的文档: 1出版物自2007年起 合著者: 6位合著者具有1联合出版物 43位合作作者 全部的 前5名合著者 0 单作者的 1 迈克尔·D·恩斯特。 1 Guo,Philip J。 1 斯蒂芬·麦卡曼特 1 卡洛斯·加布里埃尔(Carlos Gabriel),帕切科·冈萨雷斯(Pacheco González) 1 马修·桑茨。 1 肖,陈 系列 1 计算机程序设计科学 领域 1 计算机科学(68至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用33中的次29文件 引用人▼ 年份▼ 动态检测可能不变量的Daikon系统。 Zbl 1161.68390号 迈克尔·D·恩斯特。;杰夫·H·珀金斯。;Philip J.郭。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨。;肖,陈 33 2007 动态检测可能不变量的Daikon系统。 Zbl 1161.68390号 迈克尔·D·恩斯特。;杰夫·H·珀金斯。;Philip J.郭。;斯蒂芬·麦卡曼特;卡洛斯·帕切科;马修·桑茨。;肖,陈 33 2007 所有引用的出版物 前5名被引用出版物 全部的 前5名83位作者引用 三 福尔克·豪尔 三 阿里·米莉 三 Steffen,伯恩哈德 2 谢尔·亚哈龙 2 索菲亚·卡塞尔 2 本特·琼森 2 拉米亚·拉比德·吉拉尼 2 阿斯玛·卢希奇 2 Olfa Mraihi先生 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,阿尔扬·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 应用数学杂志 在4个字段中引用 29 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文