×

找到58个文档（结果1-58）

最新 引文 关联
帕特里夏·鲍耶;奥尔纳·库普弗曼;尼古拉斯·马基;巴斯蒂安·莫伯特;阿尼埃洛·穆拉诺;朱塞佩·佩雷利

关于战略行为的质量和模糊性的推理。 （英语） Zbl 07713582号

ACM事务处理。计算。日志。 24，第3号，第21号论文，38页（2023年）.
MSC公司：03B70号 68倍
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，ACM Trans。计算。日志。24，第3号，第21号论文，38页（2023；Zbl 07713582）
全文： 内政部 arXiv公司
比卢斯，吉利;奥尔纳·库普弗曼

网络信息游戏的覆盖面和真空度。 （英语） Zbl 07650823号

Fernández，Maribel（编辑）等人，第28届EACSL计算机科学逻辑年会，CSL 2020，西班牙巴塞罗那，2020年1月13日至16日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。152，第10条，第18页（2020年）。
MSC公司：68倍 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Bielous}和\textit{O.Kupferman}，LIPIcs——莱布尼茨国际程序。通知。152，第10条，第18页（2020；Zbl 07650823）
全文： 内政部
哈娜·乔克勒;什巴希斯·古哈;奥尔纳·库普弗曼

定时真空。 （英语） Zbl 1460.68055号

Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 438-455 (2018).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{H.Chockler}等人，莱克特。注释计算。科学。10951，438--455（2018；Zbl 1460.68055）
全文： 内政部
瑞秋·法拉;奥尔纳·库普弗曼

LTL算法及其在层次系统推理中的应用。 （英语） Zbl 1415.68144号

Barthe，Gilles（编辑）等人，LPAR-22。第22届编程逻辑、人工智能和推理国际会议，埃塞俄比亚阿瓦萨，2018年11月17日至21日。精选论文。曼彻斯特：EasyChair。EPiC系列。计算。57, 343-362 (2018).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Faran}和\textit{O.Kupferman}，EPiC Ser。计算。57、343--362（2018；Zbl 1415.68144）
全文： 内政部
沙乌尔·阿尔马戈;奥尔纳·库普弗曼;詹·奥利弗·林格特;纱线维纳

定量假设保证合成。 （英语） Zbl 1494.68156号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。10427, 353-374 (2017).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{S.Almagor}等人，Lect。注释计算。科学。10427，353--374（2017；Zbl 1494.68156）
全文： 内政部 链接
奥尔纳·库普弗曼;加尔省瓦尔迪

流程逻辑。 （英语） Zbl 1442.03015号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5日至8日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社。LIPIcs–莱布尼茨国际程序。通知。85，第9条，第18页（2017年）。
MSC公司：03B70号 03B44号 05C21号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{G.Vardi}，LIPIcs——莱布尼茨国际程序。通知。85，第9条，第18页（2017；Zbl 1442.03015）
全文： 内政部
沙乌尔·阿尔马戈;奥尔纳·库普弗曼

针对随机环境的高质量合成。 （英语） 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公司：60年第68季度 03B44号 第68季度25 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Almagor}和\textit{O.Kupferman}，LIPIcs--Leibniz Int.Proc。通知。62，第28条，第17页（2016；Zbl 1369.68256）
全文： 内政部 arXiv公司
奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德

模拟数据参数化系统的游戏理论方法。 （英语） Zbl 1448.68300号

Cassez，Franck（编辑）等人，《用于验证和分析的自动化技术》。2014年11月3日至7日，澳大利亚新南威尔士州悉尼，第十二届国际研讨会，ATVA 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8837, 348-363 (2014).
MSC公司：60年第68季度 03B44号 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{O.Grumberg}等人，Lect。注释计算。科学。8837，348--363（2014；Zbl 1448.68300）
全文： 内政部
沙乌尔·阿尔马戈;博克，乌迪;奥尔纳·库普弗曼

LTL折扣。 （英语） Zbl 1477.68163号

Ábrahám，Erika（编辑）等人，用于系统构建和分析的工具和算法。2014年4月5日至13日在法国格勒诺布尔举行的第20届国际会议（TACAS 2014），是欧洲软件理论与实践联合会议（ETAPS 2014）的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8413, 424-439 (2014).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{S.Almagor}等人，Lect。注释计算。科学。8413，424--439（2014；Zbl 1477.68163）
全文： 内政部 arXiv公司
沙乌尔·阿尔马戈;奥尔纳·库普弗曼

噪声输入下的格型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公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Almagor}和\textit{O.Kupferman}，莱克特。注释计算。科学。8412，226--241（2014；Zbl 1405.68178）
全文： 内政部
奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德

一种自动机理论方法，用于推理参数化系统和规范。 （英语） Zbl 1410.68228号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，亚洲电视协会，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 397-411 (2013).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛O.Grumberg｝等人，Lect。注释计算。科学。8172397--411（2013；Zbl 1410.68228）
全文： 内政部
沙乌尔·阿尔马戈;博克，乌迪;奥尔纳·库普弗曼

关于质量的形式化和推理。 （英语） 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公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{S.Almagor}等人，Lect。注释计算。科学。7966，15-27（2013；Zbl 1335.68130）
全文： 内政部
奥尔纳·格伦伯格;奥尔纳·库普弗曼;莎莱·申瓦尔德

使用参数化原子命题的模型检查系统和规范。 （英语） Zbl 1374.68288号

Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561122-136（2012）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Grumberg}等人，Lect。注释计算。科学。7561、122--136（2012年；Zbl 1374.68288）
全文： 内政部
奥尔纳·库普弗曼;阿丁·罗森博格

将LTL转换为确定性自动机时的放大。 （英语） 兹比尔1327.68161

范德梅登（van der Meyden）、罗恩（Ron）等，《模型检查和人工智能》。2010年7月11日于美国佐治亚州亚特兰大举行的2010年MoChArt第六届国际研讨会。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-642-20673-3/pbk）。计算机科学课堂讲稿6572。人工智能课堂讲稿，85-94（2011）。
MSC公司：60年第68季度 03B44号 第68季度25 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{A.Rosenberg}，莱克特。注释计算。科学。6572，85-94（2011；Zbl 1327.68161）
奥尔纳·库普弗曼;尤德·卢斯蒂格;莫舍·瓦尔迪。;米哈利斯·亚纳卡基斯

有界系统和环境的时间合成。 （英语） Zbl 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公司：60年第68季度 65年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，LIPIcs——莱布尼茨国际程序。通知。9615--626（2011年；Zbl 1230.68144）
全文： 内政部 链接
奥尔纳·库普弗曼;莫舍·瓦尔迪。

触发特性的合成。 （英语） 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公司：60年第68季度 03B44号 05年3月 68号30
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。6355、312--331（2010年；Zbl 1310.68143）
全文： 内政部
达纳·菲斯曼;奥尔纳·库普弗曼;尤德·卢斯蒂格

理性综合。 （英语） 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公司：60年第68季度 03B44号 68T42型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{D.Fisman}等人，Lect。注释计算。科学。6015190-204（2010年；Zbl 1284.68396）
全文： 内政部
哈娜·乔克勒;约瑟夫·哈尔彭。;奥尔纳·库普弗曼

是什么导致系统满足规范？ （英语） Zbl 1367.68185号

ACM事务处理。计算。日志。 第9号第3条第20条第26页（2008年）; 勘误表同上，第11号，第4条，第29条，第2页（2010年）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Chockler}等人，ACM Trans。计算。日志。9，第3号，第20条，第26页（2008年；Zbl 1367.68185）
全文： 内政部 arXiv公司
奥尔纳·库普弗曼;尤德·卢斯蒂格

格自动机。 （英语） 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号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{Y.Lustig}，莱克特。注释计算。科学。4349，199--213（2007；Zbl 1132.68455）
全文： 内政部
奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。

从活泼到敏捷。 （英语） Zbl 1135.03336号

Damm，Werner（编辑）等人，《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73367-6/pbk）。计算机科学课堂讲稿4590406-419（2007）。
MSC公司：03B70号 60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。4590406--419（2007年；Zbl 1135.03336）
全文： 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。

开放系统的验证。 （英语） Zbl 1266.68133号

Goldin，Dina（编辑）等人，《交互式计算》。新范式。柏林：施普林格出版社（ISBN 3-540-34666-X/hbk）。97-117 (2006).
MSC公司：60年第68季度 03B44号 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛O.Kupferman｝和\textit｛M.Y.Vardi｝，在：交互式计算中。新范式。柏林：斯普林格。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公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{R.Lampert}，莱克特。注释计算。科学。4218、110-124（2006年；Zbl 1161.68572）
全文： 内政部
奥尔纳·库普弗曼

正式验证中的健全性检查。 （英语） 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公司：60年第68季度 03B44号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}，莱克特。注释计算。科学。4137、37--51（2006年；Zbl 1151.68485）
全文： 内政部
鲍尔，托马斯;奥尔纳·库普弗曼;格雷塔·约什

伪造摘要。 （英语） Zbl 1081.68051号

Etessami，Kousha（编辑）等人，计算机辅助验证。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576，67-81（2005）。
MSC公司：60年第68季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{T.Ball}等人，Lect。注释计算。科学。3576，67--81（2005；Zbl 1081.68051）
全文： 内政部
本杰明·阿米诺夫;鲍尔，托马斯;奥尔纳·库普弗曼

推理具有过渡公平性的系统。 （英语） Zbl 1108.68486号

Baader，Franz（编辑）等人，《编程逻辑、人工智能和推理》。2005年3月14日至18日，乌拉圭蒙得维的亚，第11届国际会议，LPAR 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25236-3/pbk）。计算机科学课堂讲稿3452。人工智能课堂讲稿，194-208（2005）。
MSC公司：60年第68季度 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公司：60年第68季度 03B70号 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{D.Bustan}等人，Lect。注释计算。科学。2996522-533（2004年；兹比尔1122.68470）
全文： 内政部
沙米尔，肖姆;奥尔纳·库普弗曼;伊莱·沙米尔

分支深度层次结构。 （英语） Zbl 1260.03034号

Aceto，Luca（编辑）等人，EXPRESS'00:第七届并发表达性国际研讨会。CONCUR 2000卫星研讨会会议记录，美国宾夕法尼亚州大学公园，2000年8月21日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》39，第1期，65-78（2003）。
MSC公司：03B44号 第68季度85 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Shamir}等人，《电子》。注释Theor。计算。科学。39，第1号，65--78（2003；Zbl 1260.03034）
全文： 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。

\（\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号 60年第68季度
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年第九届国际会议TACAS。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。第2619页，第65-80页（2003年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{R.Armoni}等人，Lect。注释计算。科学。2619，65-80（2003年；兹bl 1031.68075）
全文： 链接
托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;鲁帕克·马朱姆达尔

关于（mu）-演算的普遍片段和存在片段。 （英语） Zbl 1031.68080号

Garavel，Hubert（编辑）等人，《系统构建和分析的工具和算法》。2003年4月7日至11日，作为欧洲软件理论和实践联合会议的一部分，在波兰华沙举行的2003年第九届国际会议TACAS。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2619, 49-64 (2003).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{T.A.Henzinger}等人，Lect。注释计算。科学。2619、49--64（2003年；Zbl 1031.68080）
全文： 链接
奥尔纳·库普弗曼;乌尔里克·萨特勒;莫舍·瓦尔迪。

分级微积分的复杂性。 （英语） 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季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。2392423--437（2002年；Zbl 1072.03014）
全文： 链接
奥尔纳·库普弗曼;莫舍·瓦尔迪。

关于有界规范。 （英语） 兹比尔1275.68094

Nieuwenhuis，Robert（编辑）等人，《编程逻辑、人工智能和推理》。2001年12月3日至7日在古巴哈瓦那举行的第八届国际会议，LPAR 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42957-3/pbk）。计算机科学课程讲稿2250。《人工智能讲义》，24-38页（2001年）。
MSC公司：60年第68季度 03B44号 65年第68季度 第68季度85
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。2250、24-38（2001年；Zbl 1275.68094）
全文： 内政部
哈娜·乔克勒;奥尔纳·库普弗曼;莫舍·瓦尔迪。

时序逻辑模型检查的覆盖度量。 （英语） Zbl 0978.68092号

Margaria，Tiziana（编辑）等，系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001，是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2031, 528-542 (2001).
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{H.Chockler}等人，莱克特。注释计算。科学。2031528--542（2001；Zbl 0978.68092）
全文： 链接
奥尔纳·库普弗曼;莫舍·瓦尔迪。

时间模型检查中的真空检测。 （英语） Zbl 0961.68085号

Pierre，Laurence（编辑）等人，《正确的硬件设计和验证方法》。第十届IFIP WG 10.5高级研究工作会议，CHARME’99，Bad Herrenalb，Germany，1999年9月27-29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1703, 82-96 (1999).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。1703、82--96（1999年；Zbl 0961.68085）
奥尔纳·库普弗曼;莫舍·瓦尔迪。

自我互补的弱点。 （英语） Zbl 0924.03045号

Meinel，Christoph（编辑）等人，STACS 99。1999年3月4日至6日在德国特里尔举行的第16届计算机科学理论方面年度研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1563, 455-466 (1999).
MSC公司：03B70号 60年第68季度 05年3月 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。1563455-466（1999；Zbl 0924.03045）
托马斯·亨辛格（Thomas A.Henzinger）。;奥尔纳·库普弗曼;莫舍·瓦尔迪。

一种用于实时模型检查的节省空间的动态算法。 （英语） Zbl 1514.68168号

Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1119, 514-529 (1996).
MSC公司：第68季度85 03B44号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.A.Henzinger｝等人，Lect。注释计算。科学。1119514-529（1996年；Zbl 1514.68168）
全文： 内政部
O.伯恩霍兹。;O·格伦伯格。

买一送一！！！ （英语） Zbl 0949.03509号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。827, 210-224 (1994).
MSC公司：03B44号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Bernholtz}和\textit{O.Grumberg}，莱克特。注释计算。科学。827，210-224（1994；Zbl 0949.03509）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件