1.Synthesis from Recursive-Components Libraries

作　　者：Yoad Lustig ;Moshe Vardi

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:1-16.doi:10.4204/EPTCS.54.1

出版社：Open Publishing Association

文章 ID：83120155

文章详细全文下载
2.Synthesis from Probabilistic Components

作　　者：Yoad Lustig ;Sumit Nain ;Moshe Vardi

出　　处：Logical Methods in Computer Science. 2014 ;10(2):1.doi:10.2168/LMCS-10(2:17)2014

出版社：Technical University of Braunschweig

文章 ID：264691913

文章详细全文下载
3.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

文章详细全文下载
4.Synthesis from Probabilistic Components

作　　者：Yoad Lustig ;Sumit Nain ;Moshe Y. Vardi

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2011 ;12:412-427.doi:10.4230/LIPIcs.CSL.2011.412

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

文章 ID：186845998

文章详细全文下载
5.A Modular Approach for Büchi Determinization

作　　者：Dana Fisman ;Yoad Lustig

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2015 ;42:368-382.doi:10.4230/LIPIcs.CONCUR.2015.368

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

文章 ID：186847022

文章详细全文下载

	Mihalis Yannakakis	1篇
	Orna Kupferman	1篇

	德国	4篇
	澳大利亚	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Yoad Lustig")))) )) ) )"

	Yoad Lustig	5篇
	Moshe Vardi	2篇
	Moshe Y. Vardi	2篇
	Sumit Nain	2篇
	Dana Fisman	1篇

	LIPIcs : Leibniz International Proceedings in Informatics	3篇
	Electronic Proceedings in Theoretical Computer Science	1篇
	Logical Methods in Computer Science	1篇

	2015	1篇
	2014	1篇
	2011	3篇