编辑配置文件（在新选项卡中打开） 哈娜·乔克勒 合著者距离 作者ID： 哈纳（chockler.hana） 发布日期： 哈娜·乔克勒 外部链接： 管理程序 已编制索引的文档： 29出版物自2001年起 4作为编辑的贡献 合著者： 23位合著者具有29联合出版物 796合著作者 全部的 前5名合著者 0 单作者的 9 奥尔纳库普弗曼 8 斯特里赫曼（Ofer Strichman） 5 Joseph Yehuda Halpern 4 莫西·亚亚科夫·瓦尔迪 三 布洛克，罗德里克 三 马苏德·易卜拉希米 三 乔治·威森巴赫 2 保罗·C·阿蒂。 2 啤酒，伊兰 2 肖姆·本·达维德 2 阿里·古芬克尔 2 帕斯卡·凯塞利 2 丹尼尔·科宁 2 阿维盖尔·奥尔尼 2 理查德·特雷弗（Richard J.Trefler）。 2 乌里·兹威克 1 阿列克桑德罗维奇（Aleksandrowicz，Gadi） 1 达拉·阿拉杰 1 马丁·查普曼 1 凯西·菲斯勒 1 奥尔纳·格伦伯格 1 什巴希斯·古哈 1 Dan Gutfreund 1 胡亚伦·J·。 1 亚历山大·伊夫里 1 罗伯特·P·库尔珊（Robert P.Kurshan）。 1 迈克尔·陶奇尼格 1 亚维·亚德加 全部的 前5名系列 7 系统设计中的形式化方法 三 人工智能研究杂志 三 计算机科学课堂讲稿 2 ACM计算逻辑汇刊 1 人工智能 1 信息处理信件 1 理论计算机科学 1 计算复杂性 领域 33 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 4 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用120中的次86文件 引用人▼ 年份▼ 责任与责备：一种结构模型方法。 Zbl 1080.68680号 哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。 28 2004 用因果关系解释反例。 Zbl 1247.68158号 啤酒，伊兰；肖姆·本·达维德；哈娜·乔克勒；阿维盖尔·奥尔尼；理查德·特雷弗勒 12 2012 测试军政府的下限。 Zbl 1178.68668号 哈娜·乔克勒；Dan Gutfreund 11 2004 是什么导致系统满足规范？ Zbl 1367.68185号 哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。；奥尔纳库普弗曼 11 2008 大型并发程序无死锁的有效可验证条件。 Zbl 1111.68495号 保罗·C·阿蒂。；哈娜·乔克勒 8 2005 学习错误语言。 Zbl 1471.68101号 马丁·查普曼；哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman）；迈克尔·陶奇尼格 8 2015 \（\omega\）-正则语言可以通过恒定数量的查询进行测试。 兹比尔1086.68071 哈娜·乔克勒；奥尔纳库普弗曼 6 2004 超越空虚：走向最强的传递公式。 兹比尔1291.68253 哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 6 2013 用因果关系解释反例。 Zbl 1242.68150号 啤酒，伊兰；肖姆·本·达维德；哈娜·乔克勒；阿维盖尔·奥尔尼；理查德·特雷弗勒 5 2009 真空前后。 Zbl 1165.68402号 哈娜·乔克勒；斯特里赫曼（Ofer Strichman） 4 2009 时序逻辑模型检查的覆盖度量。 Zbl 0978.68092号 哈娜·乔克勒；奥尔纳库普弗曼；莫舍·瓦尔迪。 4 2001 模型检查中覆盖的实用方法。 Zbl 0991.68042号 哈娜·乔克勒；奥尔纳库普弗曼；罗伯特·P·库尔珊（Robert P.Kurshan）。；莫舍·瓦尔迪。 三 2001 使用责任制高效自动STE细化。 Zbl 1134.68401号 哈娜·乔克勒；奥尔纳·格伦伯格；亚维·亚德加 三 2008 合成非真空系统。 Zbl 1484.68096号 布洛克，罗德里克；哈娜·乔克勒；马苏德·易卜拉希米；斯特里赫曼（Ofer Strichman） 三 2017 基于结构的因果关系的计算复杂性。 Zbl 1408.68133号 阿列克桑德罗维奇（Aleksandrowicz，Gadi）；哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。；亚历山大·伊夫里 三 2017 时序逻辑模型检查的覆盖度量。 兹比尔1105.68075 哈娜·乔克勒；奥尔纳库普弗曼；莫舍·瓦尔迪。 三 2006 学习软件错误的语言。 Zbl 1437.68071号 哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 三 2020 哪些基础允许公式的非平凡收缩？ Zbl 0988.06009 哈娜·乔克勒；乌里·兹威克 2 2001 “什么导致系统满足规范？”的勘误表。 Zbl 1370.68197号 哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。；奥尔纳库普弗曼 2 2010 用于正式验证的覆盖度量。 Zbl 1179.68080号 哈娜·乔克勒；奥尔纳库普弗曼；莫舍·瓦尔迪。 2 2003 LTL查询检查的变体。 Zbl 1325.68144号 哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 2 2011 计算机辅助验证。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。 Zbl 1391.68002号 2 2018 计算机辅助验证。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分。 Zbl 1391.68003号 2 2018 结合专家的因果判断。 Zbl 1504.68186号 达拉·阿拉杰；哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。 1 2020 学习软件错误的语言。 Zbl 1437.68071号 哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman） 三 2020 结合专家的因果判断。 Zbl 1504.68186号 达拉·阿拉杰；哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。 1 2020 计算机辅助验证。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。 Zbl 1391.68002号 2 2018 计算机辅助验证。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分。 兹比尔1391.68003 2 2018 合成非真空系统。 Zbl 1484.68096号 布洛克，罗德里克；哈娜·乔克勒；马苏德·易卜拉希米；斯特里赫曼（Ofer Strichman） 三 2017 基于结构的因果关系的计算复杂性。 Zbl 1408.68133号 阿列克桑德罗维奇（Aleksandrowicz，Gadi）；哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。；亚历山大·伊夫里 三 2017 学习错误语言。 Zbl 1471.68101号 马丁·查普曼；哈娜·乔克勒；帕斯卡·凯塞利；丹尼尔·克罗宁；斯特里赫曼（Ofer Strichman）；迈克尔·陶奇尼格 8 2015 超越空虚：走向最强的传递公式。 兹比尔1291.68253 哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 6 2013 用因果关系解释反例。 Zbl 1247.68158号 啤酒，伊兰；肖姆·本·达维德；哈娜·乔克勒；阿维盖尔·奥尔尼；理查德·特雷弗勒 12 2012 LTL查询检查的变体。 Zbl 1325.68144号 哈娜·乔克勒；阿里·古芬克尔；斯特里赫曼（Ofer Strichman） 2 2011 “什么导致系统满足规范？”的勘误表。 Zbl 1370.68197号 哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。；奥尔纳库普弗曼 2 2010 用因果关系解释反例。 Zbl 1242.68150号 啤酒，伊兰；肖姆·本·达维德；哈娜·乔克勒；阿维盖尔·奥尔尼；理查德·特雷弗勒 5 2009 真空前后。 Zbl 1165.68402号 哈娜·乔克勒；斯特里赫曼（Ofer Strichman） 4 2009 是什么导致系统满足规范？ Zbl 1367.68185号 哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。；奥尔纳库普弗曼 11 2008 使用责任制高效自动STE细化。 Zbl 1134.68401号 哈娜·乔克勒；奥尔纳·格伦伯格；亚维·亚德加 三 2008 时序逻辑模型检查的覆盖度量。 兹比尔1105.68075 哈娜·乔克勒；奥尔纳库普弗曼；莫舍·瓦尔迪。 三 2006 大型并发程序无死锁的有效可验证条件。 Zbl 1111.68495号 保罗·C·阿蒂。；哈娜·乔克勒 8 2005 责任与责备：一种结构模型方法。 Zbl 1080.68680号 哈娜·乔克勒；约瑟夫·霍尔珀（Joseph Y.Halpern）。 28 2004 测试军政府的下限。 Zbl 1178.68668号 哈娜·乔克勒；Dan Gutfreund 11 2004 \（\omega\）-正则语言可以通过恒定数量的查询进行测试。 Zbl 1086.68071号 哈娜·乔克勒；奥尔纳库普弗曼 6 2004 用于正式验证的覆盖度量。 Zbl 1179.68080号 哈娜·乔克勒；奥尔纳库普弗曼；莫舍·瓦尔迪。 2 2003 时序逻辑模型检查的覆盖度量。 Zbl 0978.68092号 哈娜·乔克勒；奥尔纳库普弗曼；莫舍·瓦尔迪。 4 2001 模型检查中覆盖的实用方法。 Zbl 0991.68042号 哈娜·乔克勒；奥尔纳库普弗曼；罗伯特·P·库尔珊（Robert P.Kurshan）。；莫舍·瓦尔迪。 三 2001 哪些基础允许公式的非平凡收缩？ Zbl 0988.06009 哈娜·乔克勒；乌里·兹威克 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名171位作者引用 9 哈娜·乔克勒 5 达纳·菲斯曼 5 斯特里赫曼（Ofer Strichman） 4 克里斯特尔·拜尔 4 利奥波多·贝尔托西。 4 雅各布皮里鲍尔 4 罗宾·齐梅克 三 布洛克，罗德里克 三 马苏德·易卜拉希米 三 哈达尔·弗兰克尔 三 弗洛里安·芬克 三 查尔斯·乔丹 三 奥尔纳库普弗曼 三 米拉·塞德尔巴姆少校。 三 穆克甸 三 托马斯·齐格曼 2 达纳·安格鲁因 2 佩德罗·安东尼诺 2 保罗·C·阿蒂。 2 肖姆·本·达维德 2 陈玉芳 2 科宁，诺琳 2 伯恩德·芬克贝纳 2 托马斯·吉布森·罗宾逊 2 格雷戈·格勒 2 克里斯托弗·哈恩 2 西尔万·霍尔 2 西蒙·扬奇 2 托比亚斯·卡佩 2 李勇 2 刘德鹏 2 莫里茨·马滕斯 2 Niklas O.Metzger。 2 安德鲁·威廉·罗斯科 2 克里斯汀·伊冯·罗泽尔 2 巴巴克·萨利米 2 维克多·舒潘 2 朱利安·西伯 2 亚历山德拉·席尔瓦 2 莫西·亚亚科夫·瓦尔迪 2 张丽君 1 艾丽卡·阿尔布拉汉姆 1 艾索尔德·阿德勒 1 阿夫尼，盖伊 1 JiříBarnat 1 彼得·鲍赫 1 贝恩德·贝克尔 1 亚历克西斯·贝达德 1 啤酒，伊兰 1 尼古拉·贝内什 1 简·伯兰 1 拉纳德普·比斯沃斯 1 乌迪·博克 1 Jean-François Bonnefon 1 艾哈迈德·博阿贾尼 1 劳拉·博泽利 1 马修·布拉姆 1 卢博什·布里姆 1 保罗·布鲁内特 1 安东尼奥·阿纳斯塔西奥·布鲁托·达·科斯塔 1 蔡志鹏 1 陈瑞文 1 陈志远 1 牧场克利夫兰 1 科普提，费迪 1 卡米尔·科蒂 1 Da Silva Neves，鲁伊 1 雷蒙·达赫塞特 1 Thao Dang先生 1 帕拉布·达斯古普塔 1 梅迪·达斯坦尼（Mehdi M.Dastani）。 1 米歇尔·德·罗杰蒙特 1 希切姆·黛比 1 克里斯蒂安·德内特 1 丁毅文 1 迪迪埃·杜布瓦 1 克莱门斯，杜布拉夫 1 罗希特·杜雷加 1 托马斯·艾特 1 康斯坦丁埃纳 1 穆罕默德·埃拉迪 1 尼尔斯·弗利什哈克 1 奥尔纳·格伦伯格 1 什巴希斯·古哈 1 阿里·古芬克尔 1 朱利安·古铁雷斯 1 Joseph Yehuda Halpern 1 弗雷德里克·哈瓦特 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 曼弗雷德·霍勒。 1 汤姆·霍拉克 1 海克尔·霍斯尼 1 黄洪涛 1 黄绍斌 1 杰西·休斯 1 安德烈亚斯·胡尔辛 1 杜利古尔·伊贝林 1 托马斯·伊卡德三世 1 尼尔斯·詹森 1 娜塔莎·约加南达·杰普 …还有71位作者 全部的 前5名21篇连载文章中引用 14 系统设计中的形式化方法 5 人工智能 5 理论计算机科学 三 信息与计算 三 国际近似推理杂志 三 计算机科学中的逻辑方法 2 计算 2 计算的形式方面 2 符号逻辑述评 2 程序设计中的逻辑和代数方法杂志 1 数学笔记 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 计算机程序设计科学 1 计算机科学与技术杂志 1 算法 1 人工智能研究杂志 1 计算系统理论 1 埃尔肯特尼斯 1 非线性分析。混合动力系统 1 开放数学 全部的 前5名11个领域引用 79 计算机科学（68至XX） 26 数学逻辑和基础（03-XX） 三 概率论与随机过程（60-XX） 三 系统论；控制（93至XX） 三 信息与通信理论、电路（94-XX） 2 统计学（62-XX） 1 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文