编辑配置文件（在新选项卡中打开） Lenore D.扎克。 合著者距离 作者ID： 扎克·勒诺-d 发布日期： Lenore D.扎克。；祖克，莱诺 已编制索引的文档： 42出版物自1985年起 3作为编辑的贡献 合著者： 45位合著者具有43联合出版物 1097合著作者 全部的 前5名合著者 1 单作者的 26 阿米尔·普努利 8 伊塔·巴拉班 6 方，易 三 塔马拉·阿隆斯 三 肯尼思·麦克米兰。 三 Doron A.Peled。 2 克拉克·W·巴雷特。 2 科恩，阿里尔 2 本杰明·戈德伯格 2 胡，英 2 尤尼特·凯斯滕 2 Kedar S.Namjoshi。 2 尼尔·皮特曼 2 桑吉瓦·普拉萨德 2 西瓦尼特·鲁阿 2 亚尼夫·萨阿尔 1 安娜·伯纳斯科尼 1 Elster，Elad公司 1 迈克尔·菲舍尔。 1 菲克斯，利莫 1 卡洛·盖齐 1 Gjomemo，参宿七 1 尼古拉斯·哈尔巴赫斯 1 Joseph Yehuda Halpern 1 卡提亚·基西奥娃。 1 奥尔纳利希滕斯坦 1 弗朗西斯科·洛戈佐 1 塞拉州马多尔·海姆 1 蒂齐亚娜·玛格丽亚 1 克劳迪奥·蒙吉 1 迈克尔·米沙利 1 Phung、Phu H。 1 伊拉德·沙哈尔 1 乔纳森·沙列夫 1 伊莱·辛格曼 1 鲍拉·斯波莱蒂尼 1 Steffen，伯恩哈德 1 安德烈亚斯·蒂梅耶 1 Jordan N.托夫。 1 莫西·亚亚科夫·瓦尔迪 1 Venkatakrishnan，V.N.公司。 1 王大伟 1 杰弗里·韦斯特布鲁克。 1 徐，杰西 1 周敏 全部的 前5名系列 2 信息与计算 2 计算机语言、系统和结构 2 计算机科学课堂讲稿 1 计算机协会杂志 1 计算机与系统科学杂志 1 国际计算机科学基础杂志 1 分布式计算 1 系统设计中的形式化方法 领域 45 计算机科学（68至XX） 三 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用302中的次244文件 引用人▼ 年份▼ 过去的荣耀。 Zbl 0586.68028号 奥尔纳·利希滕斯坦；阿米尔·普努利；祖克，莱诺 80 1985 使用不可见不变量进行自动演绎验证。 Zbl 0978.68539号 阿米尔·普努利；Ruah，西特瓦尼特；祖克，莱诺 25 2001 多进程概率协议的验证。 Zbl 0598.68019号 阿米尔·普努利；祖克，莱诺 22 1986 使用\（{（0,1，\infty）}\）-计数器抽象的活力。 Zbl 1010.68095号 阿米尔·普努利；徐，杰西；祖克，莱诺 20 2002 一点知识会大有帮助：基于知识的推导和一系列协议的正确性证明。 Zbl 0799.68024号 约瑟夫·霍尔珀（Joseph Y.Halpern）。；Lenore D.扎克。 19 1992 自动计算归纳断言的参数化验证。 Zbl 0991.68541号 塔马拉·阿隆斯；阿米尔·普努利；西瓦尼特·鲁阿；徐，英；祖克，莱诺 18 2001 概率验证。 兹伯利0797.68112 阿米尔·普努利；Lenore D.扎克。 14 1993 借助参数化系统进行模型检查和抽象（调查）。 Zbl 1072.68069号 祖克，莱诺；阿米尔·普努利 11 2004 从伪造到验证。 Zbl 1052.68086号 多龙·贝利德；阿米尔·普努利；祖克，莱诺 11 2001 TVOC：用于优化编译器的翻译验证器。 Zbl 1081.68606号 克拉克·巴雷特；方，易；本杰明·戈德伯格；胡，英；阿米尔·普努利；祖克，莱诺 10 2005 通过概率抽象进行参数化验证。 Zbl 1029.68104号 塔马拉·阿隆斯；阿米尔·普努利；祖克，莱诺 8 2003 从模型检查到部分模型的时间证明。 Zbl 1420.68118号 安娜·伯纳斯科尼；克劳迪奥·蒙吉；鲍拉·斯波莱蒂尼；Lenore D.扎克。；卡洛·盖齐 8 2017 通过谓词抽象进行形状分析。 Zbl 1111.68396号 伊塔·巴拉班；阿米尔·普努利；Lenore D.扎克。 8 2005 受限时间逻辑中的推理。 Zbl 0771.03007号 西斯特拉·A·普拉萨德；Lenore D.扎克。 6 1993 网络不变量的作用。 兹比尔1012.68131 尤尼特·凯斯滕；阿米尔·普努利；伊拉德·沙哈尔；祖克，莱诺 5 2002 从模型检查到时间证明。 Zbl 0985.68030号 多龙·贝利德；祖克，莱诺 5 2001 微码向后兼容性的形式验证。 Zbl 1081.68602号 塔马拉·阿隆斯；Elster，Elad公司；菲克斯，利莫；塞拉州马多尔·海姆；迈克尔·米沙利；乔纳森·沙列夫；伊莱·辛格曼；安德烈亚斯·蒂梅耶；莫舍·瓦尔迪。；Lenore D.扎克。 4 2005 具有无形排名的活力。 Zbl 1202.68248号 方，易；尼尔·皮特曼；阿米尔·普努利；祖克，莱诺 4 2004 单亲堆的形状分析。 Zbl 1132.68346号 伊塔·巴拉班；阿米尔·普努利；Lenore D.扎克。 4 2007 使用非事务性内存访问对事务性内存进行机械验证。 Zbl 1155.68430号 科恩，阿里尔；阿米尔·普努利；Lenore D.扎克。 三 2008 模块化排名抽象。 Zbl 1109.68062号 伊塔·巴拉班；阿米尔·普努利；Lenore D.扎克。 2 2007 概率自由选择的自动验证。 Zbl 1057.68644号 祖克，莱诺；阿米尔·普努利；尤尼特·凯斯滕 2 2002 令人费解的排名。 兹比尔1126.68474 方，易；尼尔·皮特曼；阿米尔·普努利；祖克，莱诺 2 2004 IIV：一个不可见的不变验证器。 Zbl 1081.68603号 伊塔·巴拉班；方，易；阿米尔·普努利；Lenore D.扎克。 2 2005 验证、模型检查和抽象解释。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。 Zbl 1134.68006号 2 2008 循环转换的转换和运行时验证。 Zbl 1083.68555号 祖克，莱诺；阿米尔·普努利；本杰明·戈德伯格；克拉克·巴雷特；方，易；胡，英 1 2005 监控非现成组件。 Zbl 1176.68129号 西斯特拉·A·普拉萨德；周敏；Lenore D.扎克。 1 2006 借助参数化系统进行模型检查和抽象。 兹比尔1022.68580 阿米尔·普努利；祖克，莱诺 1 2003 并行化符号组合模型检查算法。 Zbl 1325.68146号 科恩，阿里尔；Kedar S.Namjoshi。；亚尼夫·萨阿尔；Lenore D.扎克。；卡提亚·基西奥娃。 1 2011 推理容错分布式系统中的不确定性。 Zbl 0661.68101号 迈克尔·菲舍尔。；Lenore D.扎克。 1 1988 从验证到优化。 Zbl 1432.68067号 Gjomemo，参宿七；Kedar S.Namjoshi。；Phung、Phu H。；Venkatakrishnan，V.N.公司。；Lenore D.扎克。 1 2015 不可见不变量的生动性。 Zbl 1225.68114号 方，易；肯尼思·麦克米兰。；阿米尔·普努利；Lenore D.扎克。 1 2006 从模型检查到部分模型的时间证明。 Zbl 1420.68118号 安娜·伯纳斯科尼；克劳迪奥·蒙吉；鲍拉·斯波莱蒂尼；Lenore D.扎克。；卡洛·盖齐 8 2017 从验证到优化。 Zbl 1432.68067号 Gjomemo，参宿七；Kedar S.Namjoshi。；Phung、Phu H。；Venkatakrishnan，V.N.公司。；Lenore D.扎克。 1 2015 并行化符号组合模型检查算法。 Zbl 1325.68146号 科恩，阿里尔；Kedar S.Namjoshi。；Sa&rsquo；亚尼夫·阿尔；Lenore D.扎克。；卡提亚·基西奥娃。 1 2011 使用非事务性内存访问对事务性内存进行机械验证。 Zbl 1155.68430号 科恩，阿里尔；阿米尔·普努利；Lenore D.扎克。 三 2008 验证、模型检查和抽象解释。2008年1月7日至9日，第九届国际会议，VMCAI 2008，美国旧金山。诉讼程序。 Zbl 1134.68006号 2 2008 单亲堆的形状分析。 兹比尔1132.68346 伊塔·巴拉班；阿米尔·普努利；Lenore D.扎克。 4 2007 模块化排名抽象。 Zbl 1109.68062号 伊塔·巴拉班；阿米尔·普努利；Lenore D.扎克。 2 2007 监控非现成组件。 Zbl 1176.68129号 西斯特拉·A·普拉萨德；周敏；Lenore D.扎克。 1 2006 不可见不变量的生动性。 Zbl 1225.68114号 方，易；肯尼思·麦克米兰。；阿米尔·普努利；Lenore D.扎克。 1 2006 TVOC：用于优化编译器的翻译验证器。 Zbl 1081.68606号 克拉克·巴雷特；方，易；本杰明·戈德伯格；胡，英；阿米尔·普努利；祖克，莱诺 10 2005 通过谓词抽象进行形状分析。 Zbl 1111.68396号 伊塔·巴拉班；阿米尔·普努利；Lenore D.扎克。 8 2005 微码向后兼容性的形式验证。 Zbl 1081.68602号 塔马拉·阿隆斯；Elster，Elad公司；菲克斯，利莫；塞拉州马多尔·海姆；迈克尔·米沙利；乔纳森·沙列夫；伊莱·辛格曼；安德烈亚斯·蒂梅耶；莫舍·瓦尔迪。；Lenore D.扎克。 4 2005 IIV：一个不可见的不变验证器。 Zbl 1081.68603号 伊塔·巴拉班；方，易；阿米尔·普努利；Lenore D.扎克。 2 2005 循环转换的转换和运行时验证。 Zbl 1083.68555号 祖克，莱诺；阿米尔·普努利；本杰明·戈德伯格；克拉克·巴雷特；方，易；胡，英 1 2005 借助参数化系统进行模型检查和抽象（调查）。 兹比尔1072.68069 祖克，莱诺；阿米尔·普努利 11 2004 具有无形排名的活力。 Zbl 1202.68248号 方，易；尼尔·皮特曼；阿米尔·普努利；祖克，莱诺 4 2004 令人费解的排名。 Zbl 1126.68474号 方，易；尼尔·皮特曼；阿米尔·普努利；祖克，莱诺 2 2004 通过概率抽象进行参数化验证。 Zbl 1029.68104号 塔马拉·阿隆斯；阿米尔·普努利；祖克，莱诺 8 2003 借助参数化系统进行模型检查和抽象。 兹比尔1022.68580 阿米尔·普努利；祖克，莱诺 1 2003 使用\（{（0,1，\infty）}\）-计数器抽象的活力。 Zbl 1010.68095号 阿米尔·普努利；徐，杰西；祖克，莱诺 20 2002 网络不变量的作用。 兹比尔1012.68131 尤尼特·凯斯滕；阿米尔·普努利；伊拉德·沙哈尔；祖克，莱诺 5 2002 概率自由选择的自动验证。 Zbl 1057.68644号 祖克，莱诺；阿米尔·普努利；尤尼特·凯斯滕 2 2002 使用不可见不变量进行自动演绎验证。 Zbl 0978.68539号 阿米尔·普努利；西瓦尼特·鲁阿；祖克，莱诺 25 2001 自动计算归纳断言的参数化验证。 Zbl 0991.68541号 塔马拉·阿隆斯；阿米尔·普努利；西瓦尼特·鲁阿；徐，英；祖克，莱诺 18 2001 从伪造到验证。 Zbl 1052.68086号 多龙·贝利德；阿米尔·普努利；祖克，莱诺 11 2001 从模型检查到时间证明。 Zbl 0985.68030号 多龙·贝利德；祖克，莱诺 5 2001 概率验证。 Zbl 0797.68112号 阿米尔·普努利；Lenore D.扎克。 14 1993 受限时间逻辑中的推理。 Zbl 0771.03007号 西斯特拉·A·普拉萨德；Lenore D.扎克。 6 1993 一点知识会大有帮助：基于知识的推导和一系列协议的正确性证明。 Zbl 0799.68024号 约瑟夫·霍尔珀（Joseph Y.Halpern）。；Lenore D.扎克。 19 1992 推理容错分布式系统中的不确定性。 Zbl 0661.68101号 迈克尔·菲舍尔。；Lenore D.扎克。 1 1988 多进程概率协议的验证。 Zbl 0598.68019号 阿米尔·普努利；祖克，莱诺 22 1986 过去的荣耀。 Zbl 0586.68028号 奥尔纳·利希滕斯坦；阿米尔·普努利；祖克，莱诺 80 1985 所有引用出版物 前5名被引用出版物 全部的 前5名434位作者引用 13 阿米尔·普努利 10 莫西·亚亚科夫·瓦尔迪 9 亚历山德罗·西马蒂 8 克里斯特尔·拜尔 7 帕罗什·阿齐兹·阿卜杜拉 7 奥尔纳·库普弗曼 7 斯特凡诺·托内塔 7 Lenore D.扎克。 6 哈维尔·埃斯帕尔扎 5 艾哈迈德·博阿贾尼 5 Joseph Yehuda Halpern 5 伊戈尔·康诺夫（Igor V.Konnov）。 5 艾哈迈德·雷兹 5 约瑟夫·西法基斯 5 约瑟夫·威德 4 马里乌斯·博兹加 4 乔治·德尔扎诺 4 迈克尔·费希尔 4 卢卡·盖蒂 4 尼古拉·吉甘特 4 阿尔贝托·格里乔 4 托马斯·亨辛格（Thomas A.Henzinger）。 4 拉杜·奥西夫 4 Joost-Pieter卡托恩 4 肯尼思·麦克米兰。 4 克劳迪奥·蒙吉 4 Angelo蒙塔纳里 4 Kedar S.Namjoshi。 4 马克·亚历山大·雷诺兹 4 赫尔穆特·维思 三 David A.Basin。 三 Nathalie Bertrand 三 帕特里夏·鲍耶 三 达纳·菲斯曼 三 尤尼特·凯斯滕 三 费利克斯·克莱特克 三 Marta Z.Kwiatkowska。 三 玛丽亚娜·拉齐奇 三 佐哈尔·曼纳 三 本·C·莫斯科夫斯基。 三 Doron A.Peled。 三 尼尔·皮特曼 三 弗拉德·鲁苏 三 皮埃尔·伊夫·肖本斯 三 亚历山德拉·席尔瓦 三 汉斯·皮特 三 汤姆·沃纳 2 Andrew I.Adamatzky。 2 伊塔·巴拉班 2 Balasubramanian，A.R。 2 吉尔·巴特 2 萨德克·本萨勒姆 2 安娜·伯纳斯科尼 2 菲利波·邦奇 2 马塞洛·玛丽亚·邦桑格 2 卡德，莫菲 2 克拉克（Edmund Melson jun Clarke）。 2 卢卡·德·阿尔法罗 2 埃里克·P·德文克。 2 罗纳德·费金 2 伯恩德·芬克贝纳 2 Dimitar P.Guelev。 2 拉希德·格拉乌伊 2 彼得·哈贝梅尔 2 弗雷德里克·哈齐扎 2 胡亚伦·J·。 2 本特·琼森 2 本杰明·卢西恩·卡明斯基 2 丹尼尔·科宁 2 拉鲁西尼，弗朗索瓦 2 洛维，加文 2 多雷尔·卢卡努 2 奥德·马勒 2 McIver，Annabelle K。 2 爱丽丝·安·米勒 2 摩西，约拉姆 2 西蒙娜·奥尔赞 2 茨沃尼米尔·拉卡马里奇 2 Jean-François拉斯金 2 米哈伊尔·拉斯金 2 吉安卢卡·雷登迪 2 亚历山德罗·玛丽亚·里齐 2 格里高·罗什乌 2 马可·罗维里 2 简·J·M·M·鲁顿。 2 穆利·萨吉夫 2 阿米尔卡·塞尔纳达斯。 2 斯蒂芬·西格尔（Stephen F.Siegel）。 2 瓦苏·辛格 2 鲍拉·斯波莱蒂尼 2 斯特雷切克，简 2 穆拉利达尔·塔卢普尔 2 理查德·特雷弗（Richard J.Trefler）。 2 Tsay，Yih-Kuen先生 2 范德霍克，威比 2 托马斯·沃尔 2 海克·卫尔海姆 2 Tim A.C.Willemse。 2 尤根·兹利内斯库 2 蒂莫西·齐科尔。 …还有334位作者 全部的 前5名36篇连载文章中引用 25 理论计算机科学 23 系统设计中的形式化方法 17 信息与计算 15 计算的形式方面 15 分布式计算 6 信息学报 5 信息处理信件 5 计算机与系统科学杂志 4 人工智能 4 计算机科学中的逻辑方法 4 程序设计中的逻辑和代数方法杂志 三 ACM计算逻辑汇刊 2 纯逻辑与应用逻辑年鉴 2 自动推理杂志 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 2 应用逻辑杂志 2 计算机科学中的数学 1 国际通用系统杂志 1 混沌、孤子和分形 1 凯伯内特斯 1 Studia Logica公司 1 计算机程序设计科学 1 算法 1 国际计算机科学基础杂志 1 离散事件动态系统 1 应用非经典逻辑杂志 1 中国科学。E系列 1 并行算法与应用 1 美国计算机学会期刊 1 逻辑与代数程序设计杂志 1 应用数学杂志 1 计算机语言、系统和结构 1 理论计算机科学的基础和发展趋势 1 RAIRO公司。理论信息学及其应用 1 计算机科学前沿 全部的 前5名在14个字段中引用 231 计算机科学（68至XX） 97 数学逻辑和基础（03-XX） 4 系统论；控制（93至XX） 4 信息与通信理论、电路（94-XX） 2 概率论与随机过程（60-XX） 2 数值分析（65-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 差分方程和函数方程（39至XX） 1 统计学（62-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文