×

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

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

关于战略行为的质量和模糊性的推理。 （英语） 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 07410435号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12650385-405（2021）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{S.Sickert}，莱克特。票据计算。科学。12650385-405（2021年；兹bl 07410435）
全文： 内政部 arXiv公司
奥尔纳·库普弗曼；奥费尔·莱斯科维茨

关于重复语言。 （英语） Zbl 07559430号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170，第59条，第14页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{O.Leshkowitz}，LIPIcs——莱布尼茨国际程序。通知。170，第59条，第14页（2020；Zbl 07559430）
全文： 内政部
阿伊拉特·哈利莫夫；奥尔纳·库普弗曼

基于寄存器的合成。 （英语） Zbl 07649933号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第25条，第16页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Khalimov}和\textit{O.Kupferman}，LIPIcs——莱布尼茨国际程序。通知。140，第25条，第16页（2019年；Zbl 07649933）
全文： 内政部
阿布·拉迪·巴德；奥尔纳·库普弗曼

最小化基于GFG转换的自动机。 （英语） Zbl 1527.68120号

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第100条，第16页（2019年）。
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.B.Abu}和\textit{O.Kupferman}，LIPIcs——莱布尼茨国际程序。通知。132，第100条，第16页（2019年；Zbl 1527.68120）
全文： 内政部
乌迪·博克；奥尔纳·库普弗曼；Micha Skrzypczak

游戏自动机的确定性如何？ （英语） Zbl 1491.68096号

Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第18条，第14页（2018年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}等人，LIPIcs——莱布尼茨国际程序。通知。93，第18条，第14页（2018；Zbl 1491.68096）
全文： 内政部 arXiv公司
戈恩，希拉；奥尔纳·库普弗曼

格自动机中的固有真空。 （英语） Zbl 1465.68178号

Beklemishev，Lev D.（编辑）等人，《逻辑与计算领域II》。在尤里·古雷维奇75岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。9300, 174-192 (2015).
MSC公司：60年第68季度 65年第68季度 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Gonen}和\textit{O.Kupferman}，莱克特。票据计算。科学。9300174-192（2015年；Zbl 1465.68178）
全文： 内政部
阿夫尼，盖伊；奥尔纳·库普弗曼

加权自动机的随机性。 （英语） Zbl 1465.68130号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。2015年8月24日至28日，第40届国际研讨会，MFCS 2015，意大利米兰。诉讼程序。第一部分柏林：施普林格。莱克特。票据计算。科学。9234, 89-102 (2015).
MSC公司：65年第68季度 2010年第68季度 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{G.Avni}和\textit{O.Kupferman}，莱克特。票据计算。科学。9234，89-102（2015；Zbl 1465.68130）
全文： 内政部
乌迪·博克；奥尔纳·库普弗曼

寻求将Büchi严格翻译为co-Bu chi automata。 （英语） Zbl 1287.68092号

安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学课堂讲稿6300，147-164（2010）。
MSC公司：65年第68季度 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{U.Boker}和\textit{O.Kupferman}，莱克特。票据计算。科学。6300、147--164（2010年；Zbl 1287.68092）
全文： 内政部
奥尔纳·库普弗曼；尼尔·皮特曼

普适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季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{N.Piterman}，莱克特。票据计算。科学。5504182-196（2009年；Zbl 1234.68221）
全文： 内政部
奥尔纳·库普弗曼；尤德·卢斯蒂格

格自动机。 （英语） 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）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件