1.Quantitative Fairness Games

作　　者：Alessandro Bianco ;Marco Faella ;Fabio Mogavero 等

出　　处：Electronic Proceedings in Theoretical Computer Science. 2010 ;28:48-63.doi:10.4204/EPTCS.28.4

出版社：Open Publishing Association

文章 ID：83119941

文章详细全文下载
2.Towards Efficient Exact Synthesis for Linear Hybrid Systems

作　　者：Massimo Benerecetti ;Marco Faella ;Stefano Minopoli

出　　处：Electronic Proceedings in Theoretical Computer Science. 2011 ;54:263-277.doi:10.4204/EPTCS.54.19

出版社：Open Publishing Association

文章 ID：83120173

文章详细全文下载
3.Qualitative Logics and Equivalences for Probabilistic Systems

作　　者：Luca de Alfaro ;Krishnendu Chatterjee ;Marco Faella 等

出　　处：Logical Methods in Computer Science. 2009 ;5(02).doi:10.2168/LMCS-5(2:7)2009

出版社：Technical University of Braunschweig

文章 ID：47208404

文章详细全文下载
4.Hedging Bets in Markov Decision Processes

作　　者：Rajeev Alur ;Marco Faella ;Sampath Kannan 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;62:29:1-29:20.doi:10.4230/LIPIcs.CSL.2016.29

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

文章 ID：186847946

文章详细全文下载
5.An Introduction to the Tool Ticc

作　　者：Axel Legay ;Luca de Alfaro ;Marco Faella

出　　处：OASIcs : OpenAccess Series in Informatics. 2006 ;3.doi:10.4230/OASIcs.TrustworthySW.2006.766

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

文章 ID：186848173

文章详细

	有本地全文	4篇
	有全文链接	1篇

	Marco Faella	5篇
	Axel Legay	2篇
	Luca de Alfaro	2篇
	Alessandro Bianco	1篇
	Aniello Murano	1篇

	Fabio Mogavero	1篇
	Krishnendu Chatterjee	1篇
	Massimo Benerecetti	1篇
	Nimit Singhania	1篇
	Rajeev Alur	1篇
	Sampath Kannan	1篇
	Stefano Minopoli	1篇

	德国	3篇
	澳大利亚	2篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Marco Faella")))) )) ) )"

	Electronic Proceedings in Theoretical Computer Science	2篇
	LIPIcs : Leibniz International Proceedings in Informatics	1篇
	Logical Methods in Computer Science	1篇
	OASIcs : OpenAccess Series in Informatics	1篇

	2016	1篇
	2011	1篇
	2010	1篇
	2009	1篇
	2006	1篇