编辑配置文件（在新选项卡中打开） 科里亚斯，杰苏斯 合著者距离 作者ID： correas.耶稣 发布日期： 科里亚斯，杰苏斯 已编制索引的文档： 4出版物自2004年起 合著者： 7合著者具有4联合出版物 267位合作作者 全部的 前5名合著者 0 单作者的 4 德国普埃布拉 2 艾尔维拉·阿尔伯特 2 曼努埃尔·赫梅内吉尔多。 2 吉列尔莫，罗曼·迪斯 1 旧金山布埃诺 1 加西亚·德拉·班达，玛丽亚 1 金·万豪酒店 1 佩特扎克 1 彼得·詹姆斯·斯塔基 系列 1 理论计算机科学 1 计算的形式方面 领域 4 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用4中的次4文件 引用人▼ 年份▼ 分布式系统的量化抽象配置。 Zbl 1319.68023号 艾尔维拉·阿尔伯特;科里亚斯，杰苏斯;德国普埃布拉;吉列尔莫·罗曼·迪兹 三 2015 模块化程序中上下文敏感的多变量断言检查。 Zbl 1165.68411号 佩特扎克;科里亚斯，杰苏斯;德国普埃布拉;曼努埃尔·赫梅内吉尔多。 2 2006 模块化程序上下文敏感分析的通用框架。 Zbl 1080.68557号 德国普埃布拉;科里亚斯，杰苏斯;曼努埃尔·赫梅内吉尔多。;布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;金·万豪酒店;彼得·斯图基（Peter J.Stuckey）。 2 2004 分布式系统的量化抽象配置。 Zbl 1319.68023号 艾尔维拉·阿尔伯特;科里亚斯，杰苏斯;德国普埃布拉;吉列尔莫·罗曼·迪兹 三 2015 模块化程序中上下文敏感的多变量断言检查。 Zbl 1165.68411号 佩特扎克;科里亚斯，杰苏斯;德国普埃布拉;曼努埃尔·赫梅内吉尔多。 2 2006 模块化程序上下文敏感分析的通用框架。 Zbl 1080.68557号 德国普埃布拉;科里亚斯，杰苏斯;曼努埃尔·赫梅内吉尔多。;布埃诺，弗朗西斯科;玛丽亚·加西亚·德拉班达;万豪酒店，Kim;彼得·斯图基（Peter J.Stuckey）。 2 2004 全部的 前5名10位作者引用 4 曼努埃尔·赫梅内吉尔多。 三 莫拉莱斯，何塞·弗朗西斯科 2 加西亚·孔特雷拉斯，伊莎贝尔 2 佩德罗·洛佩兹·加西亚 2 德国普埃布拉 1 艾尔维拉·阿尔伯特 1 布埃诺，弗朗西斯科 1 曼纽尔·卡罗 1 爱迪生·梅拉 1 米盖尔·桑切斯·奥达兹（Miguel A.Sanchez-Ordaz）。 2篇连载文章中引用 三 逻辑程序设计理论与实践 1 新一代计算 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文