编辑配置文件（在新选项卡中打开） 马蒂娜·奥利亚罗 合著者距离 作者ID： 奥利亚罗·马蒂纳 发布日期： 马蒂娜·奥利亚罗 编入索引的文档： 4出版物自2019年起 1名编辑贡献 合著者： 6位合著者具有5联合出版物 59位合作作者 全部的 前5名合著者 0 单作者的 5 阿戈斯蒂诺·科尔特斯 4 文森佐·阿塞里 2 皮埃特罗·费拉拉 2 伊莎贝拉·马斯特罗埃尼 1 亨利克·劳科 1 彼得·罗奇凯 系列 1 信息与计算 1 智能系统参考库 领域 5 计算机科学（68至XX） 1 一般性和全局性主题；集合（00-XX） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用5中的次4文件 引用人▼ 年份▼ JavaScript程序字符串分析的抽象域的完整性。 Zbl 07142680号 文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 2 2019 用于C程序模型检查的字符串抽象。 Zbl 07808265号 阿戈斯蒂诺·科尔特斯;亨利克·劳科;马蒂娜·奥利亚罗;彼得·罗奇凯 2 2019 动态语言字符串分析的完整性。 Zbl 1518.68032号 文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 1 2021 动态语言字符串分析的完整性。 兹比尔1518.68032 文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 1 2021 JavaScript程序字符串分析的抽象域的完整性。 Zbl 07142680号 文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;伊莎贝拉·马斯特罗埃尼 2 2019 用于C程序模型检查的字符串抽象。 Zbl 07808265号 阿戈斯蒂诺·科尔特斯;亨利克·劳科;马蒂娜·奥利亚罗;彼得·罗奇凯 2 2019 全部的 前5名被7位作者引用 三 文森佐·阿塞里 三 阿戈斯蒂诺·科尔特斯 2 皮埃特罗·费拉拉 2 马蒂娜·奥利亚罗 1 伊莎贝拉·马斯特罗埃尼 1 卢卡·内格里尼 1 哈拉尔德·森德加德 连载1篇 1 信息与计算 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文