编辑配置文件(在新选项卡中打开) 奥尔纳·格伦伯格 合著者距离 作者ID: 格鲁伯格·奥尔纳 发布日期: 奥尔纳·格伦伯格;O·格伦伯格。;O·格伦伯格。;奥尔纳·格伦伯格 更多。。。较少的 外部链接: 管理程序·维基数据·数据库许可证·接地·ID参考 已编制索引的文档: 99出版物自1984年以来,包括1本书 9作为编辑的贡献 合著者: 75位合著者具有102联合出版物 1540合作作者 全部的 前5名合著者 6 单作者的 17 沙龙·肖姆 14 克拉克(Edmund Melson jun Clarke)。 11 阿萨夫·舒斯特 10 尼西姆·弗朗西兹 8 泰米尔·海曼 8 奥尔纳·库普弗曼 8 莎莱·申瓦尔德 6 菲克斯,利莫 6 Shmuel Katz 5 多龙·布斯坦 5 赫尔穆特·维思 4 罗伯特·P·库尔珊(Robert P.Kurshan)。 4 科琳娜·s·佩斯勒诺。 4 亚维·亚德加 三 卡拉姆Abd Elkader 三 迈克尔·C·布朗。 三 哈达尔·弗兰克尔 三 耶尔·梅勒 三 巴特·陈·罗森伯格 三 Karen约拉夫 2 莎伦·巴纳 2 卢博什·布里姆 2 阿隆·弗莱舍 2 丹尼·盖斯特 2 希曼舒·杰恩 2 Jha,萨默什 2 丹尼尔·科宁 2 马丁·兰格 2 Leucker,马丁 2 卢、袁 2 Doron A.Peled。 2 兰·里纳特 2 吉尔·舒雷克 2 莫西·亚亚科夫·瓦尔迪 1 罗伊·阿莫尼 1 保罗·C·阿蒂。 1 萨加·查基 1 亚历山德罗·西马蒂 1 达姆,丹尼斯·雷内 1 德莱恩,哈纳 1 哈维尔·埃斯帕尔扎 1 高思春 1 奥哈德·古兹米德 1 阿蒙·海曼 1 迈克尔·R·A·胡特。 1 尼利·伊弗根 1 迈克尔·卡明斯基 1 萨吉·卡茨 1 卡捷琳娜·科伦布拉特 1 弗拉维奥·勒尔达 1 利夫内,S。 1 约翰·安德烈亚斯·马科夫斯基 1 肖尔·马科维奇 1 马吕斯·米娜 1 赤裸裸地,加比 1 罗特姆·奥斯曼 1 乔尔·欧·瓦克宁。 1 尼尔·皮特曼 1 阿米尔·普努利 1 Ishai Rabinovitz 1 丹·拉辛 1 娜塔莎·莎莉吉娜 1 阿迪·索斯诺维奇 1 贝恩德扳手 1 斯特里赫曼(Ofer Strichman) 1 穆拉利达尔·塔卢普尔 1 迈克尔·西奥博尔德 1 安德烈亚斯·蒂梅耶 1 泰瑟·图利 1 安娜·特罗斯塔涅茨基 1 雷切尔·索雷夫 1 亚基尔·维泽尔 1 王栋(Wang,Dong) 1 Shuly Wintner公司 1 保罗·祖利亚尼 全部的 前5名系列 9 系统设计中的形式化方法 8 信息与计算 4 逻辑与计算杂志 4 计算机科学课堂讲稿 三 理论计算机科学电子笔记 2 计算机与系统科学杂志 2 理论计算机科学 2 ACM计算逻辑汇刊 1 信息和控制 1 自动推理杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 分布式计算 1 人工智能研究杂志 1 美国计算机学会期刊 1 逻辑与代数程序设计杂志 1 北约和平与安全科学系列D:信息与通信安全 1 网络物理系统系列 全部的 前5名领域 105 计算机科学(68至XX) 32 数学逻辑和基础(03-XX) 9 总体主题;集合(00-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 数论(11-XX) 2 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 88出版物有被引用905中的次697文件 引用人▼ 年份▼ 反例引导的抽象细化。 Zbl 0974.68517号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha,萨默什;卢、袁;赫尔穆特·维思 166 2000 用于符号模型检查的反例引导抽象细化。 Zbl 1325.68145号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha,萨默什;卢、袁;赫尔穆特·维思 124 2003 模型检查。第二次扩展和更新版。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 描述命题时序逻辑中有限Kripke结构的特征。 Zbl 0677.03011号 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 69 1988 模型检查。 Zbl 0847.68063号 E.克拉克。;O·格伦伯格。;龙,D。 40 1996 关于具有许多相同有限状态过程的网络的推理。 兹比尔0709.68610 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 29 1989 无限字母表上的变量自动机。 Zbl 1284.68352号 奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 20 2010 使用偏序技术的状态空间约简。 兹比尔1065.68506 E.M.克拉克。;O·格伦伯格。;米娜,M。;D.贝利德。 18 1999 公平终止保护命令的证明规则。 Zbl 0577.68022号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;约翰·马考斯基(Johann A.Makowsky)。 18 1985 CTL的单调抽象重定义。 Zbl 1126.68487号 沙龙·肖姆;奥尔纳·格伦伯格 17 2004 25年的模型检查。历史、成就、观点。 兹比尔1139.68003 17 2008 线性时序逻辑中增强的空虚检测。 Zbl 1278.68153号 罗伊·阿莫尼;菲克斯,利莫;阿隆·弗莱舍;奥尔纳·格伦伯格;尼尔·皮特曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。 15 2003 经常出现真空。 Zbl 1159.68311号 多龙·布斯坦;阿隆·弗莱舍;奥尔纳·格伦伯格;奥尔纳·库普弗曼;莫舍·瓦尔迪。 14 2005 一个基于游戏的CTL反例和3值抽象重定义框架。 Zbl 1278.68195号 沙龙·肖姆;奥尔纳·格伦伯格 13 2003 基于仿真的最小化。 Zbl 1365.68319号 多龙·布斯坦;奥尔纳·格伦伯格 12 2003 在\(\mu\)-演算中不知道。 Zbl 1112.68090号 奥尔纳·格伦伯格;马丁·兰格;Leucker,马丁;沙龙·肖姆 11 2005 不输胜于赢:完整微积分的抽象和精化。 兹比尔1306.68100 奥尔纳·格伦伯格;马丁·兰格;Leucker,马丁;沙龙·肖姆 10 2007 描述时间逻辑中克里普克结构的特征。 Zbl 0626.03019号 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 9 1987 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1155.68439号 希曼舒·杰恩;埃德蒙·克拉克;奥尔纳·格伦伯格 9 2008 多党互动中的公平与超公平。 Zbl 0797.68100号 保罗·C·阿蒂。;尼西姆·弗朗西兹;奥尔纳·格伦伯格 8 1993 保持时序逻辑的状态空间约简的静态分析。 Zbl 1073.68055号 凯伦·约拉夫;奥尔纳·格伦伯格 7 2004 抽象和抽象细化。 Zbl 1392.68244号 亲爱的,丹尼斯;奥尔纳·格伦伯格 7 2018 基于仿真的最小化。 Zbl 0963.68110号 多龙·布斯坦;奥尔纳·格伦伯格 7 2000 “我写的属性够多了吗?”——一种比较规范和实现的方法。 Zbl 0957.68069号 萨吉·卡茨;奥尔纳·格伦伯格 7 1999 一个基于游戏的CTL反例和3值抽象重定义框架。 Zbl 1367.68203号 沙龙·肖姆;奥尔纳·格伦伯格 7 2007 多值模型检验游戏。 Zbl 1170.68527号 沙龙·肖姆;奥尔纳·格伦伯格 6 2005 多值模型检验博弈。 Zbl 1257.68105号 沙龙·肖姆;奥尔纳·格伦伯格 6 2012 三值抽象:更精确,成本更低。 Zbl 1169.68028号 沙龙·肖姆;奥尔纳·格伦伯格 6 2008 符号轨迹评估的自动精化和真空度检测。 Zbl 1188.68199号 Tzoref,雷切尔;奥尔纳·格伦伯格 5 2006 一种用于超大规模电路可达性分析的可扩展并行算法。 Zbl 1020.68107号 泰米尔·海曼;丹尼·盖斯特;奥尔纳·格伦伯格;阿萨夫·舒斯特 5 2002 实现超大电路并行可达性分析的可扩展性。 Zbl 0974.68547号 泰米尔·海曼;丹尼·盖斯特;奥尔纳·格伦伯格;阿萨夫·舒斯特 5 2000 两种有限状态并发系统验证方法的综合。 Zbl 0688.68019号 E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 5 1989 买一送一!!! Zbl 0857.03009号 奥尔纳·库普弗曼;奥尔纳·格伦伯格 5 1996 使用插值进行前向-后向可达性分析。 Zbl 1381.68184号 亚基尔·维泽尔;奥尔纳·格伦伯格;沙龙·肖姆 5 2013 合成验证和3值抽象结合在一起。 Zbl 1211.68256号 沙龙·肖姆;奥尔纳·格伦伯格 5 2007 多进程系统的验证引导欠近似加宽。 Zbl 1369.68259号 奥尔纳·格伦伯格;弗拉维奥·勒尔达;斯特里赫曼(Ofer Strichman);迈克尔·西奥博尔德 5 2005 时间特性验证。 Zbl 0851.68070号 菲克斯,利莫;奥尔纳·格伦伯格 4 1996 用于构建和分析系统的工具和算法。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。 Zbl 1116.68006号 4 2007 一种有效的可达性分析分布式算法。 Zbl 1278.68174号 奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 4 2003 证明Prolog程序的终止。 Zbl 0577.68023号 尼西姆·弗朗西兹;奥尔纳·格伦伯格;Shmuel Katz;阿米尔·普努利 4 1985 程序组成和模块化验证。 Zbl 0769.68093号 菲克斯,利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 4 1991 并发程序的有界模型检查。 Zbl 1081.68633号 Ishai Rabinovitz;奥尔纳·格伦伯格 4 2005 分支时间规范的状态/事件软件验证。 Zbl 1137.68432号 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 4 2005 具有N路分解和字母细化的自动循环假设保证推理。 Zbl 1411.68056号 卡拉姆Abd Elkader;奥尔纳·格伦伯格;科琳娜·s·佩斯勒诺。;沙龙·肖姆 4 2016 多属性的组合模型检查。 Zbl 1472.68089号 奥哈德·古兹米德;奥尔纳·格伦伯格;莎莱·申瓦尔德 三 2021 承担、保证或修理。 Zbl 1507.68186号 哈达尔·弗兰克尔;奥尔纳·格伦伯格;科琳娜·帕萨雷努;莎莱·申瓦尔德 三 2020 一种有效的可达性分析分布式算法。 Zbl 1110.68075号 奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 三 2006 模型检查中的抽象和细化。 Zbl 1196.68138号 奥尔纳·格伦伯格 三 2006 用于\(\mu\)-演算的分布式符号模型检查。 Zbl 0996.68106号 奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 三 2001 结合对称约简和欠近似进行符号模型检查。 Zbl 1010.68510号 莎伦·巴纳;奥尔纳·格伦伯格 三 2002 组合验证和三值抽象结合在一起。 Zbl 1191.68416号 沙龙·肖姆;奥尔纳·格伦伯格 三 2010 一种关于参数化系统和规范的自动机理论推理方法。 Zbl 1410.68228号 奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 三 2013 使用责任制高效自动STE细化。 Zbl 1134.68401号 哈娜·乔克勒;奥尔纳·格伦伯格;亚维·亚德加 三 2008 结合对称约简和欠近似进行符号模型检查。 Zbl 1085.68086号 莎伦·巴纳;奥尔纳·格伦伯格 2 2005 内存高效的全解SAT求解器及其在可达性分析中的应用。 Zbl 1117.68429号 奥尔纳·格伦伯格;阿萨夫·舒斯特;亚维·亚德加 2 2004 通过异步计算实现分布式符号可达性分析的加速。 兹比尔1159.68322 奥尔纳·格伦伯格;泰米尔·海曼;尼利·伊弗根;阿萨夫·舒斯特 2 2005 通过统一进行程序合成。 Zbl 0822.68061号 菲克斯,利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 2 1994 公平终止的完整规则。 Zbl 0612.68021号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 2 1986 分支时间时序逻辑和树自动机。 Zbl 0853.68133号 奥尔纳·库普弗曼;奥尔纳·格伦伯格 2 1996 学习在验证中排序BDD变量。 Zbl 1045.68092号 O·格伦伯格。;利夫内,S。;马尔科维奇,S。 2 2003 作为第二届联邦逻辑会议(FLoC’99)的一部分,第一届符号模型检查国际研讨会(SMC’99年)会议记录。意大利特伦托,1999年7月6日。 Zbl 0920.00044号 2 1999 使用参数化原子命题的模型检查系统和规范。 Zbl 1374.68288号 奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 2 2012 使谓词抽象高效:如何消除冗余谓词。 Zbl 1278.68163号 埃德蒙·克拉克;奥尔纳·格伦伯格;穆拉利达尔·塔卢普尔;王栋(Wang,Dong) 2 2003 模型检查中的2值和3值抽象重定义。 Zbl 1214.68212号 奥尔纳·格伦伯格 2 2010 通过抽象再定义对多值系统进行组合验证的框架。 兹比尔1262.68127 耶尔·梅勒;奥尔纳·格伦伯格;沙龙·肖姆 2 2009 强公平终止的完整证明规则。 Zbl 0558.68013号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 2 1984 模拟数据参数化系统的游戏理论方法。 Zbl 1448.68300号 奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 2 2014 无垠的树木、标记和良好的基础。 Zbl 0659.68021号 兰·里纳特;尼西姆·弗朗西兹;奥尔纳·格伦伯格 2 1988 分支时间逻辑有界模型检验的一种新方法。 Zbl 1141.68482号 罗特姆·奥斯曼;奥尔纳·格伦伯格 2 2007 STE的3值电路SAT,具有自动细化功能。 Zbl 1141.68467号 奥尔纳·格伦伯格;阿萨夫·舒斯特;亚维·亚德加 2 2007 两种有限状态并发系统验证方法的综合。 Zbl 0782.68078号 E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 2 1992 自动循环假设保证推理。 Zbl 1427.68194号 卡拉姆·阿布德·埃尔卡德;奥尔纳·格伦伯格;科琳娜·s·佩斯勒诺。;沙龙·肖姆 2 2015 健全完整的基于变异的程序修复。 Zbl 1427.68052号 巴特·陈·罗森伯格;奥尔纳·格伦伯格 2 2016 程序修复必须进行故障定位。 Zbl 1478.68058号 巴特·陈·罗森伯格;奥尔纳·格伦伯格 2 2020 程序版本语义差异的模块化需求驱动分析。 Zbl 1420.68076号 安娜·特罗斯塔涅茨基;奥尔纳·格伦伯格;丹尼尔·克罗宁 2 2017 一种自动机理论方法,用于无限数据域上的模型检查系统和规范。 Zbl 1468.68128号 哈达尔·弗兰克尔;奥尔纳·格伦伯格;莎莱·申瓦尔德 2 2019 计算机辅助验证。第九届国际会议,CAV’97,以色列海法,1997年6月22日至25日。诉讼程序。 Zbl 1524.68004号 1 1997 用于\(\mu\)-演算的分布式符号模型检查。 Zbl 1083.68069号 奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 1 2005 公平模拟的适用性。 Zbl 1070.68089号 多龙·布斯坦;奥尔纳·格伦伯格 1 2004 公平模拟的适用性。 Zbl 1043.68567号 多龙·布斯坦;奥尔纳·格伦伯格 1 2002 翻译模型和规范的框架。 Zbl 1057.68628号 Shmuel Katz;奥尔纳·格伦伯格 1 2002 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1186.68013号 希曼舒·杰恩;埃德蒙·克拉克(Edmund M.Clarke)。;奥尔纳·格伦伯格 1 2009 用于模型检查的BDD和All-SAT混合方法。 Zbl 1241.68082号 亚维·亚德加;奥尔纳·格伦伯格;阿萨夫·舒斯特 1 2009 分支时间能有多线性? Zbl 0949.03512号 O·格伦伯格。;库尔山,R.P。 1 1994 买一送一!!! Zbl 0949.03509号 O.伯恩霍兹。;Grumberg,O。 1 1994 计算机辅助验证的模块化框架。 Zbl 0786.68068号 吉尔·舒雷克;奥尔纳·格伦伯格 1 1991 计算机辅助验证的模块化框架。 Zbl 0765.68145号 吉尔·舒雷克;奥尔纳·格伦伯格 1 1991 通过统一进行程序合成。 Zbl 1427.68045号 菲克斯,利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 1 1992 多属性的组合模型检查。 Zbl 1472.68089号 奥哈德·古兹米德;奥尔纳·格伦伯格;莎莱·申瓦尔德 三 2021 承担、保证或修理。 Zbl 1507.68186号 哈达尔·弗兰克尔;奥尔纳·格伦伯格;科琳娜·帕萨雷努;莎莱·申瓦尔德 三 2020 程序修复必须进行故障定位。 Zbl 1478.68058号 巴特·陈·罗森伯格;奥尔纳·格伦伯格 2 2020 一种自动机理论方法,用于无限数据域上的模型检查系统和规范。 Zbl 1468.68128号 哈达尔·弗兰克尔;奥尔纳·格伦伯格;莎莱·申瓦尔德 2 2019 模型检查。第二次扩展和更新版。 Zbl 1423.68002号 Edmund M.jun Clarke。;奥尔纳·格伦伯格;丹尼尔·克罗宁;多龙·贝利德;赫尔穆特·维思 76 2018 抽象和抽象细化。 Zbl 1392.68244号 亲爱的,丹尼斯;奥尔纳·格伦伯格 7 2018 程序版本语义差异的模块化需求驱动分析。 Zbl 1420.68076号 安娜·特罗斯塔涅茨基;奥尔纳·格伦伯格;丹尼尔·克罗宁 2 2017 具有N路分解和字母细化的自动循环假设保证推理。 Zbl 1411.68056号 卡拉姆Abd Elkader;奥尔纳·格伦伯格;科琳娜·s·佩斯勒诺。;沙龙·肖姆 4 2016 健全完整的基于变异的程序修复。 Zbl 1427.68052号 巴特·陈·罗森伯格;奥尔纳·格伦伯格 2 2016 自动循环假设保证推理。 Zbl 1427.68194号 卡拉姆·阿布德·埃尔卡德;奥尔纳·格伦伯格;科琳娜·s·佩斯勒诺。;沙龙·肖姆 2 2015 模拟数据参数化系统的游戏理论方法。 Zbl 1448.68300号 奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 2 2014 使用插值进行交织前后可达性分析。 Zbl 1381.68184号 亚基尔·维泽尔;奥尔纳·格伦伯格;沙龙·肖姆 5 2013 一种关于参数化系统和规范的自动机理论推理方法。 Zbl 1410.68228号 奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 三 2013 多值模型检验博弈。 Zbl 1257.68105号 沙龙·肖姆;奥尔纳·格伦伯格 6 2012 使用参数化原子命题的模型检查系统和规范。 Zbl 1374.68288号 奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 2 2012 无限字母表上的变量自动机。 Zbl 1284.68352号 奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 20 2010 合成验证和3值抽象结合在一起。 Zbl 1191.68416号 沙龙·肖姆;奥尔纳·格伦伯格 三 2010 模型检查中的2值和3值抽象精化。 Zbl 1214.68212号 奥尔纳·格伦伯格 2 2010 通过抽象再定义对多值系统进行组合验证的框架。 Zbl 1262.68127号 耶尔·梅勒;奥尔纳·格伦伯格;沙龙·肖姆 2 2009 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1186.68013号 希曼舒·杰恩;埃德蒙·克拉克(Edmund M.Clarke)。;奥尔纳·格伦伯格 1 2009 用于模型检查的BDD和All-SAT混合方法。 Zbl 1241.68082号 亚维·亚德加;奥尔纳·格伦伯格;阿萨夫·舒斯特 1 2009 25年的模型检查。历史、成就、观点。 兹比尔1139.68003 17 2008 线性丢番图方程和线性模方程的有效Craig插值。 Zbl 1155.68439号 希曼舒·杰恩;埃德蒙·克拉克;奥尔纳·格伦伯格 9 2008 三值抽象:更精确,成本更低。 Zbl 1169.68028号 沙龙·肖姆;奥尔纳·格伦伯格 6 2008 使用责任制高效自动STE细化。 Zbl 1134.68401号 哈娜·乔克勒;奥尔纳·格伦伯格;亚维·亚德加 三 2008 不输胜于赢:完整微积分的抽象和精化。 Zbl 1306.68100号 奥尔纳·格伦伯格;马丁·兰格;Leucker,马丁;沙龙·肖姆 10 2007 一个基于游戏的CTL反例和3值抽象重定义框架。 Zbl 1367.68203号 沙龙·肖姆;奥尔纳·格伦伯格 7 2007 组合验证和三值抽象结合在一起。 Zbl 1211.68256号 沙龙·肖姆;奥尔纳·格伦伯格 5 2007 用于构建和分析系统的工具和算法。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。 Zbl 1116.68006号 4 2007 分支时间逻辑有界模型检验的一种新方法。 Zbl 1141.68482号 罗特姆·奥斯曼;奥尔纳·格伦伯格 2 2007 STE的3值电路SAT,具有自动细化功能。 Zbl 1141.68467号 奥尔纳·格伦伯格;阿萨夫·舒斯特;亚维·亚德加 2 2007 符号轨迹评估的自动精化和真空度检测。 Zbl 1188.68199号 雷切尔·索雷夫;奥尔纳·格伦伯格 5 2006 一种有效的可达性分析分布式算法。 Zbl 1110.68075号 奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 三 2006 模型检查中的抽象和细化。 Zbl 1196.68138号 奥尔纳·格伦伯格 三 2006 经常出现真空。 Zbl 1159.68311号 多龙·布斯坦;阿隆·弗莱舍;奥尔纳·格伦伯格;奥尔纳·库普弗曼;莫舍·瓦尔迪。 14 2005 在\(\mu\)-演算中不知道。 Zbl 1112.68090号 奥尔纳·格伦伯格;马丁·兰格;Leucker,马丁;沙龙·肖姆 11 2005 多值模型检验游戏。 Zbl 1170.68527号 沙龙·肖姆;奥尔纳·格伦伯格 6 2005 多进程系统的验证引导欠近似加宽。 Zbl 1369.68259号 奥尔纳·格伦伯格;弗拉维奥·勒尔达;斯特里赫曼(Ofer Strichman);迈克尔·西奥博尔德 5 2005 并发程序的有界模型检查。 Zbl 1081.68633号 Ishai Rabinovitz;奥尔纳·格伦伯格 4 2005 分支时间规范的状态/事件软件验证。 Zbl 1137.68432号 萨加·查基;埃德蒙·克拉克;奥尔纳·格伦伯格;约尔·瓦克宁;娜塔莎·莎莉吉娜;泰瑟·图利;赫尔穆特·维思 4 2005 结合对称约简和欠近似进行符号模型检查。 Zbl 1085.68086号 莎伦·巴纳;奥尔纳·格伦伯格 2 2005 通过异步计算实现分布式符号可达性分析的加速。 兹比尔1159.68322 奥尔纳·格伦伯格;泰米尔·海曼;尼利·伊弗根;阿萨夫·舒斯特 2 2005 用于\(\mu\)-演算的分布式符号模型检查。 Zbl 1083.68069号 奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 1 2005 CTL的单调抽象重定义。 Zbl 1126.68487号 沙龙·肖姆;奥尔纳·格伦伯格 17 2004 保持时序逻辑的状态空间约简的静态分析。 Zbl 1073.68055号 凯伦·约拉夫;奥尔纳·格伦伯格 7 2004 内存高效的全解SAT求解器及其在可达性分析中的应用。 Zbl 1117.68429号 奥尔纳·格伦伯格;阿萨夫·舒斯特;亚维·亚德加 2 2004 公平模拟的适用性。 Zbl 1070.68089号 多龙·布斯坦;奥尔纳·格伦伯格 1 2004 用于符号模型检查的反例引导抽象细化。 Zbl 1325.68145号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha,萨默什;卢、袁;赫尔穆特·维思 124 2003 线性时序逻辑中增强的空虚检测。 Zbl 1278.68153号 罗伊·阿莫尼;菲克斯,利莫;阿隆·弗莱舍;奥尔纳·格伦伯格;尼尔·皮特曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。 15 2003 一个基于游戏的CTL反例和3值抽象重定义框架。 Zbl 1278.68195号 沙龙·肖姆;奥尔纳·格伦伯格 13 2003 基于仿真的最小化。 Zbl 1365.68319号 多龙·布斯坦;奥尔纳·格伦伯格 12 2003 一种有效的可达性分析分布式算法。 兹比尔1278.68174 奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 4 2003 学习在验证中排序BDD变量。 Zbl 1045.68092号 O·格伦伯格。;利夫内,S。;马尔科维奇,S。 2 2003 使谓词抽象高效:如何消除冗余谓词。 Zbl 1278.68163号 埃德蒙·克拉克;奥尔纳·格伦伯格;穆拉利达尔·塔卢普尔;王栋(Wang,Dong) 2 2003 一种用于超大规模电路可达性分析的可扩展并行算法。 Zbl 1020.68107号 泰米尔·海曼;丹尼·盖斯特;奥尔纳·格伦伯格;阿萨夫·舒斯特 5 2002 结合对称约简和欠近似进行符号模型检查。 Zbl 1010.68510号 莎伦·巴纳;奥尔纳·格伦伯格 三 2002 公平模拟的适用性。 Zbl 1043.68567号 多龙·布斯坦;奥尔纳·格伦伯格 1 2002 翻译模型和规范的框架。 Zbl 1057.68628号 Shmuel Katz;奥尔纳·格伦伯格 1 2002 用于\(\mu\)-演算的分布式符号模型检查。 Zbl 0996.68106号 奥尔纳·格伦伯格;泰米尔·海曼;阿萨夫·舒斯特 三 2001 反例引导的抽象细化。 Zbl 0974.68517号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha,萨默什;卢、袁;赫尔穆特·维思 166 2000 基于仿真的最小化。 兹伯利0963.68110 多龙·布斯坦;奥尔纳·格伦伯格 7 2000 实现超大电路并行可达性分析的可扩展性。 Zbl 0974.68547号 泰米尔·海曼;丹尼·盖斯特;奥尔纳·格伦伯格;阿萨夫·舒斯特 5 2000 使用偏序技术的状态空间约简。 兹比尔1065.68506 E.M.克拉克。;O·格伦伯格。;米娜,M。;D.贝利德。 18 1999 “我写的属性够多了吗?”——一种比较规范和实现的方法。 Zbl 0957.68069号 萨吉·卡茨;奥尔纳·格伦伯格 7 1999 作为第二届联邦逻辑会议(FLoC’99)的一部分,第一届符号模型检查国际研讨会(SMC’99年)会议记录。意大利特伦托,1999年7月6日。 Zbl 0920.00044号 2 1999 计算机辅助验证。第九届国际会议,1997年6月22日至25日,以色列海法CAV’97。诉讼程序。 Zbl 1524.68004号 1 1997 模型检查。 Zbl 0847.68063号 E.克拉克。;O·格伦伯格。;龙,D。 40 1996 买一送一!!! Zbl 0857.03009号 奥尔纳·库普弗曼;奥尔纳·格伦伯格 5 1996 时间特性验证。 Zbl 0851.68070号 菲克斯,利莫;奥尔纳·格伦伯格 4 1996 分支时间时序逻辑和树自动机。 Zbl 0853.68133号 奥尔纳·库普弗曼;奥尔纳·格伦伯格 2 1996 通过统一进行程序合成。 Zbl 0822.68061号 菲克斯,利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 2 1994 分支时间能有多线性? Zbl 0949.03512号 O·格伦伯格。;库尔山,R.P。 1 1994 买一送一!!! Zbl 0949.03509号 O.伯恩霍兹。;O·格伦伯格。 1 1994 多方互动中的公平和超公平。 Zbl 0797.68100号 保罗·C·阿蒂。;尼西姆·弗朗西兹;奥尔纳·格伦伯格 8 1993 两种有限状态并发系统验证方法的综合。 Zbl 0782.68078号 E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 2 1992 通过统一进行程序合成。 Zbl 1427.68045号 菲克斯,利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 1 1992 程序组成和模块化验证。 Zbl 0769.68093号 菲克斯,利莫;尼西姆·弗朗西兹;奥尔纳·格伦伯格 4 1991 计算机辅助验证的模块化框架。 Zbl 0786.68068号 吉尔·舒雷克;奥尔纳·格伦伯格 1 1991 计算机辅助验证的模块化框架。 Zbl 0765.68145号 吉尔·舒雷克;奥尔纳·格伦伯格 1 1991 关于具有许多相同有限状态过程的网络的推理。 Zbl 0709.68610号 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 29 1989 两种有限状态并发系统验证方法的综合。 Zbl 0688.68019号 E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 5 1989 描述命题时序逻辑中有限Kripke结构的特征。 Zbl 0677.03011号 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 69 1988 无垠的树木、标记和良好的基础。 Zbl 0659.68021号 兰·里纳特;尼西姆·弗朗西兹;奥尔纳·格伦伯格 2 1988 描述时间逻辑中的克里普克结构。 Zbl 0626.03019号 M.C.布朗。;E.M.克拉克。;O·格伦伯格。 9 1987 公平终止的完整规则。 Zbl 0612.68021号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 2 1986 公平终止保护命令的证明规则。 Zbl 0577.68022号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;约翰·马考斯基(Johann A.Makowsky)。 18 1985 证明Prolog程序的终止。 Zbl 0577.68023号 尼西姆·弗朗西兹;奥尔纳·格伦伯格;Shmuel Katz;阿米尔·普努利 4 1985 强公平终止的完整证明规则。 Zbl 0558.68013号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 2 1984 所有引用出版物 前5名被引用出版物 全部的 前5名被1306位作者引用 24 奥尔纳·格伦伯格 19 奥尔纳·库普弗曼 15 莫西·亚亚科夫·瓦尔迪 13 丹尼尔·科宁 8 克拉克(Edmund Melson jun Clarke)。 8 Joost-Pieter卡托恩 8 娜塔莎·莎莉吉娜 7 罗德里克·布洛姆 7 段振华 7 伊戈尔·康诺夫(Igor V.Konnov)。 7 弗朗西斯科·兰扎托 7 沙龙·肖姆 7 赫尔穆特·维思 7 张楠 6 克里斯特尔·拜尔 6 卢博什·布里姆 6 哈娜·乔克勒 6 亚历山德罗·西马蒂 6 尼西姆·弗朗西兹 6 阿里·古芬克尔 6 Doron A.Peled。 6 阿米尔·普努利 6 斯特里赫曼(Ofer Strichman) 6 田聪 6 斯特凡诺·托内塔 5 法语,蒂姆 5 哈达尔·弗兰克尔 5 罗伯托·贾科巴齐 5 阿尔贝托·格里乔 5 阿尔蒂·古普塔 5 托马斯·亨辛格(Thomas A.Henzinger)。 5 Järvisalo,马蒂 5 金·古德斯特兰·拉森 5 Legay、Axel 5 Leucker,马丁 5 何塞·梅塞盖尔·瓜伊塔 5 科琳娜·s·佩斯勒诺。 5 安德烈亚斯·波德尔斯基 5 马克·亚历山大·雷诺兹 5 莎莱·申瓦尔德 5 汉斯·皮特 5 卡斯滕·沃尔夫 5 张丽君 4 帕罗什·阿齐兹·阿卜杜拉 4 阿夫尼,盖伊 4 萨加·查基 4 玛莎·契契克 4 洛科·德尼古拉 4 迪加诺,皮尔保罗 4 托马斯·艾特 4 哈拉尔德·费彻 4 格里戈里·费迪尤科维奇 4 菲克斯,利莫 4 拉杜·奥西夫 4 米科拉什,雅诺塔 4 大卫·詹森(David N.Jansen)。 4 尼尔斯·詹森 4 诺里希罗·卡米德 4 刘,杨 4 伊斯特万·马齐克 4 Joáo P.塞尔瓦侯爵。 4 阿尼埃洛·穆拉诺 4 卡拉广场 4 安德鲁·威廉·罗斯科 4 马可·罗维里 4 安德烈·里巴尔琴科 4 戴维·施密特(David A.Schmidt)。 4 维克多·舒潘 4 阿萨夫·舒斯特 4 伯恩哈德·斯特芬 4 孙骏 4 弗朗西斯科·塔帕罗 4 安蒂·瓦尔马里 4 托马斯·沃尔 4 约翰·彼得·沃纳 4 乔治·威森巴赫 4 约瑟夫·威德 三 本杰明·阿米诺夫 三 埃蒂安·安德烈 三 JiříBarnat 三 弗朗西斯科·贝拉迪内利 三 尼古拉·贝内什 三 德克·拜尔 三 马里乌斯·博兹加 三 曹永志 三 文森佐·西安西亚 三 Thao Dang先生 三 斯特凡·爱德坎普 三 哈维尔·埃斯帕尔扎 三 亚历山德罗·范特奇 三 吉安·路易吉,法拉利 三 达纳·菲斯曼 三 戈兰·弗雷斯 三 约翰·加拉赫(John P.Gallagher)。 三 迪米特拉·吉安娜科波卢 三 格内西、斯特凡尼亚 三 什巴希斯·古哈 三 朱利安·古铁雷斯 三 阿科斯·哈伊杜 三 霍尔格·赫尔曼斯 ……还有1206位作者 全部的 前5名73篇连载文章中引用 67 系统设计中的形式化方法 53 理论计算机科学 42 计算的形式方面 39 信息与计算 23 信息学报 17 计算机程序设计科学 15 人工智能 14 程序设计中的逻辑和代数方法杂志 12 自动推理杂志 10 计算机与系统科学杂志 10 分布式计算 8 信息处理信件 8 数学与人工智能年鉴 8 计算机基础理论 7 编程和计算机软件 6 Automatica公司 6 逻辑程序设计理论与实践 6 计算机科学中的逻辑方法 5 离散事件动态系统 5 逻辑与代数程序设计杂志 4 符号计算杂志 4 ACM计算逻辑汇刊 4 非线性分析。混合动力系统 三 信息科学 三 纯逻辑与应用逻辑年鉴 三 MSCS公司。计算机科学中的数学结构 三 国际计算机科学基础杂志 三 逻辑、语言与信息杂志 三 计算机语言、系统和结构 三 科学中国。信息科学 2 Studia Logica公司 2 计算机科学与技术杂志 2 国际近似推理杂志 2 实时系统 2 应用非经典逻辑杂志 2 计算系统理论 2 国际应用数学与计算机科学杂志 2 RAIRO公司。理论信息学及其应用 2 RAIRO公司。理论信息学及其应用 2 计算机科学评论 2 Modelirovanie i Analiz信息系统 1 国际通用系统杂志 1 ACM数据库系统事务 1 模糊集与系统 1 哲学逻辑杂志 1 订单 1 新一代计算 1 并行与分布式计算杂志 1 机器学习 1 游戏与经济行为 1 RAIRO公司。Informatique Théorique et Applications公司 1 控制论与系统分析 1 国际计算机与系统科学杂志 1 应用的分类结构 1 组合数学、概率与计算 1 组合数学电子杂志 1 人工智能研究杂志 1 约束条件 1 组合优化期刊 1 美国计算机学会期刊 1 Informatica(维尔纽斯) 1 应用数学杂志 1 数学生物科学与工程 1 中国科学。F系列 1 计算机科学中的数学 1 泛逻辑 1 可满足性、布尔建模与计算杂志 1 理论计算机科学的基础和发展趋势 1 算法 1 对称 1 游戏 1 中国计算机科学前沿 1 计算机科学前沿 全部的 前5名在24个字段中引用 661 计算机科学(68至XX) 156 数学逻辑和基础(03-XX) 31 博弈论、经济学、金融和其他社会和行为科学(91-XX) 24 系统论;控制(93至XX) 17 运筹学、数学规划(90-XX) 10 组合数学(05-XX) 8 概率论与随机过程(60-XX) 8 生物学和其他自然科学(92-XX) 6 信息与通信理论、电路(94-XX) 5 阶、格、有序代数结构(06-XX) 三 范畴理论;同调代数(18-XX) 三 数值分析(65-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 常微分方程(34-XX) 2 动力系统和遍历理论(37至XX) 2 统计学(62-XX) 1 数论(11-XX) 1 代数几何(14-XX) 1 群论与推广(20-XX) 1 变分法与最优控制;最优化(49至XX) 1 凸和离散几何(52至XX) 1 一般拓扑结构(54-XX) 1 流体力学(76-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.