冯伟志;李勇;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君 论Büchi补语中有限歧义的力量。 (英语) 兹伯利07687219 Inf.计算。 292,文章ID 105032,27 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{W.Feng}等人,《信息计算》。292,文章ID 105032,27 p.(2023;Zbl 07687219) 全文: 内政部 arXiv公司
莫舍·瓦尔迪。;塞斯·福格蒂;李勇;蔡义权 走向Büchi互补结构的大统一。 (英语) Zbl 1528.68202号 Raskin,Jean-François(编辑)等人,《系统设计原理》。托马斯·A·亨辛格60岁生日之际的随笔。查姆:施普林格。莱克特。注释计算。科学。13660, 185-207 (2022).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi}等人,Lect。注释计算。科学。13660,185-207(2022;Zbl 1528.68202) 全文: 内政部
蔡义权;莫舍·瓦尔迪。 从线性时序逻辑到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) 全文: 内政部
查克拉波蒂,苏普拉特克;油炸,Dror;卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 通过输入-输出分离进行功能合成。 (英语) Zbl 07683088号 形式方法系统。设计。 60,第2期,228-258(2022年).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{S.Chakraborty}等人,《形式方法系统》。设计。60,第2号,228--258(2022;Zbl 07683088) 全文: 内政部 arXiv公司
李勇;安德烈亚·图里尼;冯伟志;莫舍·瓦尔迪。;张丽君 基于SCC分解的Büchi自动机分治判定。 (英语) 兹比尔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公司
李勇;蔡义权;安德烈亚·图里尼;莫舍·瓦尔迪。;张丽君 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公司
杰弗里·杜德克。;Vu H.N.Phan。;莫舍·瓦尔迪。 ProCount:带分级项目连接树的加权投影模型计数。 (英语) Zbl 07495571号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12831, 152-170 (2021).MSC公司:第68季度25 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Dudek}等人,Lect。注释计算。科学。12831152-170(2021;Zbl 07495571) 全文: 内政部
凯里里迪斯、阿纳斯塔西奥斯;安舒马利·施里瓦斯塔瓦;莫舍·瓦尔迪。;张志伟 通过多线性傅立叶展开求解连续空间中的混合布尔约束。 (英语) Zbl 1520.68105号 Artif公司。智力。 299,文章ID 103559,32 p.(2021).MSC公司:68兰特 06E30年 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kyrillidis}等人,Artif。智力。299,文章ID 103559,32页(2021;Zbl 1520.68105) 全文: 内政部
苏古曼·班萨尔;克里希南德·查特吉;莫舍·瓦尔迪。 关于量化游戏中的满意度。 (英语) 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)326、182-198(2020年)。MSC公司:65年第68季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Li}等人,《电子》。程序。西奥。计算。科学。(EPTCS)326182--198(2020;Zbl 07455748) 全文: arXiv公司 链接
卢卡斯·塔巴哈拉。;莫舍·瓦尔迪。 部分可观测性下的LTLf综合:从理论到实践。 (英语) 兹比尔07455737 Raskin,Jean-Francois(ed.)等人,《第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集》,《甘道夫2020》,比利时布鲁塞尔,2020年9月21日至22日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)3261-17(2020年)。MSC公司:65年第68季度 第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Tabajara}和\textit{M.Y.Vardi},电子。程序。西奥。计算。科学。(EPTCS)326,1--17(2020;Zbl 07455737) 全文: arXiv公司 链接
Kuldeep S.梅尔。;Aditya A.Shrotri。;莫舍·瓦尔迪。 基于散列的近似DNF计数方法。 (英语) Zbl 1491.68193号 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第41条,第14页(2018年)。MSC公司:68T20型 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{K.S.Meel}等人,LIPIcs——莱布尼茨国际程序。通知。93,第41条,第14页(2018;兹bl 1491.68193) 全文: 内政部 arXiv公司
奥尔纳·库普弗曼;加尔省瓦尔迪;莫舍·瓦尔迪。 流动游戏。 (英语) 兹比尔1491.91037 Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第38条,第16页(2018年)。MSC公司:91A43型 05C21号 05年5月57日 05立方厘米85 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,LIPIcs——莱布尼茨国际程序。通知。93,第38条,第16页(2018;Zbl 1491.91037) 全文: 内政部
科里·费希尔;塞斯·福格蒂;摩什·瓦尔迪 用于评估有效Büchi普适性检查的随机模型。 (英语) Zbl 1483.68190号 Ghosh,Sujata(编辑)等人,《逻辑及其应用》。2017年1月5日至7日在印度坎普尔举行的第七届印度会议,ICLA 2017。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10119, 91-105 (2017).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Fisher}等人,Lect。注释计算。科学。10119,91-105(2017;Zbl 1483.68190) 全文: 内政部
吕迪格·埃勒斯;圣菲拉福顿;斯塔夫罗斯·特里帕基斯;莫舍·瓦尔迪。 监督控制和反应合成:比较介绍。 (英语) Zbl 1379.93068号 离散事件动态。系统。 27,第2期,209-260(2017).MSC公司:93立方65 93亿B50 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}等人,《离散事件动力学》。系统。27,第2号,209--260(2017;Zbl 1379.93068) 全文: 内政部
胡安·卢特(Juan L.Reutter)。;米盖尔·罗梅罗;莫舍·瓦尔迪。 图形数据库的常规查询。 (英语) Zbl 1375.68047号 理论计算。系统。 61,第1期,31-83(2017).MSC公司:第68页第15页 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Reutter}等人,理论计算。系统。61,第1号,第31--83号(2017;Zbl 1375.68047) 全文: 内政部 链接
安东尼奥·迪·斯塔西奥;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 使用基于自动机的算法求解奇偶博弈。 (英语) Zbl 1475.68475号 Han,Yo-Sub(编辑)等,自动机的实现和应用。2016年7月19日至22日,第21届国际会议,CIAA 2016,韩国首尔。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。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公司
巴勃罗·巴塞洛;米盖尔·罗梅罗;莫舍·瓦尔迪。 图形数据库的语义非循环性。 (英语) Zbl 1407.68123号 SIAM J.计算。 45,第4期,1339-1376(2016).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{P.Barceló}等人,SIAM J.Compute。45,第4号,1339--1376(2016;Zbl 1407.68123) 全文: 内政部
亚历山大·伊夫里;沙拉德·马利克;Kuldeep S.梅尔。;莫舍·瓦尔迪。 关于计算最小独立支持度及其在采样和计数中的应用。 (英语) 兹比尔1334.90146 限制条件 21,第1期,41-58(2016).MSC公司:90C27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ivrii}等人,《约束条件21》,第1号,41-58(2016年;Zbl 1334.90146) 全文: 内政部 链接
塞斯·福格蒂;奥尔纳·库普弗曼;莫舍·瓦尔迪。;托马斯·威尔克 Büchi词自动机的轮廓树及其在确定中的应用。 (英语) Zbl 1336.68155号 Inf.计算。 245, 136-151 (2015). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Fogarty}等人,《信息计算》。245136--151(2015年;Zbl 1336.68155) 全文: 内政部 arXiv公司
法比奥·莫加维罗;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;莫舍·瓦尔迪。 关于策略的推理:关于模型检查问题。 (英语) Zbl 1354.68178号 ACM事务处理。计算。日志。 第15号第4条第34条第47页(2014年).MSC公司:第68季度第60季度 68T27型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}等人,ACM Trans。计算。日志。15,第4号,第34条,47页(2014年;Zbl 1354.68178) 全文: 内政部 arXiv公司
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 关于模式映射的简化。 (英语) Zbl 1408.68046号 J.计算。系统。科学。 79,第6期,816-834(2013).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,J.Compute。系统。科学。79,No.6,816--834(2013;Zbl 1408.68046) 全文: 内政部
奥尔纳·库普弗曼;阿米尔·普努利;莫舍·瓦尔迪。 一次和为所有人. (英语) 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 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季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,Lect。注释计算。科学。6200、202--259(2010年;Zbl 1288.68158) 全文: 内政部
奥尔纳·库普弗曼;尼尔·皮特曼;莫舍·瓦尔迪。 从活泼到敏捷。 (英语) Zbl 1192.68416号 形式方法系统。设计。 34,第2期,83-103(2009).MSC公司:65年第68季度 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《形式方法系统》。设计。34,第2号,83--103(2009;Zbl 1192.68416) 全文: 内政部
埃里昂·普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 混合系统:通过结合运动规划和离散搜索,从验证到证伪。 (英语) Zbl 1192.68692号 形式方法系统。设计。 34,第2期,157-182(2009).MSC公司:68T40型 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Plaku}等人,《形式方法系统》。设计。34,第2号,157--182(2009;Zbl 1192.68692) 全文: 内政部 链接
埃里昂·普拉库;利迪亚·卡夫拉基。;莫舍·瓦尔迪。 混合系统中LTL安全特性的伪造。 (英语) Zbl 1234.68264号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日,第15届国际会议,TACAS 2009,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2009,英国约克。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505368-382(2009)。MSC公司:第68季度第60季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{E.Plaku}等人,Lect。注释计算。科学。5505368-382(2009年;Zbl 1234.68264) 全文: 内政部
塞斯·福格蒂;莫舍·瓦尔迪。 Büchi互补和规模变化终止。 (英语) Zbl 1234.68256号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日,第15届国际会议,TACAS 2009,作为欧洲软件理论和实践联合会议的一部分,ETAPS 2009,英国约克。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记550516-30(2009)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Fogarty}和\textit{M.Y.Vardi},莱克特。注释计算。科学。550516--30(2009年;Zbl 1234.68256) 全文: 内政部 arXiv公司
莫舍·瓦尔迪。 从哲学到工业逻辑。 (英语) Zbl 1209.68325号 Ramanujam,R.(编辑)等人,《逻辑及其应用》。2009年1月7日至11日,第三届印度会议,ICLA 2009,印度钦奈。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-92700-6/pbk)。计算机科学讲义5378。人工智能课堂讲稿,89-115(2009)。MSC公司:第68季度第60季度 03B44号 03B70号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},莱克特。注释计算。科学。5378,89-115(2009年;Zbl 1209.68325) 全文: 内政部
Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 约束满足的逻辑方法。 (英语) 兹比尔1171.03322 Creignou,Nadia(编辑)等人,《约束的复杂性》。当前研究主题概述。柏林:施普林格出版社(ISBN 978-3-540-92799-0/pbk)。《计算机科学讲义》5250125-155(2008)。MSC公司:03B70号 第68季度25 第68页第15页 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{M.Y.Vardi},莱克特。注释计算。科学。5250125-155(2008年;Zbl 1171.03322) 全文: 内政部
莫舍·瓦尔迪。 从一元逻辑到PSL。 (英语) Zbl 1133.68380号 Avron,Arnon(编辑)等人,《计算机科学的支柱》。在鲍里斯(波阿斯)·特拉赫滕布罗特85岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-78126-4/pbk)。计算机科学课堂讲稿4800,656-681(2008)。MSC公司:第68季度第60季度 68-03 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},莱克特。注释计算。科学。4800、656--681(2008年;Zbl 1133.68380) 全文: 内政部
卢卡斯·波尔多;尤塞夫·哈马迪;莫舍·瓦尔迪。 区间传播中的慢收敛分析。 (英语) Zbl 1145.68506号 Bessière,Christian(编辑),约束编程的原则和实践–CP 2007。2007年9月23日至27日,第13届国际会议,CP 2007,美国罗得岛州普罗维登斯。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74969-1/pbk)。计算机科学课堂讲稿4741790-797(2007)。MSC公司:68T20型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bordeaux}等人,Lect。注释计算。科学。4741、790--797(2007年;Zbl 1145.68506) 全文: 内政部
苏米特·奈恩;莫舍·瓦尔迪。 分支与线性时间:语义视角。 (英语) Zbl 1141.68481号 Namjoshi,Kedar S.(编辑)等人,《验证和分析自动化技术》。2007年10月22日至25日,第五届国际研讨会,ATVA 2007,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-75595-1/pbk)。计算机科学课堂讲稿4762,19-34(2007)。MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.Nain}和\textit{M.Y.Vardi},莱克特。注释计算。科学。4762、19-34(2007年;Zbl 1141.68481) 全文: 内政部 链接
莫舍·瓦尔迪。 重温自动化理论模型检查。 (英语) Zbl 1132.68483号 Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。第八届国际会议,2007年VMCAI,法国尼斯,2007年1月14日至16日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349137-150(2007)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},莱克特。注释计算。科学。4349137-150(2007年;Zbl 1132.68483) 全文: 内政部
迭戈·卡尔瓦内斯;朱塞佩·德贾科莫;莫里齐奥·伦泽里尼;莫舍·瓦尔迪。 基于视图的查询处理:关于重写、回答和无损失之间的关系。 (英语) Zbl 1108.68038号 西奥。计算。科学。 371,第3号,169-182(2007).MSC公司:第68页第15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,Theor。计算。科学。371,第3号,169--182(2007;Zbl 1108.68038) 全文: 内政部
潘国强;乌尔里克·萨特勒;莫舍·瓦尔迪。 基于BDD的模态逻辑决策程序K(K). (英语) Zbl 1184.68466号 J.应用。非类别。日志。 16,第1-2号,169-207(2006).MSC公司:68吨15 03B35型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Pan}等人,J.Appl。非类别。日志。16,编号1-2169-207(2006年;兹bl 1184.68466) 全文: 内政部
埃胡德·弗里德古特;奥尔纳·库普弗曼;莫舍·瓦尔迪。 比奇互补更加紧密。 (英语) Zbl 1096.68081号 发现的国际期刊。计算。科学。 17,第4号,851-867(2006).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Friedgut}等人,国际期刊发现。计算。科学。17,第4号,851--867(2006;Zbl 1096.68081) 全文: 内政部
奥尔纳·库普弗曼;萨夫拉,什穆埃尔;莫舍·瓦尔迪。 关联词和树自动机。 (英语) Zbl 1097.03034号 Ann.纯粹应用。逻辑 138,编号1-3,126-146(2006). 审核人:Aleksej Dmitrievich Korshunov(新西伯利亚) MSC公司:05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《纯粹应用》。逻辑138,No.1--3,126--146(2006;Zbl 1097.03034) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。 从补充到认证。 (英语) 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 1101.68513号 西奥。计算。科学。 336,第1期,33-56(2005).MSC公司:第68页第15页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{D.Calvanee}等人,Theor。计算。科学。336,第1号,33-56(2005;Zbl 1101.68513) 全文: 内政部
尼尔·皮特曼;莫舍·瓦尔迪。 从双向性到交替性。 (英语) Zbl 1044.68101号 西奥。计算。科学。 295,编号1-3,295-321(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Piterman}和\textit{M.Y.Vardi},Theor。计算。科学。295,编号1--3,295--321(2003;Zbl 1044.68101) 全文: 内政部
大卫·哈雷;奥尔纳·库普弗曼;莫舍·瓦尔迪。 关于验证并发转换系统的复杂性。 (英语) 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) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。;皮埃尔·沃尔珀 模块检查。 (英语) Zbl 1003.68071号 Inf.计算。 164,第2期,322-344(2001).MSC公司:第68季度第60季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}等人,《信息计算》。164,第2号,322--344(2001;Zbl 1003.68071) 全文: 内政部
尤尼特·凯斯滕;阿米尔·普努利;莫舍·瓦尔迪。 通过增强抽象进行验证:自动机理论视图。 (英语) Zbl 0983.68109号 J.计算。系统。科学。 62,第4期,668-690(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kesten}等人,《计算杂志》。系统。科学。62,第4号,668--690(2001;Zbl 0983.68109) 全文: 内政部
Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 连接查询包含和约束满足。 (英语) Zbl 0963.68059号 J.计算。系统。科学。 61,编号2302-332(2000).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{M.Y.Vardi},J.Comput。系统。科学。61,第2号,302-332(2000;Zbl 0963.68059) 全文: 内政部
奥尔纳·库普弗曼;莫舍·瓦尔迪。 教会的问题再次出现。 (英语) Zbl 0932.03029号 牛市。符号。日志。 5,第2期,245-263(1999).MSC公司:03B70号 第68季度第60季度 05年3月 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{M.Y.Vardi},公牛。符号。日志。5,第2号,245--263(1999;Zbl 0932.03029) 全文: 内政部 链接 链接
苏拉吉特·乔杜里;莫舍·瓦尔迪。 关于递归和非递归数据日志程序的等价性。 (英语) Zbl 0864.68029号 J.计算。系统。科学。 54,第1期,61-78(1997).MSC公司:第68页第15页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaudhuri}和\textit{M.Y.Vardi},J.Compute。系统。科学。54,编号1,61--78(1997;Zbl 0864.68029) 全文: 内政部
大卫·哈雷;奥尔纳·库普弗曼;莫舍·瓦尔迪。 关于验证并发转换系统的复杂性。 (英语) Zbl 1512.68155号 Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1243, 258-272 (1997).MSC公司:第68季度第60季度 第68季度25 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}等人,Lect。注释计算。科学。1243、258--272(1997;Zbl 1512.68155) 全文: 内政部
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;莫舍·瓦尔迪。 基于知识的计划。 (英语) Zbl 1448.68406号 分布计算。 10,第4期,199-225(1997).MSC公司:68立方英尺 68号30 第68季度85 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}等人,《分布计算》。10,第4号,199--225(1997;Zbl 1448.68406) 全文: 内政部
莫舍·瓦尔迪。 交替自动机:统一时序逻辑的真实性和有效性检查。 (英语) Zbl 1430.68156号 William McCune(编辑),《自动扣除——CADE-14》。第十四届自动扣款国际会议,澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1249, 191-206 (1997).MSC公司:第68季度第60季度 03B44号 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},莱克特。注释计算。科学。1249、191--206(1997年;Zbl 1430.68156) 全文: 内政部
托马斯·亨辛格(Thomas A.Henzinger)。;奥尔纳·库普弗曼;莫舍·瓦尔迪。 一种用于实时模型检查的空效实时算法。 (英语) 兹比尔1514.68168 Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 514-529 (1996).MSC公司:第68季度85 03B44号 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}等人,Lect。注释计算。科学。1119514-529(1996年;Zbl 1514.68168) 全文: 内政部
谢尔盖·阿比特布尔;莫舍·瓦尔迪。;维克托·维亚努 用无限逻辑计算。 (英语) Zbl 0874.68274号 西奥。计算。科学。 149,第1期,101-128(1995).MSC公司:68T27型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Abiteboul}等人,Theor。计算。科学。149,第1号,101--128(1995;Zbl 0874.68274) 全文: 内政部
加布里埃尔·M·库珀。;莫舍·瓦尔迪。 逻辑数据模型中查询的复杂性。 (英语) Zbl 0798.68072号 西奥。计算。科学。 116,第1期,33-57(1993). 审核人:H.卢钦(伊阿什) MSC公司:第68季度25 第68页第15页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{G.M.库珀}和\textit{M.Y.瓦尔迪},提奥。计算。科学。116,编号1,33-57(1993;Zbl 0798.68072) 全文: 内政部
Phokion G.科莱蒂斯。;莫舍·瓦尔迪。 计算机科学的无穷逻辑。 (英语) Zbl 1427.03049号 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 450-473 (1992).MSC公司:03C75号 03B70号 03C13号机组 第68页第15页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Kolaitis}和\textit{M.Y.Vardi},莱克特。注释计算。科学。623450-473(1992年;Zbl 1427.03049) 全文: 内政部
莫舍·瓦尔迪。 并发程序的验证:自动机理论框架。 (英语) Zbl 0725.03013号 Ann.纯粹应用。逻辑 51,编号1-2,79-98(1991). 审核人:A.P.斯托尔布什金(佩雷斯拉夫·泽莱斯基) MSC公司:03B70号 05年3月 第68季度第60季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},Ann.纯应用。逻辑51,编号1--2,79-98(1991;Zbl 0725.03013) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。 关于知识和时间的推理的复杂性。一: 下限。 (英语) Zbl 0672.03015号 J.计算。系统。科学。 38,第1期,195-237(1989). 审核人:G.泽特林 MSC公司:03B70号 68N25号 2015年3月1日 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{M.Y.Vardi},J.Comput。系统。科学。38,第1号,195--237(1989;Zbl 0672.03015) 全文: 内政部
普拉萨德·西斯特拉;莫舍·瓦尔迪。;皮埃尔·沃尔珀 Büchi自动机的互补问题及其在时序逻辑中的应用。 (英语) Zbl 0613.03015号 西奥。计算。科学。 49, 217-237 (1987).MSC公司:05年3月 03B70号 03年2月25日 68问题65 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人,Theor。计算。科学。49、217--237(1987;Zbl 0613.03015) 全文: 内政部
莫舍·瓦尔迪。 查询逻辑数据库。 (英语) Zbl 0625.68079号 J.计算。系统。科学。 33, 142-160 (1986).MSC公司:68第20页 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},J.计算。系统。科学。33、142--160(1986年;Zbl 0625.68079) 全文: 内政部
莫舍·瓦尔迪。;皮埃尔·沃尔珀 程序模态逻辑的自动机理论技术。 (英语) Zbl 0622.03017号 J.计算。系统。科学。 32, 183-221 (1986). 审核人:H.西村 MSC公司:03B70号 03年2月25日 68问题65 05年3月 03B45号 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi}和\textit{P.Wolper},J.Compute。系统。科学。32、183--221(1986年;Zbl 0622.03017) 全文: 内政部
约翰·马考斯基(Johann A.Makowsky)。;莫舍·瓦尔迪。 关于数据相关性的表达能力。 (英语) Zbl 0617.68085号 学报信息。 23, 231-244 (1986). 审核人:H.卢钦 MSC公司:68第20页 68第05页 03C68号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky}和\textit{M.Y.Vardi},《学报》第23期,第231--244页(1986年;Zbl 0617.68085) 全文: 内政部
莫舍·瓦尔迪。 从函数依赖和联接依赖推断多值依赖。 (英语) Zbl 0492.68070号 学报信息。 19, 305-324 (1983).MSC公司:68第20页 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},Acta Inf.19,305-324(1983;Zbl 0492.68070) 全文: 内政部