×

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

最新的 引文 关联
莫舍·瓦尔迪。；赛斯·福加蒂；李勇；Tsay，Yih-Kuen先生

走向Büchi互补结构的大统一。 （英语） Zbl 1528.68202号

Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 185-207 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Y.Vardi｝等人，Lect。注释计算。科学。13660，185-207（2022；Zbl 1528.68202）
全文： 内政部
Tsay，Yih-Kuen先生；莫舍·瓦尔迪。

从线性时序逻辑到Büchi自动机：早期和简单的原理。 （英语） Zbl 1522.68287号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 8-40 (2022).
MSC公司：65年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{Y.-K.Tsay}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。13030，8--40（2022；Zbl 1522.68287）
全文： 内政部
李勇；安德烈亚·图里尼；冯伟志；莫舍·瓦尔迪。；张丽君

基于SCC分解的Büchi自动机分治判定。 （英语） Zbl 1514.68108号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 152-173 (2022).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。13372、152--173（2022年；Zbl 1514.68108）
全文： 内政部 arXiv公司
李勇；Tsay，Yih-Kuen先生；安德烈亚·图里尼；莫舍·瓦尔迪。；张丽君

Büchi自动机的同余关系。 （英语） Zbl 1521.68074号

Huisman，Marieke（编辑）等人，《形式方法》。第24届国际研讨会，FM 2021，虚拟活动，2021年11月20日至26日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13047, 465-482 (2021).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，Lect。注释计算。科学。13047465--482（2021；Zbl 1521.68074）
全文： 内政部 arXiv公司
卢卡斯·塔巴哈拉。；莫舍·瓦尔迪。

线性时序逻辑——从无限到有限。 （英语） 兹比尔1497.03035

Hou，Zhe（编辑）等，验证和分析自动化技术。第19届国际研讨会，2021年10月18日至22日，澳大利亚昆士兰州黄金海岸，ATVA 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12971, 3-12 (2021).
MSC公司：03B44号 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛L.M.Tabajara｝和\textit｛M.Y.Vardi｝，Lect。注释计算。科学。12971，3-12（2021；Zbl 1497.03035）
全文： 内政部
苏古曼·班萨尔；克里希南德·查特吉；莫舍·瓦尔迪。

关于量化游戏中的满意度。 （英语） Zbl 1467.68161号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12651, 20-37 (2021).
MSC公司：68T20型 65年第68季度 90立方厘米 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{S.Bansal}等人，Lect。注释计算。科学。12651，20--37（2021；Zbl 1467.68161）
全文： 内政部 arXiv公司
李勇；莫舍·瓦尔迪。；张丽君

关于Büchi互补中明确性的力量。 （英语） Zbl 07455748号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326182-198（2020）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{Y.Li}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326182--198（2020；Zbl 07455748）
全文： arXiv公司 链接
安德鲁·威尔斯（Andrew M.Wells）。；Morteza拉希贾尼扬；利迪亚·卡夫拉基。；莫舍·瓦尔迪。

\（\mathrm{LTL}_f\)概率系统综合。 （英语） Zbl 07455747号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）326166-181（2020）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Wells}等人，《电子》。程序。西奥。计算。科学。（EPTCS）326、166——181（2020；兹bl 07455747）
全文： arXiv公司 链接
卢卡斯·塔巴哈拉。；莫舍·瓦尔迪。

部分可观测性下的LTLf综合：从理论到实践。 （英语） Zbl 07455737号

Raskin，Jean-Francois（ed.）等人，《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）3261-17（2020年）。
MSC公司：65年第68季度 60年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{L.M.Tabajara}和\textit{M.Y.Vardi}，电子。程序。西奥。计算。科学。（EPTCS）326，1--17（2020；Zbl 07455737）
全文： arXiv公司 链接
苏古曼·班萨尔；莫舍·瓦尔迪。

安全和协同安全自动比较器，用于折扣和包含。 （英语） Zbl 07805526号

Dillig，Isil（编辑）等人，《计算机辅助验证》。2019年7月15日至18日在美国纽约州纽约市举行的第31届CAV 2019国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。11561, 60-78 (2019).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bansal}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。11561，60-78（2019；Zbl 07805526）
全文： 内政部
苏古曼·班萨尔；斯瓦拉特·乔杜里；莫舍·瓦尔迪。

自动与线性编程的折扣和包含。 （英语） Zbl 1511.68138号

Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第二部分。查姆：斯普林格公开赛。莱克特。注释计算。科学。10982, 99-116 (2018).
MSC公司：65年第68季度 65年第68季度 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{S.Bansal}等人，Lect。注释计算。科学。10982，99-116（2018；Zbl 1511.68138）
全文： 内政部
油炸，Dror；Legay、Axel；约尔·瓦克宁；莫舍·瓦尔迪。

顺序关系分解。 （英语） Zbl 1497.68172号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。432-441 (2018).
MSC公司：第68季度01 2006年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Fried}等人，摘自：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。432-441（2018年；兹bl 1497.68172）
全文： 内政部 arXiv公司
苏古曼·班萨尔；斯瓦拉特·乔杜里；莫舍·瓦尔迪。

定量验证中的比较自动机。 （英语） Zbl 1504.68126号

Baier，Christel（编辑）等人，《软件科学和计算结构基础》。2018年4月14日至20日在希腊塞萨洛尼基举行的第21届国际会议FOSSACS 2018，作为欧洲软件理论与实践联合会议ETAPS 2018的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10803, 420-437 (2018).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bansal}等人，Lect。注释计算。科学。10803、420-437（2018；Zbl 1504.68126）
全文： 内政部 arXiv公司
科里·费希尔；塞斯·福格蒂；摩什·瓦尔迪

用于评估有效Büchi普适性检查的随机模型。 （英语） Zbl 1483.68190号

Ghosh，Sujata（编辑）等人，《逻辑及其应用》。2017年1月5日至7日在印度坎普尔举行的第七届印度会议，ICLA 2017。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。10119, 91-105 (2017).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Fisher}等人，Lect。注释计算。科学。10119，91-105（2017；Zbl 1483.68190）
全文： 内政部
安东尼奥·迪·斯塔西奥；阿尼埃洛·穆拉诺；朱塞佩·佩雷利；莫舍·瓦尔迪。

使用基于自动机的算法求解奇偶博弈。 （英语） Zbl 1475.68475号

Han，Yo-Sub（编辑）等，自动机的实现和应用。第21届国际会议，CIAA 2016，韩国首尔，2016年7月19日至22日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9705, 64-76 (2016).
MSC公司：68瓦40 65年第68季度 91A43型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{A.Di Stasio}等人，Lect。注释计算。科学。9705、64-76（2016年；Zbl 1475.68475）
全文： 内政部 arXiv公司 链接
塞斯·福格蒂；奥尔纳·库普弗曼；莫舍·瓦尔迪。；托马斯·威尔克

Büchi词自动机的轮廓树及其在确定中的应用。 （英语） Zbl 1464.68166号

Puppis，Gabriele（ed.）等人，《第四届游戏、自动机、逻辑和形式验证国际研讨会论文集》，GandALF 2013，意大利多洛米蒂Borca di Cadore，2013年8月29日至31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）119107-121（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Fogarty}等人，《电子》。程序。西奥。计算。科学。（EPTCS）119107-121（2013；Zbl 1464.68166）
全文： 链接
苏米特·奈恩；莫舍·瓦尔迪。

解部分信息随机奇偶博弈。 （英语） Zbl 1369.91016号

2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。341-348 (2013).
MSC公司：91A15型 65年第68季度 91A05型
PDF格式BibTeX公司 XML格式引用
\textit{S.Nain}和\textit{M.Y.Vardi}，摘自：2013年第28届ACM/IEEE年度计算机科学逻辑研讨会论文集，2013年LICS，美国路易斯安那州新奥尔良杜兰大学，2013年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。341-348（2013年；Zbl 1369.91016）
全文： 内政部
塞斯·福格蒂。；奥尔纳·库普弗曼；托马斯·威尔克；莫舍·瓦尔迪。

统一Büchi互补结构。 （英语） Zbl 1274.68158号

日志。方法计算。科学。 9，第1号，第14号论文，26页（2013）.
审核人：罗杰·维尔梅尔（蒙特勒）
MSC公司：65年第68季度 05年3月 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Fogarty}等人，Log。方法计算。科学。9，第1号，第14号论文，26页（2013；Zbl 1274.68158）
全文： 内政部
苏米特·奈恩；莫舍·瓦尔迪。

合成概率作曲家。 （英语） Zbl 1352.68161号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学讲义7213，421-436（2012）。
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Nain}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。7213，421--436（2012；Zbl 1352.68161）
全文： 内政部
尤德·卢斯蒂格；莫舍·瓦尔迪。

从递归组件库合成。 （英语） Zbl 1457.68065号

D'Agostino，Giovanna（编辑）等人，第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利Minori，2011年6月15日至17日。诉讼程序。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）54，1-16（2011）。
MSC公司：68号30 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Y.Lustig}和\textit{M.Y.Vardi}，电子。程序。西奥。计算。科学。（EPTCS）54，1-16（2011年；兹bl 1457.68065）
全文： arXiv公司 链接
塞斯·福格蒂；奥尔纳·库普弗曼；莫舍·瓦尔迪。；托马斯·威尔克

统一Büchi补语结构。 （英语） Zbl 1247.68136号

Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，248-263，仅电子版（2011年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Fogarty}等人，LIPIcs——莱布尼茨国际程序。通知。12、248--263（2011；Zbl 1247.68136）
全文： 内政部 arXiv公司 链接
奥尔纳·库普弗曼；尤德·卢斯蒂格；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯

有界系统和环境的时间合成。 （英语） Zbl 1230.68144号

Schwentick，Thomas（编辑）等人，STACS 2011。第28届计算机科学理论方面国际研讨会，德国多特蒙德，2011年3月10日至12日。瓦登：达格斯图尔宫（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）
全文： 内政部 链接
蔡明勋；塞斯·福格蒂；莫舍·瓦尔迪。；Tsay，Yih-Kuen先生

比奇互补状态。 （英语） Zbl 1297.68168号

Domaratzki，Michael（编辑）等人，《自动机的实现和应用》。2010年8月12日至15日，加拿大温尼伯CIAA 2010第15届国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-642-18097-2/pbk）。计算机科学课堂讲稿6482261-271（2011）。
MSC公司：65年第68季度 68-02
PDF格式BibTeX公司 XML格式引用
\textit{M.-H.Tsai}等人，Lect。注释计算。科学。6482、261--271（2011；Zbl 1297.68168）
全文： 内政部 arXiv公司
奥尔纳·库普弗曼；尼尔·皮特曼；莫舍·瓦尔迪。

无限状态系统的自动机理论方法。 （英语） Zbl 1288.68158号

Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲座笔记6200，202-259（2010）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。6200、202--259（2010年；Zbl 1288.68158）
全文： 内政部
塞斯·福格蒂；莫舍·瓦尔迪。

高效的Büchi通用性检查。 （英语） 兹比尔1258.68076

Esparza，Javier（编辑）等人，《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议（TACAS 2010）是欧洲软件理论与实践联合会议（ETAPS 2010）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-12001-5/pbk）。计算机科学课堂讲稿6015205-220（2010）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Fogarty}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。6015205--220（2010年；Zbl 1258.68076）
全文： 内政部
塞斯·福格蒂；莫舍·瓦尔迪。

Büchi互补和规模变化终止。 （英语） Zbl 1234.68256号

Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记550516-30（2009）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Fogarty}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。550516--30（2009年；Zbl 1234.68256）
全文： 内政部 arXiv公司
莫舍·瓦尔迪。；托马斯·威尔克

自动机：从逻辑到算法。 （英语） Zbl 1234.03026号

Flum，Jörg（编辑）等人，《逻辑与自动机》。历史和观点。在沃尔夫冈·托马斯六十岁生日之际献给他。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-5356-576-6/pbk）。《逻辑与游戏中的文本》2，629-736（2008）。
审核人：罗杰·维尔梅尔（蒙特勒）
MSC公司：05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}和\textit{T.Wilke}，文本日志。游戏22629-736（2008年；兹比尔1234.03026）
莫舍·瓦尔迪。

来自Church和PSL之前。 （英语） Zbl 1142.68051号

Grumberg，Orna（编辑）等人，25年的模型检查。历史、成就、观点。柏林：施普林格出版社（ISBN 978-3-540-69849-4/pbk）。计算机科学课堂讲稿5000，150-171（2008）。
MSC公司：60年第68季度 03B44号 03B70号 05年3月 2003年8月 68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。5000、150-171（2008；Zbl 1142.68051）
全文： 内政部
拜伦·库克；阿列克谢·戈茨曼；安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；莫舍·瓦尔迪。

证明这些程序最终会有好处。 （英语） Zbl 1295.68083号

2007年1月17日至19日，法国尼斯，POPL'07，第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-575-4）。265-276 (2007).
MSC公司：68号30 64岁以下 68甲15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'07，法国尼斯，2007年1月17-19日。纽约州纽约市：计算机协会（ACM）。265--276（2007年；Zbl 1295.68083）
全文： 内政部 链接
莫舍·瓦尔迪。

线性时间模型检查：实际中的自动机理论。（受邀演讲的扩展摘要）。 （英语） Zbl 1139.68376号

Holub，Jan（编辑）等人，《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-76335-2/pbk）。计算机科学课堂讲稿4783，5-10（2007）。
MSC公司：65年第68季度 60年第68季度 03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。4783，5-10（2007年；兹bl 1139.68376）
全文： 内政部
莫舍·瓦尔迪。

重温自动化理论模型检查。 （英语） Zbl 1132.68483号

Cook，Byron（编辑）等人，《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69735-0/pbk）。计算机科学课堂讲稿4349137-150（2007）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。4349137-150（2007年；Zbl 1132.68483）
全文： 内政部
莫舍·瓦尔迪。

比奇互补传奇。 （英语） Zbl 1186.03062号

Thomas，Wolfgang（编辑）等人，STACS 2007。2007年2月22日至24日在德国亚琛举行的第24届计算机科学理论方面年度研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70917-6/pbk）。计算机科学课堂讲稿4393，12-22（2007）。
MSC公司：05年3月 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。4393，12-22（2007；Zbl 1186.03062）
全文： 内政部 链接
莫舍·瓦尔迪。

基于自动化和逻辑的系统设计。 （英语） Zbl 1128.68055号

Schwichtenberg，Helmut（编辑）等人，《证明技术与计算》。2003年7月29日至8月10日，德国马克托伯多夫暑期学校的论文。阿姆斯特丹：IOS出版社（ISBN 1-58603-625-4/hbk）。《北约科学丛书III：计算机与系统科学》200，387-416（2006）。
MSC公司：60年第68季度 03B44号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，北约科学。序列号。三、 计算。系统。科学。200、387--416（2006；Zbl 1128.68055）
皮耶罗·A·博纳蒂。；卡斯滕·卢茨；阿尼埃洛·穆拉诺；莫舍·瓦尔迪。

富集计算的复杂性。 （英语） Zbl 1133.68374号

Bugliesi，Michele（编辑）等人，自动机，语言和编程。2006年7月10日至14日，意大利威尼斯，第33届国际学术讨论会，ICALP 2006。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-35907-4/pbk）。计算机科学课堂讲稿4052，540-551（2006）。
MSC公司：60年第68季度 03B45号 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛P.A.Bonatti｝等人，Lect。注释计算。科学。4052540-551（2006年；Zbl 1133.68374）
全文： 内政部
奥尔纳·库普弗曼；尼尔·皮特曼；莫舍·瓦尔迪。

无安全成分合成。 （英语） Zbl 1188.68193号

Ball，Thomas（编辑）等人，《计算机辅助验证》。2006年8月17日至20日在美国华盛顿州西雅图举行的2006年CAV第18届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-37406-X/pbk）。计算机科学讲义414431-44（2006）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。4144、31-44（2006年；Zbl 1188.68193）
全文： 内政部
戴安·塔巴科夫；莫舍·瓦尔迪。

经典自动机构造的实验评估。 （英语） Zbl 1143.68443号

Sutcliffe，Geoff（编辑）等人，《编程逻辑、人工智能和推理》。2005年12月2日至6日在牙买加蒙特哥湾举行的2005年第12届LPAR国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30553-8/pbk）。计算机科学课堂讲稿3835396-411（2005）。
MSC公司：65年第68季度 60年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{D.Tabakov}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。3835396--411（2005年；Zbl 1143.68443）
全文： 内政部
罗伯托·塞巴斯蒂亚尼；斯特凡诺·托内塔；莫舍·瓦尔迪。

符号系统，显式属性：关于LTL符号模型检查的混合方法。 （英语） Zbl 1081.68634号

Etessami，Kousha（编辑）等人，《计算机辅助验证》。2005年7月6日至10日在英国苏格兰爱丁堡举行的第17届CAV国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27231-3/pbk）。计算机科学课堂讲稿3576350-363（2005）。
MSC公司：60年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Sebastiani}等人，Lect。注释计算。科学。3576、350-363（2005年；Zbl 1081.68634）
全文： 内政部
奥尔纳·库普弗曼；莫舍·瓦尔迪。

无限词上非确定性自动机的补码构造。 （英语） Zbl 1087.68050号

Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440206-221（2005）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。3440206-221（2005；Zbl 1087.68050）
全文： 内政部
奥尔纳·库普弗曼；莫舍·瓦尔迪。

从互补到认证。 （英语） Zbl 1126.68481号

Jensen，Kurt（编辑）等人，《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004，作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21299-X/pbk）。计算机科学课堂讲稿2988591-606（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。2988591-606（2004年；兹bl 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季度 60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Friedgut}等人，Lect。注释计算。科学。3299、64--78（2004年；Zbl 1108.68068）
全文： 内政部
尼尔·皮特曼；莫舍·瓦尔迪。

无限状态系统的全局模型检查。 （英语） Zbl 1103.68077号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲稿3114387-400（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Piterman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。3114387——400（2004；Zbl 1103.68077）
全文： 内政部
罗伯托·塞巴斯蒂亚尼；伊莱·辛格曼；斯特凡诺·托内塔；莫舍·瓦尔迪。

GSTE是分区模型检查。 （英语） Zbl 1103.68638号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114，229-241（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Sebastiani}等人，Lect。注释计算。科学。3114、229--241（2004；Zbl 1103.68638）
全文： 内政部
多龙·布斯坦；萨沙·鲁宾；莫舍·瓦尔迪。

验证马尔可夫链的正则性质。 （英语） Zbl 1103.68072号

Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学讲义3114189-201（2004）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Bustan}等人，Lect。注释计算。科学。3114、189--201（2004；Zbl 1103.68072）
全文： 内政部
奥尔纳·库普弗曼；尼尔·皮特曼；莫舍·瓦尔迪。

公平等价关系。 （英语） Zbl 1274.68194号

Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。《计算机科学讲义》2772702-732（2003）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。2772702--732（2003年；Zbl 1274.68194）
全文： 内政部
哈娜·乔克勒；奥尔纳·库普弗曼；莫舍·瓦尔迪。

用于正式验证的覆盖度量。 （英语） 兹比尔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公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Chockler}等人，莱克特。注释计算。科学。2860111-125（2003年；Zbl 1179.68080）
全文： 内政部
桑卡尔·古鲁穆蒂；奥尔纳·库普弗曼；法比奥·萨蒙齐；莫舍·瓦尔迪。

关于补不确定Büchi自动机。 （英语） Zbl 1179.68070号

Geist，Daniel（编辑）等人，《正确的硬件设计和验证方法》。第12届IFIP工作组10。5高级研究工作会议，CHARME 2003，意大利拉奎拉，2003年10月21日至24日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20363-X/pbk）。莱克特。注释计算。科学。2860, 96-110 (2003).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Gurumurthy}等人，Lect。注释计算。科学。286096-110（2003年；Zbl 1179.68070）
全文： 内政部
莫舍·瓦尔迪。

逻辑与自动机：天作之合。 （英语） Zbl 1039.03508号

Baeten，Jos C.M.（编辑）等人，《自动化，语言和编程》。2003年6月30日至7月4日在荷兰埃因霍温举行的第30届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40493-7/pbk）。莱克特。注释计算。科学。2719, 64-65 (2003).
MSC公司：05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。2719、64-65（2003年；Zbl 1039.03508）
全文： 链接
奥尔纳·库普弗曼；尼尔·皮特曼；莫舍·瓦尔迪。

下压规范。 （英语） Zbl 1023.68624号

Baaz，Matthias（编辑）等人，《编程逻辑、人工智能和推理》。第九届国际会议，2002年10月14日至18日，格鲁吉亚第比利斯，LPAR 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2514, 262-277 (2002).
MSC公司：60年第68季度 68号30 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。2514262-277（2002年；Zbl 1023.68624）
全文： 链接
奥尔纳·库普弗曼；尼尔·皮特曼；莫舍·瓦尔迪。

模型检查前缀可识别系统的线性属性。 （英语） Zbl 1010.68078号

Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 371-385 (2002).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}等人，Lect。注释计算。科学。2404371-385（2002年；Zbl 1010.68078）
全文： 链接
奥尔纳·库普弗曼；莫舍·瓦尔迪。

关于有界规范。 （英语） Zbl 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年；兹比尔1275.68094）
全文： 内政部
尼尔·皮特曼；莫舍·瓦尔迪。

从双向性到交替性。 （英语） Zbl 0999.68103号

Sgall，Jiří（编辑）等人，《2001年计算机科学的数学基础》。第26届国际研讨会，2001年MFCS，2001年8月27日至31日，捷克共和国MariánskéLázně。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。21361598-610（2001年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Piterman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。2136598--610（2001年；Zbl 0999.68103）
全文： 链接
哈娜·乔克勒；奥尔纳·库普弗曼；罗伯特·P·库尔珊（Robert P.Kurshan）。；莫舍·瓦尔迪。

模型检查中覆盖的实用方法。 （英语） Zbl 0991.68042号

Berry，Gérard（编辑）等人，《计算机辅助验证》。2001年7月18日至22日，第13届国际会议，CAV 2001，法国巴黎。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2102, 66-78 (2001).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Chockler}等人，莱克特。注释计算。科学。2102、66--78（2001年；Zbl 0991.68042）
全文： 链接
乌尔里克·萨特勒；莫舍·瓦尔迪。

混合微积分。 （英语） Zbl 0988.03053号

Goré，Rajeev（编辑）等人，《自动推理》。第一届国际联合会议，2001年6月18日至22日，意大利锡耶纳，IJCAR 2001。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2083, 76-91 (2001).
MSC公司：03B70号 60年第68季度 2015年3月1日 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛U.Sattler｝和\textit｛M.Y.Vardi｝，Lect。注释计算。科学。2083，76-91（2001；Zbl 0988.03053）
全文： 链接
瓦莱丽·金；奥尔纳·库普弗曼；莫舍·瓦尔迪。

关于奇偶字自动机的复杂性。 （英语） Zbl 0978.68077号

Honsell，Furio（编辑）等人，《软件科学和计算结构基础》。2001年4月2日至6日在意大利热那亚举行的第四届国际会议FOSSACS 2001，该会议是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2030, 276-286 (2001).
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.King}等人，Lect。注释计算。科学。2030年，276--286（2001年；Zbl 0978.68077）
全文： 链接
奥尔纳·库普弗曼；莫舍·瓦尔迪。

关于无限状态系统推理的自动机理论方法。 （英语） Zbl 0974.68083号

Emerson，E.Allen（编辑）等人，《计算机辅助验证》。第十二届国际会议，CAV 2000。2000年7月15日至19日，美国伊利诺伊州芝加哥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1855, 36-52 (2000).
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。1855，36-52（2000；Zbl 0974.68083）
丹尼尔，马可；福斯托·金奇利亚；莫舍·瓦尔迪。

改进了线性时序逻辑的自动机生成。 （英语） Zbl 1046.68588号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633, 249-260 (1999).
MSC公司：60年第68季度 03B44号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Daniele}等人，Lect。注释计算。科学。1633、249--260（1999；Zbl 1046.68588）
奥尔纳·库普弗曼；莫舍·瓦尔迪。

安全特性的模型检查。 （英语） Zbl 1046.68597号

Halbwachs，Nicolas（编辑）等人，《计算机辅助验证》。第11届国际会议，CAV’99。意大利特伦托，1999年7月6日至10日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-66202-2）。莱克特。注释计算。科学。1633172-183（1999年）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。1633172-183（1999年；Zbl 1046.68597）
多龙·贝利德；莫舍·瓦尔迪。；米哈利斯·亚纳卡基斯

黑盒检查。 （英语） Zbl 0952.68012号

吴建平（编辑）等，协议工程和分布式系统的形式化方法。99年第十二堡/第十九电视台。IFIP TC6 WG6.1分布式系统和通信协议形式描述技术（FORTE XII）和协议规范、测试和验证（PSTV XIX）联合国际会议。中国北京，1999年10月5日至8日。波士顿：Kluwer学术出版社。国际联邦信息流程。，IFIP。28, 225-240 (1999).
MSC公司：68米15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Peled}等人，in：协议工程和分布式系统的形式化方法。第XII/PSTV XIX'99段。IFIP TC6 WG6。分布式系统和通信协议形式描述技术（FORTE XII）和协议规范、测试和验证（PSTV XIX）联合国际会议。中国北京，1999年10月5-8日。波士顿：Kluwer学术出版社。225-240（1999年；Zbl 0952.68012）
奥尔纳·库普弗曼；莫舍·瓦尔迪。

弱交替自动机和树自动机为空。 （英语） Zbl 1005.68525号

98年STOC。1998年5月23日至26日在美国德克萨斯州达拉斯举行的第30届ACM计算理论年会论文集。纽约州纽约市：ACM，计算机协会。224-233（1998年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Kupferman}和\textit{M.Y.Vardi}，摘自：第30届ACM计算理论研讨会论文集，STOC'98。美国德克萨斯州达拉斯，1998年5月23日至26日。纽约州纽约市：ACM，计算机协会。224--233（1998年；Zbl 1005.68525）
莫舍·瓦尔迪。

交替自动机：统一时间逻辑的真值和有效性检查。 （英语） Zbl 1430.68156号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣减国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 191-206 (1997).
MSC公司：60年第68季度 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。1249、191--206（1997年；Zbl 1430.68156）
全文： 内政部
托马斯·亨辛格（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）
全文： 内政部
罗纳德·费金；约瑟夫·霍尔珀（Joseph Y.Halpern）。；摩西，约拉姆；莫舍·瓦尔迪。

关于知识的推理。 （英语） Zbl 0839.68095号

马萨诸塞州剑桥：麻省理工学院出版社。xiii，第477页（1995年）。
审核人：U.Hahn（荷兰弗赖堡）
MSC公司：68立方英尺 68T01型 68层35 68-01
PDF格式BibTeX公司 XML格式引用
\textit{R.Fagin}等人，《知识推理》。马萨诸塞州剑桥：麻省理工学院出版社（1995年；Zbl 083968095）
莫舍·瓦尔迪。

自动机理论的非传统应用。 （英语） Zbl 0942.68600号

Hagiya，Masami（编辑）等人，《计算机软件的理论方面》。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。789, 575-597 (1994).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Y.Vardi}，莱克特。注释计算。科学。789575-597（1994年；Zbl 0942.68600）
拉杰夫·阿鲁尔；托马斯·亨辛格（Thomas A.Henzinger）。；莫舍·瓦尔迪。

参数化实时推理。 （英语） Zbl 1310.68139号

第25届ACM计算理论年会论文集，STOC'93。1993年5月16日至18日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-591-7）。592-601 (1993).
MSC公司：60年第68季度 65年第68季度 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{R.Alur}等人，《第25届ACM计算理论研讨会论文集》，STOC'93。1993年5月16日至18日，美国加利福尼亚州圣地亚哥。纽约州纽约市：计算机协会（ACM）。592--601（1993；Zbl 1310.68139）
全文： 内政部 链接
Phokion G.科莱蒂斯。；莫舍·瓦尔迪。

计算机科学的无限逻辑。 （英语） Zbl 1427.03049号

Kuich，Werner（编辑），《自动化，语言和编程》。第19届国际学术讨论会，1992年7月13日至17日，奥地利维也纳。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。623, 450-473 (1992).
MSC公司：03立方厘米75 03B70号 03C13号机组 第68页，共15页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.G.Kolaitis}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。623450-473（1992年；Zbl 1427.03049）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件