达内什瓦·阿姆罗拉希;埃齐奥·巴托西;乔治·凯尼森;劳拉·科瓦奇;马塞尔·穆斯布鲁克;米罗斯拉夫斯坦科维奇 求解不可解循环的不变量生成。 （英语） Zbl 1524.68070号 Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 19-43 (2022).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Amrollahi}等人，Lect。注释计算。科学。13790，19-43（2022年；兹比尔1524.68070） 全文： 内政部 arXiv公司
埃齐奥·巴托西;劳拉·科瓦奇;米罗斯拉夫斯坦科维奇 用于问题可解循环的基于矩的不变量的自动生成。 （英语） 兹比尔1437.68041 Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 255-276 (2019).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Bartocci}等人，Lect。注释计算。科学。11781255-276（2019年；Zbl 1437.68041） 全文： 内政部 arXiv公司