编辑配置文件（在新选项卡中打开） 阿里·古芬克尔 合著者距离 作者ID： 古芬克尔 发布日期： 阿里·古芬克尔 外部链接： MGP公司 已编制索引的文档： 47出版物自2001年起 2作为编辑的贡献 合著者： 47位合著者具有49联合出版物 960位合作作者 全部的 前5名合著者 0 单作者的 21 Chechik，玛莎 6 萨加·查基 5 斯特里赫曼（Ofer Strichman） 5 维泽尔，雅基尔 5 魏、欧 4 阿尔巴古提·奥斯 4 沙龙·肖姆 三 尼古拉·S·比约纳。 三 贝内特·德弗鲁 三 格里戈里·费迪尤科维奇 三 娜塔莎·莎莉吉娜 2 哈娜·乔克勒 2 皮埃尔·洛伊奇 2 Temesghen Kahsai 2 哈里·戈文德·维迪拉曼娜·克里希南 2 沙拉德·马利克 2 豪尔赫·纳瓦斯。 2 理查德·特雷弗（Richard J.Trefler）。 1 克拉克·W·巴雷特。 1 谢尔盖·贝雷津 1 哈姆扎布尔布 1 陈玉婷 1 玛丽亚·克里斯塔基斯 1 大卫·L·迪尔。 1 伊西尔·迪利格 1 史蒂夫·伊斯特布鲁克 1 维杰·加内什 1 伊莎贝尔·加西亚·孔特雷拉斯 1 克里斯托夫·加里昂 1 纳格梅·加法里 1 米哈埃拉·乔尔吉 1 阿尔蒂·古普塔 1 扎卡里·金凯德 1 尼尔斯·克拉伦德 1 安维什·科穆拉维利 1 孔顺浩 1 Albert Y.C.赖。 1 李毅 1 肯尼思·麦克米兰。 1 西蒙·富尔维奥·罗里尼 1 安德烈·里巴尔琴科 1 桑吉特·阿伦库马尔·塞希亚 1 罗恩·谢默 1 伊戈尔·什卡尼安 1 泽维尔·蒂里欧 1 斯科特·卫斯理 1 瓦伦丁·Wüstholz 系列 5 系统设计中的形式化方法 2 ACM计算逻辑事务 1 信息与计算 1 计算机科学讲义 全部的 前5名领域 49 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 2 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用316中的次216文件 引用人▼ 年份▼ 用于程序验证的Horn子句求解器。 Zbl 1465.68044号 尼古拉·比约纳;阿里·古芬克尔;肯·麦克米兰;安德烈·里巴尔琴科 46 2015 递归程序的基于SMT的模型检查。 Zbl 1358.68072号 安维什·科穆拉维利;阿里·古芬克尔;萨加·查基 34 2016 符号多值模型检查的数据结构。 Zbl 1109.68063号 Chechik，玛莎;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 22 2006 使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 兹伯利0985.68031 Chechik，玛莎;贝内特·德弗鲁;阿里·古芬克尔 17 2001 SMT求解器的符号优化。 Zbl 1284.68410号 李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;Chechik，玛莎 16 2014 通过经典模型检查进行多值模型检查。 兹比尔1274.68189 阿里·古芬克尔;Chechik，玛莎 14 2003 按需量词。 Zbl 1517.68239号 阿里·古芬克尔;沙龙·肖姆;维泽尔，雅基尔 11 2018 从欠近似到过近似再到反近似。 Zbl 1352.68140号 阿尔巴古提·奥斯;阿里·古芬克尔;Chechik，玛莎 10 2012 为什么要浪费一个完美的抽象？ Zbl 1180.68174号 阿里·古芬克尔;Chechik，玛莎 10 2006 空虚是多么空虚？ Zbl 1126.68479号 阿里·古芬克尔;Chechik，玛莎 10 2004 延长真空度。 Zbl 1117.68430号 阿里·古芬克尔;Chechik，玛莎 9 2004 最大规格综合。 Zbl 1347.68067号 阿尔巴古提·奥斯;伊西尔·迪利格;阿里·古芬克尔 9 2016 方框：框的符号抽象域。 Zbl 1306.68026号 阿里·古芬克尔;萨加·查基 7 2010 鲸鱼：一种基于插值的过程间验证算法。 Zbl 1325.68137号 阿尔巴古提·奥斯;阿里·古芬克尔;Chechik，玛莎 7 2012 多线程程序的回归验证。 Zbl 1325.68060号 萨加·查基;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 6 2012 基于BDD的符号模型检查。 Zbl 1392.68239号 萨加·查基;阿里·古芬克尔 6 2018 程序间模拟的自动发现。 Zbl 1471.68061号 格里戈里·费迪尤科维奇;阿里·古芬克尔;娜塔莎·莎莉吉娜 6 2015 CVC-Lite中部分函数的实用方法。 Zbl 1272.03136号 谢尔盖·贝雷津;克拉克·巴雷特;伊戈尔·什卡尼安;Chechik，玛莎;阿里·古芬克尔;大卫·L·迪尔。 6 2005 超越空虚：走向最强的传递公式。 Zbl 1291.68253号 哈娜·乔克勒;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 6 2013 系统构建模型检查的抽象。 Zbl 1176.68121号 阿里·古芬克尔;魏、欧;Chechik，玛莎 5 2006 证明类反例。 Zbl 1031.68079号 阿里·古芬克尔;Chechik，玛莎 5 2003 属性导向的多面体抽象。 Zbl 1432.68257号 尼古拉·比约纳;阿里·古芬克尔 5 2015 以属性为导向的自我组合。 兹伯利07805531 罗恩·谢默;阿里·古芬克尔;沙龙·肖姆;亚基尔·维泽尔 5 2019 模型检查中局部泛化的全局指导。 Zbl 1478.68167号 哈里·戈文德·维迪拉曼娜·克里希南;陈玉婷;沙龙·肖姆;阿里·古芬克尔 4 2020 反例生成和探索的框架。 Zbl 1119.68368号 Chechik，玛莎;阿里·古芬克尔 4 2005 通过抽象模拟实现属性定向等价。 Zbl 1411.68065号 格里戈里·费迪尤科维奇;阿里·古芬克尔;娜塔莎·莎莉吉娜 4 2016 插值属性和基于SAT的模型检查。 Zbl 1410.68229号 阿里·古芬克尔;西蒙·富尔维奥·罗里尼;娜塔莎·莎莉吉娜 4 2013 寻找时态逻辑查询的状态解决方案。 Zbl 1213.68377号 米哈埃拉·乔尔吉;阿里·古芬克尔;Chechik，玛莎 三 2007 使用精确的谓词抽象对递归程序进行模型检查。 Zbl 1183.68373号 阿里·古芬克尔;魏、欧;Chechik，玛莎 三 2008 重新审视混合过渡系统。 Zbl 1206.68194号 魏、欧;阿里·古芬克尔;Chechik，玛莎 三 2009 内插强感应。 Zbl 07805833号 哈里·戈文德·维迪拉曼娜·克里希南;亚基尔·维泽尔;维杰·加内什;阿里·古芬克尔 三 2019 LTL查询检查的变体。 Zbl 1325.68144号 哈娜·乔克勒;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 2 2011 快速插值BMC。 Zbl 1381.68185号 亚基尔·维泽尔;阿里·古芬克尔;沙拉德·马利克 2 2015 为同步代码合成模不变量。 Zbl 1464.68078号 皮埃尔·卢伊奇·加罗什;阿里·古芬克尔;Temesghen Kahsai 2 2014 \（{\mathcal X}\）Chek：多值模型检查器。 兹比尔1010.68809 Chechik，玛莎;阿里·古芬克尔;贝内特·德弗鲁 2 2002 IC3–在ICE中翻转E。 兹比尔1484.68105 亚基尔·维泽尔;阿里·古芬克尔;沙龙·肖姆;沙拉德·马利克 2 2017 多线程程序的回归验证（带有锁扩展和动态线程创建）。 兹比尔1331.68048 萨加·查基;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 2 2015 分段FIFO系统中的可达性问题。 Zbl 1351.68161号 纳格梅·加法里;阿里·古芬克尔;尼尔斯·克拉伦德;理查德·特雷弗勒 1 2012 多彻底就够了？ Zbl 1159.68323号 阿里·古芬克尔;Chechik，玛莎 1 2005 完全虚拟对称的识别和反抽象。 Zbl 1159.68345号 魏、欧;阿里·古芬克尔;Chechik，玛莎 1 2005 周期程序的组合序列化。 Zbl 1426.68042号 萨加·查基;阿里·古芬克尔;孔顺浩;斯特里赫曼（Ofer Strichman） 1 2013 模型检查中局部泛化的全局指导。 Zbl 1478.68167号 哈里·戈文德·维迪拉曼娜·克里希南;陈玉婷;沙龙·肖姆;阿里·古芬克尔 4 2020 以属性为导向的自我组合。 Zbl 07805531号 罗恩·谢默;阿里·古芬克尔;沙龙·肖姆;亚基尔·维泽尔 5 2019 内插强感应。 Zbl 07805833号 哈里·戈文德·维迪拉曼娜·克里希南;亚基尔·维泽尔;维杰·加内什;阿里·古芬克尔 三 2019 按需量词。 Zbl 1517.68239号 阿里·古芬克尔;沙龙·肖姆;亚基尔·维泽尔 11 2018 基于BDD的符号模型检查。 Zbl 1392.68239号 萨加·查基;阿里·古芬克尔 6 2018 IC3–在ICE中翻转E。 Zbl 1484.68105号 亚基尔·维泽尔;阿里·古芬克尔;沙龙·肖姆;沙拉德·马利克 2 2017 递归程序的基于SMT的模型检查。 兹比尔1358.68072 安维什·科穆拉维利;阿里·古芬克尔;萨加·查基 34 2016 最大规格综合。 兹比尔1347.68067 阿尔巴古提·奥斯;伊西尔·迪利格;阿里·古芬克尔 9 2016 通过抽象模拟实现属性定向等价。 Zbl 1411.68065号 格里戈里·费尤科维奇;阿里·古芬克尔;娜塔莎·莎莉吉娜 4 2016 用于程序验证的Horn子句求解器。 Zbl 1465.68044号 尼古拉·比约纳;阿里·古芬克尔;肯·麦克米兰;安德烈·里巴尔琴科 46 2015 程序间模拟的自动发现。 Zbl 1471.68061号 格里戈里·费迪尤科维奇;阿里·古芬克尔;娜塔莎·莎莉吉娜 6 2015 属性定向多面体抽象。 Zbl 1432.68257号 尼古拉·比约纳;阿里·古芬克尔 5 2015 快速插值BMC。 Zbl 1381.68185号 亚基尔·维泽尔;阿里·古芬克尔;沙拉德·马利克 2 2015 多线程程序的回归验证（带有锁扩展和动态线程创建）。 Zbl 1331.68048号 萨加·查基;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 2 2015 SMT求解器的符号优化。 Zbl 1284.68410号 李毅;阿尔巴古提·奥斯;扎卡里·金凯德;阿里·古芬克尔;Chechik，玛莎 16 2014 为同步代码合成模不变量。 Zbl 1464.68078号 皮埃尔·卢伊奇·加罗什;阿里·古芬克尔;Temesghen Kahsai 2 2014 超越空虚：走向最强的传递公式。 Zbl 1291.68253号 哈娜·乔克勒;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 6 2013 插值属性和基于SAT的模型检查。 Zbl 1410.68229号 阿里·古芬克尔;西蒙·富尔维奥·罗里尼;娜塔莎·莎莉吉娜 4 2013 周期程序的组合序列化。 Zbl 1426.68042号 萨加·查基;阿里·古芬克尔;孔顺浩;斯特里赫曼（Ofer Strichman） 1 2013 从欠近似到过近似再到反近似。 Zbl 1352.68140号 阿尔巴古提·奥斯;阿里·古芬克尔;Chechik，玛莎 10 2012 鲸鱼：一种基于插值的过程间验证算法。 Zbl 1325.68137号 阿尔巴古提·奥斯;阿里·古芬克尔;Chechik，玛莎 7 2012 多线程程序的回归验证。 Zbl 1325.68060号 萨加·查基;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 6 2012 分段FIFO系统中的可达性问题。 Zbl 1351.68161号 纳格梅·加法里;阿里·古芬克尔;尼尔斯·克拉伦德;理查德·特雷弗勒 1 2012 LTL查询检查的变体。 Zbl 1325.68144号 哈娜·乔克勒;阿里·古芬克尔;斯特里赫曼（Ofer Strichman） 2 2011 方框：方框的符号抽象域。 Zbl 1306.68026号 阿里·古芬克尔;萨加·查基 7 2010 重新审视混合过渡系统。 兹比尔1206.68194 魏、欧;阿里·古芬克尔;Chechik，玛莎 三 2009 使用精确的谓词抽象对递归程序进行模型检查。 Zbl 1183.68373号 阿里·古芬克尔;魏、欧;Chechik，玛莎 三 2008 寻找时态逻辑查询的状态解决方案。 Zbl 1213.68377号 米哈埃拉·乔尔吉;阿里·古芬克尔;Chechik，玛莎 三 2007 符号多值模型检查的数据结构。 Zbl 1109.68063号 Chechik，玛莎;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 22 2006 为什么要浪费一个完美的抽象？ Zbl 1180.68174号 阿里·古芬克尔;Chechik，玛莎 10 2006 系统构建模型检查的抽象。 Zbl 1176.68121号 阿里·古芬克尔;魏、欧;Chechik，玛莎 5 2006 CVC-Lite中部分函数的实用方法。 Zbl 1272.03136号 谢尔盖·贝雷津;克拉克·巴雷特;伊戈尔·什卡尼安;Chechik，玛莎;阿里·古芬克尔;大卫·L·迪尔。 6 2005 反例生成和探索的框架。 Zbl 1119.68368号 Chechik，玛莎;阿里·古芬克尔 4 2005 多彻底就够了？ Zbl 1159.68323号 阿里·古芬克尔;Chechik，玛莎 1 2005 完全虚拟对称的识别和反抽象。 Zbl 1159.68345号 魏、欧;阿里·古芬克尔;Chechik，玛莎 1 2005 空虚是多么空虚？ Zbl 1126.68479号 阿里·古芬克尔;Chechik，玛莎 10 2004 延长真空度。 Zbl 1117.68430号 阿里·古芬克尔;Chechik，玛莎 9 2004 通过经典模型检查进行多值模型检查。 Zbl 1274.68189号 阿里·古芬克尔;Chechik，玛莎 14 2003 像反例一样的证据。 Zbl 1031.68079号 阿里·古芬克尔;Chechik，玛莎 5 2003 \（{\mathcal X}\）Chek：多值模型检查器。 兹比尔1010.68809 Chechik，玛莎;阿里·古芬克尔;贝内特·德弗鲁 2 2002 使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 兹伯利0985.68031 Chechik，玛莎;贝内特·德弗鲁;阿里·古芬克尔 17 2001 所有引用出版物 前5名被引用出版物 全部的 前5名420位作者引用 9 奥尔纳·库普弗曼 8 伊曼纽尔·德·安吉利斯 8 格里戈里·费迪尤科维奇 8 阿里·古芬克尔 8 直纪小林 7 法比奥·菲奥拉万蒂 7 奥尔纳·格伦伯格 7 毛里齐奥·普罗埃蒂 6 哈娜·乔克勒 6 阿尔贝托·佩特罗西 6 沙龙·肖姆 5 克拉克·W·巴雷特。 5 Chechik，玛莎 5 李永明 5 罗伯托·塞巴斯蒂亚尼 5 娜塔莎·莎莉吉娜 5 斯特里赫曼（Ofer Strichman） 4 阿尔贝托·格里乔 4 阿尔蒂·古普塔 4 曼努埃尔五世（Manuel V.Hermenegildo）。 4 安蒂·E·J·海瓦·里宁。 4 Legay、Axel 4 克劳迪奥·蒙吉 4 菲利普·吕默 4 佐藤隆介 4 克里希纳·苏布拉马尼 4 塞萨尔·蒂内利 4 Wojciechowski，Piotr J。 三 艾哈迈德·博阿贾尼 三 曹永志 三 萨加·查基 三 查克拉波蒂，苏普拉特克 三 曼弗雷德·德罗斯特 三 马苏德·易卜拉希米 三 约翰·加拉赫（John P.Gallagher）。 三 艾哈迈德·埃尔凡 三 沙迦·伊扎基 三 维克多·昆卡 三 多雷尔·卢卡努 三 何塞·弗朗西斯科·莫拉莱斯 三 奥德·帕顿 三 潘海宇 三 安德鲁·雷诺兹 三 维克多·舒潘 三 莎莱·申瓦尔德 三 帕特里克·特伦丁 三 不，Hiroshi 2 达拉·阿拉杰 2 塞皮德·阿萨迪 2 肖姆·本·达维德 2 安娜·伯纳斯科尼 2 德克·拜尔 2 阿明·比尔 2 尼古拉·S·比约纳。 2 马丁·布利查 2 罗德里克·布洛姆 2 马丁·布罗姆伯格 2 戴维德·贾科莫·卡维扎 2 陈，李 2 亚历山德罗·西马蒂 2 瑟·特凡·乔巴赫 2 马克西姆·科尔迪 2 马蒂亚斯·丹格尔 2 汉斯·德·尼维尔 2 吉登·恩斯特 2 马可·费拉 2 约塔姆·M·Y·费尔德曼。 2 哈达尔·弗兰克尔 2 伊莎贝尔·加西亚·孔特雷拉斯 2 阿什图什·古普塔 2 安德拉斯·吉尔吉 2 一郎·哈索 2 侯赛因·霍贾特 2 比肖克桑·卡夫 2 诺里希罗·卡米德 2 迪帕克·卡普尔 2 Joost-Pieter卡托恩 2 科瓦奇，劳拉·伊尔迪科 2 金·古德斯特兰·拉森 2 雷、李辉 2 佩德罗·洛佩兹·加西亚 2 尤德·卢斯蒂格 2 吕银润 2 马，战友 2 马凯·曼 2 肯尼思·麦克米兰。 2 纳斯罗·明阿拉 2 阿里·莫瓦加尔 2 迈克，帕帕达基斯 2 丹尼斯·佩特尔 2 亚历山德罗·玛丽亚·里齐 2 巴特·陈·罗森伯格 2 弗拉德·鲁苏 2 肯·萨卡约里 2 维奥里卡Sofrone-Stokkerman 2 古拉姆雷扎·索图德 2 鲍拉·斯波莱蒂尼 2 吉·斯尔巴 2 阿迪蒂亚·塔库尔。 2 米尔科·特里巴斯通 …还有320多名作者 全部的 前5名引用于27个系列 22 系统设计中的形式化方法 8 理论计算机科学 8 自动推理杂志 7 计算的形式方面 7 逻辑程序设计理论与实践 4 信息与计算 三 模糊集与系统 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 人工智能 2 信息科学 2 计算机程序设计科学 2 全球优化杂志 2 离散事件动态系统 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 2 Modelirovanie i Analiz信息系统 1 计算机与系统科学杂志 1 圣母院形式逻辑杂志 1 Studia Logica公司 1 新一代计算 1 国际近似推理杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 中欧计算机科学杂志 1 计算机科学评论 全部的 前5名17个字段中引用 204 计算机科学（68至XX） 77 数学逻辑和基础（03-XX） 6 运筹学、数学规划（90-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 系统论；控制（93至XX） 三 信息与通信理论、电路（94-XX） 2 组合数学（05-XX） 2 测量和集成（28-XX） 2 数值分析（65-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 代数几何（14-XX） 1 常微分方程（34-XX） 1 变异微积分和最优控制；最优化（49至XX） 1 量子理论（81-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文