编辑配置文件(在新选项卡中打开) 莎朗·巴纳 合著者距离 作者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号 莎朗·巴纳;Ishai Rabinovitz 1 2003 结合对称约简和欠近似进行符号模型检查。 Zbl 1085.68086号 莎朗·巴纳;奥尔纳·格伦伯格 2 2005 使用部分析取分区对软件进行有效的符号模型检查。 Zbl 1179.68077号 莎朗·巴纳;Ishai Rabinovitz 1 2003 结合对称约简和欠近似进行符号模型检查。 Zbl 1010.68510号 莎朗·巴纳;奥尔纳·格伦伯格 三 2002 通过重建分层和回溯减少符号定位。 Zbl 1010.68517号 莎朗·巴纳;丹尼尔·盖斯特;安娜·格林加泽 2 2002 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 1 杰拉德·巴斯勒 1 吉安弗兰科·西亚多 1 达姆,丹尼斯·雷内 1 Dimarogonas,Dimos V。 1 奥尔纳·格伦伯格 1 丹尼尔·科宁 1 Michael Leuschel先生 1 杰拉尔德·吕特根 1 蒂埃里·雅克·马萨特 1 阿里·马茨利亚 1 米歇尔·马祖奇 1 皮埃尔·让·迈耶 1 安德鲁·米纳(Andrew S.Miner)。 1 蒂伦·帕特尔 1 凯文·帕特尔 1 佩特尔,里马 1 斯特里赫曼(Ofer Strichman) 1 托马斯·瓦尔 5篇连载文章中引用 2 系统设计中的形式化方法 1 信息与计算 1 数学与人工智能年鉴 1 计算机语言、系统和结构 1 非线性分析。混合动力系统 在3个字段中引用 7 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的引文