哈维尔·埃斯帕尔扎;奥尔纳库普弗曼;莫舍·瓦尔迪。 验证。 (英语) Zbl 07425674号 Pin,Jean-Eric(编辑),《自动机理论手册》。第二卷。数学和选定应用中的自动机。柏林:欧洲数学学会(EMS)。1415-1456 (2021).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人,《自动机理论手册》。第二卷。数学和选定应用中的自动机。柏林:欧洲数学学会(EMS)。1415--1456(2021;Zbl 07425674) 全文: 内政部
瑞秋·法拉;奥尔纳库普弗曼 On(\(I/O \))-aware good-for-games自动机。 (英语) 兹比尔1517.68186 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12302, 161-178 (2020).MSC公司:65年第68季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman},莱克特。票据计算。科学。12302161-178(2020年;兹比尔1517.68186) 全文: 内政部
巴德·阿布·拉迪;奥尔纳库普弗曼 GFG和基于转换的自动机中的规范性。 (英语) 兹比尔07455749 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)326199-215(2020)。MSC公司:65年第68季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Radi}和\textit{O.Kupferman},电子。程序。西奥。计算。科学。(EPTCS)326199-215(2020;Zbl 07455749) 全文: arXiv公司 链接
沙乌尔·阿尔马戈;奥尔纳库普弗曼 良好的全面合成。 (英语) Zbl 1478.68141号 Lahiri、Shuvendu Kumar(编辑)等人,《计算机辅助验证》。第32届国际会议,CAV 2020,美国加利福尼亚州洛杉矶,2020年7月21日至24日。诉讼程序。第二部分。查姆:斯普林格。莱克特。票据计算。科学。12225, 541-563 (2020).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}和\textit{O.Kupferman},莱克特。票据计算。科学。12225、541--563(2020;Zbl 1478.68141) 全文: 内政部 arXiv公司
瑞秋·法拉;奥尔纳库普弗曼 关于用算术综合规格说明。 (英语) Zbl 1440.68171号 Chatzigeorgiou,Alexander(编辑)等人,《SOFSEM 2020:计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议,SOFSEM 2020,利马索尔,塞浦路斯,2020年1月20日至24日。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。12011, 161-173 (2020).MSC公司:第68季度第60季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman},莱克特。票据计算。科学。12011,161--173(2020;Zbl 1440.68171) 全文: 内政部
奥尔纳库普弗曼;加尔瓦尔迪 流程逻辑。 (英语) Zbl 1442.03014号 日志。方法计算。科学。 15,第4号,第9号论文,24页(2019年)。MSC公司:03B70号 03B44号 05时21分 第68季度第60季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},日志。方法计算。科学。15,第4号,第9号论文,24页(2019年;Zbl 1442.03014) 全文: arXiv公司
哈娜·乔克勒;什巴希斯·古哈;奥尔纳库普弗曼 定时真空。 (英语) Zbl 1460.68055号 Havelund,Klaus(编辑)等人,《形式方法》。2018年7月15日至17日,作为联邦逻辑会议的一部分,在英国牛津举行了2018年第22届国际研讨会(FM 2018)。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10951, 438-455 (2018).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,莱克特。票据计算。科学。10951,438--455(2018;Zbl 1460.68055) 全文: 内政部
奥尔纳库普弗曼;塔米尔、塔米 具有行为和收入目标的交替可达性游戏。 (英语) Zbl 1415.68150号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 498-514 (2018).MSC公司:第68季度第60季度 68问题85 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{T.Tamir},EPiC Ser。计算。57、498--514(2018;Zbl 1415.68150) 全文: 内政部
瑞秋·法拉;奥尔纳库普弗曼 LTL算法及其在层次系统推理中的应用。 (英语) Zbl 1415.68144号 Barthe,Gilles(编辑)等人,LPAR-22。第22届编程、人工智能和推理逻辑国际会议,埃塞俄比亚阿瓦萨,2018年11月17日至21日。精选论文。曼彻斯特:EasyChair。EPiC系列。计算。57, 343-362 (2018).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman},EPiC Ser。计算。57、343--362(2018;Zbl 1415.68144) 全文: 内政部
瑞秋·法拉;奥尔纳库普弗曼 跨越从安全到活跃的范围。 (英语) Zbl 1408.68096号 学报信息。 55,第8号,703-732(2018)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman},Acta Inf.55,编号8,703-732(2018;Zbl 1408.68096) 全文: 内政部
奥尔纳库普弗曼 自动机理论与模型检验。 (英语) Zbl 1392.68255号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。107-151(2018年)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},in:模型检查手册。查姆:斯普林格。107-151(2018年;兹比尔1392.68255) 全文: 内政部
奥尔纳库普弗曼;加尔瓦尔迪 关于相对和概率有限抗衡性。 (英语) 兹比尔1390.68433 形式方法系统。设计。 52,第2期,117-146(2018)。MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},表格方法系统。设计。52,第2号,117--146(2018;Zbl 1390.68433) 全文: 内政部 链接
阿夫尼,盖伊;奥尔纳库普弗曼 基于组件库的成本合成。 (英语) Zbl 1386.68099号 西奥。计算。科学。 712, 50-72 (2018)。MSC公司:第68季度第60季度 03B44号 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},Theor。计算。科学。712、50-72(2018年;Zbl 1386.68099) 全文: 内政部
沙乌尔·阿尔马戈;奥尔纳库普弗曼;詹·奥利弗·林格特;纱线维纳 定量假设保证合成。 (英语) Zbl 1494.68156号 Majumdar,Rupak(编辑)等人,《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆:斯普林格。莱克特。票据计算。科学。10427, 353-374 (2017).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,Lect。票据计算。科学。10427,353--374(2017;Zbl 1494.68156) 全文: 内政部 链接
奥尔纳库普弗曼;加尔瓦尔迪 流程逻辑。 (英语) Zbl 1442.03015号 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第9条,第18页(2017年)。MSC公司:03B70号 03B44号 05时21分 第68季度第60季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},LIPIcs——莱布尼茨国际程序。通知。85,第9条,第18页(2017;Zbl 1442.03015) 全文: 内政部
沙乌尔·阿尔马戈;乌迪·博克;奥尔纳库普弗曼 对质量进行正式推理。 (英语) Zbl 1426.68161号 美国临床医学杂志 63,第3号,第24条,56页(2016年)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,J.ACM 63,第3号,第24条,56页(2016年;Zbl 1426.68161) 全文: 内政部
沙乌尔·阿尔马戈;奥尔纳库普弗曼;纱线维纳 在硬布尔约束下最小化预期成本,并应用于定量合成。 (英语) Zbl 1392.68225号 Desharnais,Josée(编辑)等人,第27届并发理论国际会议,CONCUR 2016,加拿大魁北克市,2016年8月23日至26日。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-017-0)。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学论文集59,第9条,第15页(2016)。MSC公司:第68季度第60季度 87年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,LIPIcs——莱布尼茨国际程序。通知。59,第9条,第15页(2016年;兹bl 1392.68225) 全文: 内政部 arXiv公司
沙乌尔·阿尔马戈;奥尔纳库普弗曼 针对随机环境的高质量合成。 (英语) Zbl 1369.68256号 Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第28条,第17页。(2016).MSC公司:第68季度第60季度 03B44号 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}和\textit{O.Kupferman},LIPIcs--Leibniz Int.Proc。通知。62,第28条,第17页(2016;Zbl 1369.68256) 全文: 内政部 arXiv公司
阿夫尼,盖伊;奥尔纳库普弗曼;塔米尔、塔米 有固定目标的网络形成游戏。 (英语) Zbl 1353.91012号 Inf.计算。 251, 165-178 (2016)。MSC公司:91A43型 第68季度第60季度 91A10号 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,《信息计算》。251、165--178(2016年;Zbl 1353.91012) 全文: 内政部
奥尔纳库普弗曼;朱塞佩·佩雷利;莫舍·瓦尔迪。 合理环境的合成。 (英语) Zbl 1372.68173号 安。数学。Artif公司。智力。 78,编号1,3-20(2016)。MSC公司:第68季度第60季度 03B70号 第68页第42页 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《数学年鉴》。Artif公司。智力。78,第1号,第3--20号(2016;Zbl 1372.68173) 全文: 内政部
奥尔纳库普弗曼 关于高质量合成。 (英语) Zbl 1476.68150号 库利科夫,亚历山大·S(编辑)等人,《计算机科学——理论与应用》。2016年6月9日至13日在俄罗斯圣彼得堡举行的第十一届国际计算机科学研讨会,CSR 2016。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9691,1-15(2016)。MSC公司:第68季度第60季度 68-02 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},莱克特。票据计算。科学。9691,1-15(2016年;兹bl 1476.68150) 全文: 内政部 链接
奥尔纳库普弗曼;加尔瓦尔迪 关于相对和概率有限抗衡性。 (英语) Zbl 1373.68288号 Kreutzer,Stephan(编辑),第24届EACSL年会和第29届计算机科学逻辑研讨会,CSL’15,德国柏林,2015年9月7日至10日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-90-3)。LIPIcs–莱布尼茨国际信息学论文集41,175-192(2015)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},LIPIcs——莱布尼茨国际程序。通知。41175--192(2015年;Zbl 1373.68288) 全文: 内政部
沙乌尔·阿尔马戈;丹尼斯·库珀伯格;奥尔纳库普弗曼 监测和合成的传感成本。 (英语) Zbl 1366.68131号 Harsha,Prahladh(编辑)等人,第35届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2015,印度班加罗尔,2015年12月16-18日。诉讼程序。瓦登:达格斯图尔宫-莱布尼茨天顶宫(ISBN 978-3-939897-97-2)。LIPIcs–莱布尼茨国际信息学论文集45,380-393(2015)。MSC公司:65年第68季度 2017年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,LIPIcs——莱布尼茨国际程序。通知。45380-393(2015年;Zbl 1366.68131) 全文: 内政部
瑞秋·法拉;奥尔纳库普弗曼 跨越从安全到活跃的范围。 (英语) Zbl 1408.68095号 Finkbeiner,Bernd(编辑)等人,《验证和分析自动化技术》。2015年10月12日至15日,第13届国际研讨会,亚洲电视协会,中国上海。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。9364, 183-200 (2015).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Faran}和\textit{O.Kupferman},莱克特。票据计算。科学。9364,183--200(2015;Zbl 1408.68095) 全文: 内政部
戈恩,希拉;奥尔纳库普弗曼 格自动机中的固有真空。 (英语) Zbl 1465.68178号 Beklemishev,Lev D.(编辑)等人,《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆:斯普林格。莱克特。票据计算。科学。9300, 174-192 (2015).MSC公司:第68季度第60季度 65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Gonen}和\textit{O.Kupferman},莱克特。票据计算。科学。9300174-192(2015年;Zbl 1465.68178) 全文: 内政部
阿夫尼,盖伊;奥尔纳库普弗曼 参数化加权包容。 (英语) Zbl 1354.68145号 ACM事务处理。计算。日志。 16,第1号,第6条,第25页(2015年)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},ACM Trans。计算。日志。16,第1号,第6条,25页(2015;Zbl 1354.68145) 全文: 内政部
奥尔纳·格伦伯格;奥尔纳库普弗曼;莎莱·申瓦尔德 模拟数据参数化系统的游戏理论方法。 (英语) Zbl 1448.68300号 Cassez,Franck(编辑)等人,《用于验证和分析的自动化技术》。2014年11月3日至7日,澳大利亚新南威尔士州悉尼,2014年亚洲电视协会第12届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8837348-363(2014年)。MSC公司:第68季度第60季度 03B44号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,Lect。票据计算。科学。8837348-363(2014年;兹比尔1448.68300) 全文: 内政部
乌迪·博克;克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼 具有累计值的时间规格。 (英语) Zbl 1354.68169号 ACM事务处理。计算。日志。 第15号第4条第27条第25页(2014年)。MSC公司:第68季度第60季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人,ACM Trans。计算。日志。15,第4号,第27条,第25页(2014;Zbl 1354.68169) 全文: 内政部
沙乌尔·阿尔马戈;乌迪·博克;奥尔纳库普弗曼 LTL折扣。 (英语) Zbl 1477.68163号 阿尔布拉哈姆,埃里卡(编辑)等人,《系统构建和分析的工具和算法》。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议(TACAS 2014),是欧洲软件理论与实践联合会议(ETAPS 2014)的一部分。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8413, 424-439 (2014).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,Lect。票据计算。科学。8413,424--439(2014;Zbl 1477.68163) 全文: 内政部 arXiv公司
阿夫尼,盖伊;奥尔纳库普弗曼;塔米尔、塔米 从可达性到成本分担游戏中的时间规范。 (英语) Zbl 1423.68272号 Demri,Stéphane(编辑)等人,《自动推理》。2014年7月19日至22日,第七届国际联合会议(IJCAR 2014)在奥地利维也纳举行,作为维也纳逻辑之夏的一部分,VSL 2014。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8562, 1-15 (2014).MSC公司:第68季度第60季度 65年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,Lect。票据计算。科学。8562,1-15(2014;Zbl 1423.68272) 全文: 内政部
阿夫尼,盖伊;奥尔纳库普弗曼 基于成本的组件库合成。 (英语) Zbl 1417.68097号 Baldan,Paolo(编辑)等人,CONCUR 2014–并发理论。第25届国际会议,CONCUR 2014,罗马,意大利,2014年9月2-5日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8704, 156-172 (2014).MSC公司:第68季度第60季度 68问题85 91A80型 91B32型 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},莱克特。票据计算。科学。8704、156--172(2014;Zbl 1417.68097) 全文: 内政部
阿夫尼,盖伊;奥尔纳库普弗曼 用于触发器查询的抽象重新定义框架。 (英语) Zbl 1291.68242号 形式方法系统。设计。 44,第2期,149-175(2014)。MSC公司:第68季度第60季度 65年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},《形式方法系统》。设计。44,第2号,149--175(2014;Zbl 1291.68242) 全文: 内政部
沙乌尔·阿尔马戈;奥尔纳库普弗曼 噪声输入下的格型LTL合成。 (英语) Zbl 1405.68178号 Muscholl,Anca(编辑),《软件科学和计算结构基础》。第17届国际会议,FOSSACS 2014,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2014,法国格勒诺布尔,2014年4月5日至13日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-54829-1/pbk)。计算机科学课堂讲稿8412,226-241(2014)。MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}和\textit{O.Kupferman},莱克特。票据计算。科学。8412,226--241(2014;Zbl 1405.68178) 全文: 内政部
阿夫尼,盖伊;奥尔纳库普弗曼;塔米尔、塔米 有固定目标的网络形成游戏。 (英语) Zbl 1348.91069号 Muscholl,Anca(编辑),《软件科学和计算结构基础》。第17届国际会议,FOSSACS 2014,作为欧洲软件理论与实践联合会议的一部分,ETAPS 2014,法国格勒诺布尔,2014年4月5日至13日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-54829-1/pbk)。计算机科学课堂讲稿841219-133(2014)。MSC公司:91A43型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,Lect。票据计算。科学。8412、119--133(2014年;Zbl 1348.91069) 全文: 内政部
奥尔纳·格伦伯格;奥尔纳库普弗曼;莎莱·申瓦尔德 一种关于参数化系统和规范的自动机理论推理方法。 (英语) Zbl 1410.68228号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8172, 397-411 (2013).MSC公司:第68季度第60季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,Lect。票据计算。科学。8172397-411(2013年;兹比尔1410.68228) 全文: 内政部
肖姆·本·达维德;奥尔纳库普弗曼 对空置结果进行排序的框架。 (英语) Zbl 1410.68216号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。8172, 148-162 (2013).MSC公司:第68季度第60季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Ben-David}和\textit{O.Kupferman},莱克特。票据计算。科学。8172148--162(2013;Zbl 1410.68216) 全文: 内政部
阿夫尼,盖伊;奥尔纳库普弗曼 抽象什么时候有用? (英语) Zbl 1284.68338号 信息处理。莱特。 113,第22-24号,901-905(2013)。MSC公司:65年第68季度 第68季度第60季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},Inf.过程。莱特。113、第22-24、901--905号(2013;Zbl 1284.68338) 全文: 内政部
沙乌尔·阿尔马戈;乌迪·博克;奥尔纳库普弗曼 对质量进行形式化和推理。 (英语) Zbl 1335.68130号 Fomin,Fedor V.(编辑)等人,自动机、语言和编程。2013年7月8日至12日,第40届国际学术讨论会,ICALP 2013,拉脱维亚里加,会议记录,第二部分。柏林:施普林格出版社(ISBN 978-3-642-39211-5/pbk)。计算机科学讲座笔记7966,15-27(2013)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人,Lect。票据计算。科学。7966,15-27(2013;Zbl 1335.68130) 全文: 内政部
塞斯·福格蒂。;奥尔纳库普弗曼;托马斯·威尔克;莫舍·瓦尔迪。 统一Büchi互补结构。 (英语) Zbl 1274.68158号 日志。方法计算。科学。 9,第1号,第14号论文,26页(2013)。 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 05年3月 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.J.Fogarty}等人,Log。方法计算。科学。9,第1号,第14号论文,26页(2013;Zbl 1274.68158) 全文: 内政部
阿夫尼,盖伊;奥尔纳库普弗曼 参数化加权包容。 (英语) Zbl 1260.68225号 Pfenning,Frank(编辑),《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013,是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37074-8/pbk)。计算机科学课堂讲稿7794369-384(2013)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}和\textit{O.Kupferman},莱克特。票据计算。科学。7794,369--384(2013;Zbl 1260.68225) 全文: 内政部
乌迪·博克;奥尔纳库普弗曼 翻译成联合Büchi使其紧密、统一和有用。 (英语) Zbl 1351.68135号 ACM事务处理。计算。日志。 第13号第4条第29条第26页(2012年)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}和\textit{O.Kupferman},ACM翻译。计算。日志。13,第4号,第29条,第26页(2012;Zbl 1351.68135) 全文: 内政部
奥尔纳·格伦伯格;奥尔纳库普弗曼;莎莱·申瓦尔德 使用参数化原子命题的模型检查系统和规范。 (英语) Zbl 1374.68288号 Chakraborty,Supratik(编辑)等人,《验证和分析自动化技术》。2012年10月3日至6日,印度第十届国际研讨会,2012年ATVA,Thiruvananthapuram。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-3385-9/pbk)。计算机科学课堂讲稿7561122-136(2012)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,Lect。票据计算。科学。7561、122--136(2012年;Zbl 1374.68288) 全文: 内政部
奥尔纳库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 一次和为所有人。 (英语) Zbl 1245.03022号 J.计算。系统。科学。 78,第3期,981-996(2012)。MSC公司:03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《计算杂志》。系统。科学。78,第3号,981-996(2012;Zbl 1245.03022) 全文: 内政部
本杰明·阿米诺夫;奥尔纳库普弗曼;穆拉诺,阿尼洛 改进了分层系统的模型检查。 (英语) Zbl 1277.68130号 Inf.计算。 210, 68-86 (2012)。MSC公司:第68季度第60季度 91A80型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,《信息计算》。210、68——86(2012;Zbl 1277.68130) 全文: 内政部
奥尔纳库普弗曼;阿丁·罗森博格 将LTL转换为确定性自动机时的放大。 (英语) Zbl 1327.68161号 范德梅登(van der Meyden)、罗恩(Ron)等,《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-642-20673-3/pbk)。计算机科学课堂讲稿6572。人工智能课堂讲稿,85-94(2011)。MSC公司:第68季度第60季度 03B44号 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{A.Rosenberg},莱克特。票据计算。科学。6572,85-94(2011;Zbl 1327.68161)
奥尔纳库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯 有界系统和环境的时间合成。 (英语) 兹比尔1230.68144 Schwentick,Thomas(编辑)等人,STACS 2011。2011年3月10日至12日,第28届计算机科学理论方面国际研讨会,德国多特蒙德。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-25-5)。LIPIcs–莱布尼茨国际信息学会议录9615-626,仅电子版(2011年)。MSC公司:第68季度第60季度 65年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,LIPIcs——莱布尼茨国际程序。通知。9615--626(2011年;Zbl 1230.68144) 全文: 内政部 链接
本杰明·阿米诺夫;奥尔纳库普弗曼;罗比·兰伯特 在线算法的形式化分析。 (英语) 兹比尔1348.68298 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,213-227(2011)。MSC公司:68周27 65年第68季度 第68季度第60季度 68瓦40 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,Lect。票据计算。科学。6996、213--227(2011年;Zbl 1348.68298) 全文: 内政部
沙乌尔·阿尔马戈;奥尔纳库普弗曼 交替加权自动机的最大和语义。 (英语) Zbl 1348.68116号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996,13-27(2011)。MSC公司:第68季度第60季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}和\textit{O.Kupferman},莱克特。票据计算。科学。6996,13-27(2011;Zbl 1348.68116) 全文: 内政部
哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。;奥尔纳库普弗曼 “什么导致系统满足规范?”的勘误表。 (英语) Zbl 1370.68197号 ACM事务处理。计算。日志。 11,第4号,第29条,第2页(2010年)。MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,ACM Trans。计算。日志。11,第4号,第29条,第2页(2010年;Zbl 1370.68197) 全文: 内政部
奥尔纳库普弗曼;莫舍·瓦尔迪。 触发器属性的合成。 (英语) Zbl 1310.68143号 Clarke,Edmund M.(编辑)等人,《编程逻辑、人工智能和推理》。第16届国际会议,LPAR-16,塞内加尔达喀尔,2010年4月25日至5月1日。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17510-7/pbk)。计算机科学课堂讲稿6355。人工智能课堂讲稿,312-331(2010)。MSC公司:第68季度第60季度 03B44号 05年3月 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},莱克特。票据计算。科学。6355、312--331(2010年;Zbl 1310.68143) 全文: 内政部
奥尔纳库普弗曼 多值自动机及其应用。 (英语) Zbl 1214.68197号 Esparza,Javier(编辑)等人,《可靠性和安全性的逻辑和语言》。根据2009年8月4日至16日在德国马克托伯多夫第30届国际暑期学校的演示文稿选出的论文。阿姆斯特丹:IOS出版社(ISBN 978-1-60750-099-5/hbk;978-1-60750-100-8/电子书)。北约和平与安全科学系列D:信息与通信安全25,179-194(2010)。MSC公司:65年第68季度 第68季度第60季度 68周27 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},北约科学。和平安全。序列号。D、 信息通信。安全。25179--194(2010年;Zbl 1214.68197) 全文: 内政部
乌迪·博克;奥尔纳库普弗曼;阿丁·罗森博格 Büchi自动机中的交替删除。 (英语) Zbl 1288.68148号 Abramsky,Samson(编辑)等人,《自动化,语言和编程》。第37届国际学术讨论会,ICALP 2010,波尔多,法国,2010年7月6日至10日。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-14161-4/pbk)。计算机科学讲义6199,76-87(2010)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Boker}等人,Lect。票据计算。科学。6199,76-87(2010;Zbl 1288.68148) 全文: 内政部
奥尔纳库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 无限状态系统的自动机理论方法。 (英语) Zbl 1288.68158号 Manna,Zohar(编辑)等人,《验证时间》。纪念埃米尔·普努利的散文。柏林:施普林格出版社(ISBN 978-3-642-13753-2/pbk)。计算机科学讲座笔记6200,202-259(2010)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。票据计算。科学。6200、202--259(2010年;Zbl 1288.68158) 全文: 内政部
达纳·菲斯曼;奥尔纳库普弗曼;尤德·卢斯蒂格 理性综合。 (英语) Zbl 1284.68396号 Esparza,Javier(编辑)等人,用于系统构建和分析的工具和算法。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议(TACAS 2010)是欧洲软件理论与实践联合会议(ETAPS 2010)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12001-5/pbk)。计算机科学课堂讲稿6015190-204(2010)。MSC公司:第68季度第60季度 03B44号 第68页第42页 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人,Lect。票据计算。科学。6015190-204(2010年;Zbl 1284.68396) 全文: 内政部
奥尔纳库普弗曼;尤德·卢斯蒂格 格子模拟关系和游戏。 (英语) Zbl 1200.68155号 发现的国际期刊。计算。科学。 21,第2期,167-189(2010)。MSC公司:第68季度第60季度 91A80型 91A05型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{Y.Lustig},国际发现杂志。计算。科学。21,第2号,167--189(2010;Zbl 1200.68155) 全文: 内政部
本杰明·阿米诺夫;奥尔纳库普弗曼;穆拉诺,阿尼洛 改进了分层系统的模型检查。 (英语) Zbl 1273.68217号 Barthe,Gilles(编辑)等人,《验证、模型检验和抽象解释》。第11届国际会议,VMCAI 2010,马德里,西班牙,2010年1月17日至19日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-11318-5/pbk)。计算机科学讲义5944,61-77(2010)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,Lect。票据计算。科学。5944、61--77(2010年;Zbl 1273.68217) 全文: 内政部
奥尔纳库普弗曼;尼尔·皮特曼 普适co-Büchi自动机非空性的目击者下限。 (英语) Zbl 1234.68221号 de Alfaro,Luca(编辑),《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00595-4/pbk)。计算机科学讲座笔记5504182-196(2009)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{N.Piterman},莱克特。票据计算。科学。5504182-196(2009年;Zbl 1234.68221) 全文: 内政部
哈娜·乔克勒;约瑟夫·霍尔珀(Joseph Y.Halpern)。;奥尔纳库普弗曼 是什么导致系统满足规范? (英语) Zbl 1367.68185号 ACM事务处理。计算。日志。 第9号第3条第20条第26页(2008年); 勘误表同上,第11号,第4条,第29条,第2页(2010年)。MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,ACM Trans。计算。日志。9,第3号,第20条,第26页(2008年;Zbl 1367.68185) 全文: 内政部 arXiv公司
鲍尔,托马斯;奥尔纳库普弗曼 测试中的真空度。 (英语) Zbl 1138.68437号 Beckert,Bernhard(编辑)等人,《测试和证明》。第二届国际会议,2008年4月9日至11日,意大利普拉托,TAP 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-79123-2/pbk)。计算机科学课堂讲稿4966,4-17(2008)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ball}和\textit{O.Kupferman},莱克特。票据计算。科学。4966,4-17(2008年;兹bl 1138.68437) 全文: 内政部
达纳·菲斯曼;奥尔纳库普弗曼;尤德·卢斯蒂格 验证分布式协议的容错性。 (英语) Zbl 1134.68317号 Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008,是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963,315-331(2008)。MSC公司:64岁以下 68个M12 68米15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Fisman}等人,Lect。票据计算。科学。4963、315--331(2008年;Zbl 1134.68317) 全文: 内政部
奥尔纳库普弗曼 我们的知识差距呈指数级。 (英语) Zbl 1169.68510号 牛市。欧洲协会。计算。科学。EATCS公司 92, 45-64 (2007)。MSC公司:第68季度第60季度 05年3月 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},公牛。欧洲协会。计算。科学。EATCS 92,45--64(2007;Zbl 1169.68510)
奥尔纳库普弗曼 收紧自动机之间的汇率。 (英语) Zbl 1179.68072号 Duparc,Jacques(编辑)等人,《计算机科学逻辑》。2007年9月11日至15日在瑞士洛桑举行的第21届CSL国际研讨会,EACSL第16届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74914-1/pbk)。计算机科学课堂讲稿4646,7-22(2007)。MSC公司:65年第68季度 05年3月 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},莱克特。票据计算。科学。4646,7--22(2007;Zbl 1179.68072) 全文: 内政部
奥尔纳库普弗曼;尤德·卢斯蒂格 格子模拟关系和游戏。 (英语) Zbl 1141.68473号 Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762316-330(2007)。MSC公司:第68季度第60季度 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{Y.Lustig},莱克特。票据计算。科学。4762316-330(2007年;Zbl 1141.68473) 全文: 内政部
鲍尔,托马斯;奥尔纳库普弗曼 通过隐藏变量更好地实现程序的欠近似。 (英语) 兹比尔1132.68332 Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349314-328(2007)。MSC公司:68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ball}和\textit{O.Kupferman},Lect。票据计算。科学。4349,314--328(2007;Zbl 1132.68332) 全文: 内政部
奥尔纳库普弗曼;尤德·卢斯蒂格 格自动机。 (英语) Zbl 1132.68455号 Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349199-213(2007)。MSC公司:65年第68季度 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{Y.Lustig},莱克特。票据计算。科学。4349,199--213(2007;Zbl 1132.68455) 全文: 内政部
奥尔纳库普弗曼 无限词自动机及其在形式验证中的应用。 (英语) Zbl 1137.68040号 Broy,Manfred(编辑)等人,《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社(ISBN 978-1-58603-731-4/hbk)。北约科学安全系列。D: 信息与通信安全9,135-150(2007)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},in:软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》,德国马克托伯恩多夫,2006年8月1日至13日。阿姆斯特丹:IOS出版社。135-150(2007;Zbl 1137.68040)
鲍尔,托马斯;奥尔纳库普弗曼;穆利·萨吉夫 在抽象中跳跃循环。 (英语) Zbl 1135.68465号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590491-503(2007)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ball}等人,Lect。票据计算。科学。4590,491--503(2007;Zbl 1135.68465) 全文: 内政部 链接
奥尔纳库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 从活泼到敏捷。 (英语) Zbl 1135.03336号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590406-419(2007)。MSC公司:03B70号 第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。票据计算。科学。4590406--419(2007年;Zbl 1135.03336) 全文: 内政部
奥尔纳库普弗曼;莫舍·瓦尔迪。 开放系统的验证。 (英语) 兹比尔1266.68133 Goldin,Dina(编辑)等人,《交互式计算》。新范式。柏林:施普林格出版社(ISBN 3-540-34666-X/hbk)。97-117 (2006).MSC公司:第68季度第60季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},in:交互式计算。新范式。柏林:斯普林格。97-117(2006年;Zbl 1266.68133) 全文: 内政部
奥尔纳库普弗曼;罗比·兰伯特 关于安全属性精细自动机的构建。 (英语) Zbl 1161.68572号 Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,110-124(2006)。MSC公司:第68季度第60季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{R.Lampert},莱克特。票据计算。科学。4218、110-124(2006年;Zbl 1161.68572) 全文: 内政部
奥尔纳库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。 在本地可检查属性上。 (英语) 兹比尔1165.68408 Hermann,Miki(编辑)等人,《编程逻辑、人工智能和推理》。2006年11月13日至17日在柬埔寨金边举行的第13届LPAR国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48281-9/pbk)。计算机科学课堂讲稿4246。《人工智能讲义》,302-316(2006)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。票据计算。科学。4246、302-316(2006年;Zbl 1165.68408) 全文: 内政部
奥尔纳库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 无安全成分合成。 (英语) Zbl 1188.68193号 Ball,Thomas(编辑)等人,《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-37406-X/pbk)。计算机科学讲义414431-44(2006)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。票据计算。科学。4144、31-44(2006年;Zbl 1188.68193) 全文: 内政部
奥尔纳库普弗曼 正式验证中的健全性检查。 (英语) Zbl 1151.68485号 Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137,37-51(2006)。MSC公司:第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman},莱克特。票据计算。科学。4137、37--51(2006年;Zbl 1151.68485) 全文: 内政部
奥尔纳库普弗曼;Sheinvald-Faragy,萨拉伊 寻找无限单词上自动机非空性的最短见证人。 (英语) Zbl 1151.68462号 Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲稿4137492-508(2006)。MSC公司:65年第68季度 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{S.Sheinvald-Faragy},莱克特。票据计算。科学。413742-508(2006年;兹比尔1151.68462) 全文: 内政部
哈娜·乔克勒;奥尔纳库普弗曼;莫舍·瓦尔迪。 时序逻辑模型检查的覆盖度量。 (英语) 兹比尔1105.68075 形式方法系统。设计。 第3期第28页,第189-212页(2006年)。MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,《形式方法系统》。设计。28,第3号,189--212(2006;Zbl 1105.68075) 全文: 内政部 链接
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼;鲁帕克·马朱姆达尔 关于(mu)-演算的普遍片段和存在片段。 (英语) Zbl 1088.68106号 西奥。计算。科学。 354,编号2173-186(2006)。MSC公司:第68季度第60季度 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Theor。计算。科学。354,编号2173-186(2006年;兹bl 1088.68106) 全文: 内政部
奥尔纳库普弗曼;莫舍·瓦尔迪。 从线性时间到分支时间。 (英语) Zbl 1367.68195号 ACM事务处理。计算。日志。 6,第2期,273-294(2005)。MSC公司:第68季度第60季度 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},ACM Trans。计算。日志。6,第2号,273--294(2005;Zbl 1367.68195) 全文: 内政部
多龙·布斯坦;阿隆·弗莱舍;奥尔纳·格伦伯格;奥尔纳库普弗曼;莫舍·瓦尔迪。 经常出现真空。 (英语) Zbl 1159.68311号 Borrione,Dominique(编辑)等人,《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议,CHARME 2005,德国萨尔布吕肯,2005年10月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29105-9/pbk)。计算机科学课堂讲稿3725191-206(2005)。MSC公司:2007年7月68日 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bustan}等人,Lect。票据计算。科学。3725191--206(2005年;Zbl 1159.68311) 全文: 内政部
查克拉巴蒂,阿林达姆;克里希南德·查特吉;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼;鲁帕克·马朱姆达尔 使用绑定函数验证定量属性。 (英语) Zbl 1159.68313号 Borrione,Dominique(编辑)等人,《正确的硬件设计和验证方法》。第13届IFIP WG 10.5高级研究工作会议,CHARME 2005,德国萨尔布吕肯,2005年10月3日至6日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-29105-9/pbk)。计算机科学讲义3725,50-64(2005)。MSC公司:2007年7月68日 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Chakrabarti}等人,Lect。票据计算。科学。3725,50-64(2005年;兹bl 1159.68313) 全文: 内政部
鲍尔,托马斯;奥尔纳库普弗曼;格雷塔·约什 伪造摘要。 (英语) Zbl 1081.68051号 Etessami,Kousha(编辑)等人,《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27231-3/pbk)。计算机科学课堂讲稿3576,67-81(2005)。MSC公司:第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ball}等人,Lect。票据计算。科学。3576,67--81(2005;Zbl 1081.68051) 全文: 内政部
奥尔纳库普弗曼;莫舍·瓦尔迪。 从补充到认证。 (英语) Zbl 1079.68060号 西奥。计算。科学。 345,第1期,83-100(2005)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},Theor。计算。科学。345,编号1,83--100(2005;Zbl 1079.68060) 全文: 内政部
本杰明·阿米诺夫;鲍尔,托马斯;奥尔纳库普弗曼 推理具有过渡公平性的系统。 (英语) Zbl 1108.68486号 Baader,Franz(编辑)等人,《编程逻辑、人工智能和推理》。2005年3月14日至18日,乌拉圭蒙得维的亚,第11届国际会议,LPAR 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25236-3/pbk)。计算机科学课堂讲稿3452。人工智能课堂讲稿,194-208(2005)。MSC公司:第68季度第60季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Aminof}等人,Lect。票据计算。科学。3452194-208(2005;Zbl 1108.68486) 全文: 内政部
多龙·布斯坦;奥尔纳库普弗曼;莫舍·瓦尔迪。 模态演算交替层次结构的度量崩溃。 (英语) Zbl 1122.68470号 Diekert,Volker(编辑)等人,STACS 2004。2004年3月25日至27日,法国蒙彼利埃,第21届计算机科学理论方面年度研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21236-1/pbk)。计算机科学课堂讲稿2996522-533(2004)。MSC公司:第68季度第60季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Bustan}等人,Lect。票据计算。科学。2996522--533(2004年;Zbl 1122.68470) 全文: 内政部
奥尔纳库普弗曼;莫舍·瓦尔迪。 从补充到认证。 (英语) Zbl 1126.68481号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988591-606(2004)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},莱克特。票据计算。科学。2988591--606(2004年;Zbl 1126.68481) 全文: 内政部
埃胡德·弗里德古特;奥尔纳库普弗曼;莫舍·瓦尔迪。 Büchi互补更加紧密。 (英语) Zbl 1108.68068号 Wang,Farn(编辑),验证和分析自动化技术。2004年10月31日至11月3日,第二届国际会议,ATVA 2004,中华民国台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23610-4/pbk)。计算机科学课堂讲稿3299,64-78(2004)。MSC公司:65年第68季度 第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Friedgut}等人,Lect。票据计算。科学。3299、64--78(2004年;Zbl 1108.68068) 全文: 内政部
奥尔纳库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 公平等价关系。 (英语) Zbl 1274.68194号 Dershowitz,Nachum(编辑),《验证:理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林:施普林格出版社(ISBN 3-540-21002-4/pbk)。计算机科学课堂讲稿2772702-732(2003)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。票据计算。科学。2772702--732(2003年;Zbl 1274.68194) 全文: 内政部
哈娜·乔克勒;奥尔纳库普弗曼;莫舍·瓦尔迪。 用于正式验证的覆盖度量。 (英语) Zbl 1179.68080号 Geist,Daniel(编辑)等人,《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议,CHARME 2003,意大利拉奎拉,2003年10月21日至24日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20363-X/pbk)。莱克特。票据计算。科学。2860, 111-125 (2003).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人,莱克特。票据计算。科学。2860111-125(2003年;Zbl 1179.68080) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼;沙兹·卡迪尔 从前历史到后现代的符号模型检验。 (英语) 兹比尔1074.68036 形式方法系统。设计。 23,第3期,303-327(2003)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《形式方法系统》。设计。23,第3号,303--327(2003;Zbl 1074.68036) 全文: 内政部
奥尔纳库普弗曼;莫舍·瓦尔迪。 \(\Pi_2\cap\Sigma_2\equiv\text{AFMC}\)。 (英语) Zbl 1039.03023号 Baeten,Jos C.M.(编辑)等人,《自动化,语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40493-7/pbk)。莱克特。票据计算。科学。2719, 697-713 (2003).MSC公司:03B70号 03B45号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},莱克特。票据计算。科学。2719、697--713(2003年;Zbl 1039.03023) 全文: 链接
罗伊·阿莫尼;多龙·布斯坦;奥尔纳库普弗曼;莫舍·瓦尔迪。 线性时序逻辑中的重置与中止。 (英语) Zbl 1031.68075号 Garavel,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2619, 65-80 (2003).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Armoni}等人,Lect。票据计算。科学。2619、65-80(2003年;Zbl 1031.68075) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼;鲁帕克·马朱姆达尔 关于(mu)-演算的普遍片段和存在片段。 (英语) Zbl 1031.68080号 Garavel,Hubert(编辑)等人,《系统构建和分析的工具和算法》。2003年4月7日至11日在波兰华沙举行的2003年第9届TACAS国际会议,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2619, 49-64 (2003).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。票据计算。科学。2619、49--64(2003年;Zbl 1031.68080) 全文: 链接
拉杰夫·阿鲁尔;托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼 交替时间时序逻辑。 (英语) Zbl 1326.68181号 美国临床医学杂志 49,第5期,672-713(2002)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,J.ACM 49,No.5,672--713(2002;Zbl 1326.68181) 全文: 内政部 链接
奥尔纳库普弗曼;乌尔里克·萨特勒;莫舍·瓦尔迪。 分级微积分的复杂性。 (英语) Zbl 1072.03014号 Andrei Voronkov(编辑),自动扣除-CADE-18。第18届国际会议,丹麦哥本哈根,2002年7月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43931-5)。莱克特。票据计算。科学。2392, 423-437 (2002).MSC公司:03B45号 05年3月 2015年3月1日 03B35型 2017年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。票据计算。科学。2392423--437(2002年;Zbl 1072.03014) 全文: 链接
托马斯·亨辛格(Thomas A.Henzinger)。;克里希南,Sriram C。;奥尔纳库普弗曼;Freddy Y.C.Mang。 未初始化系统的合成。 (英语) Zbl 1057.68060号 Peter Widmayer(编辑)等人,《自动化、语言和编程》。第29届国际学术讨论会,ICALP 2002,西班牙马拉加,2002年7月8日至13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43864-5)。莱克特。票据计算。科学。2380, 644-656 (2002).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。票据计算。科学。2380644--656(2002年;Zbl 1057.68060) 全文: 链接
奥尔纳库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 下压规范。 (英语) Zbl 1023.68624号 Baaz,Matthias(编辑)等人,《编程逻辑、人工智能和推理》。第九届国际会议,2002年10月14日至18日,格鲁吉亚第比利斯,LPAR 2002。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2514, 262-277 (2002).MSC公司:第68季度第60季度 68号30 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。票据计算。科学。2514262-277(2002年;Zbl 1023.68624) 全文: 链接
马尔金·尤尔金斯基;奥尔纳库普弗曼;托马斯·亨辛格(Thomas A.Henzinger)。 公平交易概率。 (英语) Zbl 1020.68060号 朱利安·布拉德菲尔德(编辑),《计算机科学逻辑》。第16届国际研讨会,CSL 2002,EACSL第11届年会,苏格兰爱丁堡,英国,2002年9月22日至25日。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2471, 292-305 (2002).MSC公司:68问题85 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Jurdzinski}等人,Lect。票据计算。科学。2471292-305(2002年;兹比尔1020.68060) 全文: 链接
奥尔纳库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 模型检查前缀可识别系统的线性属性。 (英语) Zbl 1010.68078号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。票据计算。科学。2404, 371-385 (2002).MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。票据计算。科学。2404371-385(2002年;Zbl 1010.68078) 全文: 链接
大卫·哈雷;奥尔纳库普弗曼;莫舍·瓦尔迪。 关于验证并发转换系统的复杂性。 (英语) Zbl 1009.68082号 Inf.计算。 173,第2期,第143-161页(2002年)。MSC公司:68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,《信息计算》。173,编号2,143--161(2002;Zbl 1009.68082) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳库普弗曼;Rajamani,Sriram K。 公平模拟。 (英语) Zbl 1009.68071号 Inf.计算。 173,第1期,64-81(2002)。MSC公司:第68季度第60季度 68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,《信息计算》。173,编号1,64--81(2002;Zbl 1009.68071) 全文: 内政部 链接
奥尔纳库普弗曼;莫舍·瓦尔迪。 关于有界规范。 (英语) Zbl 1275.68094号 Nieuwenhuis,Robert(编辑)等人,《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议,LPAR 2001。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42957-3/pbk)。计算机科学讲义2250。人工智能课堂讲稿,24-38(2001)。MSC公司:第68季度第60季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},莱克特。票据计算。科学。2250、24-38(2001年;Zbl 1275.68094) 全文: 内政部