首页期刊浏览 2024年11月30日星期六

登录注册

全文

	有本地全文	13篇
	有全文链接	3篇

出版年度

	2022	1篇
	2018	3篇
	2015	1篇
	2011	5篇
	2010	1篇

	2008	2篇
	1999	1篇
	1998	1篇
	1996	1篇

作者

	Moshe Y. Vardi	16篇
	Orna Kupferman	4篇
	Aniello Murano	2篇
	Mihalis Yannakakis	2篇
	Yoad Lustig	2篇

	Aditya A. Shrotri	1篇
	Axel Legay	1篇
	Carsten Lutz	1篇
	Dror Fried	1篇
	Fabio Mogavero	1篇
	Gal Vardi	1篇
	Joan Feigenbaum	1篇
	Joël Ouaknine	1篇
	Juan L. Reutter	1篇
	Kousha Etessami	1篇
	Kuldeep S. Meel	1篇
	Mahesh Viswanathan	1篇
	Marta Kwiatkowska	1篇
	Miguel Romero	1篇
	Piero A. Bonatti	1篇
	Sampath Kannan	1篇
	Seth Fogarty	1篇
	Sumit Nain	1篇
	Thomas Wilke	1篇

来源期刊

	LIPIcs : Leibniz International Proceedings in Informatics	10篇
	Chicago Journal of Theoretical Computer Science	3篇
	Logical Methods in Computer Science	3篇

学科主题

计算技术、计算机技术

16篇

语种

英文

16篇

国别/地区

	德国	13篇
	美国	3篇

检索条件:"( ( 高级检索(( ((AU:(("Moshe Y. Vardi")))) )) ) )"

共 16 条记录

排序：全选导出：

1.The Complexity of Problems on Graphs Represented as OBDDs

作　　者：Joan Feigenbaum ;Sampath Kannan ;Moshe Y. Vardi 等

出　　处：Chicago Journal of Theoretical Computer Science. 1999 ;1999.

出版社：MIT Press ; University of Chicago, Department of Computer Science

文章 ID：85479212

文章详细全文下载
2.Verification of Fair Transition Systems

作　　者：Orna Kupferman ;Moshe Y. Vardi

出　　处：Chicago Journal of Theoretical Computer Science. 1998 ;1998.

出版社：MIT Press ; University of Chicago, Department of Computer Science

文章 ID：85479219

文章详细全文下载
3.Rank Predicates vs. Progress Measures in Concurrent-Program Verification

作　　者：Moshe Y. Vardi

出　　处：Chicago Journal of Theoretical Computer Science. 1996 ;1996.

出版社：MIT Press ; University of Chicago, Department of Computer Science

文章 ID：85479231

文章详细全文下载
4.The Complexity of Enriched Mu-Calculi

作　　者：Piero A. Bonatti ;Carsten Lutz ;Aniello Murano 等

出　　处：Logical Methods in Computer Science. 2008 ;4(03).doi:10.2168/LMCS-4(3:11)2008

出版社：Technical University of Braunschweig

文章 ID：47109807

文章详细全文下载
5.Multi-Objective Model Checking of Markov Decision Processes

作　　者：Kousha Etessami ;Marta Kwiatkowska ;Moshe Y. Vardi 等

出　　处：Logical Methods in Computer Science. 2008 ;4(04).doi:10.2168/LMCS-4(4:8)2008

出版社：Technical University of Braunschweig

文章 ID：47109823

文章详细全文下载
6.Flow Games

作　　者：Orna Kupferman ;Gal Vardi ;Moshe Y. Vardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:38:38-38:16.doi:10.4230/LIPIcs.FSTTCS.2017.38

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015423

文章详细
7.On Hashing-Based Approaches to Approximate DNF-Counting

作　　者：Kuldeep S. Meel ;Aditya A. Shrotri ;Moshe Y. Vardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2018 ;93:41:1-41:14.doi:10.4230/LIPIcs.FSTTCS.2017.41

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：220015426

文章详细
8.Reasoning About Strategies

作　　者：Fabio Mogavero ;Aniello Murano ;Moshe Y. Vardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2010 ;8:133-144.doi:10.4230/LIPIcs.FSTTCS.2010.133

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845765

文章详细全文下载
9.Temporal Synthesis for Bounded Systems and Environments

作　　者：Orna Kupferman ;Yoad Lustig ;Moshe Y. Vardi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;9:615-626.doi:10.4230/LIPIcs.STACS.2011.615

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845849

文章详细全文下载
10.Constraints, Graphs, Algebra, Logic, and Complexity (Invited Talk)

作　　者：Moshe Y. Vardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;13:3-3.doi:10.4230/LIPIcs.FSTTCS.2011.3

出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文章 ID：186845860

文章详细全文下载

1 2 下一页尾页

电话：010-85195300

E-mail：[email protected]

地址：中国北京建国门内大街5号中国社会科学院1#楼

扫一扫关注微信

联系我们|关于我们|网站声明

国家哲学社会科学文献中心版权所有