编辑配置文件（在新选项卡中打开） 埃兰·雅哈夫 合著者距离 作者ID： 雅虎埃伦 发布日期： 埃兰·雅哈夫;E.雅哈夫。 已编制索引的文档： 27出版物自2001年起 2作为编辑的贡献 合著者： 28位合著者具有26联合出版物 393合著作者 全部的 前5名合著者 三 单作者的 9 穆利萨吉夫 7 Vechev，Martin T。 5 希拉·佩勒 5 沙龙·肖姆 4 诺姆·里内茨基 4 格雷塔·约什 三 甘尼桑拉马林加姆 三 莱因哈德·威廉 2 安德烈·玛丽安（Andrei Marian Dan） 2 约翰·埃弗雷特·菲尔德 2 戈亚尔、迪帕克 2 埃利奥特·科洛德纳。 2 尤里·梅什曼 2 Raghavan拉曼 2 代表，Thomas W。 2 维威克·萨卡尔 2 冉·沙哈姆 2 杨红seok 1 阿米特，达芙娜 1 萨蒂什·钱德拉 1 德拉赫斯勒-科恩，达纳 1 沙迦·伊扎基 1 约格·克里克 1 罗马人Manevich 1 O'Hearn，Peter W。 1 尼姆罗德·帕图什 1 丹·拉辛 1 赵继生 全部的 前5名系列 2 信息学报 2 计算机程序设计科学 2 计算机科学课堂讲稿 1 系统设计中的形式化方法 1 IGPL逻辑杂志 1 计算机语言、系统和结构 领域 29 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物被引用88中的次72文件 引用人▼ 年份▼ 单链表的谓词抽象和规范抽象。 Zbl 1111.68398号 马涅维奇，罗马;E.雅哈夫。;拉马林加姆，G。;穆利萨吉夫 13 2005 使用三值逻辑验证并发Java程序的安全属性。 Zbl 1323.68183号 埃兰·雅哈夫 10 2001 在抽象下进行比较，以验证线性化能力。 Zbl 1135.68462号 阿米特，达芙娜;诺姆·里内茨基;代表，托马斯;穆利萨吉夫;埃兰·雅哈夫 9 2007 以抽象为导向的同步合成。 Zbl 1312.68043号 马丁·维切夫;埃兰·雅哈夫;格雷塔·约什 8 2010 事后验证线性化。 Zbl 1315.68068号 O'Hearn，Peter W。;诺姆·里内茨基;Vechev，Martin T。;埃兰·雅哈夫;格雷塔·约什 8 2010 验证通过演化逻辑指定的临时堆属性。 Zbl 1032.68062号 埃兰·雅哈夫;代表，托马斯;穆利萨吉夫;莱因哈德·威廉 6 2003 放松记忆模型下验证的有效抽象。 Zbl 1379.68237号 安德烈·丹;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫 6 2017 无切点程序的跨过程形状分析。 Zbl 1141.68375号 诺姆·里内茨基;穆利萨吉夫;埃兰·雅哈夫 5 2005 数值程序的抽象语义差异。 Zbl 1475.68096号 尼姆罗德·帕图什;埃兰·雅哈夫 4 2013 验证通过演化逻辑指定的临时堆属性。 Zbl 1108.68077号 E.雅哈夫。;代表，T。;萨吉夫，M。;威廉·R。 4 2006 在有限可观测性下推断同步。 Zbl 1234.68082号 马丁·维切夫;埃兰·雅哈夫;格雷塔·约什 三 2009 结构化并行程序确定性的自动验证。 Zbl 1306.68037号 马丁·维切夫;埃兰·雅哈夫;Raghavan拉曼;维威克·萨卡尔 2 2010 放松记忆模型下验证的有效抽象。 Zbl 1432.68259号 丹，安德烈;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫 2 2015 用抽象示例进行综合。 Zbl 1494.68056号 德拉赫斯勒-科恩，达纳;沙龙·肖姆;埃兰·雅哈夫 2 2017 用于静态规范挖掘的符号自动机。 Zbl 1344.68127号 希拉·佩勒;沙龙·肖姆;埃兰·雅哈夫;杨红seok 1 2013 有效的无切点程序的程序间形状分析。 Zbl 1383.68025号 克雷克，J。;代表，T。;北卡罗来纳州里内茨基。;萨吉夫，M。;莱因哈德·威廉;E.雅哈夫。 1 2013 使用应用程序建立本地临时堆安全属性以进行编译时内存管理。 Zbl 1067.68550号 冉·沙哈姆;埃兰·雅哈夫;埃利奥特·科洛德纳。;穆利萨吉夫 1 2003 类型状态验证：抽象技术和复杂性结果。 Zbl 1088.68066号 J·菲尔德。;戈亚尔，D。;拉马林加姆，G。;E.雅哈夫。 1 2005 静态分析。2011年9月14日至16日，第18届国际研讨会，2011年SAS，意大利威尼斯。诉讼程序。 Zbl 1222.68025号 1 2011 \（D^3）：数据驱动析取抽象。 Zbl 1475.68291号 希拉·佩勒;沙龙·肖姆;埃兰·雅哈夫 1 2016 放松记忆模型下验证的有效抽象。 Zbl 1379.68237号 安德烈·丹;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫 6 2017 用抽象示例进行综合。 Zbl 1494.68056号 德拉赫斯勒-科恩，达纳;沙龙·肖姆;埃兰·雅哈夫 2 2017 \（D^3）：数据驱动析取抽象。 兹比尔1475.68291 希拉·佩勒;沙龙·肖姆;埃兰·雅哈夫 1 2016 放松记忆模型下验证的有效抽象。 Zbl 1432.68259号 安德烈·丹;尤里·梅什曼;马丁·维切夫;埃兰·雅哈夫 2 2015 数值程序的抽象语义差异。 Zbl 1475.68096号 尼姆罗德·帕图什;埃兰·雅哈夫 4 2013 用于静态规范挖掘的符号自动机。 Zbl 1344.68127号 希拉·佩莱格;沙龙·肖姆;埃兰·雅哈夫;杨红seok 1 2013 有效无切口程序的跨过程形状分析。 Zbl 1383.68025号 Kreiker，J。;代表，T。;北卡罗来纳州里内茨基。;萨吉夫，M。;莱因哈德·威廉;E.雅哈夫。 1 2013 静态分析。2011年9月14日至16日，第18届国际研讨会，2011年SAS，意大利威尼斯。诉讼程序。 Zbl 1222.68025号 1 2011 同步的抽象引导合成。 Zbl 1312.68043号 马丁·维切夫;埃兰·雅哈夫;格雷塔·约什 8 2010 事后验证线性化能力。 Zbl 1315.68068号 运营；彼得·霍恩（Peter W.Hearn）。;诺姆·里内茨基;Vechev，Martin T。;埃兰·雅哈夫;格雷塔·约什 8 2010 结构化并行程序确定性的自动验证。 Zbl 1306.68037号 马丁·维切夫;埃兰·雅哈夫;Raghavan拉曼;维威克·萨卡尔 2 2010 在有限可观测性下推断同步。 Zbl 1234.68082号 马丁·维切夫;埃兰·雅哈夫;格雷塔·约什 三 2009 在抽象下进行比较，以验证线性化能力。 Zbl 1135.68462号 阿米特，达芙娜;诺姆·里内茨基;代表，托马斯;穆利萨吉夫;埃兰·雅哈夫 9 2007 验证通过演化逻辑指定的临时堆属性。 Zbl 1108.68077号 叶海夫，E。;代表，T。;萨吉夫，M。;威廉·R。 4 2006 单链表的谓词抽象和规范抽象。 Zbl 1111.68398号 罗马人Manevich;E.雅哈夫。;拉马林加姆，G。;穆利萨吉夫 13 2005 无切点程序的程序间形状分析。 Zbl 1141.68375号 诺姆·里内茨基;穆利萨吉夫;埃兰·雅哈夫 5 2005 类型状态验证：抽象技术和复杂性结果。 Zbl 1088.68066号 J·菲尔德。;戈亚尔，D。;拉马林加姆，G。;E.雅哈夫。 1 2005 验证通过演化逻辑指定的临时堆属性。 Zbl 1032.68062号 埃兰·雅哈夫;代表，托马斯;穆利萨吉夫;莱因哈德·威廉 6 2003 使用应用程序建立本地临时堆安全属性以进行编译时内存管理。 Zbl 1067.68550号 冉·沙哈姆;埃兰·雅哈夫;埃利奥特·科洛德纳。;穆利萨吉夫 1 2003 使用三值逻辑验证并发Java程序的安全属性。 Zbl 1323.68183号 埃兰·雅哈夫 10 2001 所有引用出版物 前5名被引用出版物 全部的 前5名178位作者引用 8 艾哈迈德·布瓦贾尼 7 康斯坦丁·埃纳 4 Beillahi、Sidi Mohamed 4 海克·卫尔海姆 4 埃兰·雅哈夫 三 沙龙·肖姆 2 帕罗什·阿齐兹·阿卜杜拉 2 克拉克（Edmund Melson jun Clarke）。 2 萨迪·达尔瓦迪 2 Stéphane P.德姆里。 2 西蒙·多尔蒂 2 Dongol，布里耶什 2 段振华 2 迈克尔·埃米 2 阿列克谢·戈茨曼 2 胡亚伦·J·。 2 雨果·伊利诺斯 2 拉杜·奥西夫 2 沙迦·伊扎基 2 芭芭拉·乔布斯曼 2 拉希里、舒文杜·库马尔 2 马蒂厄·莱梅尔 2 卢、徐 2 安德烈·穆拉夫斯基。 2 希拉·佩勒 2 茨沃尼米尔·拉卡马里奇 2 诺姆·里内茨基 2 对手，泽维尔 2 穆利萨吉夫 2 格哈德·谢尔霍恩 2 娜塔莎·莎莉吉娜 2 田聪 2 尼科斯·齐夫列科斯 2 杨红seok 1 华金·阿瓜多 1 玛丽亚·阿尔普特 1 穆罕默德·法乌齐（Mohamed Faouzi Atig） 1 伊塔·巴拉班 1 保罗·巴尔丹 1 克什蒂吉·班萨尔 1 凯特琳娜·巴罗内·阿德斯 1 Barthe，Gilles公司 1 西蒙·贝姆勒 1 伯恩哈德·贝克特 1 杰西·宾厄姆。 1 罗德里克·布洛姆 1 马吕斯·博兹加 1 奇亚拉·布拉金 1 雷米·布罗赫宁 1 布鲁奇，卢卡斯 1 罗伯特·布鲁托梅索 1 杨彩锦 1 阿曼多·卡斯塔涅达 1 乔纳森·塞德伯格 1 乔恩，帕沃 1 查特吉，克里什南杜 1 亚历山德罗·西马蒂 1 拜伦·库克 1 维克多·库克 1 安德烈亚·科拉迪尼 1 克雷斯波、胡安·曼努埃尔 1 佩德罗·达罗查·平托 1 戴米安·德切夫 1 玛丽亚·德尔马·加拉多 1 巴特·德梅恩 1 邓惠杰 1 约翰·德里克 1 Deters，摩根 1 迈克·多兹 1 塞萨拉·德拉戈伊 1 Drossopolou，索菲亚 1 杜洪伟 1 马修·德怀尔。 1 苏珊·艾森巴赫 1 约塔姆·M·Y·费尔德曼。 1 科马克·弗拉纳根 1 斯蒂芬·尼尔（Stephen Neal Freund） 1 Insa Fuhrmann公司 1 玛丽亚·加西亚·德拉班达 1 菲利普·安·加德纳 1 萨米尔·根奈姆 1 彼得·哈贝梅尔 1 约翰·哈特克利夫 1 弗雷德里克·哈齐扎 1 托马斯·亨辛格。 1 奥雷利·胡罗 1 阿克巴侯赛因 1 迈克尔·R·A·胡特。 1 贝特朗·珍妮特 1 兰吉特·贾拉 1 德扬·约瓦诺维奇 1 阿特姆·科扎 1 弗拉基米尔·克莱巴诺夫 1 直纪小林 1 埃迪·科勒 1 巴巴拉·科尼格 1 埃里克·科斯金 1 约格·克里克 1 悉达哈·克里希纳 1 丹尼尔·科宁 …还有78位作者 全部的 前5名17篇连载文章中引用 5 系统设计中的形式化方法 4 信息学报 4 计算的形式方面 三 理论计算机科学 三 自动推理杂志 三 ACM计算逻辑事务 三 程序设计中的逻辑和代数方法杂志 2 信息处理信件 2 信息与计算 2 计算机科学中的逻辑方法 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 1 制约因素 1 计算机基础理论 1 应用数学杂志 全部的 前5名在7个字段中引用 68 计算机科学（68至XX） 14 数学逻辑和基础（03-XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文