编辑配置文件(在新选项卡中打开) 伊斯梅尔·罗德里格斯 合著者距离 作者ID: 罗德里格斯·伊斯梅尔 发布日期: 伊斯梅尔·罗德里格斯;伊斯梅尔·罗德里格斯;罗德里格斯,我。 更多。。。较少的 外部链接: ORCID公司 已编制索引的文档: 45出版物自1980年以来 合著者: 14合著者具有37联合出版物 115位合作作者 全部的 前5名合著者 1 单作者的 27 Manuel A.努内兹。 12 费尔南多·鲁比奥 10 梅雷约(Mercedes G.Merayo)。 9 纳塔利亚·洛佩斯 6 巴勃罗·拉巴纳尔 2 JoséL.Brun。 2 路易斯·费尔南多·拉娜·迪亚斯 1 塞萨尔·安德烈斯 1 A.科茨。 1 F.A.德里贝拉。 1 格雷戈里奥·迪亚兹 1 安德烈斯·费拉古特 1 弗朗西斯科·哈维尔(Francisco Javier),富内斯(Funes) 1 哈维尔·加西亚·德·哈龙 1 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯 1 路易斯·拉纳 1 安东尼奥·费尔明(Antonio Fermin Martin) 1 何塞·安东尼奥·马特奥 1 费尔南多·帕格尼尼 1 费尔南多·罗莎·维拉尔多 全部的 前5名系列 三 逻辑与代数程序设计杂志 2 欧洲物理杂志 1 电气电子工程师学会计算机期刊 1 信息科学 1 理论计算机科学 1 计算机程序设计科学 1 排队系统 1 计算的形式方面 1 卡利亚里大学科学研究院 1 代数、群和几何 1 边界元工程分析 1 计算机基础理论 1 通用计算机科学杂志 1 计算机网络 1 程序设计中的逻辑和代数方法杂志 全部的 前5名字段 38 计算机科学(68至XX) 5 运筹学、数学编程(90-XX) 2 数学逻辑和基础(03-XX) 2 非结合环和代数(17-XX) 2 粒子和系统力学(70-XX) 2 可变形固体力学(74-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 常微分方程(34-XX) 1 经典热力学,传热(80-XX) 1 量子理论(81-XX) 1 数学教育(97-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物有被引用74中的次41文件 引用人▼ 年份▼ 来自定时有限状态机的形式化测试。 Zbl 1131.68029号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 11 2008 \(\mathcal{HOTL}\):假设和观察测试逻辑。 Zbl 1131.68064号 伊斯梅尔·罗德里格斯;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 10 2008 符号概率系统的规范、测试和实现关系。 Zbl 1088.68021号 纳塔利亚·洛佩斯;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 8 2006 使用河流形成动力学设计启发式算法。 Zbl 1175.68423号 巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 6 2007 多刚体系统的快速简单半递归公式。 Zbl 1161.70316号 García de Jalón,J。;E·阿尔瓦雷斯。;F.A.德里贝拉。;罗德里格斯,我。;F.J.富内斯。 5 2005 将PAMR编码为(定时)EFSM。 Zbl 1037.68557号 曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 4 2002 用于测试随机定时系统。 Zbl 1279.68029号 曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 4 2003 通用测试性理论。 Zbl 1254.68152号 伊斯梅尔·罗德里格斯 4 2009 评估多组异构测试假设的逻辑。 Zbl 1185.68422号 伊斯梅尔·罗德里格斯;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 4 2006 扩展EFSM以指定和测试具有操作持续时间和超时的定时系统。 Zbl 1373.68141号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 三 2008 比较NP-hard优化问题的解决策略。 Zbl 1268.68151号 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯;巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 三 2013 概率系统的定制测试。 Zbl 1185.68094号 路易斯·迪亚斯(Luis F.Llana-Díaz)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 三 2006 边界理论中的混合元素。 Zbl 0438.73074号 A.马丁。;罗德里格斯,I。;E·阿拉肯。 2 1980 为定制概率系统推导合适的有限测试套件。 Zbl 1225.68046号 路易斯·迪亚斯。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 2 2006 不同于库仑或谐振子类型的中心力中的闭合轨道。 Zbl 0928.70033号 罗德里格斯,I。;布鲁恩,J.L。 2 1998 定时系统的一致性测试关系。 Zbl 1183.68180号 曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 2 2006 启发式测试可恢复系统的正式方法。 Zbl 1250.68081号 巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 1 2009 测试可恢复系统:基于河流形成动力学的形式化定义和启发式解决方案。 Zbl 1298.68255号 巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 1 2013 扩展EFSM以指定和测试具有操作持续时间和超时的定时系统。 Zbl 1225.68121号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2006 随机有限状态机的实现关系。 Zbl 1185.68393号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2006 一种新的方法来计算任何非谐振子的周期作为能量的幂级数。 Zbl 1031.81516号 罗德里格斯,I。;布鲁恩,J.L。 1 2000 测试呈现随机时间和超时的有限状态机。 Zbl 1149.68313号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2007 使用EUSM对多代理系统进行形式化规范。 Zbl 1141.68478号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2007 对呈现软期限和硬期限的系统进行正式测试。 Zbl 1141.68477号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2007 将用户模型测试问题正式转换为实现模型测试问题,反之亦然。 Zbl 1175.68073号 塞萨尔·安德烈斯;路易斯·拉纳;伊斯梅尔·罗德里格斯 1 2009 符号概率系统的测试。 Zbl 1081.68575号 纳塔利亚·洛佩斯;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2005 符号概率系统的形式规范。 Zbl 1111.68511号 纳塔利亚·洛佩斯;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2004 比较NP-hard优化问题的解决策略。 兹比尔1268.68151 伊达尔戈·赫雷罗(Hidalgo-Herrero),梅赛德斯;巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 三 2013 测试可恢复系统:基于河流形成动力学的形式化定义和启发式解决方案。 Zbl 1298.68255号 巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 1 2013 通用测试性理论。 Zbl 1254.68152号 伊斯梅尔·罗德里格斯 4 2009 启发式测试可恢复系统的正式方法。 兹比尔1250.68081 巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 1 2009 将用户模型测试问题正式转换为实现模型测试问题,反之亦然。 兹比尔1175.68073 塞萨尔·安德烈斯;路易斯·拉纳;伊斯梅尔·罗德里格斯 1 2009 来自定时有限状态机的正式测试。 Zbl 1131.68029号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 11 2008 \(\mathcal{HOTL}\):假设和观察测试逻辑。 Zbl 1131.68064号 伊斯梅尔·罗德里格斯;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 10 2008 扩展EFSM以指定和测试具有操作持续时间和超时的定时系统。 Zbl 1373.68141号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 三 2008 使用河流形成动力学设计启发式算法。 Zbl 1175.68423号 巴勃罗·拉巴纳尔;伊斯梅尔·罗德里格斯;费尔南多·鲁比奥 6 2007 测试呈现随机时间和超时的有限状态机。 Zbl 1149.68313号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2007 使用EUSM对多代理系统进行形式化规范。 Zbl 1141.68478号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2007 对呈现软期限和硬期限的系统进行正式测试。 Zbl 1141.68477号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2007 符号概率系统的规范、测试和实现关系。 Zbl 1088.68021号 纳塔利亚·洛佩斯;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 8 2006 评估多组异构测试假设的逻辑。 Zbl 1185.68422号 伊斯梅尔·罗德里格斯;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 4 2006 概率系统的定制测试。 Zbl 1185.68094号 路易斯·迪亚斯(Luis F.Llana-Díaz)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 三 2006 为定制概率系统推导合适的有限测试套件。 Zbl 1225.68046号 路易斯·迪亚斯(Luis F.Llana-Díaz)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 2 2006 定时系统的一致性测试关系。 Zbl 1183.68180号 曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 2 2006 扩展EFSM以指定和测试具有操作持续时间和超时的定时系统。 Zbl 1225.68121号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2006 随机有限状态机的实现关系。 Zbl 1185.68393号 梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2006 多刚体系统的一种快速简单的半递归公式。 Zbl 1161.70316号 加西亚·德贾隆,J。;E·阿尔瓦雷斯。;德里贝拉,F.A。;罗德里格斯,我。;F.J.富内斯。 5 2005 符号概率系统的测试。 Zbl 1081.68575号 纳塔利亚·洛佩斯;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2005 符号概率系统的形式规范。 Zbl 1111.68511号 纳塔利亚·洛佩斯;曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 1 2004 用于测试随机定时系统。 Zbl 1279.68029号 曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 4 2003 将PAMR编码为(定时)EFSM。 Zbl 1037.68557号 曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯 4 2002 一种新的方法来计算任何非谐振子的周期作为能量的幂级数。 Zbl 1031.81516号 罗德里格斯,I。;布鲁恩,J.L。 1 2000 不同于库仑或谐振子类型的中心力中的闭合轨道。 Zbl 0928.70033号 罗德里格斯,I。;布鲁恩,J.L。 2 1998 边界理论中的混合元素。 Zbl 0438.73074号 A.马丁。;罗德里格斯,I。;E·阿拉肯。 2 1980 所有引用出版物 前5名被引用出版物 全部的 前5名61位作者引用 13 Manuel A.努内兹。 13 伊斯梅尔·罗德里格斯 8 梅雷约(Mercedes G.Merayo)。 6 罗伯特·马克·海伦斯 2 塞萨尔·安德烈斯 2 马克西姆·列奥尼多维奇(Maksim Leonidovich Gromov) 2 洛佩斯,纳塔利娅 2 巴勃罗·拉巴纳尔 2 费尔南多·鲁比奥 2 N.V.叶夫图申科。 2 尼娜·叶夫图申科 1 穆罕默德·阿卜杜勒·巴斯特 1 穆罕默德·阿布哈瓦什 1 阿拉塔斯,比拉尔 1 艾利夫·瓦罗尔·阿勒泰 1 H.S.阿南德。 1 苏珊娜·安多瓦 1 法哈德·阿尔巴 1 阿米莉亚,拜迪奇 1 拜迪奇,科斯汀 1 大卫·布雷索林 1 加布里埃拉·科拉詹尼 1 当、哲 1 Patrizia丹尼尔 1 格雷戈里奥·迪亚兹 1 El-Fakih,哈立德 1 北卡罗来纳州埃夫图申科。 1 托马斯·罗伯特·费舍尔 1 R.F.加利姆林。 1 索尼娅·乔治耶夫斯卡 1 加南州圭尼岑 1 汉斯、埃尔文·W·。 1 施成·洪 1 凯末·伊南 1 佛罗伦萨伊帕特 1 穆罕默德·杰米尔 1 詹森,E.A。 1 马金·马雷克·卡明斯基 1 林世兴 1 路易斯·费尔南多·拉娜·迪亚斯 1 路易斯·拉纳 1 拉亚·马达尼 1 何塞·安东尼奥·马特奥 1 孙孟 1 雷达·穆罕默德 1 Oude Vrielink,R.A。 1 巴黎,伊奥安尼斯 1 费尔南多·罗莎·维拉尔多 1 新墨西哥州沙巴迪纳。 1 宋江迪 1 Turker,Uraz Cengiz 1 特瓦尔多夫斯基。 1 阿列克桑德·特瓦尔多夫斯基 1 van Hillegersberg,J。 1 蒂齐亚诺别墅 1 E.M.维纳斯基。 1 Chandra S.S.维诺。 1 杨林敏 1 胡斯努·耶尼贡 1 扎哈罗夫,弗拉基米尔·安纳托利耶维奇 1 马欣达·齐丹 全部的 前5名18篇连载文章中引用 6 计算的形式方面 5 逻辑与代数程序设计杂志 2 编程和计算机软件 2 分布式计算 2 国际应用数学与计算机科学杂志 2 Modelirovanie i Analiz信息系统 1 应用力学与工程中的计算机方法 1 生理学A 1 计算 1 信息科学 1 模拟中的数学和计算机 1 理论计算机科学 1 运筹学年鉴 1 系统设计中的形式化方法 1 优化信函 1 算法 1 程序设计中的逻辑和代数方法杂志 1 Prikladnaya Diskretnaya Matematika公司 全部的 前5名在6个字段中引用 37 计算机科学(68至XX) 7 运筹学、数学编程(90-XX) 1 数学逻辑和基础(03-XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 统计力学,物质结构(82-XX) 按年份列出的引文