编辑配置文件(在新选项卡中打开) 多米尼克·杜瓦尔 合著者距离 作者ID: 杜瓦尔·多米尼克 发布日期: 多米尼克·杜瓦尔 已编制索引的文档: 42出版物自1980年以来,包括6附加arXiv预打印 合著者: 21位合著者具有28联合出版物 325位合作作者 全部的 前5名合著者 13 单作者的 10 珍妮·克劳德·雷纳德 9 普罗斯特、弗雷德里克 8 瑞希德·埃哈希德 7 Jean-Guillaume杜马 5 安德烈亚·科拉迪尼 5 劳伦特·福斯 5 莱拉·里贝罗 2 克莱尔·迪克雷斯琴佐 2 塞萨尔·多明格斯 1 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 1 贝泽拉、乔纳斯·桑托斯 1 安德烈·科斯塔 1 伯拉克·埃基奇 1 劳雷亚诺·冈萨雷斯-维加 1 弗朗索瓦斯·荣格 1 迈克尔·J·S·洛。 1 罗德里戈·马查多 1 阿德里安·波提奥 1 Damien Pous 1 罗德里格斯,莱昂纳多·马尔克斯 1 盖·卢梭 1 塞恩沙乌德,帕斯卡 全部的 前5名系列 5 骨髓间充质干细胞。计算机科学中的数学结构 2 模拟中的数学与计算机 2 理论计算机科学 2 符号计算杂志 2 泛逻辑 1 数学合成 1 数论杂志 1 纯粹与应用代数杂志 1 SIAM计算机杂志 1 国际计算机科学基础杂志 1 雷恩数学研究所出版物 1 计算机代数中的ACM通信 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 29 计算机科学(68至XX) 9 范畴理论;同调代数(18-XX) 6 数论(11-XX) 6 场论和多项式(12-XX) 4 数学逻辑和基础(03-XX) 4 代数几何(14-XX) 1 历史和传记(01-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用167中的次114文件 引用人▼ 年份▼ Rational Puiseux扩展。 Zbl 0699.14034号 多米尼克·杜瓦尔 39 1989 AGREE–带受控嵌入的代数图重写。 Zbl 1321.68327号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗 19 2015 多项式的绝对因式分解:一种几何方法。 Zbl 0716.68052号 多米尼克·杜瓦尔 10 1991 草图和计算。二: 动态评估和应用。 Zbl 0822.68063号 多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 10 1994 代数数:动态评估的一个例子。 Zbl 0827.68061号 多米尼克·杜瓦尔 8 1994 草图和计算。一: 基本定义和静态评估。 Zbl 0810.68096号 多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 8 1994 关于双推挤和半推挤方法平行独立的本质。 Zbl 1383.68042号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;Löwe,迈克尔;莱拉·里贝罗;罗德里戈·马查多;安德烈·科斯塔;Azzi,Guilherme Grochau;贝泽拉、乔纳斯·桑托斯;罗德里格斯,莱昂纳多·马尔克斯 8 2018 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 公理中的动态求值和代数闭包。(Axiom中的动态评估 Zbl 0851.11075号 多米尼克·杜瓦尔 7 1995 动态评估和实际关闭。 兹比尔1037.68542 多米尼克·杜瓦尔;冈萨雷斯-维加,L。 6 1996 聚焦于入射边的图形变换。 Zbl 1367.68127号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 5 2012 应用于参数化过程的图解逻辑。 Zbl 1204.03059号 塞萨尔·多明格斯;多米尼克·杜瓦尔 5 2010 图表规范。 Zbl 1089.68063号 多米尼克·杜瓦尔 4 2003 笛卡尔效应类别是Freyd-categories。 邮编:1229.18005 Jean-Guillaume杜马;多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 3 2011 将指针重定向建模为循环term-graph重写。 兹比尔1278.68076 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 3 2007 代数数的代数计算。 Zbl 0683.12002号 克莱尔·迪克雷斯琴佐;多米尼克·杜瓦尔 3 1986 曲线计算。 Zbl 0553.14008号 克莱尔·迪克雷斯琴佐;多米尼克·杜瓦尔 3 1984 不同特征字段中的同时计算。 Zbl 0694.68024号 多米尼克·杜瓦尔 3 1989 例外和状态之间的二元性。 Zbl 1280.68120号 Jean-Guillaume杜马;多米尼克·杜瓦尔;劳伦特·福斯;珍妮·克劳德·雷纳德 3 2012 草图和参数化。 Zbl 0801.68096号 多米尼克·杜瓦尔;塞恩沙乌德,帕斯卡 2 1994 术语-粒度转换的异构pushout方法。 Zbl 1242.68127号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 2 2009 AGREE转换中的并行性。 Zbl 1344.68106号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;弗雷德里克·普罗斯特;莱拉·里贝罗 2 2016 通过应用程序到图形重写进行垃圾收集的调整。 Zbl 1203.68071号 多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特 1 2007 马克·里博维茨逝世,享年52岁。 Zbl 1365.01050号 多米尼克·杜瓦尔;阿德里安·波提奥 1 2016 “联合国兵团联盟”(p,p)的结构(Sur la structure galoisienne du groupe des unites d’un corps abelian réel de type)。 兹bl 0459.12002年 多米尼克·杜瓦尔 1 1981 田地上的草图和计算。 Zbl 1037.68541号 多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 1 1996 参数化过程:从功能角度来看。 Zbl 1269.68064号 塞萨尔·多明格斯;多米尼克·杜瓦尔 1 2012 控制嵌入的代数图重写。 Zbl 1436.68155号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 1 2020 控制嵌入的代数图重写。 Zbl 1436.68155号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 1 2020 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 关于双推出和倍半推出方法的平行独立性的本质。 Zbl 1383.68042号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;Löwe,迈克尔;莱拉·里贝罗;罗德里戈·马查多;安德烈·科斯塔;吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);贝泽拉、乔纳斯·桑托斯;罗德里格斯,莱昂纳多·马尔克斯 8 2018 AGREE转换中的并行性。 兹比尔1344.68106 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;弗雷德里克·普罗斯特;莱拉·里贝罗 2 2016 马克·里博维茨逝世,享年52岁。 Zbl 1365.01050号 多米尼克·杜瓦尔;阿德里安·波提奥 1 2016 AGREE–带受控嵌入的代数图重写。 Zbl 1321.68327号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗 19 2015 聚焦于入射边的图形变换。 Zbl 1367.68127号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 5 2012 例外和状态之间的二元性。 Zbl 1280.68120号 Jean-Guillaume杜马;多米尼克·杜瓦尔;劳伦特·福斯;珍妮·克劳德·雷纳德 3 2012 参数化过程:从功能角度来看。 Zbl 1269.68064号 塞萨尔·多明格斯;多米尼克·杜瓦尔 1 2012 笛卡尔效应类别是Freyd-categories。 邮编:1229.18005 Jean-Guillaume杜马;多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 3 2011 应用于参数化过程的图解逻辑。 Zbl 1204.03059号 塞萨尔·多明格斯;多米尼克·杜瓦尔 5 2010 术语-粒度转换的异构pushout方法。 Zbl 1242.68127号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 2 2009 将指针重定向建模为循环term-graph重写。 Zbl 1278.68076号 多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克 3 2007 通过应用程序到图形重写进行垃圾收集的调整。 Zbl 1203.68071号 多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特 1 2007 图表规范。 兹比尔1089.68063 多米尼克·杜瓦尔 4 2003 动态评估和实际关闭。 Zbl 1037.68542号 多米尼克·杜瓦尔;冈萨雷斯-维加,L。 6 1996 田地上的草图和计算。 Zbl 1037.68541号 多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 1 1996 公理中的动态求值和代数闭包。(Axiom中的动态评估 Zbl 0851.11075号 多米尼克·杜瓦尔 7 1995 草图和计算。二: 动态评估和应用。 Zbl 0822.68063号 多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 10 1994 代数数:一个动态评估的例子。 Zbl 0827.68061号 多米尼克·杜瓦尔 8 1994 草图和计算。一: 基本定义和静态评估。 Zbl 0810.68096号 多米尼克·杜瓦尔;珍妮·克劳德·雷纳德 8 1994 草图和参数化。 Zbl 0801.68096号 多米尼克·杜瓦尔;塞恩沙乌德,帕斯卡 2 1994 多项式的绝对因式分解:一种几何方法。 Zbl 0716.68052号 多米尼克·杜瓦尔 10 1991 Rational Puiseux扩展。 Zbl 0699.14034号 多米尼克·杜瓦尔 39 1989 在不同特性的领域中同时进行计算。 Zbl 0694.68024号 多米尼克·杜瓦尔 3 1989 代数数的代数计算。 Zbl 0683.12002号 克莱尔·迪克雷斯琴佐;多米尼克·杜瓦尔 3 1986 曲线计算。 Zbl 0553.14008号 克莱尔·迪克雷斯琴佐;多米尼克·杜瓦尔 3 1984 “联合国兵团联盟”(p,p)的结构(Sur la structure galoisienne du groupe des unites d’un corps abelian réel de type)。 Zbl 0459.12002号 多米尼克·杜瓦尔 1 1981 所有引用出版物 前5名被引用出版物 全部的 前5名147位作者引用 15 多米尼克·杜瓦尔 10 瑞希德·埃哈希德 6 阿德里安·波提奥 6 普罗斯特、弗雷德里克 6 莱拉·里贝罗 5 安德烈亚·科拉迪尼 5 格里戈伊尔·勒塞夫 4 安吉尔·布拉斯科 4 塞萨尔·多明格斯 4 恩德鲁利斯,约尔格 4 凯瑟琳·奥里亚特 4 Overbeek,罗伊 4 索尼娅·佩雷斯·迪亚斯 4 马丁·魏曼 3 尼古拉斯·贝尔 3 Tour男孩,蒂埃里 3 塞巴斯蒂安·法肯斯坦纳 3 安东尼奥·蒙特斯 3 胡安·拉斐尔·森德拉 2 法蒂玛·K·阿布·塞勒姆。 2 克里斯托弗·布朗 2 米歇尔·科斯特 2 de la Puente,玛丽亚·耶稣 2 詹姆斯·P·费尔班克斯。 2 冯汝永 2 Jörg Frauendiener先生 2 高晓山 2 汉克斯,泰勒 2 哈默(Russ Harmer) 2 克里斯蒂安·克莱恩 2 吉恩·克里文 2 丹尼尔·拉扎德 2 伦巴第,亨利 2 埃文·帕特森 2 阿洛依斯·罗塞特 2 鲁比奥·加西亚、朱利奥·杰苏斯 2 马克·里博维茨 2 Barry M.Trager。 2 乔里斯·范德霍温 2 伊森Yengui 1 西蒙·阿伯拉德 1 莱昂纳德·马克斯·阿德曼 1 阿奈、平子 1 亚历山德罗·阿曼多 1 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 1 克莱门斯·巴拉林 1 托拜厄斯·贝克 1 埃琳娜·贝拉迪尼 1 杰雷米·伯托米厄 1 阿古斯汀·邦帕德雷 1 菲利波·邦奇 1 出生,克里斯托夫 1 亚西内·布齐迪 1 安东尼奥·坎皮略 1 何塞·玛丽亚·卡诺 1 纪尧姆·切兹 1 奥利维尔·科米尔 1 阿兰·库夫勒 1 达科斯塔·卡瓦莱罗,西蒙·安德烈 1 泽维尔·达汉 1 胡安·德·拉腊 1 伯纳德·德科宁克 1 迪亚斯·多卡,杰马·玛丽亚 1 Clémence杜尔维 1 B.柯蒂斯·埃夫斯 1 穆纳乔·埃切宁 1 伯拉克·埃基奇 1 何塞·伊格纳西奥·法兰 1 冯二宝 1 卢西亚娜·福斯 1 法比奥·加杜奇 1 高树红 1 马克·朱斯蒂 1 劳雷亚诺·冈萨雷斯-维加 1 阿米娜·哈吉·卡塞姆 1 长谷川、Masaru 1 乔斯·海因茨 1 黄明德A。 1 黄振宇 1 伊瓦内、希德诺 1 克劳德·皮埃尔·珍妮罗德 1 Jean-Pierre Jouannaud 1 沃尔夫拉姆·卡尔 1 藤井嘉子 1 塞萨里·卡利西克 1 埃里希·卡尔托芬。 1 迪帕克·卡普尔 1 基辛格,亚历克斯 1 延斯·科索尔 1 Laureano Lambán 1 莱恩·兰伯斯 1 迈克尔·J·S·洛。 1 罗忠轩 1 蒙特塞拉特马努本斯 1 艾琳·马尔奎斯·科尔贝拉 1 Marszałek,罗马人 1 埃德加·马丁内斯·莫罗 1 吉列尔莫·马特拉 1 迈赫迪·姆哈拉 1 Johann J.Mitteramskogler。 …还有47位作者 全部的 前5名36篇连载文章中引用 21 符号计算杂志 8 理论计算机科学 8 程序设计中的逻辑和代数方法杂志 4 计算数学 4 纯粹与应用代数杂志 4 复杂性杂志 3 计算与应用数学杂志 3 工程、通信和计算中的应用代数 3 图表 2 代数杂志 2 模拟中的数学与计算机 2 纯逻辑与应用逻辑年鉴 2 计算机辅助几何设计 2 骨髓间充质干细胞。计算机科学中的数学结构 2 计算机科学中的数学 2 泛逻辑 1 离散应用数学 1 非线性 1 数学合成 1 计算 1 数论杂志 1 物理D 1 离散和计算几何 1 信息与计算 1 运筹学年鉴 1 日本工业与应用数学杂志 1 国际计算机科学基础杂志 1 超级计算杂志 1 美国数学学会公报。新系列 1 数学说明 1 SIAM优化杂志 1 计算复杂性 1 应用数学。B系列(英文版) 1 RAIRO公司。理论信息学及其应用 1 巴西数学学会公报。新系列 1 年鉴亨利·勒贝格 全部的 前5名23个字段中引用 78 计算机科学(68至XX) 26 代数几何(14-XX) 21 场论和多项式(12-XX) 21 交换代数(13-XX) 15 数值分析(65-XX) 14 数论(11-XX) 13 范畴理论;同调代数(18-XX) 6 数学逻辑和基础(03-XX) 4 实函数(26年X月X日) 4 常微分方程(34-XX) 3 信息与通信理论、电路(94-XX) 2 凸和离散几何(52至XX) 2 微分几何(53至XX) 1 总体主题;集合(00-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 偏微分方程(35-XX) 1 差分方程和函数方程(39至XX) 1 算子理论(47-XX) 1 代数拓扑(55-XX) 1 整体分析,流形分析(58至XX) 1 系统论;控制(93至XX) 按年份列出的引文