乔治·巴奇;乔瓦尼·巴奇;马蒂亚斯·克劳斯·詹森;Larsen，Kim G。 凸晶格方程组。 （英语） Zbl 1528.68206号 Raskin，Jean-François（编辑）等人，《系统设计原理》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13660, 438-455 (2022).MSC公司：60年第68季度 2010年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。13660438-455（2022年；兹比尔1528.68206） 全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马代尔;唐启毅;弗兰克·范·布鲁格尔 计算概率自动机的概率双相似距离。 （英语） Zbl 1509.68181号 日志。方法计算。科学。 17，第1号，第9号论文，36页（2021年）.MSC公司：68问题85 03B44号 65年第68季度 87年第68季度 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，日志。方法计算。科学。17，第1号，第9号论文，36页（2021；Zbl 1509.68181） 全文： arXiv公司 链接
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔;唐启毅;弗兰克·范·布鲁格尔 计算概率自动机的概率双相似距离。 （英语） Zbl 07649917号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第9条，第17页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，LIPIcs——莱布尼茨国际程序。通知。140，第9条，第17页（2019年；Zbl 07649917） 全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 在马尔可夫链上从分支收敛到线性度量。 （英语） Zbl 1407.68278号 数学。结构。计算。科学。 29，第1期，3-37页（2019年）.MSC公司：60年第68季度 03B44号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，《数学》。结构。计算。科学。29，第1号，第3--37号（2019年；Zbl 1407.68278） 全文： 内政部
佩德森，马蒂亚斯·鲁加德;乔治·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 半马尔可夫决策过程模拟的半度量扩展。 （英语） 兹比尔1514.68192 McIver，Annabelle（编辑）等人，《系统的定量评估》。2018年9月4日至7日，第15届QEST国际会议，中国北京。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11024, 339-355 (2018).MSC公司：87年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.R.Pedersen}等人，Lect。注释计算。科学。11024、339--355（2018；Zbl 1514.68192） 全文： 内政部 链接
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 马尔可夫链总变差距离的完全公理化。 （英语） Zbl 1525.68080号 Silva，Alexandra（编辑），第33届编程语义数学基础会议论文集（MFPS XXXII），斯洛文尼亚卢布尔雅那，2017年6月12-15日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。336, 27-39 (2018).MSC公司：68问题85 03B70号 60J10型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，《电子》。注释Theor。计算。科学。336、27-39（2018年；Zbl 1525.68080） 全文： 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen，Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 （英语） Zbl 1409.68182号 日志。方法计算。科学。 14，第4号，第15号论文，29页（2018年）.MSC公司：68问题85 03B70号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，日志。方法计算。科学。14，第4号，第15号论文，29页（2018；Zbl 1409.68182） 全文： 内政部 arXiv公司
乔瓦尼·巴奇;乔治·巴奇;Larsen，Kim G。;拉杜·马达尔 基于度量的马尔可夫链近似最小化。 （英语） Zbl 1400.68098号 J.日志。阿尔盖布。方法计划。 100，36-56（2018）.MSC公司：65年第68季度 60J10型 2017年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，J.Log。阿尔盖布。方法计划。100,36-56（2018；Zbl 1400.68098） 全文： 内政部 arXiv公司 链接
乔治·巴奇;乔瓦尼·巴奇;金·古德斯特兰·拉森;拉杜·马达尔 任意可测空间上马尔可夫过程的互模拟。 （英语） Zbl 1407.68327号 van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 76-95 (2014).MSC公司：68问题85 18B99型 60J25型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人，Lect。注释计算。科学。8464，76-95（2014；Zbl 1407.68327） 全文： 内政部
乔治·巴奇;马里诺·米库兰 Brane演算的可测随机性。 （英语） Zbl 1255.68099号 西奥。计算。科学。 431, 117-136 (2012).MSC公司：68问题85 2010年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}和\textit{M.Miculan}，Theor。计算。科学。431117--136（2012年；Zbl 1255.68099） 全文： 内政部 arXiv公司