编辑配置文件(在新选项卡中打开) 安托万·米内 合著者距离 作者ID: mine.antoine公司 发布日期: 安托万·米内 外部链接: 管理程序 已编制索引的文档: 27出版物自2001年起 2作为编辑的贡献 合著者: 18位合著者具有18联合出版物 246位合作作者 全部的 前5名合著者 10 单作者的 6 帕特里克·库索特 三 陈丽倩 三 拉希亚库索 三 杰罗姆·费雷特 三 马蒂厄·乔纳特 三 劳伦特·莫博涅 三 阿卜杜勒拉乌特·乌阿贾奥特 三 对手,泽维尔 三 城市,卡特里娜 三 王,季 2 大卫·莫尼奥(David P.Monniaux)。 1 弗雷德里克·本哈莫 1 布鲁诺·布兰切特 1 拉斐尔·莫纳特 1 玛丽·佩洛 1 恩里克·罗德里格斯-卡博内尔 1 苏珊娜·提伯特 1 夏洛特·特鲁切特 全部的 前5名系列 三 系统设计中的形式化方法 1 高阶和符号计算 1 计算机语言、系统和结构 1 计算机科学课堂讲稿 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 领域 29 计算机科学(68至XX) 2 总体主题;集合(00-XX) 2 数值分析(65-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用370中的次233文件 引用人▼ 年份▼ 八角形抽象域。 Zbl 1105.68069号 安托万·米内 123 2006 安全关键型实时嵌入式软件专用静态程序分析器的设计与实现。 Zbl 1026.68514号 布鲁诺·布兰切特;帕特里克·库索特;拉希亚库索;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;大卫·蒙尼厄;对手,泽维尔 68 2002 ASTREε分析仪。 Zbl 1108.68422号 帕特里克·库索特;拉希亚库索;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;大卫·蒙尼厄;对手,泽维尔 36 2005 用于检测浮点运行时错误的关系抽象域。 兹比尔1126.68353 安托万·米内 26 2004 基于差分-边界矩阵的一种新的数值抽象域。 Zbl 0984.68034号 安托万·米内 25 2001 提高数值抽象域精度的符号方法。 Zbl 1176.68050号 安托万·米内 19 2006 为什么阿斯特雷要扩大规模? Zbl 1185.68241号 帕特里克·库索特;拉希亚库索;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;对手,泽维尔 13 2009 用于推断序数值排序函数的抽象域。 Zbl 1405.68094号 城市,卡特里娜;安托万·米内 9 2014 区间多面体:推断区间线性关系的抽象域。 Zbl 1248.68140号 陈丽倩;米尼,安托万;王,季;帕特里克·库索特 8 2009 一些基于图形的关系数字抽象域。 Zbl 1015.68040号 安托万·米内 7 2002 通过抽象解释进行关系线程-模块静态值分析。 兹比尔1428.68119 安托万·米内 6 2014 嵌入式关键并行C程序中运行时错误的静态分析。 Zbl 1239.68021号 安托万·米内 5 2011 基于抽象域的约束求解器。 Zbl 1426.68159号 玛丽·佩洛;安托万·米内;夏洛特·特鲁切特;弗雷德里克·本哈莫 4 2013 在近似条件下用后多面体推断充分条件。 Zbl 1294.68062号 安托万·米内 4 2012 嵌入式实时并行C程序运行时错误的静态分析。 Zbl 1238.68048号 安托万·米内 三 2012 发现区间线性等式的抽象域。 Zbl 1273.68081号 陈丽倩;安托万·米内;王,季;帕特里克·库索特 三 2010 放松记忆模型下的关系线程-模块抽象解释。 Zbl 1519.68053号 苏珊娜·提伯特;安托万·米内 2 2018 使用关系干扰抽象对并发程序进行精确的线程模块化抽象解释。 Zbl 1484.68050号 拉斐尔·莫纳特;安托万·米内 2 2017 具有数字关系的树的抽象域。 Zbl 1524.68092号 马蒂厄·乔纳特;安托万·米内;阿卜杜勒拉乌特·乌阿贾奥特 1 2019 线性绝对值关系分析。 Zbl 1326.68086号 陈丽倩;安托万·米内;王,季;帕特里克·库索特 1 2011 使用抽象马尔可夫链对通信协议进行定量静态分析。 Zbl 1420.68020号 阿卜杜勒拉乌特·乌阿贾奥特;安托万·米内 1 2017 通过对矩阵操作程序的功能正确性的抽象解释进行静态分析。 Zbl 1425.68073号 马蒂厄·乔纳特;安托万·米内 1 2016 通过抽象解释证明时间属性的排序函数推断。 Zbl 1379.68101号 城市,卡特里娜;安托万·米内 1 2017 通过抽象解释证明保证和递归时间性质。 Zbl 1432.68076号 城市,卡特里娜;安托万·米内 1 2015 使用抽象马尔可夫链对通信协议进行定量静态分析。 Zbl 1425.68078号 阿卜杜勒拉乌特·乌阿贾奥特;安托万·米内 1 2019 具有数字关系的树的抽象域。 Zbl 1524.68092号 马蒂厄·乔纳特;安托万·米内;阿卜杜勒拉乌特·乌阿贾奥特 1 2019 使用抽象马尔可夫链对通信协议进行定量静态分析。 Zbl 1425.68078号 阿卜杜勒拉乌特·乌阿贾奥特;安托万·米内 1 2019 放松记忆模型下的关系线程-模块抽象解释。 兹比尔1519.68053 苏珊娜·提伯特;安托万·米内 2 2018 使用关系干扰抽象对并发程序进行精确的线程模块抽象解释。 Zbl 1484.68050号 拉斐尔·莫纳特;安托万·米内 2 2017 使用抽象马尔可夫链对通信协议进行定量静态分析。 Zbl 1420.68020号 阿卜杜勒拉乌特·乌阿贾奥特;安托万·米内 1 2017 通过抽象解释证明时间属性的排序函数推断。 Zbl 1379.68101号 城市,卡特里娜;安托万·米内 1 2017 通过抽象解释矩阵操作程序的功能正确性进行静态分析。 Zbl 1425.68073号 马蒂厄·乔纳特;安托万·米内 1 2016 通过抽象解释证明保证和递归的时间性质。 Zbl 1432.68076号 城市,卡特里娜;安托万·米内 1 2015 用于推断序数值排序函数的抽象域。 Zbl 1405.68094号 城市,卡特里娜;安托万·米内 9 2014 通过抽象解释进行关系线程-模块静态值分析。 兹比尔1428.68119 安托万·米内 6 2014 基于抽象域的约束求解器。 Zbl 1426.68159号 玛丽·佩洛;安托万·米内;夏洛特·特鲁切特;弗雷德里克·本哈莫 4 2013 在近似条件下用后多面体推断充分条件。 Zbl 1294.68062号 安托万·米内 4 2012 嵌入式实时并行C程序运行时错误的静态分析。 Zbl 1238.68048号 安托万·米内 三 2012 嵌入式关键并行C程序中运行时错误的静态分析。 Zbl 1239.68021号 安托万·米内 5 2011 线性绝对值关系分析。 Zbl 1326.68086号 陈丽倩;安托万·米内;王,季;帕特里克·库索特 1 2011 发现区间线性等式的抽象域。 兹比尔1273.68081 陈丽倩;安托万·米内;王,季;帕特里克·库索特 三 2010 为什么阿斯特雷要扩大规模? Zbl 1185.68241号 帕特里克·库索特;拉希亚库索;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;对手,泽维尔 13 2009 区间多面体:推断区间线性关系的抽象域。 Zbl 1248.68140号 陈丽倩;安托万·米内;王,季;帕特里克·库索特 8 2009 八角形抽象域。 Zbl 1105.68069号 安托万·米内 123 2006 提高数值抽象域精度的符号方法。 Zbl 1176.68050号 安托万·米内 19 2006 ASTREε分析仪。 Zbl 1108.68422号 帕特里克·库索特;拉希亚库索;杰罗姆·费雷特;劳伦特·莫博涅;米尼,安托万;大卫·蒙尼厄;对手,泽维尔 36 2005 用于检测浮点运行时错误的关系抽象域。 Zbl 1126.68353号 安托万·米内 26 2004 安全关键型实时嵌入式软件专用静态程序分析器的设计与实现。 Zbl 1026.68514号 布鲁诺·布兰切特;帕特里克·库索特;拉希亚库索;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;大卫·蒙尼厄;对手,泽维尔 68 2002 一些基于图形的关系数字抽象域。 Zbl 1015.68040号 安托万·米内 7 2002 基于差分-边界矩阵的一种新的数值抽象域。 Zbl 0984.68034号 安托万·米内 25 2001 所有引用出版物 前5名被引用出版物 全部的 前5名407位作者引用 12 克里希纳·苏布拉马尼 11 米尼,安托万 9 国王,安迪 9 Wojciechowski,Piotr J。 8 埃纳州扎法内拉 7 大卫·皮哈迪 6 吉安卢卡·阿马托 6 赫尔穆特·塞德尔 5 罗伯托·巴格纳拉 5 奥利维尔·布瓦索 5 阿戈斯蒂诺·科尔特斯 5 埃里克·古堡 5 弗朗西斯科·洛戈佐 5 伊莎贝拉·马斯特罗埃尼 5 弗朗西丝卡·斯科扎里 5 埃克塞尔·西蒙 4 西尔维·博尔多 4 陈丽倩 4 帕特里克·库索特 4 杰罗姆·费雷特 4 皮埃特罗·费拉拉 4 格雷姆·恒河 4 帕特里夏·M·希尔。 4 丹尼尔·科宁 4 大卫·莫尼奥(David P.Monniaux)。 4 哦,哈乔 4 Sylvie推杆 4 桑卡拉纳拉亚南,斯里拉姆 4 彼得·沙赫特 4 戴维·施密特(David A.Schmidt)。 4 哈拉尔德·森德加德 4 彼得·詹姆斯·斯塔基 4 王,季 三 文森佐·阿塞里 三 弗朗索瓦·博伯特 三 Jörg Brauer 三 伊娃·达鲁洛娃 三 曼努埃尔·Fähndrich 三 托马斯·马丁·高利察 三 阿尔蒂·古普塔 三 尼古拉斯·哈尔巴赫斯 三 雅各布·M·豪。 三 弗兰乔·伊万契奇 三 雅克·亨利·乔尔丹 三 克劳德·马奇 三 马特尔,马蒂厄 三 安德烈亚斯·波德尔斯基 三 代表,Thomas W。 三 亚萨米娜·塞拉吉 三 夏洛特·特鲁切特 2 亚历山德罗·阿巴特 2 阿萨勒阿杰 2 卡默·阿皮尼 2 安妮迪亚·班纳吉 2 弗雷德里克·贝松 2 艾哈迈德·博阿贾尼 2 西尔万·博尔梅 2 达里奥·卡塔鲁扎 2 拉玛斯瓦米·钱德拉塞卡兰 2 亚历山大·查普托 2 阿齐姆·查德哈里 2 拉希亚库索 2 安德烈·玛丽安(Andrei Marian Dan) 2 Thao Dang先生 2 西蒙·迪纳多·迪迈奥 2 阿列克桑达尔·迪莫夫斯基。 2 达特尔,亚伦·M。 2 杰·德泽·富拉拉 2 皮埃尔·洛伊奇·卡洛什 2 圣埃芬·高伯特 2 罗伯托·贾科巴齐 2 苏米特·古尔瓦尼 2 Heo,Kihong先生 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 Jochen Hoenicke公司 2 拉杜·奥西夫 2 Jakubczyk、Krzysztof 2 贝特朗·珍妮特 2 比肖克桑·卡夫 2 迪帕克·卡普尔 2 埃里克·科斯基宁 2 斯特凡·科瓦列夫斯基 2 特里斯坦勒加尔 2 Legay、Axel 2 杰罗姆·勒鲁 2 鲁,齐 2 亚历山大·马雷查尔 2 劳伦特·莫博涅 2 纪尧姆·梅尔金德 2 Maria Chiara Meo女士 2 索莱内·米利亚兹 2 埃里克·蒙弗罗伊 2 何塞·弗朗西斯科·莫拉莱斯 2 玛丽亚诺·莫斯卡托(Mariano M.Moscato)。 2 穆尼奥斯,塞萨尔·A。 2 豪尔赫·纳瓦斯(Jorge A.Navas)。 2 马蒂娜·奥利亚罗 2 Jean-François拉斯金 2 对手,泽维尔 2 菲利普·吕默 …还有307位作者 全部的 前5名31篇连载文章中引用 25 系统设计中的形式化方法 11 理论计算机科学 8 自动推理杂志 8 计算机语言、系统和结构 6 逻辑程序设计理论与实践 5 符号计算杂志 4 高阶和符号计算 三 算法 三 约束条件 三 计算机科学中的数学 2 离散应用数学 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 2 数学与人工智能年鉴 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 人工智能 1 编程和计算机软件 1 订单 1 信息与计算 1 计算的形式方面 1 实时系统 1 计算几何 1 国际代数与计算杂志 1 数值算法 1 线性代数及应用 1 函数编程杂志 1 组合优化期刊 1 逻辑与代数程序设计杂志 1 SIAM应用动力系统杂志 1 离散优化 全部的 前5名18个领域被引用 213 计算机科学(68至XX) 26 数值分析(65-XX) 23 运筹学、数学规划(90-XX) 17 数学逻辑和基础(03-XX) 8 凸和离散几何(52至XX) 5 系统论;控制(93至XX) 4 阶、格、有序代数结构(06-XX) 4 生物学和其他自然科学(92-XX) 4 信息与通信理论、电路(94-XX) 2 组合数学(05-XX) 2 代数几何(14-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 1 总体主题;集合(00-XX) 1 结合环与代数(16-XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 算子理论(47-XX) 1 统计学(62-XX) 按年份列出的引文