米罗斯拉夫斯坦科维奇;埃齐奥·巴托西;劳拉·科瓦奇 贝叶斯网络特性的基于矩的分析。 (英语) Zbl 07467471号 西奥。计算。科学。 903, 113-133 (2022).MSC公司:62H22个 PDF格式BibTeX公司 XML格式引用 \textit{M.Stankovič}等人,Theor。计算。科学。903113--133(2022年;Zbl 07467471) 全文: 内政部 OA许可证
马塞尔·穆斯布鲁克;埃齐奥·巴托西;Joost Pieter卡托恩;劳拉·科瓦奇 多项式概率程序的自动终止分析。 (英语) Zbl 1473.68053号 Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12648, 491-518 (2021).MSC公司:68号30 68甲19 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Moosbrugger}等人,Lect。注释计算。科学。12648,491--518(2021;Zbl 1473.68053) 全文: 内政部 arXiv公司 OA许可证