1.Computing Probabilistic Bisimilarity Distances for Probabilistic Automata

作　　者：Giorgio Bacci ;Giovanni Bacci ;Kim G. Larsen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;140:1-17.doi:10.4230/LIPIcs.CONCUR.2019.9

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

文章 ID：238891917

文章详细全文下载
2.On the Metric-Based Approximate Minimization of Markov Chains

作　　者：Giovanni Bacci ;Giorgio Bacci ;Kim G. Larsen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2017 ;80:104:1-104:14.doi:10.4230/LIPIcs.ICALP.2017.104

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

文章 ID：198372058

文章详细全文下载
3.The additional difficulties for the automatic synthesis of specifications posed by logic features in functional-logic languages

作　　者：Giovanni Bacci ;Marco Comini ;Marco A. Feli{\'u 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2012 ;17:144-153.doi:10.4230/LIPIcs.ICLP.2012.144

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

文章 ID：186846109

文章详细全文下载
4.Complete Axiomatization for the Bisimilarity Distance on Markov Chains

作　　者：Giorgio Bacci ;Giovanni Bacci ;Kim G. Larsen 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2016 ;59:21:1-21:14.doi:10.4230/LIPIcs.CONCUR.2016.21

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

文章 ID：186847579

文章详细全文下载

	Giovanni Bacci	4篇
	Giorgio Bacci	3篇
	Kim G. Larsen	3篇
	Radu Mardare	3篇
	Alicia Villanueva	1篇

	Franck van Breugel	1篇
	Marco A. Feli{\'u	1篇
	Marco Comini	1篇
	Qiyi Tang	1篇

全文

出版年度

作者

来源期刊

学科主题

语种

国别/地区

检索条件:"( ( 高级检索(( ((AU:(("Giovanni Bacci")))) )) ) )"

	2019	1篇
	2017	1篇
	2016	1篇
	2012	1篇