编辑配置文件（在新选项卡中打开） 阿里·埃布纳西尔 合著者距离 作者ID： 埃布纳西尔·阿里 发布方式： 阿里·埃布纳西尔 已编制索引的文档： 6出版物自2005年以来 合著者： 6位合著者具有6联合出版物 63位合作作者 全部的 前5名合著者 0 单作者的 2 亚历克斯·克林哈默 2 Sandeep S.Kulkarni。 1 博尔祖·博纳克达尔普尔 1 雷扎哈吉什基 1 莫森野生动物园 1 阿默尔·塔哈特 系列 1 理论计算机科学 1 ACM计算逻辑事务 领域 6 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用10中的次9文件 引用人▼ 年份▼ 关于添加收敛的复杂性。 兹伯利1434.68110 亚历克斯·克林哈默;阿里·埃布纳西尔 三 2013 容错程序自动合成的机械验证。 Zbl 1134.68348号 Sandeep S.Kulkarni。;博尔祖·博纳克达尔普尔;阿里·埃布纳西尔 三 2005 参数环上活锁自由和自稳定的验证。 Zbl 1433.68254号 亚历克斯·克林哈默;阿里·埃布纳西尔 2 2019 一种用于参数化自稳定协议的验证和综合的混合方法。 Zbl 1457.68170号 阿默尔·塔哈特;阿里·埃布纳西尔 1 2015 基于局部的松弛：一种基于GPU的最短路径计算的有效方法。 Zbl 1485.68305号 莫森野生动物园;阿里·埃布纳西尔 1 2017 关于参数化环上活锁自由度和自稳定的验证。 Zbl 1433.68254号 亚历克斯·克林哈默;阿里·埃布纳西尔 2 2019 基于局部性的松弛：一种基于GPU的最短路径计算的有效方法。 Zbl 1485.68305号 莫森野生动物园;阿里·埃布纳西尔 1 2017 一种用于参数化自稳定协议的验证和综合的混合方法。 Zbl 1457.68170号 阿默尔·塔哈特;阿里·埃布纳西尔 1 2015 关于添加收敛的复杂性。 Zbl 1434.68110号 亚历克斯·克林哈默;阿里·埃布纳西尔 三 2013 容错程序自动合成的机械验证。 Zbl 1134.68348号 Sandeep S.Kulkarni。;博尔祖·博纳克达尔普尔;阿里·埃布纳西尔 三 2005 所有引用出版物 前5名被引用出版物 全部的 前5名25位作者引用 三 博尔祖·博纳克达尔普尔 三 Faghih、Fathiyeh 三 Sandeep S.Kulkarni。 2 瑞典雅各布斯 2 纳哈尔·米尔扎伊 2 塞巴斯蒂安·蒂谢尔 1 米拉·阿彻（Myla M.Archer）。 1 贝拉德，贝特里奇 1 阿里·埃布纳西尔 1 哈吉谢基，礼萨 1 康斯坦斯·海特迈尔。 1 玛丽克·赫斯曼 1 拉尔夫·杰弗兹。 1 阿尔沙德·朱姆卡 1 奥黛·朱伯伦 1 帕斯卡·拉福卡德 1 伊丽莎白·伦纳德。 1 林一燕 1 小米、劳瑞 1 艾克·莫尔曼 1 Wytse Oortwijn公司 1 波托普·布图卡鲁，玛丽亚·格拉迪纳利 1 莫森野生动物园 1 奥利弗·泰尔 1 蒂里·米格（Yann Thierry-Mieg） 5篇连载文章中引用 2 分布式计算 1 信息学报 1 理论计算机科学 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在1个字段中引用 9 计算机科学（68至XX） 按年份列出的引文