编辑配置文件（在新选项卡中打开） 朱莉娅·萨皮娜 合著者距离 作者ID： 萨皮纳朱莉亚 发布日期： 朱莉娅·萨皮娜；萨皮尼亚，J。；朱莉娅·萨皮纳 更多。。。较少的 已编制索引的文档： 20份出版物自2014年起 合著者： 10位合著者具有20联合出版物 169位合作作者 全部的 前5名合著者 0 单作者的 14 玛丽亚·阿尔普特 13 黛米斯·巴利斯 13 圣地亚哥埃斯科瓦尔 5 弗朗西斯科·弗雷奇纳 4 阿帕里西奥·桑切斯，达米安 4 何塞·梅塞盖尔·瓜伊塔 2 凯瑟琳·梅多斯。 1 D.加兰。 1 劳尔·古铁雷斯 1 劳尔·洛佩斯·鲁埃达 系列 4 程序设计中的逻辑和代数方法杂志 三 逻辑程序设计理论与实践 1 符号计算杂志 1 数学与人工智能年鉴 1 计算机科学中的数学 领域 20 计算机科学（68至XX） 三 信息与通信理论、电路（94-XX） 2 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用35中的次18文件 引用人▼ 年份▼ 探索条件重写逻辑计算。 Zbl 1315.68166号 Alpunte，M。；D.巴利斯。；弗雷奇纳，F。；萨皮尼亚，J。 5 2015 通过运行时断言检查和跟踪切片调试Maude程序。 Zbl 1348.68027号 玛丽亚·阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 5 2016 检查重写逻辑计算（以参数化和逐步的方式）。 Zbl 1407.68097号 玛丽亚·阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 4 2014 随时间进行协议分析。 兹比尔1492.94055 阿帕里西奥·桑切斯，达米安；圣地亚哥埃斯科瓦尔；凯瑟琳·梅多斯；何塞·梅塞盖尔；朱莉娅·萨皮娜 4 2020 通过使用\（\mathsf{ABETS}\）切片进行基于断言的分析（系统描述）。 Zbl 1379.68088号 Alpunte，M。；弗雷奇纳，F。；萨皮尼亚，J。；D.巴利斯。 三 2016 重温了有序等式推广算法。 Zbl 07517439号 玛丽亚·阿尔普特；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；朱莉娅·萨皮娜 2 2022 通过在阿尔·塔姆系统。 兹比尔1471.68051 Alpunte，M。；D.巴利斯。；萨皮尼亚，J。 2 2020 大多数通用变体统一器。 Zbl 07453112号 圣地亚哥埃斯科瓦尔；朱莉娅·萨皮娜 2 2019 具有时间和空间的协议分析。 Zbl 1498.94052号 阿帕里西奥·桑切斯，达米安；圣地亚哥埃斯科瓦尔；凯瑟琳·梅多斯；何塞·梅塞盖尔；朱莉娅·萨皮娜 2 2021 通过等式部分评估优化重写理论。 Zbl 1477.68136号 Alpunte，M。；D.巴利斯。；埃斯科瓦尔，S。；萨皮尼亚，J。 1 2022 与纳瓦尔对莫德理论的符号分析。 Zbl 1434.68214号 玛丽亚·阿尔普特；圣地亚哥埃斯科瓦尔；朱莉娅·萨皮纳；黛米斯·巴利斯 1 2019 与ÁTAME一起推断安全的Maude程序。 Zbl 1395.68080号 玛丽亚·阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜 1 2018 结合运行时检查和切片来改进Maude错误诊断。 Zbl 1321.68325号 玛丽亚·阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 1 2015 构造器符号下基于变量的方程统一。 Zbl 07455704号 阿帕里西奥·桑切斯，达米安；圣地亚哥埃斯科瓦尔；朱莉娅·萨皮娜 1 2020 通过莫德的可编程策略实施安全。 兹比尔07665440 Alpunte，M。；D.巴利斯。；埃斯科瓦尔，S。；D.加兰。；萨皮尼亚，J。 1 2023 通过莫德的可编程策略实施安全。 Zbl 07665440号 Alpunte，M。；D.巴利斯。；埃斯科瓦尔，S。；D.加兰。；萨皮尼亚，J。 1 2023 重温了有序等式推广算法。 Zbl 07517439号 玛丽亚·阿尔普特；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔；朱莉娅·萨皮娜 2 2022 通过等式部分评估优化重写理论。 Zbl 1477.68136号 Alpunte，M。；D.巴利斯。；埃斯科瓦尔，S。；萨皮尼亚，J。 1 2022 具有时间和空间的协议分析。 兹比尔1498.94052 阿帕里西奥·桑切斯，达米安；圣地亚哥埃斯科瓦尔；凯瑟琳·梅多斯；何塞·梅塞盖尔；朱莉娅·萨皮娜 2 2021 随时间进行协议分析。 Zbl 1492.94055号 阿帕里西奥·桑切斯，达米安；圣地亚哥埃斯科瓦尔；凯瑟琳·梅多斯；何塞·梅塞盖尔；朱莉娅·萨皮娜 4 2020 通过在阿尔·塔姆系统。 兹比尔1471.68051 Alpunte，M。；D.巴利斯。；萨皮尼亚，J。 2 2020 构造器符号下基于变量的方程统一。 Zbl 07455704号 阿帕里西奥·桑切斯，达米安；圣地亚哥埃斯科瓦尔；朱莉娅·萨皮娜 1 2020 大多数通用变体统一器。 Zbl 07453112号 圣地亚哥埃斯科瓦尔；朱莉娅·萨皮娜 2 2019 与纳瓦尔对莫德理论的符号分析。 Zbl 1434.68214号 玛丽亚·阿尔普特；圣地亚哥埃斯科瓦尔；朱莉娅·萨皮纳；黛米斯·巴利斯 1 2019 与ÁTAME一起推断安全的Maude程序。 Zbl 1395.68080号 玛丽亚·阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜 1 2018 通过运行时断言检查和跟踪切片调试Maude程序。 Zbl 1348.68027号 玛丽亚·阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 5 2016 通过使用\（\mathsf{ABETS}\）切片进行基于断言的分析（系统描述）。 Zbl 1379.68088号 Alpunte，M。；弗雷奇纳，F。；萨皮尼亚，J。；D.巴利斯。 三 2016 探索条件重写逻辑计算。 Zbl 1315.68166号 Alpunte，M。；D.巴利斯。；弗雷奇纳，F。；萨皮尼亚，J。 5 2015 结合运行时检查和切片来改进Maude错误诊断。 兹比尔1321.68325 玛丽亚·阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 1 2015 检查重写逻辑计算（以参数化和逐步的方式）。 Zbl 1407.68097号 玛丽亚·阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 4 2014 所有引用的出版物 前5名被引用出版物 全部的 前5名16位作者引用 14 朱莉娅·萨皮娜 12 玛丽亚·阿尔普特 11 圣地亚哥埃斯科瓦尔 10 黛米斯·巴利斯 5 何塞·梅塞盖尔·瓜伊塔 4 弗朗西斯科·弗雷奇纳 2 阿帕里西奥·桑切斯，达米安 2 劳尔·洛佩斯·鲁埃达 1 安吉尔·昆卡-奥尔特加 1 史蒂文·艾克 1 D.加兰。 1 萨尔瓦多卢卡斯 1 马丁·奥列特，纳西索 1 凯瑟琳·梅多斯。 1 鲁宾·鲁比奥 1 阿尔贝托·维尔德乔 全部的 前5名6篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 三 逻辑程序设计理论与实践 1 符号计算杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 计算机科学中的数学 在3个字段中引用 18 计算机科学（68至XX） 三 数理逻辑与基础（03-XX） 2 信息与通信理论、电路（94-XX） 按年份列出的引文