×
编辑配置文件（在新选项卡中打开）

米盖尔·伊莎贝尔

合著者距离
作者ID： 伊莎贝尔·米格尔最近由“Isabel，Miguel”撰写的zbMATH文章
发布日期： 米盖尔·伊莎贝尔
已编制索引的文档： 4出版物自2018年起
合著者： 7合著者具有4联合出版物
153位合作作者
全部的 前5名

合著者

0 单作者的
4 艾尔维拉·阿尔伯特
三 米盖尔·戈梅斯·扎马洛亚
三 阿尔伯特·鲁比奥
1 贝尔斯·穆尼奥斯（Bellés-Muñoz），玛尔塔
1 克拉拉·罗德里格斯·努涅斯
1 马蒂奥·桑马蒂诺
1 亚历山德拉·席尔瓦

系列

1 程序设计中的逻辑和代数方法杂志

领域

4 计算机科学（68至XX）
1 信息与通信理论、电路（94-XX）

按年份列出的出版物

zbMATH Open中包含的引文

2出版物有被引用4次4文件 引用人▼ 年份▼
约束动态部分降阶。 Zbl 1511.68178号
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米盖尔·伊莎贝尔;阿尔伯特·鲁比奥
三
2018
软件定义网络的基于角色的模型检查。 Zbl 1455.68101号
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米盖尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦
1
2021
软件定义网络的基于角色的模型检查。 Zbl 1455.68101号
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米盖尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山大·席尔瓦
1
2021
受约束的动态部分降阶。 Zbl 1511.68178号
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米盖尔·伊莎贝尔;阿尔伯特·鲁比奥
三
2018
全部的 前5名

15位作者引用

2 艾尔维拉·阿尔伯特
2 阿尔伯特·鲁比奥
1 马塞洛·玛丽亚·邦桑格
1 冯慧
1 米盖尔·戈梅斯·扎马洛亚
1 巴勃罗·戈迪略
1 亚历杭德罗·埃尔南德斯·塞雷佐
1 米盖尔·伊莎贝尔
1 蒂埃里·杰伦
1 本杰明·利昂
1 Pham，The-Anh公司
1 马丁·昆森
1 克拉拉·罗德里格斯·努涅斯
1 桑马提诺，马泰奥
1 亚历山德拉·席尔瓦

连载1篇

2 程序设计中的逻辑和代数方法杂志

在1个字段中引用

4 计算机科学（68至XX）

按年份列出的引文