编辑配置文件（在新选项卡中打开） 米盖尔·戈梅斯·扎马洛亚 合著者距离 作者ID： 戈麦兹·扎马洛亚·米格尔 发布日期： 米盖尔·戈梅斯·扎马洛亚 外部链接： MGP公司 已编制索引的文档： 15出版物自2008年起 合著者： 12位合著者具有15联合出版物 360位合作作者 全部的 前5名合著者 0 单作者的 14 艾尔维拉·阿尔伯特 5 德国普埃布拉 4 普里阿雷纳斯 3 米格尔·伊莎贝尔 3 何塞·米盖尔·罗哈斯 3 阿尔伯特·鲁比奥 2 约翰·加拉赫（John P.Gallagher）。 2 玛丽亚·加西亚·德拉班达 2 马蒂奥·桑马蒂诺 2 亚历山德拉·席尔瓦 2 彼得·詹姆斯·斯塔基 1 萨米尔·根奈姆 系列 2 逻辑程序设计理论与实践 1 信息处理信件 1 程序设计中的逻辑和代数方法杂志 领域 15 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用27中的次20文件 引用人▼ 年份▼ CLP中面向对象命令式语言的测试用例生成。 Zbl 1209.68093号 米盖尔·戈梅斯·扎马洛亚;艾尔维拉·阿尔伯特;德国普埃布拉 5 2010 基于类型的同胚嵌入用于在线终止。 Zbl 1205.68508号 艾尔维拉·阿尔伯特;约翰·加拉赫;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 4 2009 上下文敏感的动态偏序减少。 Zbl 1494.68047号 艾尔维拉·阿尔伯特;普里阿雷纳斯;玛丽亚·加西亚，德拉班达;米盖尔·戈梅斯·扎马洛亚;彼得·斯图基（Peter J.Stuckey）。 4 2017 约束动态部分降阶。 Zbl 1511.68178号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米格尔·伊莎贝尔;阿尔伯特·鲁比奥 3 2018 通过CLP部分求值测试字节码的数据生成。 Zbl 1185.68146号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 2 2009 自动推断资源消耗边界。 Zbl 1352.68048号 艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 2 2012 SDN参与者：SDN程序的建模和验证。 Zbl 1460.68052号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 2 2018 基于类型的同胚嵌入及其在在线部分评估中的应用。 兹比尔1179.68031 艾尔维拉·阿尔伯特;约翰·加拉赫;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 1 2008 资源驱动的基于CLP的测试用例生成。 Zbl 1377.68059号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;何塞·米盖尔·罗哈斯 1 2012 行动者系统的测试用例生成。 Zbl 1471.68050号 艾尔维拉·阿尔伯特;普里阿雷纳斯;米盖尔·戈梅斯·扎马洛亚 1 2015 在CLP中测试并发对象。 Zbl 1281.68074号 艾尔维拉·阿尔伯特;普里阿雷纳斯;米盖尔·戈梅斯·扎马洛亚 1 2012 软件定义网络的基于角色的模型检查。 Zbl 1455.68101号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米格尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 1 2021 软件定义网络的基于角色的模型检查。 Zbl 1455.68101号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米格尔·伊莎贝尔;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 1 2021 受约束的动态部分降阶。 Zbl 1511.68178号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;米格尔·伊莎贝尔;阿尔伯特·鲁比奥 3 2018 SDN参与者：SDN程序的建模和验证。 Zbl 1460.68052号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;阿尔伯特·鲁比奥;马蒂奥·桑马蒂诺;亚历山德拉·席尔瓦 2 2018 上下文敏感的动态偏序减少。 Zbl 1494.68047号 艾尔维拉·阿尔伯特;普里阿雷纳斯;玛丽亚·加西亚，德拉班达;米盖尔·戈梅斯·扎马洛亚;彼得·斯图基（Peter J.Stuckey）。 4 2017 参与者系统的测试用例生成。 Zbl 1471.68050号 艾尔维拉·阿尔伯特;普里阿雷纳斯;米盖尔·戈梅斯·扎马洛亚 1 2015 自动推断资源消耗边界。 Zbl 1352.68048号 艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 2 2012 资源驱动的基于CLP的测试用例生成。 Zbl 1377.68059号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;何塞·米盖尔·罗哈斯 1 2012 在CLP中测试并发对象。 Zbl 1281.68074号 艾尔维拉·阿尔伯特;普里阿雷纳斯;米盖尔·戈梅斯·扎马洛亚 1 2012 CLP中面向对象命令式语言的测试用例生成。 Zbl 1209.68093号 米盖尔·戈梅斯·扎马洛亚;艾尔维拉·阿尔伯特;德国普埃布拉 5 2010 基于类型的同胚嵌入用于在线终止。 Zbl 1205.68508号 艾尔维拉·阿尔伯特;约翰·加拉赫;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 4 2009 通过CLP部分求值测试字节码的数据生成。 Zbl 1185.68146号 艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 2 2009 基于类型的同胚嵌入及其在在线部分评估中的应用。 Zbl 1179.68031号 艾尔维拉·阿尔伯特;约翰·加拉赫;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉 1 2008 所有引用出版物 前5名被引用出版物 全部的 前5名56位作者引用 6 艾尔维拉·阿尔伯特 5 米盖尔·戈梅斯·扎马洛亚 3 阿尔伯特·鲁比奥 3 德国维达尔 2 约翰·加拉赫（John P.Gallagher）。 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 德国普埃布拉 2 马蒂奥·桑马蒂诺 2 亚历山德拉·席尔瓦 1 普拉图什·阿加瓦尔 1 玛丽亚·阿尔普特 1 黛米斯·巴利斯 1 马塞洛·玛丽亚·邦桑格 1 伊格纳西奥·卡索 1 克里希南德·查特吉 1 阿齐姆·查德哈里 1 赫莱内·科拉维扎 1 伊曼纽尔·德·安吉利斯 1 圣地亚哥埃斯科瓦尔 1 冯慧 1 法比奥·菲奥拉万蒂 1 玛丽亚·加西亚·德拉班达 1 巴勃罗·戈迪略 1 亚历杭德罗·埃尔南德斯·塞雷佐 1 詹·菲利普·霍夫曼 1 米格尔·伊莎贝尔 1 蒂埃里·杰伦 1 埃纳尔·布罗赫·约翰森 1 国王，安迪 1 本杰明·利昂 1 佩德罗·洛佩兹·加西亚 1 弗雷德·梅斯纳德 1 何塞·弗朗西斯科·莫拉莱斯 1 直纪西田 1 阿德里安·帕拉西奥斯。 1 托马斯·帕尼 1 Shreya Pathak 1 安德烈亚斯·帕夫罗甘尼斯 1 埃蒂安·佩耶特 1 阿尔贝托·佩特罗西 1 Pham，The-Anh公司 1 毛里齐奥·普罗埃蒂 1 马丁·昆森 1 克拉拉·罗德里格斯·努涅斯 1 何塞·米盖尔·罗哈斯 1 米歇尔·鲁赫 1 朱莉娅·萨皮娜 1 鲁道夫·施拉特 1 邵，钟 1 兰吉特·辛格。 1 彼得·詹姆斯·斯塔基 1 维克多·托曼 1 拉斯·特维托 1 帕斯卡·范·亨特利克 1 乔治·威森巴赫 1 弗洛里安·祖勒格 全部的 前5名引用于7个系列 5 逻辑程序设计理论与实践 3 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 计算的形式方面 1 系统设计中的形式化方法 1 函数编程杂志 1 约束条件 在1个字段中引用 20 计算机科学（68至XX） 按年份列出的引文