编辑配置文件（在新选项卡中打开） 奥尔纳·库普弗曼 合著者距离 作者ID: 库普费尔曼·奥纳 发布日期： 奥尔纳·库普弗曼;O.伯恩霍兹。 主页： 网址：http://www.cs.huji.ac.il/~奥纳克/ 外部链接： MGP公司·ORCID公司·维基数据·谷歌学者·数据库许可证·ID参考·论文.fr 编入索引的文档： 210出版物自1994年以来 1名编辑贡献 合著者： 91位合著者具有200份联合出版物 1878合著作者 全部的 前5名合著者 11 单作者的 60 莫西·亚亚科夫·瓦尔迪 19 阿夫尼，盖伊 18 沙乌尔·阿尔马戈 15 托马斯·亨辛格（Thomas A.Henzinger）。 13 乌迪·博克 10 尼尔·皮特曼 9 本杰明·阿米诺夫 9 哈娜·乔克勒 9 塔米尔、塔米 8 奥尔纳·格隆伯格 8 加尔省瓦尔迪 7 瑞秋·法拉 7 尤德·卢斯蒂格 6 莎莱·申瓦尔德 5 鲍尔，托马斯 5 古哈，柴桥 5 丹尼斯·库珀伯格 5 罗比·兰伯特 5 阿尼埃洛·穆拉诺 4 塞斯·福格蒂。 4 托马斯·威尔克 三 多龙·布斯坦 三 舒拉米特·哈拉米什 三 鲁帕克·马朱姆达尔 三 Bader Abu拉迪 2 阿布·拉迪·巴德 2 阿隆·拉维德 2 拉杰夫·阿鲁尔 2 克里希南德·查特吉 2 达纳·菲斯曼 2 埃胡德·弗里德古特 2 Joseph Yehuda Halpern 2 大卫·哈雷 2 罗伯特·P·库尔珊（Robert P.Kurshan）。 2 奥费尔·莱斯科维茨 2 吉拉·摩根斯顿 2 乔纳森·莫塞夫 2 朱塞佩·佩雷利 2 阿萨夫·佩特鲁什卡 2 Rajamani，Sriram K。 2 阿丁·罗森博格 2 所罗门·西克特 2 Micha Skrzypczak 2 纱线维纳 2 皮埃尔·沃尔珀 2 米哈利斯·亚纳卡基斯 1 罗伊·阿莫尼 1 肖姆·本·达维德 1 比卢斯，吉利 1 帕特里夏·鲍耶 1 查克拉巴蒂，阿林达姆 1 卢卡·德·阿尔法罗 1 哈维尔·埃斯帕尔扎 1 阿隆·弗莱舍 1 戈恩，希拉 1 桑卡尔·古鲁穆蒂 1 哈森，马坦 1 丹·赫菲茨 1 约拉姆·赫什菲尔德 1 Gerard J.霍尔兹曼。 1 伊斯马·杰克 1 马尔钦·尤尔季安斯基 1 阿伊拉特·哈利莫夫 1 瓦莱丽·金 1 斯里拉姆·克里希南。 1 尼尔·拉维 1 阿米尔·莱卢切 1 奥马尔·列夫 1 帕塔萨拉西马杜苏丹 1 Freddy Y.C.Mang。 1 尼古拉斯·马基 1 巴斯蒂安·莫伯特 1 尼古拉斯·马佐奇 1 埃亚尔·佩里 1 阿米尔·普努利 1 沙兹·卡迪尔 1 詹·奥利弗·林格特 1 穆利·萨夫拉 1 穆利·萨吉夫 1 乌尔里克·萨特勒 1 伊莱·沙米尔 1 沙米尔，肖姆 1 Sheinvald-Faragy，萨拉伊 1 沙瓦赫、佐哈尔 1 巴布亚州索波辛斯基 1 法比奥·萨蒙齐 1 阿维塔尔·斯坦尼茨 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 西格尔·韦纳 1 格雷塔·约什 1 莎伦·祖霍维茨基 全部的 前5名系列 12 信息与计算 9 ACM计算逻辑事务 8 理论计算机科学 6 系统设计中的形式化方法 5 国际计算机科学基础杂志 三 美国医学会杂志 三 计算机科学中的逻辑方法 2 逻辑与计算杂志 1 信息学报 1 信息处理信件 1 计算机与系统科学杂志 1 纯逻辑与应用逻辑年鉴 1 离散事件动态系统 1 符号逻辑公报 1 数学与人工智能年鉴 1 自动机、语言和组合数学杂志 1 芝加哥理论计算机科学杂志 1 欧洲理论计算机科学协会公报 1 计算机科学课堂讲稿 1 理论计算机科学的基础和发展趋势 1 ACM算法事务 1 游戏 全部的 前5名领域 204 计算机科学（68至XX） 68 数理逻辑与基础（03-XX） 31 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 174出版物1824年被引用中的次1044文件 引用人▼ 年份▼ 交替时间时序逻辑。 Zbl 1326.68181号 拉杰夫·阿鲁尔;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 329 2002 一种用于分支时间模型检查的自动机理论方法。 Zbl 1133.68376号 奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 120 2000 安全特性的模型检查。 Zbl 0995.68061号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 56 2001 交替细化关系。 Zbl 1070.68524号 拉杰夫·阿鲁尔;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;莫舍·瓦尔迪。 56 1998 弱交替自动机并没有那么弱。 Zbl 1171.68551号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 52 2001 理性综合。 Zbl 1284.68396号 达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 46 2010 格自动机。 Zbl 1132.68455号 奥尔纳·库普弗曼;尤德·卢斯蒂格 44 2007 并发可达性游戏。 Zbl 1154.91306号 卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 38 2007 加权自动机的可判定性是什么？ Zbl 1348.68089号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 37 2011 从活泼到敏捷。 Zbl 1192.68416号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 34 2009 公平模拟。 Zbl 1009.68071号 托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;Rajamani，Sriram K。 30 2002 弱交替自动机和树自动机为空。 Zbl 1005.68525号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 29 1998 信息不完整的合成。 兹比尔0953.68090 奥尔纳·库普弗曼;莫舍·瓦尔迪。 28 2000 模块检查。 Zbl 1003.68071号 奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 26 2001 合理环境的合成。 Zbl 1372.68173号 奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 24 2016 具有累计值的时间规格。 Zbl 1354.68169号 乌迪·博克;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 23 2014 无安全成分合成。 Zbl 1188.68193号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 22 2006 教会的问题再次出现。 Zbl 0932.03029号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 21 1999 分级微积分的复杂性。 Zbl 1072.03014号 奥尔纳·库普弗曼;乌尔里克·萨特勒;莫舍·瓦尔迪。 21 2002 无限字母表上的变量自动机。 Zbl 1284.68352号 奥尔纳·格隆伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 20 2010 关于无限状态系统推理的自动机理论方法。 Zbl 0974.68083号 奥尔纳·库普弗曼;Moshe Y.瓦尔迪。 18 2000 反应环境中的开放系统：控制和合成。 Zbl 0999.68124号 奥尔纳·库普弗曼;马杜苏丹，P。;蒂亚加拉扬，P.S。;莫舍·瓦尔迪。 18 2000 时间模型检查中的真空检测。 Zbl 0961.68085号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 15 1999 下压规范。 Zbl 1023.68624号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 15 2002 从线性时间到分支时间。 Zbl 1367.68195号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 15 2005 安全特性的模型检查。 Zbl 1046.68597号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 14 1999 经常出现真空。 Zbl 1159.68311号 多龙·布斯坦;阿隆·弗莱舍;奥尔纳·格隆伯格;奥尔纳·库普弗曼;莫舍·瓦尔迪。 14 2005 在多样或未知的未来面前的不确定性。 Zbl 1334.68112号 乌迪·博克;丹尼斯·库珀伯格;奥尔纳·库普弗曼;Micha Skrzypczak 13 2013 修复多层游戏。 Zbl 1374.68317号 沙乌尔·阿尔马戈;阿夫尼，盖伊;奥尔纳·库普弗曼 13 2015 关联词和树自动机。 Zbl 1097.03034号 奥尔纳·库普弗曼;Shmuel萨夫拉;莫舍·瓦尔迪。 12 2006 关于加权自动机在线算法的推理。 Zbl 1300.68071号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 12 2010 关于验证并发转换系统的复杂性。 Zbl 1009.68082号 大卫·哈雷;奥尔纳·库普弗曼;莫舍·瓦尔迪。 11 2002 关于质量的形式化和推理。 Zbl 1335.68130号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 11 2013 对质量进行正式推理。 Zbl 1426.68161号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 11 2016 有固定目标的网络形成游戏。 Zbl 1353.91012号 阿夫尼，盖伊;奥尔纳·库普弗曼;塔米尔、塔米 11 2016 \（mu）-微积分综合。 Zbl 0996.68107号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 11 2000 正式验证中的健全性检查。 Zbl 1151.68485号 奥尔纳·库普弗曼 11 2006 分层网络编队游戏。 Zbl 1457.91106号 奥尔纳·库普弗曼;塔米尔，塔米 11 2017 是什么导致系统满足规范？ Zbl 1367.68185号 哈娜·乔克勒;约瑟夫·哈尔彭。;奥尔纳·库普弗曼 11 2008 自动机理论与模型检验。 Zbl 1392.68255号 奥尔纳·库普弗曼 10 2018 Büchi互补更加紧密。 Zbl 1096.68081号 埃胡德·弗里德古特;奥尔纳·库普弗曼;莫舍·瓦尔迪。 10 2006 \（\omega\）-正则自动机的类型。 Zbl 1098.68073号 奥尔纳·库普弗曼;吉拉·摩根斯顿;阿尼埃洛·穆拉诺 9 2006 关于补不确定Büchi自动机。 Zbl 1179.68070号 Gurumurthy，桑卡;奥尔纳·库普弗曼;法比奥·萨蒙齐;莫舍·瓦尔迪。 9 2003 格子模拟关系和游戏。 Zbl 1200.68155号 奥尔纳·库普弗曼;尤德·卢斯蒂格 9 2010 改进了分层系统的模型检查。 Zbl 1277.68130号 本杰明·阿米诺夫;奥尔纳·库普弗曼;阿尼埃洛·穆拉诺 9 2012 一次和为所有人. Zbl 1245.03022号 奥尔纳·库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 9 2012 LTL折扣。 Zbl 1477.68163号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 9 2014 动态资源分配游戏。 Zbl 1403.91059号 阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 9 2016 关于有界规范。 兹比尔1275.68094 奥尔纳·库普弗曼;莫舍·瓦尔迪。 8 2001 重温扩展时序逻辑。 Zbl 1006.68086号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 8 2001 自由、软弱和决定论：从线性时间到分支时间。 Zbl 0945.68522号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 8 1998 关于奇偶校验字自动机的复杂性。 Zbl 0978.68077号 瓦莱丽·金;奥尔纳·库普弗曼;莫舍·瓦尔迪。 8 2001 Büchi自动机中的交替删除。 Zbl 1288.68148号 乌迪·博克;奥尔纳·库普弗曼;阿丁·罗森博格 8 2010 游戏自动机的确定性如何？ Zbl 1491.68096号 乌迪·博克;奥尔纳·库普弗曼;Micha Skrzypczak 8 2018 从前历史到后现代的符号模型检验。 Zbl 1074.68036号 托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;沙兹·卡迪尔 7 2003 用原子命题上的存在量化扩充分支时序逻辑。 Zbl 0942.68072号 奥尔纳·库普弗曼 7 1999 寻找无限单词上自动机非空性的最短见证人。 Zbl 1151.68462号 奥尔纳·库普弗曼;Sheinvald-Faragy，萨拉伊 7 2006 从补充到认证。 Zbl 1126.68481号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 7 2004 伪造摘要。 Zbl 1081.68051号 鲍尔，托马斯;奥尔纳·库普弗曼;格雷塔·约什 7 2005 加权自动机的可判定性是什么？ Zbl 1526.68003号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 7 2022 具有多组资源和综合应用的拥塞博弈。 Zbl 1369.91007号 阿夫尼，盖伊;奥尔纳·库普弗曼;塔米尔、塔米 7 2015 \（\omega\）-正则语言可以通过恒定数量的查询进行测试。 Zbl 1086.68071号 哈娜·乔克勒;奥尔纳·库普弗曼 6 2004 关于安全属性精细自动机的构建。 Zbl 1161.68572号 奥尔纳·库普弗曼;罗比·兰伯特 6 2006 无限状态系统的自动机理论方法。 Zbl 1288.68158号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2010 自我互补的弱点。 Zbl 0924.03045号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 6 1999 使用绑定函数验证定量属性。 Zbl 1159.68313号 查克拉巴蒂，阿林达姆;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔 6 2005 交替加权自动机的最大和语义。 Zbl 1348.68116号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼 6 2011 验证分布式协议的容错性。 Zbl 1134.68317号 达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 6 2008 模态演算交替层次结构的度量崩溃。 Zbl 1122.68470号 多龙·布斯坦;奥尔纳·库普弗曼;莫舍·瓦尔迪。 6 2004 从活泼到敏捷。 Zbl 1135.03336号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2007 有固定目标的网络形成游戏。 Zbl 1348.91069号 阿夫尼，盖伊;奥尔纳·库普弗曼;塔米尔、塔米 6 2014 基于组件库的成本合成。 兹伯利1417.68097 阿夫尼，盖伊;奥尔纳·库普弗曼 6 2014 定时网络游戏。 兹比尔1441.91014 阿夫尼，盖伊;古哈，柴桥;奥尔纳·库普弗曼 6 2017 Büchi词自动机的轮廓树及其在确定中的应用。 Zbl 1336.68155号 塞斯·福格蒂;奥尔纳·库普弗曼;莫舍·瓦尔迪。;托马斯·威尔克 6 2015 将LTL转换为确定性自动机时的放大。 兹比尔1327.68161 奥尔纳·库普弗曼;阿丁·罗森博格 6 2011 加权自动机的严格近似确定。 Zbl 1291.68224号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 6 2013 一种用于网络游戏推理的抽象再定义方法。 Zbl 1418.91097号 阿夫尼，盖伊;古哈，柴桥;奥尔纳·库普弗曼 5 2018 模型检查前缀可识别系统的线性属性。 Zbl 1010.68078号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 5 2002 翻译成联合Büchi使其紧密、统一和有用。 Zbl 1351.68135号 乌迪·博克;奥尔纳·库普弗曼 5 2012 买一送一！！！ Zbl 0857.03009号 奥尔纳·库普弗曼;奥尔纳·格隆伯格 5 1996 \（\omega\）-正则自动机中的及时性。 Zbl 1305.68108号 沙乌尔·阿尔马戈;约拉姆·赫什菲尔德;奥尔纳·库普弗曼 5 2010 Büchi互补更加紧密。 Zbl 1108.68068号 埃胡德·弗里德古特;奥尔纳·库普弗曼;莫舍·瓦尔迪。 5 2004 在本地可检查属性上。 Zbl 1165.68408号 奥尔纳·库普弗曼;尤德·卢斯蒂格;Moshe Y.瓦尔迪。 5 2006 最小化基于GFG转换的自动机。 Zbl 1527.68120号 阿布·拉迪·巴德;奥尔纳·库普弗曼 5 2019 统一Büchi补语结构。 Zbl 1274.68158号 塞斯·福格蒂。;奥尔纳·库普弗曼;托马斯·威尔克;莫舍·瓦尔迪。 4 2013 从补充到认证。 Zbl 1079.68060号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 4 2005 最小化确定性格自动机。 Zbl 1354.68156号 舒拉米特·哈拉米什;奥尔纳·库普弗曼 4 2015 噪声输入下的格型LTL合成。 Zbl 1374.93029号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼 4 2017 时序逻辑模型检查的覆盖度量。 Zbl 0978.68092号 哈娜·乔克勒;奥尔纳·库普弗曼;Moshe Y.瓦尔迪。 4 2001 公平交易概率。 Zbl 1020.68060号 马尔金·尤尔金斯基;奥尔纳·库普弗曼;托马斯·亨辛格（Thomas A.Henzinger）。 4 2002 线性时序逻辑中的重置与中止。 Zbl 1031.68075号 罗伊·阿莫尼;多龙·布斯坦;奥尔纳·库普弗曼;莫舍·瓦尔迪。 4 2003 强大的满意度。 Zbl 0939.68083号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 4 1999 关于（mu）-演算的普遍片段和存在片段。 Zbl 1088.68106号 托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔 4 2006 在线算法的形式化分析。 Zbl 1348.68298号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 4 2011 格子模拟关系和游戏。 兹比尔1141.68473 奥尔纳·库普弗曼;尤德·卢斯蒂格 4 2007 在抽象中跳跃循环。 兹比尔1135.68465 鲍尔，托马斯;奥尔纳·库普弗曼;穆利·萨吉夫 4 2007 定量假设保证合成。 Zbl 1494.68156号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼;詹·奥利弗·林格特;纱线维纳 4 2017 噪声输入下的格型LTL合成。 Zbl 1405.68178号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼 4 2014 使加权包含可行：基于模拟和抽象的启发式。 Zbl 1364.68242号 阿夫尼，盖伊;奥尔纳·库普弗曼 4 2012 容量受限自动机的特性和利用（邀请演讲）。 Zbl 1436.68178号 奥尔纳·库普弗曼;塔米尔、塔米 4 2014 加权自动机的决定因素是什么？ Zbl 1526.68003号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 7 2022 懒散的常规感应。 Zbl 07643470号 奥尔纳·库普弗曼;阿萨夫·彼得鲁什卡 1 2022 基于GFG转换的自动机的最小化和标准化。 Zbl 07577580号 Bader Abu拉迪;奥尔纳·库普弗曼 1 2022 不确定性的层次结构。 Zbl 07724258号 阿布·拉迪·巴德;奥尔纳·库普弗曼;莱什科维茨，Ofer 三 2021 证明无法表达。 Zbl 07410435号 奥尔纳·库普弗曼;所罗门·西克特 2 2021 一元素语言。 Zbl 07559422号 伊斯马·杰克;奥尔纳·库普弗曼;尼古拉斯·马佐奇 2 2020 良好的全面合成。 Zbl 1478.68141号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼 2 2020 关于重复语言。 Zbl 07559430号 奥尔纳·库普弗曼;奥费尔·莱斯科维茨 1 2020 关于用算术综合规格说明。 Zbl 1440.68171号 瑞秋·法拉;奥尔纳·库普弗曼 1 2020 GFG中的规范性和基于转换的自动机。 Zbl 07455749号 Bader Abu拉迪;奥尔纳·库普弗曼 1 2020 On（\（I/O \））-aware good-for-games自动机。 Zbl 1517.68186号 瑞秋·法拉;奥尔纳·库普弗曼 1 2020 最小化基于GFG转换的自动机。 Zbl 1527.68120号 阿布·拉迪·巴德;奥尔纳·库普弗曼 5 2019 基于寄存器的合成。 Zbl 07649933号 阿伊拉特·哈利莫夫;奥尔纳·库普弗曼 4 2019 有容量的自动机和系统。 Zbl 1435.68175号 奥尔纳·库普弗曼;莎莱·申瓦尔德 2 2019 自动机理论和模型检验。 Zbl 1392.68255号 奥尔纳·库普弗曼 10 2018 游戏自动机的确定性如何？ Zbl 1491.68096号 乌迪·博克;奥尔纳·库普弗曼;Micha Skrzypczak 8 2018 一种用于网络游戏推理的抽象再定义方法。 Zbl 1418.91097号 阿夫尼，盖伊;古哈，柴桥;奥尔纳·库普弗曼 5 2018 跨越从安全到活跃的范围。 兹比尔1408.68096 瑞秋·法拉;奥尔纳·库普弗曼 2 2018 带时钟的定时网络游戏。 Zbl 1510.91055号 阿夫尼，盖伊;古哈，柴桥;奥尔纳·库普弗曼 2 2018 流动游戏。 Zbl 1491.91037号 奥尔纳·库普弗曼;加尔省瓦尔迪;莫舍·瓦尔迪。 2 2018 关于相对和概率有限抗衡性。 Zbl 1390.68433号 奥尔纳·库普弗曼;加尔省瓦尔迪 1 2018 LTL算法及其在层次系统推理中的应用。 Zbl 1415.68144号 瑞秋·法拉;奥尔纳·库普弗曼 1 2018 基于组件库的成本合成。 Zbl 1386.68099号 阿夫尼，盖伊;奥尔纳·库普弗曼 1 2018 分层网络编队游戏。 Zbl 1457.91106号 奥尔纳·库普弗曼;塔米尔、塔米 11 2017 定时网络游戏。 兹比尔1441.91014 阿夫尼，盖伊;古哈，柴桥;奥尔纳·库普弗曼 6 2017 噪声输入下的格型LTL合成。 Zbl 1374.93029号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼 4 2017 定量假设保证合成。 Zbl 1494.68156号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼;詹·奥利弗·林格特;纱线维纳 4 2017 合理环境的合成。 Zbl 1372.68173号 奥尔纳·库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 24 2016 对质量进行正式推理。 Zbl 1426.68161号 沙乌尔·阿尔马戈;博克，乌迪;奥尔纳·库普弗曼 11 2016 有固定目标的网络形成游戏。 Zbl 1353.91012号 阿夫尼，盖伊;奥尔纳·库普弗曼;塔米尔、塔米 11 2016 动态资源分配游戏。 Zbl 1403.91059号 阿夫尼，盖伊;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 9 2016 在硬布尔约束下最小化预期成本，并应用于定量合成。 Zbl 1392.68225号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼;纱线维纳 三 2016 针对随机环境的高质量合成。 Zbl 1369.68256号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼 三 2016 关于高质量合成。 Zbl 1476.68150号 奥尔纳·库普弗曼 2 2016 修复多层游戏。 Zbl 1374.68317号 沙乌尔·阿尔马戈;阿夫尼，盖伊;奥尔纳·库普弗曼 13 2015 具有多组资源和综合应用的拥塞博弈。 Zbl 1369.91007号 阿夫尼，盖伊;奥尔纳·库普弗曼;塔米尔，塔米 7 2015 Büchi词自动机的轮廓树及其在确定中的应用。 Zbl 1336.68155号 塞斯·福格蒂;奥尔纳·库普弗曼;莫舍·瓦尔迪。;托马斯·威尔克 6 2015 最小化确定性格自动机。 Zbl 1354.68156号 舒拉米特·哈拉米什;奥尔纳·库普弗曼 4 2015 监测和合成的传感成本。 Zbl 1366.68131号 沙乌尔·阿尔马戈;丹尼斯·库珀伯格;奥尔纳·库普弗曼 4 2015 加权自动机的随机性。 Zbl 1465.68130号 阿夫尼，盖伊;奥尔纳·库普弗曼 三 2015 主要语言。 Zbl 1312.68121号 奥尔纳·库普弗曼;乔纳森·莫塞夫 三 2015 关于相对和概率有限抗衡性。 Zbl 1373.68288号 奥尔纳·库普弗曼;加尔省瓦尔迪 2 2015 参数化加权包容。 Zbl 1354.68145号 阿夫尼，盖伊;奥尔纳·库普弗曼 1 2015 跨越从安全到活跃的范围。 Zbl 1408.68095号 瑞秋·法拉;奥尔纳·库普弗曼 1 2015 具有累计值的时间规格。 Zbl 1354.68169号 乌迪·博克;克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 23 2014 LTL折扣。 Zbl 1477.68163号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 9 2014 有固定目标的网络形成游戏。 Zbl 1348.91069号 阿夫尼，盖伊;奥尔纳·库普弗曼;塔米尔、塔米 6 2014 基于组件库的成本合成。 Zbl 1417.68097号 阿夫尼，盖伊;奥尔纳·库普弗曼 6 2014 噪声输入下的格型LTL合成。 Zbl 1405.68178号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼 4 2014 容量受限自动机的特性和利用（邀请演讲）。 兹比尔1436.68178 奥尔纳·库普弗曼;塔米尔、塔米 4 2014 常规感应。 Zbl 1360.68537号 沙乌尔·阿尔马戈;丹尼斯·库珀伯格;奥尔纳·库普弗曼 4 2014 模拟数据参数化系统的游戏理论方法。 Zbl 1448.68300号 奥尔纳·格隆伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 2 2014 用于触发器查询的抽象细化框架。 Zbl 1291.68242号 阿夫尼，盖伊;奥尔纳·库普弗曼 1 2014 从可达性到成本分担游戏中的时间规范。 Zbl 1423.68272号 阿夫尼，盖伊;奥尔纳·库普弗曼;塔米尔、塔米 1 2014 在多样或未知的未来面前的不确定性。 Zbl 1334.68112号 乌迪·博克;丹尼斯·库珀伯格;奥尔纳·库普弗曼;Micha Skrzypczak 13 2013 关于质量的形式化和推理。 Zbl 1335.68130号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 11 2013 加权自动机的严格近似确定。 Zbl 1291.68224号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 6 2013 统一Büchi补语结构。 Zbl 1274.68158号 塞斯·福格蒂。;奥尔纳·库普弗曼;托马斯·威尔克;莫舍·瓦尔迪。 4 2013 对空置结果进行排序的框架。 Zbl 1410.68216号 肖姆·本·达维德;奥尔纳·库普弗曼 三 2013 一种自动机理论方法，用于推理参数化系统和规范。 Zbl 1410.68228号 奥尔纳·格隆伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 三 2013 抽象什么时候有用？ Zbl 1284.68338号 阿夫尼，盖伊;奥尔纳·库普弗曼 2 2013 加权安全。 兹比尔1410.68213 西格尔·韦纳;马坦·哈森;奥尔纳·库普弗曼;埃亚尔·佩里;沙瓦赫、佐哈尔 1 2013 Büchi词自动机的轮廓树及其在确定中的应用。 Zbl 1464.68166号 塞斯·福格蒂;奥尔纳·库普弗曼;莫舍·瓦尔迪。;托马斯·威尔克 1 2013 改进了分层系统的模型检查。 Zbl 1277.68130号 本杰明·阿米诺夫;奥尔纳·库普弗曼;阿尼埃洛·穆拉诺 9 2012 一次和为所有人. Zbl 1245.03022号 奥尔纳·库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 9 2012 翻译成联合Büchi使其紧密、统一和有用。 Zbl 1351.68135号 乌迪·博克;奥尔纳·库普弗曼 5 2012 使加权包含可行：基于模拟和抽象的启发式。 Zbl 1364.68242号 阿夫尼，盖伊;奥尔纳·库普弗曼 4 2012 应对自私的持续行为。 Zbl 1237.68115号 奥尔纳·库普弗曼;塔米尔、塔米 2 2012 使用参数化原子命题的模型检查系统和规范。 Zbl 1374.68288号 奥尔纳·格隆伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 2 2012 近似确定性格自动机。 Zbl 1375.68073号 舒拉米特·哈拉米什;奥尔纳·库普弗曼 1 2012 加权自动机的决定因素是什么？ Zbl 1348.68089号 沙乌尔·阿尔马戈;乌迪·博克;奥尔纳·库普弗曼 37 2011 交替加权自动机的最大和语义。 Zbl 1348.68116号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼 6 2011 将LTL转换为确定性自动机时的放大。 兹比尔1327.68161 奥尔纳·库普弗曼;阿丁·罗森博格 6 2011 在线算法的形式化分析。 Zbl 1348.68298号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 4 2011 有界系统和环境的时间合成。 Zbl 1230.68144号 奥尔纳·库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。;米哈伊利斯·扬纳卡基斯 三 2011 最小化确定性格自动机。 Zbl 1326.68194号 舒拉米特·哈拉米什;奥尔纳·库普弗曼 2 2011 统一Büchi补语结构。 Zbl 1247.68136号 塞斯·福格蒂;奥尔纳·库普弗曼;莫舍·瓦尔迪。;托马斯·威尔克 2 2011 Co-Büching他们所有人。 Zbl 1326.68174号 乌迪·博克;奥尔纳·库普弗曼 1 2011 理性综合。 Zbl 1284.68396号 达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 46 2010 无限字母表上的变量自动机。 兹比尔1284.68352 奥尔纳·格隆伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德 20 2010 用加权自动机推理在线算法。 Zbl 1300.68071号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 12 2010 格子模拟关系和游戏。 Zbl 1200.68155号 奥尔纳·库普弗曼;尤德·卢斯蒂格 9 2010 Büchi自动机中的交替删除。 Zbl 1288.68148号 乌迪·博克;奥尔纳·库普弗曼;阿丁·罗森博格 8 2010 无限状态系统的自动机理论方法。 Zbl 1288.68158号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2010 \（\omega\）-正则自动机中的及时性。 Zbl 1305.68108号 沙乌尔·阿尔马戈;约拉姆·赫什菲尔德;奥尔纳·库普弗曼 5 2010 触发特性的合成。 Zbl 1310.68143号 奥尔纳·库普弗曼;莫舍·瓦尔迪。 三 2010 拉宾和斯特雷特的平价化。 Zbl 1245.68120号 乌迪·博克;奥尔纳·库普弗曼;阿维塔尔·斯坦尼茨 三 2010 寻求将Büchi严格翻译为co-Bu chi automata。 兹比尔1287.68092 乌迪·博克;奥尔纳·库普弗曼 2 2010 “是什么导致系统满足规范？”的勘误表。 Zbl 1370.68197号 哈娜·乔克勒;约瑟夫·哈尔彭。;奥尔纳·库普弗曼 2 2010 应对自私的持续行为。 Zbl 1310.68135号 奥尔纳·库普弗曼;塔米尔、塔米 1 2010 从活泼到敏捷。 Zbl 1192.68416号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 34 2009 用加权自动机推理在线算法。 Zbl 1422.68318号 本杰明·阿米诺夫;奥尔纳·库普弗曼;罗比·兰伯特 2 2009 是什么导致系统满足规范？ Zbl 1367.68185号 哈娜·乔克勒;约瑟夫·哈尔彭。;奥尔纳·库普弗曼 11 2008 验证分布式协议的容错性。 Zbl 1134.68317号 达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格 6 2008 测试中的真空度。 Zbl 1138.68437号 鲍尔，托马斯;奥尔纳·库普弗曼 1 2008 关于不确定性Büchi和co-Büchi词自动机的相对简洁性。 Zbl 1182.68098号 本杰明·阿米诺夫;奥尔纳·库普弗曼;奥马尔·列夫 1 2008 格自动机。 Zbl 1132.68455号 奥尔纳·库普弗曼;尤德·卢斯蒂格 44 2007 并发可达性游戏。 Zbl 1154.91306号 卢卡·德·阿尔法罗;托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼 38 2007 从活泼到敏捷。 Zbl 1135.03336号 奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 6 2007 格子模拟关系和游戏。 兹比尔1141.68473 奥尔纳·库普弗曼;尤德·卢斯蒂格 4 2007 …以及其他74个文档 所有引用出版物 前5名被引用出版物 全部的 前5名1309位作者引用 71 奥尔纳·库普弗曼 38 莫西·亚亚科夫·瓦尔迪 34 阿尼埃洛·穆拉诺 33 克里希南德·查特吉 31 托马斯·亨辛格（Thomas A.Henzinger）。 25 Jean-François拉斯金 24 迈克尔·J·伍尔德里奇。 20 劳拉·博泽利 19 阿夫尼，盖伊 18 朱利安·古铁雷斯 17 克里斯特尔·拜尔 17 马丁·齐默尔曼 16 伯恩德·芬克贝纳 16 法比奥·莫加维罗 16 斯文·舍韦 15 朱塞佩·佩雷利 14 乌迪·博克 14 苏菲·平奇纳特 13 托马斯·奥戈特内斯 12 沃伊切赫·贾姆罗加 12 卡罗琳娜·莱赫蒂宁 12 安吉洛·蒙塔纳里 12 尼尔·皮特曼 11 劳伦特·多恩 11 艾曼纽·菲利奥特 11 尼古拉斯·马基 11 范德霍克，威比 10 阿德里亚诺·佩隆 10 萨沙·鲁宾 9 娜塔莎·亚历奇纳 9 罗德里克·布洛姆 9 帕特里夏·鲍耶 9 Broersen，Jan M。 9 维罗尼克·布鲁埃 9 哈娜·乔克勒 9 达纳·菲斯曼 9 弗朗索瓦·拉鲁西尼 9 金·古德斯特兰·拉森 9 吉列尔莫·A·佩雷斯。 9 阿米尔·普努利 9 塔米尔、塔米 8 马西莫·贝内雷切蒂 8 曼弗雷德·德罗斯特 8 古哈，柴桥 8 约阿希姆·克莱因 8 Marta Z.Kwiatkowska。 8 马丁·兰格 8 奥托普，简 8 Doron A.Peled。 8 所罗门·西克特 8 Loredana索伦蒂诺 8 汉斯·皮特·范·迪特马什 7 沙乌尔·阿尔马戈 7 本杰明·阿米诺夫 7 瓦伦丁·F·戈兰科。 7 丹尼斯·库珀伯格 7 Legay、Axel 7 李永明 7 Micha Skrzypczak 7 斯特凡诺·托内塔 7 亚历山大·韦内特 6 托马斯·布里海耶 6 亚历山德罗·西马蒂 6 丹尼尔·德尔尔巴 6 斯特凡·德姆里。 6 奥尔纳·格隆伯格 6 拉斯穆斯·易卜森·延森 6 费利克斯·克莱特克 6 克吕佩尔霍尔茨，萨沙 6 简·Křetínsk 6 布赖恩·洛根 6 菲利普·马佐维耶基 6 帕维尔·G·瑙莫夫。 6 雷诺·尼斯卡宁 6 伊戈尔·波塔波夫 6 Ramanujam，R。 6 马克·亚历山大·雷诺兹 6 蔡义权 6 加尔省瓦尔迪 5 拉杰夫·阿鲁尔 5 弗朗西斯科·贝拉迪内利 5 Calin A.Belta。 5 迪特马尔·伯旺格 5 贝内迪克特·博利格 5 牛，尼尔斯 5 莱奥·埃克巴德 5 马可·费拉 5 塞斯·福格蒂。 5 保罗·加斯丁 5 尼古拉·吉甘特 5 阿琳·戈敏 5 维萨·哈拉瓦 5 保罗·哈伦斯坦 5 李勇 5 埃米利亚诺·洛里尼 5 贾库布·米查利辛 5 尼尔，丹尼尔 5 阿诺·保利。 5 皮埃特罗·萨拉 5 吉·斯尔巴 ……还有1209名作者 全部的 前5名76篇连载文章中引用 96 理论计算机科学 88 信息与计算 48 系统设计中的形式化方法 37 计算机科学中的逻辑方法 35 人工智能 28 信息学报 24 计算机与系统科学杂志 17 国际计算机科学基础杂志 17 ACM计算逻辑事务 13 计算的形式方面 12 信息处理信件 11 合成 11 离散事件动态系统 10 Automatica公司 9 逻辑、语言与信息杂志 9 应用逻辑杂志 8 应用非经典逻辑杂志 8 程序设计中的逻辑和代数方法杂志 7 Studia Logica公司 7 数学与人工智能年鉴 6 模糊集与系统 6 自动推理杂志 6 国际近似推理杂志 5 哲学逻辑杂志 5 纯逻辑与应用逻辑年鉴 5 计算系统理论 5 美国医学会杂志 5 逻辑与代数程序设计杂志 5 非线性分析。混合动力系统 5 符号逻辑述评 4 计算机程序设计科学 4 MSCS公司。计算机科学中的数学结构 4 计算机基础理论 4 计算机科学前沿 三 应用数学杂志 2 信息科学 2 系统和控制信件 2 算法 2 分布式计算 2 维斯特尼克圣彼得堡大学。数学 2 软计算 2 国际博弈论综述 2 游戏 2 计算机科学评论 2 Modelirovanie i Analiz信息系统 1 国际控制杂志 1 国际博弈论杂志 1 符号逻辑杂志 1 运筹学数学 1 海军研究后勤 1 编程和计算机软件 1 半群论坛 1 SIAM计算机杂志 1 SIAM控制与优化杂志 1 人工智能通信 1 自动化和远程控制 1 数学与应用杂志。诺伊维埃梅·塞里 1 工程、通信和计算中的应用代数 1 控制论与系统分析 1 计算与数学组织理论 1 欧洲控制杂志 1 自动机、语言和组合数学杂志 1 RAIRO公司。理论信息学及其应用 1 应用概率的方法与计算 1 萨达纳 1 量子信息处理 1 计算管理科学 1 伊朗模糊系统杂志 1 离散优化 1 理论计算机科学的基础和发展趋势 1 算法 1 科学中国。信息科学 1 RAIRO公司。理论信息学及其应用 1 动态游戏和应用 1 Logicheskie Issledovaniya公司 1 应用与计算拓扑杂志 全部的 前5名22个领域被引用 933 计算机科学（68至XX） 402 数理逻辑与基础（03-XX） 262 博弈论、经济学、金融和其他社会和行为科学（91-XX） 51 系统论；控制（93至XX） 34 运筹学、数学规划（90-XX） 23 组合数学（05-XX） 10 概率论与随机过程（60-XX） 7 信息与通信理论、电路（94-XX） 4 群论与推广（20-XX） 三 动力系统和遍历理论（37至XX） 三 变分法与最优控制；最优化（49至XX） 2 阶、格、有序代数结构（06-XX） 2 数论（11-XX） 2 生物学和其他自然科学（92-XX） 1 总体主题；集合（00-XX） 1 交换代数（13-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 范畴理论；同调代数（18-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 量子理论（81-XX） 1 相对论和引力理论（83至XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.