编辑配置文件(在新选项卡中打开) 瑞希德·埃哈希德 合著者距离 作者ID: 棘球绦虫 发布日期: 瑞希德·埃哈希德 已编制索引的文档: 34出版物自1986年起 6作为编辑的贡献 合著者: 23位合著者具有33联合出版物 398位合作作者 全部的 前5名合著者 7 单作者的 9 普罗斯特、弗雷德里克 8 多米尼克·杜瓦尔 5 尼古拉斯·佩尔蒂埃 4 乔恩·海尔·布伦纳斯 4 安德烈亚·科拉迪尼 4 莱拉·里贝罗 4 马丁·斯特雷克 三 Tour男孩,蒂埃里 2 Jean-Christophe Janodet 2 丰满,细节 2 温德林·塞维 1 塞尔吉奥·安托伊 1 菲利普·巴尔比亚尼 1 伯特,迪迪埃 1 杰雷米·布朗 1 里卡多·卡费拉 1 多明尼克·杜瓦尔 1 穆纳乔·埃切宁 1 迈克尔·哈纳斯 1 安德烈亚斯·赫齐格 1 奥德·麦格南 1 迈赫迪·姆哈拉 1 马克·米纳斯 全部的 前5名系列 三 理论计算机科学 三 理论计算机科学电子论文集(EPTCS) 1 MSCS公司。计算机科学中的数学结构 1 应用非经典逻辑杂志 1 美国医学会杂志 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 程序设计中的逻辑和代数方法杂志 领域 40 计算机科学(68至XX) 6 总体主题;集合(00-XX) 5 数学逻辑和基础(03-XX) 2 一般代数系统(08-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物有被引用178中的次117文件 引用人▼ 年份▼ 一个必要的缩小战略。 Zbl 1327.68141号 塞尔吉奥·安托伊;瑞希德·埃哈希德;迈克尔·哈纳斯 53 2000 AGREE–带受控嵌入的代数图重写。 Zbl 1321.68327号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗 19 2015 通用、逻辑和函数编程语言的设计和实现。 Zbl 0587.68003号 伯特,迪迪埃;瑞希德·埃哈希德 12 1986 允许的图形重写和缩小。 Zbl 0949.68081号 瑞希德·埃哈希德;Jean-Christophe Janodet 11 1998 关于缩小策略的完整性。 Zbl 0645.68044号 瑞希德·埃哈希德 10 1988 归纳顺序术语-粒度重写系统。 兹比尔1175.68220 瑞希德·埃哈希德 9 2008 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 代数图变换的pullback-pushout方法。 Zbl 1425.68156号 安德烈亚·科拉迪尼;多明尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 6 2017 并行容许图重写。 Zbl 0956.68072号 瑞希德·埃哈希德;Jean-Christophe Janodet 5 1999 使用指针缩小数据结构。 Zbl 1156.68426号 瑞希德·埃哈希德;尼古拉斯·佩尔蒂埃 5 2006 聚焦于入射边的图形变换。 Zbl 1367.68127号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 5 2012 用描述逻辑验证图形转换系统。 Zbl 1394.68224号 乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克 5 2018 带指针的数据结构的非严格合流重写系统。 Zbl 1203.68072号 瑞希德·埃哈希德;尼古拉斯·佩尔蒂埃 三 2007 将指针重定向建模为循环term-graph重写。 Zbl 1278.68076号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特,弗雷德里克 三 2007 术语-粒度转换的异构pushout方法。 Zbl 1242.68127号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 2 2009 术语图重写的动态逻辑。 Zbl 1306.68062号 菲利普·巴尔比亚尼;瑞希德·埃哈希德;安德烈亚斯·赫齐格 2 2010 图形转换。2016年7月5日至6日,作为2016年STAF的一部分,在奥地利维也纳举行了第九届2016年ICGT国际会议,以纪念Hartmut Ehrig。诉讼程序。 Zbl 1339.68007号 2 2016 2013年3月23日,意大利罗马,TERMGRAPH 2013,第七届术语和图形计算国际研讨会论文集。 Zbl 1415.68023号 2 2013 关于缩小策略的完整性。 Zbl 0698.68027号 瑞希德·埃哈希德 2 1990 属性图的并行重写。 Zbl 1464.68137号 Tour男孩,蒂埃里;瑞希德·埃哈希德 2 2020 使用重叠规则的并行图重写。 Zbl 1403.68104号 瑞希德·埃哈希德;奥德·麦格南 1 2017 术语-子句逻辑:完整性和不完整性结果。 Zbl 1180.03032号 里卡多·卡费拉;瑞希德·埃哈希德;尼古拉斯·佩尔蒂埃 1 2008 结合了移动进程和声明式编程。 Zbl 0983.68506号 瑞希德·埃哈希德;温德林·塞维 1 2000 通过应用程序到图形重写进行垃圾收集的调整。 Zbl 1203.68071号 多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特 1 2007 在图的变换上使用\(mathrm{SROIQ}^{sigma}\)逻辑的Hoare-like演算。 兹伯利1417.68026 乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克 1 2014 控制嵌入的代数图重写。 Zbl 1436.68155号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 1 2020 证明逻辑修饰图重写系统的正确性。 Zbl 1387.68144号 乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克 1 2016 定期重写策略。 Zbl 1279.68115号 瑞希德·埃哈希德 1 2008 定时重写系统。 Zbl 1268.68093号 杰雷米·布朗;瑞希德·埃哈希德 1 2002 并行相干图变换。 Zbl 07415134号 Tour男孩,蒂埃里;瑞希德·埃哈希德 1 2021 第十届图形计算模型国际研讨会论文集,GCM 2019,荷兰埃因霍温,2019年7月17日。 Zbl 1446.68010号 1 2019 结合并行图重写和商图。 Zbl 1517.68154号 Tour男孩,蒂埃里;瑞希德·埃哈希德 1 2020 并行相干图变换。 兹比尔07451134 Tour男孩,蒂埃里;瑞希德·埃哈希德 1 2021 属性图的并行重写。 Zbl 1464.68137号 Tour男孩,蒂埃里;瑞希德·埃哈希德 2 2020 控制嵌入的代数图重写。 Zbl 1436.68155号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 1 2020 结合并行图重写和商图。 Zbl 1517.68154号 Tour男孩,蒂埃里;瑞希德·埃哈希德 1 2020 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 第十届图形计算模型国际研讨会论文集,GCM 2019,荷兰埃因霍温,2019年7月17日。 Zbl 1446.68010号 1 2019 用描述逻辑验证图形转换系统。 Zbl 1394.68224号 乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克 5 2018 代数图变换的pullback-pushout方法。 Zbl 1425.68156号 安德烈亚·科拉迪尼;多明尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 6 2017 使用重叠规则的并行图重写。 Zbl 1403.68104号 瑞希德·埃哈希德;奥德·麦格南 1 2017 图形转换。2016年7月5日至6日,作为2016年STAF的一部分,在奥地利维也纳举行了第九届2016年ICGT国际会议,以纪念Hartmut Ehrig。诉讼程序。 Zbl 1339.68007号 2 2016 证明逻辑修饰图重写系统的正确性。 Zbl 1387.68144号 乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克 1 2016 AGREE–带受控嵌入的代数图重写。 Zbl 1321.68327号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗 19 2015 在图的变换上使用\(mathrm{SROIQ}^{sigma}\)逻辑的Hoare-like演算。 兹伯利1417.68026 乔恩·海尔·布伦纳斯;瑞希德·埃哈希德;马丁·斯特雷克 1 2014 2013年3月23日,意大利罗马,TERMGRAPH 2013,第七届术语和图形计算国际研讨会论文集。 Zbl 1415.68023号 2 2013 关注入射边的图形变换。 Zbl 1367.68127号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 5 2012 术语图重写的动态逻辑。 Zbl 1306.68062号 菲利普·巴尔比亚尼;瑞希德·埃哈希德;安德烈亚斯·赫齐格 2 2010 术语-粒度转换的异构pushout方法。 Zbl 1242.68127号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 2 2009 归纳顺序术语-粒度重写系统。 Zbl 1175.68220号 瑞希德·埃哈希德 9 2008 术语-子句逻辑:完整性和不完整性结果。 Zbl 1180.03032号 里卡多·卡费拉;瑞希德·埃哈希德;尼古拉斯·佩尔蒂埃 1 2008 定期重写策略。 Zbl 1279.68115号 瑞希德·埃哈希德 1 2008 带指针的数据结构的非严格合流重写系统。 Zbl 1203.68072号 瑞希德·埃哈希德;尼古拉斯·佩尔蒂埃 三 2007 将指针重定向建模为循环term-graph重写。 兹比尔1278.68076 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 三 2007 通过应用程序到图形重写进行垃圾收集的调整。 Zbl 1203.68071号 多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特 1 2007 使用指针缩小数据结构。 Zbl 1156.68426号 瑞希德·埃哈希德;尼古拉斯·佩尔蒂埃 5 2006 定时重写系统。 Zbl 1268.68093号 杰雷米·布朗;瑞希德·埃哈希德 1 2002 一个必要的缩小战略。 Zbl 1327.68141号 塞尔吉奥·安托伊;瑞希德·埃哈希德;迈克尔·哈纳斯 53 2000 结合了移动进程和声明性编程。 Zbl 0983.68506号 瑞希德·埃哈希德;温德林·塞维 1 2000 并行容许图重写。 Zbl 0956.68072号 瑞希德·埃哈希德;Jean-Christophe Janodet 5 1999 允许的图形重写和缩小。 Zbl 0949.68081号 瑞希德·埃哈希德;Jean-Christophe Janodet 11 1998 关于缩小策略的完整性。 Zbl 0698.68027号 瑞希德·埃哈希德 2 1990 关于缩小策略的完整性。 Zbl 0645.68044号 瑞希德·埃哈希德 10 1988 通用、逻辑和函数编程语言的设计和实现。 Zbl 0587.68003号 伯特,迪迪埃;瑞希德·埃哈希德 12 1986 所有引用出版物 前5名被引用出版物 全部的 前5名127位作者引用 15 瑞希德·埃哈希德 11 迈克尔·哈纳斯 8 塞尔吉奥·安托伊 7 多米尼克·杜瓦尔 7 德国维达尔 6 普罗斯特、弗雷德里克 6 莱拉·里贝罗 5 玛丽亚·阿尔普特 5 安德烈亚·科拉迪尼 5 莫雷诺,法拉斯基 5 洛佩斯·弗拉瓜斯,弗朗西斯科·哈维尔 5 凯瑟琳·奥里亚特 4 尼古拉斯·贝尔 4 约尔格恩德鲁利斯 4 Overbeek,罗伊 4 丰满,细节 4 马里奥·罗德里格斯-阿塔莱霍 三 艾尔维拉·阿尔伯特 三 Tour男孩,蒂埃里 三 拉斐尔·德尔瓦多·维塞达 三 圣地亚哥埃斯科瓦尔 三 玛丽贝尔·费尔南德斯 三 吉恩·克里文 三 马丁·奥列特,纳西索 三 何塞·梅塞盖尔·瓜伊塔 三 莫雷诺,吉纳斯 三 胡安·罗德里格斯·霍塔拉 三 詹姆·桑切斯·埃尔南德斯 三 马丁·斯特雷克 三 普拉桑纳·塔蒂 2 路易斯·安东尼奥·阿吉雷 2 艾米莉·巴拉德 2 亚历山大·博克迈尔 2 伯恩德·布拉埃尔 2 克里斯托弗·布朗 2 拉斐尔·卡巴列罗(Rafael E.Caballero)。 2 科雷亚,弗朗西斯科·何塞 2 詹姆斯·P·费尔班克斯。 2 安东尼奥·J·费尔南德斯。 2 克莱门斯,抓斗手 2 阿内格丽特·哈贝尔 2 汉克斯,泰勒 2 哈默(Russ Harmer) 2 Hortalá-González,特蕾莎 2 弗兰克,哈 2 赫莱内·基什内尔 2 斯特凡·克里斯彻 2 莱恩·兰伯斯 2 阿尔特·米德尔多普 2 费尔南多·奥雷贾斯 2 米盖尔·帕洛米诺 2 维森特·帕斯夸尔 2 埃文·帕特森 2 尼古拉斯·佩尔蒂埃 2 布鲁诺·皮诺 2 伊莎贝尔·皮塔 2 克里斯托弗·波斯基特。 2 普雷霍费尔,克里斯蒂安 2 阿洛依斯·罗塞特 2 费尔南多·Sáenz-Pérez 1 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 1 乔瓦尼·巴奇 1 黛米斯·巴利斯 1 伯特,迪迪埃 1 杰雷米·布朗 1 保罗·布劳纳 1 乔恩·海尔·布伦纳斯 1 丹尼尔·布朗(Daniel W.Brown)。 1 Jochen Burghardt公司 1 蒋素慧 1 简·克里斯蒂安森 1 曼纽尔·克莱维尔 1 马可·科米尼 1 休伯特·科蒙 1 弗朗西索·科雷亚 1 Brian Courtehoute先生 1 达科斯塔·卡瓦莱罗,西蒙·安德烈 1 德迪奥斯·卡斯特罗,哈维尔 1 胡安·德·拉腊 1 弗朗西斯科·杜兰 1 穆纳乔·埃切宁 1 史蒂文·艾克 1 索尼娅·埃斯特韦兹·马汀 1 海因茨法?本德 1 塞巴斯蒂安·费舍尔 1 卢西亚娜·福斯 1 尤兰达加西亚·鲁伊斯 1 埃里克·哈蒙 1 海克尔,瑞科 1 斯特芬·Hölldobler 1 稻田,Kazuhiro 1 安迪·乔斯特 1 Jean-Pierre Jouannaud 1 沃尔夫拉姆·卡尔 1 赫伯特·库欣 1 马修·拉金。 1 乔治·列维 1 帕特里克·D·林肯。 1 丽塔·勒根 1 迈克尔·J·S·洛。 …还有27位作者 全部的 前5名15篇连载文章中引用 11 理论计算机科学 8 程序设计中的逻辑和代数方法杂志 5 逻辑程序设计理论与实践 4 符号计算杂志 三 信息处理信件 三 工程、通信和计算中的应用代数 三 图表 三 高阶和符号计算 2 MSCS公司。计算机科学中的数学结构 1 模糊集与系统 1 新一代计算 1 自动推理杂志 1 计算的形式方面 1 函数编程杂志 1 泛逻辑 全部的 前5名在9个字段中引用 117 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 7 范畴理论;同调代数(18-XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文