编辑配置文件（在新选项卡中打开） 伊莎贝尔·皮塔 合著者距离 作者ID： 皮塔伊萨贝尔 发布日期： 伊莎贝尔·皮塔 外部链接： ORCID公司 已编制索引的文档： 21出版物自1996年起 合著者： 11位合著者具有21联合出版物 264位合作作者 全部的 前5名合著者 0 单作者的 17 马丁·奥列特，纳西索 9 阿尔贝托·维尔德乔 6 米盖尔·帕洛米诺 6 鲁宾·鲁比奥 4 路易斯·安东尼奥·阿吉雷 2 JoséLuiz Fiadeiro 2 托马斯·斯蒂芬·爱德华·迈鲍姆 2 何塞·梅塞盖尔·瓜伊塔 1 费尔南德斯·卡马乔（Fernández-Camacho），玛丽亚·伊内斯（María-Inés） 1 阿德里安·里斯科 1 鲁宾·鲁比奥 系列 三 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 自动推理杂志 1 计算的形式方面 1 逻辑与计算杂志 领域 21 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用58中的次28文件 引用人▼ 年份▼ Maude中的策略、模型检查和分支时间属性。 Zbl 1528.68233号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 12 2021 Maude中的参数化策略规范。 兹比尔1444.68104 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 11 2019 模型检查策略控制重写系统。 Zbl 1528.68234号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 7 2019 针对重写逻辑的验证逻辑。 Zbl 0966.68123号 何塞·路易斯·费亚迪罗;汤姆·迈鲍姆;马丁·奥列特，纳西索;何塞·梅塞盖尔;伊莎贝尔·皮塔 5 2000 重写逻辑和Maude中的条件收缩模。 Zbl 1367.68123号 路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 4 2014 使用Maude中的策略模拟和模型检查膜系统。 Zbl 1532.68018号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 4 2022 用于电信网络的面向对象数据库模型的Maude规范。 Zbl 0912.68024号 伊莎贝尔·皮塔;马丁·奥列特，纳西索 三 1996 IEEE 1394树标识协议在重写逻辑中的规范与验证。 Zbl 1029.68023号 阿尔贝托·维尔德乔;伊莎贝尔·皮塔;马丁·奥列特，纳西索 2 2002 重写逻辑的验证逻辑。 Zbl 1101.68684号 马丁·奥列特，纳西索;伊莎贝尔·皮塔;JoséLuiz Fiadeiro;何塞·梅塞盖尔;汤姆·迈鲍姆 2 2005 战略的元层次转换。 Zbl 1532.68029号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 2 2022 通信网络面向对象模型的Maude规范。 Zbl 1001.68004号 伊莎贝尔·皮塔;马丁·奥列特，纳西索 1 2002 改写逻辑和Maude中的句子标准化条件窄化模。 Zbl 1398.68267号 路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 1 2018 莫德IEEE 1394的领导人选举协议。 Zbl 0962.68107号 阿尔贝托·维尔德乔;伊莎贝尔·皮塔;纳西索·马蒂·奥列特 1 2000 详细说明和分析Maude中的Kademlia协议。 兹比尔1471.68151 伊莎贝尔·皮塔;阿德里安·里斯科 1 2015 重写逻辑和Maude中的句子规范化条件收缩模。 Zbl 1321.68324号 路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 1 2015 Maude中的策略、模型检查和分支时间属性。 Zbl 1517.68170号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 1 2020 使用Maude中的策略模拟和模型检查膜系统。 Zbl 1532.68018号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 4 2022 战略的元层次转换。 Zbl 1532.68029号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 2 2022 Maude中的策略、模型检查和分支时间属性。 Zbl 1528.68233号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 12 2021 Maude中的策略、模型检查和分支时间属性。 Zbl 1517.68170号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 1 2020 Maude中的参数化策略规范。 Zbl 1444.68104号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 11 2019 模型检查策略控制重写系统。 Zbl 1528.68234号 鲁宾·鲁比奥;马丁·奥列特，纳西索;伊莎贝尔·皮塔;阿尔贝托·维尔德乔 7 2019 重写逻辑和Maude中的句子规范化条件收缩模。 Zbl 1398.68267号 路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 1 2018 详细说明和分析Maude中的Kademlia协议。 Zbl 1471.68151号 伊莎贝尔·皮塔;阿德里安·里斯科 1 2015 重写逻辑和Maude中的句子规范化条件收缩模。 Zbl 1321.68324号 路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 1 2015 重写逻辑和Maude中的条件收缩模。 Zbl 1367.68123号 路易斯·阿吉雷;马丁·奥列特，纳西索;米盖尔·帕洛米诺;伊莎贝尔·皮塔 4 2014 重写逻辑的验证逻辑。 Zbl 1101.68684号 马丁·奥列特，纳西索;伊莎贝尔·皮塔;JoséLuiz Fiadeiro;何塞·梅塞盖尔;汤姆·迈鲍姆 2 2005 IEEE 1394树标识协议在重写逻辑中的规范与验证。 Zbl 1029.68023号 阿尔贝托·维尔德乔;伊莎贝尔·皮塔;马丁·奥列特，纳西索 2 2002 用于电信网络的面向对象模型的Maude规范。 Zbl 1001.68004号 伊莎贝尔·皮塔;马丁·奥列特，纳西索 1 2002 针对重写逻辑的验证逻辑。 Zbl 0966.68123号 何塞·路易斯·费亚迪罗;汤姆·梅鲍姆;马丁·奥列特，纳西索;何塞·梅塞盖尔;伊莎贝尔·皮塔 5 2000 莫德IEEE 1394的领导人选举协议。 Zbl 0962.68107号 阿尔贝托·维尔德乔;伊莎贝尔·皮塔;纳西索·马蒂·奥列特 1 2000 用于电信网络的面向对象数据库模型的Maude规范。 Zbl 0912.68024号 伊莎贝尔·皮塔;马丁·奥列特，纳西索 三 1996 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 12 马丁·奥列特，纳西索 9 伊莎贝尔·皮塔 9 鲁宾·鲁比奥 6 阿尔贝托·维尔德乔 5 何塞·梅塞盖尔·瓜伊塔 三 路易斯·安东尼奥·阿吉雷 三 圣地亚哥埃斯科瓦尔 三 萨尔瓦多卢卡斯 三 米盖尔·帕洛米诺 2 玛丽亚·阿尔普特 2 黛米斯·巴利斯 2 罗伯托·布鲁尼 2 史蒂文·艾克 2 阿德里安·里斯科 2 朱莉娅·萨皮娜 2 卡罗琳·塔尔科特。 1 艾琳娜·莫瑞卡 1 Bae，Kyungmin先生 1 保罗·巴尔丹 1 安德烈亚·克拉克·布拉夏利 1 安东尼奥·布奇亚罗内 1 弗朗西斯科·杜兰 1 D.加兰。 1 格内西、斯特凡尼亚 1 丹·赫施 1 阿尔贝托·卢什·拉富恩特 1 恩里克·马丁·马汀 1 黑山，曼努埃尔 1 胡安·罗德里格斯·霍塔拉 1 费尔南多·罗莎·维拉尔多 1 拉丁·托菲吉（Ramtine Tofighi Shirazi） 1 谢万玲 1 徐启文 1 上村雅史 1 朱慧彪 全部的 前5名6篇连载文章中引用 9 程序设计中的逻辑和代数方法杂志 4 理论计算机科学 三 自动推理杂志 1 计算的形式方面 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 在2个字段中引用 28 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 按年份列出的引文