编辑配置文件（在新选项卡中打开） 菲克斯，利莫 合著者距离 作者ID： 修复.limor 发布日期： 菲克斯，利莫 外部链接： MGP公司 已编制索引的文档： 15出版物自1991年起 合著者： 31位合著者具有14份联合出版物 697合作作者 全部的 前5名合著者 1 单作者的 6 奥尔纳·格伦伯格 6 莫西·亚亚科夫·瓦尔迪 4 拉南·弗雷尔 三 罗伊·阿莫尼 三 尼西姆·弗朗西兹 三 吉拉·卡米 三 安德烈亚斯·蒂梅耶 2 阿隆·弗莱舍 2 塞拉州马多尔·海姆 2 尼尔·皮特曼 2 伊莱·辛格曼 1 拉杰夫·阿鲁尔 1 塔马拉·阿隆斯 1 科普提，费迪 1 Elster，Elad公司 1 罗布·特里斯坦·格特 1 鲍里斯·金斯堡 1 恩里科Giunchilia 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 阿蒙·海曼 1 泰米尔·海曼 1 斯科特·哈德斯顿 1 托默·坎扎 1 Avner Landver公司 1 迈克尔·米沙利 1 Schneider，Fred B。 1 阿萨夫·舒斯特 1 乔纳森·沙列夫 1 Zbar，耶尔 1 巴鲁赫·齐夫 1 Lenore D.扎克。 系列 2 理论计算机科学 1 逻辑与计算杂志 1 国际计算机科学基础杂志 领域 15 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用131次123文件 引用人▼ 年份▼ 事件锁自动机：时间自动机的一个可确定类。 Zbl 0912.68132号 拉杰夫·阿鲁尔;菲克斯，利莫;托马斯·亨辛格（Thomas A.Henzinger）。 50 1999 ForSpec时态逻辑：一种新的时态属性特定语言。 Zbl 1043.68563号 罗伊·阿莫尼;菲克斯，利莫;阿隆·弗莱舍;罗伯·格思;鲍里斯·金斯堡;托默·坎扎;Avner Landver公司;塞拉州马多尔·海姆;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Zbar，耶尔 24 2002 在工业环境中进行有界模型检查的好处。 Zbl 0991.68637号 科普提，费迪;菲克斯，利莫;拉南·弗雷尔;恩里科Giunchilia;吉拉·卡米 18 2001 线性时序逻辑中增强的空虚检测。 Zbl 1278.68153号 罗伊·阿莫尼;菲克斯，利莫;阿隆·弗莱舍;奥尔纳·格伦伯格;尼尔·皮特曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。 15 2003 时间特性验证。 Zbl 0851.68070号 菲克斯，利莫;奥尔纳·格伦伯格 4 1996 程序组成和模块化验证。 Zbl 0769.68093号 菲克斯，利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 4 1991 微码向后兼容性的形式验证。 Zbl 1081.68602号 塔马拉·阿隆斯;Elster，Elad公司;菲克斯，利莫;塞拉州马多尔·海姆;迈克尔·米沙利;乔纳森·沙列夫;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Lenore D.扎克。 4 2005 优先遍历：用于验证和伪造的有效可达性分析。 Zbl 0974.68572号 拉南·弗雷尔;吉拉·卡米;巴鲁赫·齐夫;莫舍·瓦尔迪。;菲克斯，利莫 三 2000 在Intel进行了15年的正式属性验证。 兹比尔1142.68433 菲克斯，利莫 三 2008 通过统一进行程序合成。 Zbl 0822.68061号 菲克斯，利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 2 1994 通过开发环境来推理程序。 Zbl 1418.68054号 菲克斯，利莫;弗雷德·施耐德。 2 1994 通过统一进行程序合成。 Zbl 1427.68045号 菲克斯，利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 1 1992 基于SAT的临时安全属性诱导。 Zbl 1272.68219号 罗伊·阿莫尼;菲克斯，利莫;拉南弗雷尔;斯科特·哈德斯顿;尼尔·皮特曼;莫舍·瓦尔迪。 1 2005 在Intel进行了15年的正式属性验证。 Zbl 1142.68433号 菲克斯，利莫 三 2008 微码向后兼容性的形式验证。 Zbl 1081.68602号 塔马拉·阿隆斯;Elster，Elad公司;菲克斯，利莫;塞拉州马多尔·海姆;迈克尔·米沙利;乔纳森·沙列夫;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Lenore D.扎克。 4 2005 基于SAT的临时安全属性诱导。 Zbl 1272.68219号 罗伊·阿莫尼;菲克斯，利莫;拉南弗雷尔;斯科特·哈德斯顿;尼尔·皮特曼;莫舍·瓦尔迪。 1 2005 线性时序逻辑中增强的空虚检测。 Zbl 1278.68153号 罗伊·阿莫尼;菲克斯，利莫;阿隆·弗莱舍;奥尔纳·格伦伯格;尼尔·皮特曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。 15 2003 ForSpec时态逻辑：一种新的时态属性特定语言。 Zbl 1043.68563号 罗伊·阿莫尼;菲克斯，利莫;阿隆·弗莱舍;罗伯·格思;鲍里斯·金斯堡;托默·坎扎;Avner Landver公司;塞拉州马多尔·海姆;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Zbar，耶尔 24 2002 在工业环境中进行有界模型检查的好处。 Zbl 0991.68637号 科普提，费迪;菲克斯，利莫;拉南·弗雷尔;恩里科Giunchilia;吉拉·卡米 18 2001 优先遍历：用于验证和伪造的有效可达性分析。 Zbl 0974.68572号 拉南·弗雷尔;吉拉·卡米;巴鲁赫·齐夫;莫舍·瓦尔迪。;菲克斯，利莫 三 2000 事件锁自动机：时间自动机的一个可确定类。 Zbl 0912.68132号 拉杰夫·阿鲁尔;菲克斯，利莫;托马斯·亨辛格（Thomas A.Henzinger）。 50 1999 时间特性验证。 Zbl 0851.68070号 菲克斯，利莫;奥尔纳·格伦伯格 4 1996 通过统一编写程序。 Zbl 0822.68061号 菲克斯，利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 2 1994 通过开发环境来推理程序。 Zbl 1418.68054号 菲克斯，利莫;弗雷德·施耐德。 2 1994 通过统一进行程序合成。 Zbl 1427.68045号 菲克斯，利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 1 1992 程序组成和模块验证。 Zbl 0769.68093号 菲克斯，利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 4 1991 所有引用出版物 前5名被引用出版物 全部的 前5名233位作者引用 13 莫西·亚亚科夫·瓦尔迪 7 奥尔纳库普弗曼 5 哈娜·乔克勒 5 马丁·齐默尔曼 4 布洛克，罗德里克 4 帕特里夏·鲍耶 4 劳拉·博泽利 4 达纳·菲斯曼 4 Legay、Axel 4 乔尔·欧·瓦克宁。 4 维克多·舒潘 4 斯特里赫曼（Ofer Strichman） 三 阿克沙伊，S。 三 洛伦佐·克莱门特 三 菲克斯，利莫 三 保罗·加斯丁 三 吉勒·杰勒茨 三 奥尔纳·格伦伯格 三 桑卡拉·纳拉亚南·克里希纳 三 Sławomir拉索塔 三 帕里托什·K·潘迪亚。 三 阿德里亚诺·佩隆 三 Jean-François拉斯金 三 弗拉德·鲁苏 三 Stefano托内塔 三 詹姆斯·沃雷尔。 2 安、杰 2 埃蒂安·安德烈 2 阿夫尼，盖伊 2 帕瓦内·巴巴里 2 Nathalie Bertrand 2 贝内迪克特·博利格 2 托马斯·布里海耶 2 曼弗雷德·德罗斯特 2 马苏德·易卜拉希米 2 辛迪·艾斯纳 2 尼西姆·弗朗西兹 2 恩里科Giunchilia 2 詹斯·奥利弗·古斯菲尔德 2 瑞典雅各布斯 2 马蒂·Järvisalo 2 蒂埃里·杰伦 2 汤米·A·琼蒂拉。 2 利迪亚·卡夫拉基。 2 莫伊斯·克里钦 2 拉森，金·古尔德斯特朗 2 多雷尔·卢卡努 2 拉克希米·马纳萨 2 佐哈尔·曼纳 2 尼古拉斯·马基 2 拉杜·马特埃斯库 2 马库斯·穆勒·奥尔姆 2 穆拉诺，阿尼洛 2 丹尼尔·奈德 2 小川，水井裕人 2 维塔利·佩雷沃什奇科夫 2 拉多斯·瓦·皮奥科夫斯基 2 尼尔·皮特曼 2 埃里昂·普拉库 2 克里斯汀·伊冯·罗泽尔 2 P.Vijay苏曼 2 纳塔利·斯兹纳杰德 2 阿曼多·塔切拉 2 Leander Tentrup公司 2 亚历山大·韦内特 2 詹伯华 1 艾丽卡·阿尔布拉汉姆 1 克努特·奥凯森 1 侯赛因·阿贾扎尔 1 艾克拉斯，阿马尔 1 安德烈·阿鲁索艾 1 肖恩·阿佐帕迪 1 Franz巴德 1 莎伦·巴纳 1 埃齐奥·巴托西 1 安德烈亚斯·鲍尔 1 贝恩德·贝克尔 1 肖姆·本·达维德 1 吉尔斯·伯诺 1 德文德拉·巴韦 1 博什纳奇·德拉甘 1 亚伦·R·布拉德利。 1 Jörg Brauer 1 基南·布雷克 1 大卫·布雷索林 1 詹姆斯·布罗瑟斯顿 1 维罗尼克·布鲁埃 1 Randal E.布莱恩特。 1 皮埃尔·卡利埃 1 克劳迪奥·卡斯泰里尼 1 陈明帅 1 亚历山德罗·西马蒂 1 瑟·特凡·乔巴赫 1 科恩·克莱森 1 克拉克（Edmund Melson jun Clarke）。 1 罗伯特·J·科尔文。 1 Jean-Paul彗星 1 科普提，费迪 1 巴勃罗·科德罗 1 维伦达·戴夫 …还有133位作者 全部的 前5名26篇连载文章中引用 16 系统设计中的形式化方法 10 理论计算机科学 8 信息与计算 4 信息学报 4 计算的形式方面 三 计算机程序设计科学 三 计算机科学中的逻辑方法 2 信息处理信件 2 计算机与系统科学杂志 2 自动推理杂志 2 ACM计算逻辑事务 2 计算机科学评论 1 人工智能 1 编程和计算机软件 1 符号计算杂志 1 国际计算机科学基础杂志 1 离散事件动态系统 1 模式识别 1 应用非经典逻辑杂志 1 约束条件 1 计算系统理论 1 动力系统的数学和计算机建模 1 应用数学杂志 1 非线性分析。混合动力系统 1 RAIRO公司。理论信息学及其应用 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 118 计算机科学（68至XX） 46 数学逻辑和基础（03-XX） 5 系统论；控制（93至XX） 三 生物学和其他自然科学（92-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 一般代数系统（08-XX） 1 粒子和系统力学（70-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文