编辑配置文件（在新选项卡中打开） 莎伦·巴纳 合著者距离 作者ID： 巴纳·沙龙 发布日期： 莎伦·巴纳 已编制索引的文档： 6出版物自2002年起 1名编辑贡献 合著者： 10位合著者具有7联合出版物 205位合作作者 全部的 前5名合著者 0 单作者的 2 安娜·格林加泽 2 奥尔纳·格伦伯格 2 Ishai Rabinovitz 1 肖姆·本·达维德 1 丹尼尔·盖斯特 1 兹夫·格拉兹堡 1 丹尼尔·科宁 1 奥纳·拉兹 1 巴鲁克·斯特林 1 Wolfsthal，纱线 系列 1 系统设计中的形式化方法 1 计算机科学课堂讲稿 领域 7 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用8中的次8文件 引用人▼ 年份▼ 结合对称约简和欠近似进行符号模型检查。 Zbl 1010.68510号 莎伦·巴纳；奥尔纳·格伦伯格 三 2002 结合对称约简和欠近似进行符号模型检查。 Zbl 1085.68086号 莎伦·巴纳；奥尔纳·格伦伯格 2 2005 通过重建分层和回溯减少符号定位。 Zbl 1010.68517号 莎伦·巴纳；丹尼尔·盖斯特；安娜·格林加泽 2 2002 使用部分析取分区对软件进行有效的符号模型检查。 Zbl 1179.68077号 莎伦·巴纳；拉宾诺维茨，伊沙伊 1 2003 结合对称约简和欠近似进行符号模型检查。 Zbl 1085.68086号 莎伦·巴纳；奥尔纳·格伦伯格 2 2005 使用部分析取分区对软件进行有效的符号模型检查。 Zbl 1179.68077号 莎伦·巴纳；Ishai Rabinovitz 1 2003 结合对称约简和欠近似进行符号模型检查。 Zbl 1010.68510号 莎伦·巴纳；奥尔纳·格伦伯格 三 2002 通过重建分层和回溯减少符号定位。 兹比尔1010.68517 莎伦·巴纳；丹尼尔·盖斯特；安娜·格林加泽 2 2002 所有引用的出版物 前5名被引用出版物 全部的 前5名18位作者引用 1 杰拉德·巴斯勒 1 吉安弗兰科·西亚多 1 达姆，丹尼斯·雷内 1 迪马罗戈纳斯，迪莫斯五世。 1 奥尔纳·格伦伯格 1 丹尼尔·科宁 1 Michael Leuschel先生 1 杰拉尔德·吕特根 1 蒂埃里·雅克·马萨特 1 阿里·马茨利亚 1 米歇尔，马祖奇 1 皮尔雷·梅耶（Pierre-Jean Meyer） 1 安德鲁·米纳（Andrew S.Miner）。 1 Patel，迪伦 1 凯文·帕特尔 1 帕特尔，瑞玛 1 斯特里赫曼（Ofer Strichman） 1 托马斯·沃尔 5篇连载文章中引用 2 系统设计中的形式化方法 1 信息与计算 1 数学与人工智能年鉴 1 计算机语言、系统和结构 1 非线性分析。混合动力系统 在3个字段中引用 7 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文