编辑配置文件(在新选项卡中打开) 马特尔,马蒂厄 合著者距离 作者ID: 马特尔·马蒂厄 发布日期: 马特尔,马蒂厄;马特尔,M。 已编制索引的文档: 19出版物自2000年起 3作为编辑的贡献 合著者: 16位合著者具有15联合出版物 336名合著者 全部的 前5名合著者 7 单作者的 三 埃里克·古堡 三 Sylvie推杆 2 塞尔吉·博戈莫洛夫 2 奥利维尔·布瓦索 2 亚历山大·查普托 2 纳斯林·达穆切 2 马克·根格勒 1 阿萨勒阿杰 1 米卡·巴博图 1 多拉·本·哈利法 1 亚历山德鲁·科斯坦 1 拉希亚库索 1 纳塞拉·杰哈夫 1 圣埃芬·高伯特 1 弗朗西斯科·洛戈佐 1 帕维特拉·普拉巴卡 系列 2 计算机科学课堂讲稿 1 计算机与数学及其应用 1 系统设计中的形式化方法 1 高阶和符号计算 1 理论计算机科学电子笔记 领域 19 计算机科学(68至XX) 13 数值分析(65-XX) 4 系统论;控制(93至XX) 三 总体主题;集合(00-XX) 1 粒子和系统力学(70-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用76中的次52文件 引用人▼ 年份▼ 程序静态分析中计算不动点的策略迭代算法。 Zbl 1081.68616号 科斯坦,A。;S·高伯特。;古堡,E。;马特尔,M。;推杆,S。 25 2005 断言浮点计算的精度:一个简单的抽象解释器。 Zbl 1077.68615号 埃里克·古堡;马特尔,马蒂厄;Sylvie推杆 12 2002 基于静态分析的浮点计算验证。 Zbl 1126.65309号 Sylvie推杆;埃里克·古堡;马特尔,马蒂厄 7 2004 有限精度计算中舍入误差传播的语义。 Zbl 1105.65052号 马特尔,马蒂厄 6 2006 有限精度计算中舍入误差的传播:一种语义方法。 Zbl 1077.68619号 马特尔,马蒂厄 4 2002 基于语义的算术表达式转换。 Zbl 1211.68096号 马特尔,马蒂厄 三 2007 混合系统的混合指称语义。 Zbl 1133.68369号 奥利维尔·布瓦索;马特尔,马蒂厄 三 2008 数字精度PID控制器的转换。 Zbl 1352.65665号 北卡罗来纳州达穆什。;马特尔,M。;A.查普特。 三 2015 并发程序的通信拓扑分析。 Zbl 0976.68041号 马特尔,马蒂厄;马克·根格勒 2 2000 回路数值稳定性的静态分析。 Zbl 1015.68045号 马特尔,马蒂厄 2 2002 嵌入式程序物理输入的抽象解释。 Zbl 1138.68358号 奥利维尔·布瓦索;马特尔,马蒂厄 2 2008 准确评估算术表达式(受邀演讲)。 Zbl 1294.68060号 马特尔,马蒂厄 2 2012 数值程序验证的语义概述。 Zbl 1111.68492号 马特尔,马蒂厄 2 2005 加强定点和浮点算法数学公式的实现。 Zbl 1185.68017号 马特尔,马蒂厄 1 2009 精度优化对数值迭代方法收敛性的影响。 Zbl 1474.65479号 纳斯林·达穆切;马特尔,马蒂厄;亚历山大·查普托 1 2015 用于求解力学线性系统的高斯旋转法的数值精确代码合成。 Zbl 1442.65030号 米卡·巴博图;纳塞拉·杰哈夫;马特尔,马蒂厄 1 2019 用于求解力学线性系统的高斯旋转法的数值精确代码合成。 Zbl 1442.65030号 米卡·巴博图;纳塞拉·杰哈夫;马特尔,马蒂厄 1 2019 数字精度PID控制器的转换。 Zbl 1352.65665号 北卡罗来纳州达穆什。;马特尔,M。;A.查普特。 三 2015 精度优化对数值迭代方法收敛性的影响。 Zbl 1474.65479号 纳斯林·达穆切;马特尔,马蒂厄;亚历山大·查普托 1 2015 算术表达式的精确评估(受邀演讲)。 Zbl 1294.68060号 马特尔,马蒂厄 2 2012 加强定点和浮点算术数学公式的实施。 Zbl 1185.68017号 马特尔,马蒂厄 1 2009 混合系统的混合指称语义。 兹比尔1133.68369 奥利维尔·布瓦索;马特尔,马蒂厄 三 2008 嵌入式程序物理输入的抽象解释。 Zbl 1138.68358号 奥利维尔·布瓦索;马特尔,马蒂厄 2 2008 基于语义的算术表达式转换。 Zbl 1211.68096号 马特尔,马蒂厄 三 2007 有限精度计算中舍入误差传播的语义。 Zbl 1105.65052号 马特尔,马蒂厄 6 2006 程序静态分析中计算不动点的策略迭代算法。 Zbl 1081.68616号 科斯坦,A。;S·高伯特。;古堡,E。;马特尔,M。;推杆,S。 25 2005 数值程序验证的语义概述。 Zbl 1111.68492号 马特尔,马蒂厄 2 2005 基于静态分析的浮点计算验证。 Zbl 1126.65309号 Sylvie推杆;埃里克·古堡;马特尔,马蒂厄 7 2004 断言浮点计算的精度:一个简单的抽象解释器。 Zbl 1077.68615号 埃里克·古堡;马特尔,马蒂厄;Sylvie推杆 12 2002 有限精度计算中舍入误差的传播:一种语义方法。 兹比尔1077.68619 马特尔,马蒂厄 4 2002 回路数值稳定性的静态分析。 Zbl 1015.68045号 马特尔,马蒂厄 2 2002 并发程序的通信拓扑分析。 Zbl 0976.68041号 马特尔,马蒂厄;马克·根格勒 2 2000 所有引用出版物 前5名被引用出版物 全部的 前5名91位作者引用 9 马特尔,马蒂厄 5 阿萨勒阿杰 5 奥利维尔·布瓦索 5 托马斯·马丁·高利察 5 埃里克·古堡 4 亚历山大·查普托 4 圣埃芬·高伯特 三 利贝蒂,利奥 三 法布里西奥·马里内利 三 赫尔穆特·塞德尔 2 吉安卢卡·阿马托 2 纳斯林·达穆切 2 西蒙·迪纳多·迪迈奥 2 简·杜拉茨 2 皮埃尔·洛伊奇·卡洛什 2 米查尔·科内奇 2 杰里米·勒孔特 2 圣埃芬·勒鲁 2 玛丽亚·希亚拉(Maria Chiara Meo) 2 大卫·莫尼奥(David P.Monniaux)。 2 Sylvie推杆 2 弗朗西丝卡·斯科扎里 2 亚萨米娜·塞拉吉 1 穆拉德·艾哈迈恩 1 玛丽安·阿基安 1 亚伦·D·埃姆斯。 1 米卡·巴博图 1 费伦茨·戈斯顿·巴塔 1 海科·贝克尔 1 斯蒂芬·贝克尔。 1 多拉·本·哈利法 1 本·萨西,穆罕默德·阿明 1 塞尔吉·博戈莫洛夫 1 雷米·波顿 1 Jean-François Coeurjolly 1 阿戈斯蒂诺·科尔特斯 1 朱利娅·科斯坦蒂尼 1 帕特里克·库索特 1 拉希亚库索 1 Thao Dang先生 1 伊娃·达鲁洛娃 1 丹尼·德·施雷耶 1 纳塞拉·杰哈夫 1 亚当·杜拉茨 1 曼努埃尔·Fähndrich 1 杰罗姆·费雷特 1 皮埃特罗·费拉拉 1 戈兰·弗雷斯 1 史蒂夫·福伯(Steve B.Furber)。 1 戈帕拉克里什南(Gopalakrishnan)、加内什·拉利塔(Ganesh Lalitha) 1 杰西卡·格伦斯基。 1 顾一佳 1 阿米特·古龙 1 尼古拉斯·哈尔巴赫斯 1 霍普金斯,迈克尔 1 查尔斯·雅各布森 1 贝特朗·珍妮特 1 卡茨,里卡多·大卫 1 赫迪科尔塔斯 1 莱蒙斯、巴斯 1 李东旭 1 李冉冉 1 李锡盟 1 刘浩 1 弗朗西斯科·洛戈佐 1 维克托·马格伦 1 海科·曼特尔 1 乔治·马蒂乌斯 1 达米安·马萨诸塞 1 劳伦特·莫博涅 1 米尼,安托万 1 帕维尔·潘切卡 1 茨沃尼米尔·拉卡马里奇 1 Rayarshi Ray 1 对手,泽维尔 1 鲁克斯,皮埃尔 1 桑卡拉纳拉亚南,斯里拉姆 1 亚历山大·塞雷布雷尼克 1 谢尔盖夫·米哈·洛维奇 1 斯蒂芬·西格尔(Stephen F.Siegel)。 1 阿列克谢·索洛维耶夫 1 帕斯卡·索丁 1 Kai Stadtmüller 1 马丁·苏尔兹曼 1 瓦利德·塔哈 1 马库斯·塔什 1 扎卡里·塔特洛克 1 彼得·蒂曼。 1 洛朗·特鲁菲 1 托马斯·沃尔 1 蒂莫西·齐科尔。 全部的 前5名17篇连载文章中引用 7 系统设计中的形式化方法 三 符号计算杂志 三 非线性分析。混合动力系统 2 高阶和符号计算 1 信息学报 1 计算机与数学及其应用 1 数学分析与应用杂志 1 凯贝内提卡 1 自动推理杂志 1 神经计算 1 计算与应用数学 1 数学与人工智能年鉴 1 组合优化期刊 1 计算机语言、系统和结构 1 计算机科学中的数学 1 不动点理论与应用杂志 1 电子统计杂志 全部的 前5名13个领域引用 35 计算机科学(68至XX) 18 数值分析(65-XX) 10 运筹学、数学规划(90-XX) 8 系统论;控制(93至XX) 三 算子理论(47-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 动力系统和遍历理论(37至XX) 2 概率论与随机过程(60-XX) 1 有序,格,有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文