瑞希德·埃哈希德;穆纳乔·埃切宁;迈赫迪·姆哈拉;尼古拉斯·佩尔蒂埃 图的严格约束叠加演算。 （英语） Zbl 07770335号 Kupferman，Orna（编辑）等人，《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13992135-155（2023年）。MSC公司：68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Echahed}等人，Lect。注释计算。科学。13992135-155（2023年；兹bl 07770335） 全文： 内政部 OA许可证
Tour男孩，蒂埃里;瑞希德·埃哈希德 并行相干图变换。 （英语） Zbl 07415134号 Roggenbach，Markus（编辑），代数开发技术的最新趋势。第25届国际研讨会，WADT 2020，虚拟活动，2020年4月29日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。12669, 75-97 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Boy de la Tour}和\textit{R.Echahed}，莱克特。注释计算。科学。12669，75-97（2021；Zbl 07415134） 全文： 内政部 哈尔
Tour男孩，蒂埃里;瑞希德·埃哈希德 属性图的并行重写。 （英语） Zbl 1464.68137号 西奥。计算。科学。 848, 106-132 (2020).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Boy de la Tour}和\textit{R.Echahed}，Theor。计算。科学。848106-132（2020年；Zbl 1464.68137） 全文： 内政部
安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;里贝罗，莱拉 控制嵌入的代数图重写。 （英语） Zbl 1436.68155号 西奥。计算。科学。 802, 19-37 (2020).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Corradini｝等人，Theor。计算。科学。802、19-37（2020年；Zbl 1436.68155） 全文： 内政部
安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;里贝罗，莱拉 PBPO图转换方法。 （英语） Zbl 1417.68075号 J.日志。阿尔盖布。方法计划。 103, 213-231 (2019).MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人，J.Log。阿尔盖布。方法计划。103、213--231（2019年；Zbl 1417.68075） 全文： 内政部
安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;里贝罗，莱拉 AGREE–带受控嵌入的代数图重写。 （英语） Zbl 1321.68327号 Parisi-Prescce，Francesco（编辑）等人，《图形变换》。2015年7月21日至23日，作为2015年STAF的一部分，在意大利拉奎拉举行了第八届国际会议，ICGT 2015。诉讼程序。查姆：施普林格（ISBN 978-3-319-21144-2/pbk；978-3-3169-21145-9/电子书）。计算机科学讲义9151，35-51（2015）。MSC公司：2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Corradini}等人，Lect。注释计算。科学。9151，35-51（2015；Zbl 1321.68327） 全文： 内政部 arXiv公司 链接