文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;皮埃特罗·费拉拉 关系字符串抽象域。 （英语） Zbl 1498.68070号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 20-42 (2022).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}等人，Lect。注释计算。科学。13182，20--42（2022；Zbl 1498.68070） 全文： 内政部
文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 动态语言字符串分析的完整性。 （英语） Zbl 1518.68032号 Inf.计算。 281，文章ID 104791，18 p.（2021）.MSC公司：68甲15 68瓦32 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}等人，《信息计算》。281，文章ID 104791，18 p.（2021；Zbl 1518.68032） 全文： 内政部
卢卡·内格里尼;文森佐·阿塞里;皮埃特罗·费拉拉;阿戈斯蒂诺·科尔特斯 字符串静态分析的孪生自动机和正则表达式。 （英语） Zbl 1472.68039号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 267-290 (2021).MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Negrini}等人，Lect。注释计算。科学。12597，267--290（2021；Zbl 1472.68039） 全文： 内政部 arXiv公司