编辑配置文件（在新选项卡中打开） 罗伯特·马克·海伦斯 合著者距离 作者ID： 海伦斯·罗伯特·马克 发布日期： Robert M.Hierons。;海伦斯，R.M。;罗伯特·海伦斯;罗布·海伦斯;罗伯特·马克·海伦斯;罗伯特·海伦斯。M。;Hierons，R。 更多。。。较少的 主页： https://robhierons.github.io/ 外部链接： 谷歌学者 已编制索引的文档： 56出版物自1998年以来 4作为编辑的贡献 合著者： 36位合著者具有49联合出版物 552位联合作者 全部的 前5名合著者 11 单作者的 10 哈桑·乌拉尔 9 马克·哈曼 9 Manuel A.努内兹。 8 梅雷约（Mercedes G.Merayo）。 7 塞巴斯蒂安·达尼西奇 6 迈克尔·劳伦斯。 三 杰西卡·陈 2 安娜·卡瓦尔坎蒂 2 大卫·克拉克 2 布里杰什·多戈尔 2 加兹达，Maciej W。 2 约翰·霍罗伊德。 2 穆罕默德·莫斯巴 2 Turker，Uraz Cengiz 1 理查德·W·巴拉克劳（Richard W.Barraclough）。 1 詹姆斯·巴克斯特 1 戴夫·宾克利 1 马里奥·布拉维蒂 1 Dan，海涛 1 Derderian，卡尼格 1 休·爱德华兹 1 德吉·法蒂雷根 1 罗兰·格罗兹 1 郭强 1 佛罗伦萨伊帕特 1 比尔·杰克逊 1 亲吻，阿尔科斯 1 迈克·劳伦斯 1 拉卢卡左翼 1 基亚拉什·马哈达维 1 西德尼·诺盖拉 1 拉肯乌尔巴亚 1 克里希纳·帕特尔 1 哈巴詹·辛格 1 迈克尔·柯克达尔·汤姆森 1 刮水器，W.P。 全部的 前5名系列 8 理论计算机科学 5 信息处理信件 5 电气电子工程师学会计算机期刊 5 分布式计算 三 计算的形式方面 三 逻辑与代数程序设计杂志 三 计算机网络 三 ACM计算逻辑事务 三 计算机科学课堂讲稿 2 《计算机杂志》。A部分/B部分 2 信息与计算 1 SIAM计算机杂志 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 组合数学、概率与计算 1 西斯卡亚斯自然科学院（西班牙）Ciencias Exactas皇家科学院修订版 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 59 计算机科学（68至XX） 三 总体主题；集合（00-XX） 三 信息与通信理论、电路（94-XX） 2 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 统计学（62-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 40出版物有被引用125次66文件 引用人▼ 年份▼ 缩短检查序列。 Zbl 1368.68236号 Robert M.Hierons。;乌拉尔，哈桑 9 2002 针对非确定性有限状态机的确定性实现的自适应测试。 Zbl 0921.68032号 海伦斯，R.M。 8 1998 线性、自由、自由、结构化程序模式的等价性可以在多项式时间内判定。 兹比尔1111.68024 塞巴斯蒂安·达尼西奇;马克·哈曼;罗布·海伦斯;约翰·霍罗伊德;迈克尔·劳伦斯。 8 2007 测试与准非确定性流X机器的一致性。 Zbl 1013.68104号 海伦斯，R.M。;Harman，M。 7 2000 针对非确定性流X机器测试确定性实现的一致性。 Zbl 1078.68084号 海伦斯，R.M。;M.哈曼。 7 2004 分布式测试体系结构的可控测试用例。 Zbl 1183.68098号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 7 2008 保守、自由、线性程序模式的等价性是可以判定的。 Zbl 1019.68011号 迈克尔·劳伦斯。;塞巴斯蒂安·达尼西奇;马克·哈曼;罗布·海伦斯;约翰·霍罗伊德 5 2003 基于异步模型测试的复杂性。 Zbl 1251.68118号 Robert M.Hierons。 5 2012 检查分布式测试架构的序列。 Zbl 1267.68067号 海伦斯，R.M。;H·乌拉尔。 5 2008 解决分布式测试中可观测性问题的条件。 Zbl 1110.68334号 杰西卡·陈;Robert M.Hierons。;哈桑·乌拉尔 4 2004 在针对非确定性有限状态机测试确定性实现时生成候选。 Zbl 1027.68079号 海伦斯，R.M。 4 2003 关于自适应测试序列的排序。 Zbl 1279.68027号 Robert M.Hierons。;哈桑·乌拉尔 4 2003 流X机器的检查实验。 Zbl 1214.68215号 Hierons，Robert M。 三 2010 拟阵特征多项式的无零区间。 Zbl 0919.05011号 休·爱德华兹;罗伯特·海伦斯;比尔·杰克逊 三 1998 使用遗传算法计算独特的输入/输出序列。 Zbl 1185.68247号 郭强;Robert M.Hierons。;马克·哈曼;卡尼格·德德里安 三 2004 将自适应测试用例应用于非确定性实现。 Zbl 1187.68162号 海伦斯，R.M。 三 2006 用于程序切片的基于轨迹的严格语义。 Zbl 1191.68405号 理查德·W·巴拉克劳（Richard W.Barraclough）。;大卫·宾克利;塞巴斯蒂安·达尼西奇;马克·哈曼;Robert M.Hierons。;亲吻，阿尔科斯;迈克·劳伦斯;拉岑省乌尔比亚 三 2010 尖叫：一种避免故障掩盖的信息理论度量。 Zbl 1243.68149号 大卫·克拉克;Robert M.Hierons。 三 2012 具有故障模型的随机定时系统的测试。 Zbl 1161.68026号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 三 2009 使用调度程序测试概率分布式系统。 Zbl 1259.68033号 Robert M.Hierons。;曼努埃尔·努涅斯 三 2012 解决分布式测试体系结构中的可观测性问题。 Zbl 1169.68338号 陈，J。;海伦斯，R.M。;H·乌拉尔。 2 2005 克服分布式测试体系结构中的可观测性问题。 Zbl 1187.68078号 陈，J。;海伦斯，R.M。;H·乌拉尔。 2 2006 针对不可控制的非确定性流X机器测试确定性实现。 Zbl 1163.68327号 Robert M.Hierons。;佛罗伦萨伊帕特 2 2008 从有限状态机进行测试时，使用最少的重置次数。 Zbl 1178.68316号 海伦斯，R.M。 2 2004 SDL规范的可测试性。 Zbl 1068.68026号 海伦斯，R.M。;金·T·H。;H·乌拉尔。 2 2004 CSP中的输入和输出。模型和测试理论。 Zbl 1446.68103号 安娜·卡瓦尔坎蒂;Robert M.Hierons。;西德尼·诺盖拉 2 2020 具有分布式接口的系统的实现关系和测试生成。 Zbl 1277.68190号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;努涅斯，曼努埃尔 2 2012 静态一致性的可决定性和复杂性。 Zbl 1392.68295号 布里杰什·多戈尔;Robert M.Hierons。 2 2016 寻找软件集群的构建块。 Zbl 1038.68783号 基亚拉什·马哈达维;马克·哈曼;Hierons，罗伯特 1 2003 分布式系统的规范有限状态机。 Zbl 1186.68042号 Robert M.Hierons。 1 2010 达到和区分分布式系统的状态。 Zbl 1209.68299号 Robert M.Hierons。 1 2010 降低应用自适应测试用例的成本。 Zbl 1118.68030号 海伦斯，R.M。;H·乌拉尔。 1 2007 一类线性、自由、近自由程序模式的子模式的强等价性的判定。 Zbl 1209.68136号 塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 1 2011 从具有多个端口的非确定性有限状态机进行可控测试。 Zbl 1368.68078号 Robert M.Hierons。 1 2011 分布式测试体系结构的定时实现关系。 Zbl 1291.68048号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 1 2014 用于生成协调状态标识符和特征集的并行算法。 Zbl 1360.68891号 Robert M.Hierons。;Turker，Uraz Cengiz 1 2016 关于程序模式动态切片问题的计算复杂性。 兹比尔1252.68077 塞巴斯蒂安·达尼西奇;罗伯特·海伦斯。M。;迈克尔·劳伦斯。 1 2011 删除冗余拒绝：故障跟踪语义的最小完整测试套件。 Zbl 1506.68059号 马西耶·加兹达;Robert M.Hierons。 1 2023 利用时间为分布式测试添加顺序。 兹比尔1372.68186 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 1 2012 克服输入输出转换系统分布式测试中的可控性问题。 Zbl 1257.68109号 Robert M.Hierons。 1 2012 删除冗余拒绝：故障跟踪语义的最小完整测试套件。 Zbl 1506.68059号 马西耶·加兹达;Robert M.Hierons。 1 2023 CSP中的输入和输出。模型和测试理论。 Zbl 1446.68103号 安娜·卡瓦尔坎蒂;Robert M.Hierons。;西德尼·诺盖拉 2 2020 静态一致性的可决定性和复杂性。 Zbl 1392.68295号 布里杰什·多戈尔;Robert M.Hierons。 2 2016 生成协调状态标识符和特征集的并行算法。 Zbl 1360.68891号 Robert M.Hierons。;Turker，Uraz Cengiz 1 2016 分布式测试体系结构的定时实现关系。 Zbl 1291.68048号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 1 2014 基于异步模型的测试的复杂性。 Zbl 1251.68118号 Robert M.Hierons。 5 2012 尖叫：一种避免故障掩盖的信息理论度量。 Zbl 1243.68149号 大卫·克拉克;Robert M.Hierons。 三 2012 使用调度程序测试概率分布式系统。 Zbl 1259.68033号 Hierons，Robert M。;曼努埃尔·努涅斯 三 2012 具有分布式接口的系统的实现关系和测试生成。 Zbl 1277.68190号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 2 2012 利用时间为分布式测试添加顺序。 Zbl 1372.68186号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 1 2012 克服输入输出转换系统分布式测试中的可控性问题。 Zbl 1257.68109号 Robert M.Hierons。 1 2012 一类线性、自由、近自由程序模式的子模式的强等价性的判定。 Zbl 1209.68136号 塞巴斯蒂安·达尼西奇;Robert M.Hierons。;迈克尔·劳伦斯。 1 2011 从具有多个端口的非确定性有限状态机进行可控测试。 Zbl 1368.68078号 Robert M.Hierons。 1 2011 关于程序模式动态切片问题的计算复杂性。 兹比尔1252.68077 塞巴斯蒂安·达尼西奇;罗伯特·海伦斯。M。;迈克尔·劳伦斯。 1 2011 流X机器的检查实验。 兹比尔1214.68215 Robert M.Hierons。 三 2010 用于程序切片的基于轨迹的严格语义。 Zbl 1191.68405号 理查德·W·巴拉克劳（Richard W.Barraclough）。;大卫·宾克利;塞巴斯蒂安·达尼西奇;马克·哈曼;Robert M.Hierons。;吻，阿科斯;迈克·劳伦斯;拉肯乌尔巴亚 三 2010 分布式系统的规范有限状态机。 Zbl 1186.68042号 Robert M.Hierons。 1 2010 达到和区分分布式系统的状态。 Zbl 1209.68299号 Robert M.Hierons。 1 2010 从带有故障模型的随机定时系统进行测试。 Zbl 1161.68026号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 三 2009 分布式测试体系结构的可控测试用例。 Zbl 1183.68098号 Robert M.Hierons。;梅雷约（Mercedes G.Merayo）。;曼努埃尔·努涅斯 7 2008 检查分布式测试架构的序列。 Zbl 1267.68067号 海伦斯，R.M。;H·乌拉尔。 5 2008 针对不可控制的非确定性流X机器测试确定性实现。 兹比尔1163.68327 Robert M.Hierons。;佛罗伦萨伊帕特 2 2008 线性、自由、自由、结构化程序模式的等价性可以在多项式时间内判定。 Zbl 1111.68024号 塞巴斯蒂安·达尼西奇;马克·哈曼;罗布·海伦斯;约翰·霍罗伊德;迈克尔·劳伦斯。 8 2007 降低应用自适应测试用例的成本。 Zbl 1118.68030号 海伦斯，R.M。;H·乌拉尔。 1 2007 将自适应测试用例应用于不确定性实现。 Zbl 1187.68162号 海伦斯，R.M。 三 2006 克服分布式测试体系结构中的可观测性问题。 Zbl 1187.68078号 陈，J。;海伦斯，R.M。;H·乌拉尔。 2 2006 解决分布式测试体系结构中的可观测性问题。 Zbl 1169.68338号 陈，J。;海伦斯，R.M。;H·乌拉尔。 2 2005 针对非确定性流X机器测试确定性实现的一致性。 Zbl 1078.68084号 海伦斯，R.M。;M.哈曼。 7 2004 分布式测试中解决可观测性问题的条件。 Zbl 1110.68334号 杰西卡·陈;Robert M.Hierons。;哈桑·乌拉尔 4 2004 使用遗传算法计算独特的输入/输出序列。 Zbl 1185.68247号 郭强;Robert M.Hierons。;马克，哈曼;卡尼格·德德里安 三 2004 从有限状态机进行测试时，使用最少的重置次数。 Zbl 1178.68316号 海伦斯，R.M。 2 2004 关于SDL规范的可测试性。 Zbl 1068.68026号 海伦斯，R.M。;金·T·H。;H·乌拉尔。 2 2004 保守、自由、线性程序模式的等价性是可以判定的。 Zbl 1019.68011号 迈克尔·劳伦斯。;塞巴斯蒂安·达尼西奇;马克，哈曼;罗布·海伦斯;约翰·霍罗伊德 5 2003 在针对非确定性有限状态机测试确定性实现时生成候选。 Zbl 1027.68079号 海伦斯，R.M。 4 2003 关于自适应测试序列的排序。 Zbl 1279.68027号 Robert M.Hierons。;哈桑·乌拉尔 4 2003 寻找软件集群的构建块。 Zbl 1038.68783号 基亚拉什·马哈达维;马克·哈曼;罗伯特·海伦斯 1 2003 缩短检查序列。 Zbl 1368.68236号 Robert M.Hierons。;哈桑·乌拉尔 9 2002 测试与准非确定性流X机器的一致性。 Zbl 1013.68104号 海伦斯，R.M。;M.哈曼。 7 2000 针对非确定性有限状态机的确定性实现的自适应测试。 兹伯利0921.68032 海伦斯，R.M。 8 1998 拟阵特征多项式的无零区间。 Zbl 0919.05011号 休·爱德华兹;Hierons，罗伯特;比尔·杰克逊 三 1998 所有引用出版物 排名前五的出版物 全部的 前5名97位作者引用 26 罗伯特·马克·海伦斯 8 Manuel A.努内兹。 7 塞巴斯蒂安·达尼西奇 7 佛罗伦萨伊帕特 7 梅雷约（Mercedes G.Merayo）。 6 迈克尔·劳伦斯。 5 马克，哈曼 5 哈桑·乌拉尔 4 胡斯努·耶尼贡 三 安娜·卡瓦尔坎蒂 三 玛丽安·盖奥吉 三 Jourdan，Guy-Vincent先生 三 亲吻，阿尔科斯 三 Turker，Uraz Cengiz 2 理查德·W·巴拉克劳（Richard W.Barraclough）。 2 戴夫·宾克利 2 玛丽·克劳德·高德尔 2 马西耶·加兹达。 2 马克西姆·列奥尼多维奇（Maksim Leonidovich Gromov） 2 约翰·霍罗伊德。 2 比尔·杰克逊 2 Per Kristian Lehre 2 伊斯梅尔·罗德里格斯 2 姚欣 2 尼娜·叶夫图申科 1 鲍文生 1 詹姆斯·巴克斯特 1 伯恩哈德·贝克特 1 罗德里克·布洛姆 1 托尔斯滕·博尔默 1 马里奥·布拉维蒂 1 大卫·布雷索林 1 卡洛斯·卡马乔。 1 杰西卡·陈 1 大卫·克拉克 1 董黄珍 1 布里杰什·多戈尔 1 迪米特里斯·德拉尼迪斯 1 El-Fakih，哈立德 1 北卡罗来纳州埃夫图申科。 1 马西娅·海伦娜·C·芬帕。 1 格什温·菲 1 费兹·法里德 1 马库斯·格霍尔德 1 格内西、斯特凡尼亚 1 斯蒂芬·戈赫特 1 费边格雷夫 1 蒂博尔·吉莫西 1 米海·赫达 1 迈克·霍尔科姆 1 杰斯珀·莱克·雅各布森 1 维维安·科勒 1 科洛米特，A.V。 1 库尔根·科尼 1 罗伯特·Könighfer 1 萨瓦斯·科努尔 1 波格丹·科尔 1 尼古拉·科马托夫 1 雨果·哈里·克莱默 1 迭戈·拉特拉 1 迈克·劳伦斯 1 帕斯卡尔·勒加尔 1 莱切内特，Jean-Christophe 1 拉卢卡左翼 1 丹尼尔·伦茨奇 1 李金华 1 路易斯·拉纳 1 罗阳霞 1 马志兵 1 帕斯夸尔马拉卡里亚 1 梅克·马西克 1 阿尔贝托·努涅斯 1 拉肯乌尔巴亚 1 索菲亚·科斯塔·佩瓦 1 赛义德·帕萨 1 克里希纳·帕特尔 1 亚历山大·佩特连科 1 药丸，印戈 1 亨氏里纳 1 弗兰茨·罗克 1 费尔南多·罗莎·维拉尔多 1 费尔南多·鲁比奥 1 萨拉斯、杰苏斯 1 阿登尼索·思茅 1 法布里奇奥·斯梅拉尔迪 1 艾伦·D·索卡尔。 1 玛丽·斯托琳加 1 Thomsen、Michael Kirkedal 1 爱德华多·乌乔亚 1 马蒂亚斯·乌尔布里奇 1 弗朗索瓦·范德贝克 1 蒂齐亚诺别墅 1 海克·卫尔海姆 1 N.V.叶夫图申科。 1 内吉布·扎吉亚 1 张继超 1 赵云 全部的 前5名20篇连载文章中引用 12 理论计算机科学 7 计算的形式方面 6 逻辑与代数程序设计杂志 5 分布式计算 4 信息处理信件 三 组合理论杂志。B系列 三 信息与计算 三 系统设计中的形式化方法 三 程序设计中的逻辑和代数方法杂志 2 信息科学 2 编程和计算机软件 1 信息学报 1 计算机与数学及其应用 1 计算 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 计算优化与应用 1 软计算 1 应用统计学杂志 1 ACM计算逻辑事务 全部的 前5名在7个字段中引用 60 计算机科学（68至XX） 三 组合数学（05-XX） 2 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 统计学（62-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文