编辑配置文件(在新选项卡中打开) 马克·哈曼 合著者距离 作者ID: 哈曼马克 发布日期: 马克·哈曼;M.哈曼。 外部链接: ORCID公司·数据库许可证 已编制索引的文档: 18出版物自1995年起 3作为编辑的贡献 合著者: 43位合著者具有21联合出版物 970位合作作者 全部的 前5名合著者 0 单作者的 10 塞巴斯蒂安·达尼西奇 9 罗伯特·马克·海伦斯 5 约翰·霍罗伊德。 4 戴夫·宾克利 4 亲吻,阿尔科斯 三 劳伦斯,迈克尔·R。 三 拉肯乌尔巴亚 2 理查德·W·巴拉克劳(Richard W.Barraclough)。 2 汉斯·格奥尔格·拜尔 2 埃里克·坎图·帕斯 2 达斯古普塔,迪班卡 2 戴维斯,劳伦斯·大卫 2 Kalyanmoy Deb 2 凯瑟琳·道斯兰(Kathryn A.Dowsland)。 2 詹姆斯·福斯特。 2 蒂博尔·吉莫西 2 纳塔沙·乔诺斯卡 2 格雷厄姆·肯德尔 2 波格丹·科尔 2 朱利安·米勒。 2 乌娜·梅·奥莱利 2 米奇·波特。 2 罗伊,拉杰库马尔 2 艾伦·C·舒尔茨。 2 罗素·K·斯坦迪什。 2 约阿希姆·韦格纳 2 斯图尔特·W·威尔逊。 1 阿姆托夫特,托本 1 凯莉·安德罗索普洛斯 1 大卫·克拉克 1 卡尼格·德德里安 1 德吉·法蒂雷根 1 郭强 1 Walter J.Gutjahr。 1 胡,林 1 迈克·劳伦斯 1 李,郑 1 基亚拉什·马哈达维 1 马尔科姆·蒙罗 1 丹·辛普森 1 哈巴詹·辛格 1 西瓦古鲁纳桑,瑜伽 1 张兴元 全部的 前5名系列 6 理论计算机科学 三 计算的形式方面 2 信息处理信件 2 计算机科学课堂讲稿 1 计算机程序设计科学 1 计算机与运筹学 1 逻辑与代数程序设计杂志 字段 21 计算机科学(68至XX) 2 总体主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用66中的次35文件 引用人▼ 年份▼ 控制依赖的统一理论及其在任意程序结构中的应用。 Zbl 1231.68179号 塞巴斯蒂安·达尼西奇;理查德·W·巴拉克劳(Richard W.Barraclough)。;马克·哈曼;约翰·霍罗伊德。;吻,阿科斯;迈克尔·劳伦斯。 8 2011 线性、自由、自由、结构化程序模式的等价性可以在多项式时间内判定。 Zbl 1111.68024号 塞巴斯蒂安·达尼西奇;马克,哈曼;罗布·海伦斯;约翰·霍罗伊德;迈克尔·劳伦斯。 8 2007 测试与准非确定性流X机器的一致性。 Zbl 1013.68104号 海伦斯,R.M。;M.哈曼。 7 2000 测试确定性实现与非确定性流X机的一致性。 Zbl 1078.68084号 海伦斯,R.M。;M.哈曼。 7 2004 程序切片形式之间关系的形式化。 Zbl 1100.68549号 戴夫·宾克利;塞巴斯蒂安·达尼西奇;蒂博尔·吉莫西;马克·哈曼;亲吻,阿尔科斯;波格丹·科尔 5 2006 保守、自由、线性程序模式的等价性是可以判定的。 Zbl 1019.68011号 迈克尔·劳伦斯。;塞巴斯蒂安·达尼西奇;马克·哈曼;罗布·海伦斯;约翰·霍罗伊德 5 2003 动态程序切片的理论基础。 Zbl 1097.68026号 戴夫·宾克利;塞巴斯蒂安·达尼西奇;蒂博尔·吉莫西;马克·哈曼;亲吻,阿尔科斯;波格丹·科尔 5 2006 出现错误时切片程序。 Zbl 0857.68017号 马克,哈曼;丹·辛普森;塞巴斯蒂安·达尼西奇 5 1996 静态程序切片的并行算法。 Zbl 0875.68506号 塞巴斯蒂安·达尼西奇;马克·哈曼;西瓦古鲁纳桑,瑜伽 4 1995 使用遗传算法计算独特的输入/输出序列。 Zbl 1185.68247号 郭强;Robert M.Hierons。;马克·哈曼;Derderian,卡尼格 三 2004 用于程序切片的基于轨迹的严格语义。 Zbl 1191.68405号 理查德·W·巴拉克劳(Richard W.Barraclough)。;大卫·宾克利;塞巴斯蒂安·达尼西奇;马克·哈曼;Robert M.Hierons。;亲吻,阿尔科斯;迈克·劳伦斯;拉肯乌尔巴亚 三 2010 Coq中形式化的一般递归程序的最弱前提条件。 Zbl 1013.68202号 张兴元;马尔科姆·蒙罗;马克·哈曼;胡,林 2 2002 用于程序切片和依赖性分析的非标准语义。 Zbl 1119.68110号 塞巴斯蒂安·达尼西奇;马克·哈曼;约翰·霍罗伊德;拉肯乌尔巴亚 2 2007 寻找软件集群的构建块。 Zbl 1038.68783号 基亚拉什·马哈达维;马克·哈曼;罗伯特·海伦斯 1 2003 程序切片和部分求值之间的形式关系。 兹比尔1102.68442 大卫·宾克利。;塞巴斯蒂安·达尼西奇;马克·哈曼;约翰·霍罗伊德;拉岑省乌尔比亚 1 2006 控制依赖的统一理论及其在任意程序结构中的应用。 Zbl 1231.68179号 塞巴斯蒂安·达尼西奇;理查德·W·巴拉克劳(Richard W.Barraclough)。;马克·哈曼;约翰·豪罗伊德。;亲吻,阿尔科斯;迈克尔·劳伦斯。 8 2011 用于程序切片的基于轨迹的严格语义。 Zbl 1191.68405号 理查德·W·巴拉克劳(Richard W.Barraclough)。;大卫·宾克利;塞巴斯蒂安·达尼西奇;马克·哈曼;Robert M.Hierons。;亲吻,阿尔科斯;迈克·劳伦斯;拉肯乌尔巴亚 三 2010 线性、自由、自由、结构化程序模式的等价性可以在多项式时间内判定。 Zbl 1111.68024号 塞巴斯蒂安·达尼西奇;马克·哈曼;罗布·海伦斯;约翰·霍罗伊德;迈克尔·劳伦斯。 8 2007 用于程序切片和依赖性分析的非标准语义。 Zbl 1119.68110号 塞巴斯蒂安·达尼西奇;马克·哈曼;约翰·霍罗伊德;拉肯乌尔巴亚 2 2007 程序切片形式之间关系的形式化。 Zbl 1100.68549号 戴夫·宾克利;塞巴斯蒂安·达尼西奇;蒂博尔·吉莫西;马克·哈曼;亲吻,阿尔科斯;Korel,博格丹 5 2006 动态程序切片的理论基础。 Zbl 1097.68026号 戴夫·宾克利;塞巴斯蒂安·达尼西奇;蒂博尔·吉莫西;马克,哈曼;亲吻,阿尔科斯;波格丹·科尔 5 2006 程序切片和部分求值之间的形式关系。 Zbl 1102.68442号 大卫·宾克利。;塞巴斯蒂安·达尼西奇;马克·哈曼;约翰·霍罗伊德;拉肯乌尔巴亚 1 2006 针对非确定性流X机器测试确定性实现的一致性。 Zbl 1078.68084号 海伦斯,R.M。;M.哈曼。 7 2004 使用遗传算法计算独特的输入/输出序列。 Zbl 1185.68247号 郭强;Robert M.Hierons。;马克·哈曼;卡尼格·德德里安 三 2004 保守、自由、线性程序模式的等价性是可以判定的。 Zbl 1019.68011号 迈克尔·劳伦斯。;塞巴斯蒂安·达尼西奇;马克·哈曼;罗布·海伦斯;约翰·霍罗伊德 5 2003 寻找软件集群的构建块。 Zbl 1038.68783号 基亚拉什·马哈达维;马克·哈曼;Hierons,罗伯特 1 2003 Coq中形式化的一般递归程序的最弱前提条件。 Zbl 1013.68202号 张兴元;马尔科姆·蒙罗;马克·哈曼;胡和林 2 2002 测试与准非确定性流X机器的一致性。 Zbl 1013.68104号 海伦斯,R.M。;M.哈曼。 7 2000 出现错误时切片程序。 Zbl 0857.68017号 马克·哈曼;辛普森,丹;塞巴斯蒂安·达尼西奇 5 1996 静态程序切片的并行算法。 Zbl 0875.68506号 塞巴斯蒂安·达尼西奇;马克·哈曼;西瓦古鲁纳桑,瑜伽 4 1995 所有引用出版物 前5名被引用出版物 全部的 前5名56位作者引用 10 塞巴斯蒂安·达尼西奇 9 罗伯特·马克·海伦斯 8 马克·哈曼 7 迈克尔·劳伦斯。 5 佛罗伦萨伊帕特 三 约翰·霍罗伊德。 三 亲吻,阿尔科斯 2 阿姆托夫特,托本 2 理查德·W·巴拉克劳(Richard W.Barraclough)。 2 戴夫·宾克利 2 尼古拉·科马托夫 2 帕斯卡尔·勒加尔 2 莱切内特,Jean-Christophe 2 Per Kristian Lehre 2 阿布·纳赛尔·马苏德 2 Martin P.沃德。 2 姚欣 2 侯赛因·泽丹 1 凯莉·安德罗索普洛斯 1 安妮迪亚·班纳吉 1 鲍文生 1 伯恩哈德·贝克特 1 托尔斯滕·博默 1 马雷克·查卢帕 1 大卫·克拉克 1 董黄珍 1 迪米特里斯·德拉尼迪斯 1 马西娅·海伦娜·C·芬帕。 1 玛丽安·盖奥吉 1 斯蒂芬·戈赫特 1 Gyimóthy,蒂博尔 1 米海·赫达 1 迈克·霍尔科姆 1 大卫·克拉斯卡 1 维维安·科勒 1 波格丹·科尔 1 克莱默、雨果·哈里 1 迈克·劳伦斯 1 丹尼尔·伦茨奇 1 李金华 1 马志兵 1 伊莎贝拉·马斯特罗埃尼 1 梅雷约(Mercedes G.Merayo)。 1 Manuel A.努内兹。 1 拉肯乌尔巴亚 1 伊斯梅尔·罗德里格斯 1 丹·辛普森 1 西瓦古鲁纳桑,瑜伽 1 斯特雷切克,简 1 卢卡什托莫维奇 1 爱德华多·乌乔亚 1 马蒂亚斯·乌尔布里奇 1 弗朗索瓦·范德贝克 1 弗兰茨·沃塔瓦 1 达米亚诺·扎纳尔迪尼 1 赵云 全部的 前5名12篇连载文章中引用 10 理论计算机科学 5 计算的形式方面 4 逻辑与代数程序设计杂志 1 人工智能 1 计算机与数学及其应用 1 信息处理信件 1 信息科学 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 计算优化与应用 1 软计算 1 ACM计算逻辑事务 在2个字段中引用 34 计算机科学(68至XX) 1 运筹学、数学编程(90-XX) 按年份列出的引文