编辑配置文件（在新选项卡中打开） 大卫·莫尼奥（David P.Monniaux）。 合著者距离 作者ID: monniaux.david-p型 发布日期： 戴维·莫尼奥;大卫·莫尼奥（David P.Monniaux）。 主页： 网址：https://www-verimag.imag.fr/~monniaux/index.html.fr 外部链接： ORCID公司·谷歌学者·ResearchGate研究之门·Id参考·论文.fr 已编制索引的文档： 39出版物自1999年以来，包括1个附加arXiv预打印 1名编辑贡献 合著者： 25位合著者具有18联合出版物 262合著作者 全部的 前5名合著者 22 单作者的 2 阿列克谢·巴赫金 2 托马斯·布雷班特 2 帕特里克·库索特 2 拉迪亚·库索特 2 杰罗姆·费雷特 2 托马斯·马丁·高利察 2 劳雷·贡诺德 2 雅克·亨利·乔尔丹 2 亚历山大·马雷查尔 2 劳伦特·莫博涅 2 安托万·米内 2 迈克尔·佩林 2 对手，泽维尔 2 瓦伦丁·图佐 1 布鲁诺·布兰切特 1 艾哈迈德·博阿贾尼 1 朱利安·布莱恩 1 皮埃尔·科尔比诺 1 亚历克西斯·福勒 1 埃戈尔·乔治·卡彭科夫 1 金，蒂姆 1 朱利安·勒根 1 克莱尔·麦扎 1 Reineke，一月 1 菲利普·温德勒 全部的 前5名系列 2 计算机程序设计科学 2 计算机科学中的逻辑方法 1 信息学报 1 自动推理杂志 1 系统设计中的形式化方法 1 正交 1 美国医学会杂志 1 高阶与符号计算 1 计算机科学课堂讲稿 全部的 前5名领域 36 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 4 运筹学、数学规划（90-XX） 2 凸和离散几何（52至XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 概率论与随机过程（60-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用241中的次200份文件 引用人▼ 年份▼ 安全关键型实时嵌入式软件专用静态程序分析器的设计与实现。 Zbl 1026.68514号 布鲁诺·布兰切特;帕特里克·库索特;拉迪亚·库索特;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;戴维·莫尼奥;对手，泽维尔 68 2002 ASTREε分析仪。 Zbl 1108.68422号 帕特里克·库索特;拉迪亚·库索特;费雷特，杰罗姆;劳伦特·莫博涅;安托万·米内;戴维·莫尼奥;对手，泽维尔 36 2005 线性实数运算的量词消除算法。 Zbl 1182.68213号 戴维·莫尼奥 14 2008 论堕落案件中积极证人的产生。 Zbl 1342.68296号 戴维·莫尼奥;皮埃尔·科尔比诺 11 2011 线性约束的自动模块化抽象。 Zbl 1315.68102号 大卫·莫尼奥（David P.Monniaux）。 11 2009 将程序抽象解释为马尔可夫决策过程。 Zbl 1088.68039号 戴维·莫尼奥 10 2005 细胞变形：从数组程序到无数组Horn子句。 Zbl 1394.68081号 戴维·莫尼奥;劳雷·贡诺德 8 2016 结合Horn子句的正向和反向抽象解释。 Zbl 1420.68062号 阿列克谢·巴赫金;戴维·莫尼奥 8 2017 程序概率终止的抽象分析。 Zbl 0997.68515号 戴维·莫尼奥 8 2001 用树自动机抽象密码协议。 Zbl 0949.68065号 戴维·莫尼奥 7 1999 概率语义学的抽象解释。 Zbl 0966.68111号 戴维·莫尼奥 7 2000 模板数字约束的自动模块化抽象。 Zbl 1191.68182号 戴维·莫尼奥 6 2010 使用Handelman定理对多元多项式进行多面体逼近。 Zbl 1475.68093号 亚历山大·马雷查尔;亚历克西斯·福勒;金，蒂姆;戴维·莫尼奥;迈克尔·佩林 5 2016 浮点线性数字滤波器的组成分析。 Zbl 1081.93028号 戴维·莫尼奥 4 2005 通过策略迭代在简洁表示的控制流图中生成不变量。 兹比尔1248.68142 托马斯·马丁·高利察;戴维·莫尼奥 4 2012 可满足性模理论综述。 Zbl 1453.68116号 戴维·莫尼奥 4 2016 用树自动机抽象密码协议。 Zbl 1047.68066号 戴维·莫尼奥 4 2003 关于过渡系统中多面体不变量存在性的可判定性。 Zbl 1421.68097号 戴维·莫尼奥 三 2019 一种用于概率程序分析的抽象蒙特卡罗方法。 Zbl 1323.68219号 戴维·莫尼奥 三 2001 astrée静态分析器的并行实现。 Zbl 1159.68378号 戴维·莫尼奥 三 2005 基于变量相关性的分层静态分析。 Zbl 1294.68063号 戴维·莫尼奥;朱利安·勒根 三 2012 简约地看待不断扩大的运营商。 Zbl 1183.68200号 戴维·莫尼奥 2 2010 关于使用浮点计算帮助实现精确的线性算术决策过程。 Zbl 1242.68168号 戴维·莫尼奥 2 2009 将程序抽象解释为马尔可夫决策过程。 Zbl 1067.68050号 戴维·莫尼奥 2 2003 通过SMT解决方案改进策略。 Zbl 1326.68093号 托马斯·马丁·高利察;戴维·莫尼奥 2 2011 概率程序的向后抽象解释。 Zbl 0977.68550号 戴维·莫尼奥 1 2001 使用本地策略迭代进行程序分析。 Zbl 1475.68092号 埃戈尔·乔治·卡彭科夫;戴维·莫尼奥;菲利普·温德勒 1 2016 实值程序的最佳抽象。 Zbl 1211.68098号 戴维·莫尼奥 1 2007 不同替换策略的缓存分析的复杂性。 Zbl 1473.68097号 戴维·莫尼奥;瓦伦丁·图佐 1 2019 在Coq中实现和推理哈希一致的数据结构。 Zbl 1314.68273号 托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥 1 2014 为高效准确的缓存分析确定不确定性。 Zbl 1494.68063号 瓦伦丁·图佐;克莱尔·马伊扎;戴维·莫尼奥;简·雷内克 1 2017 关于过渡系统中多面体不变量存在性的可判定性。 Zbl 1421.68097号 戴维·莫尼奥 三 2019 关于不同替换策略的缓存分析的复杂性。 Zbl 1473.68097号 戴维·莫尼奥;瓦伦丁·图佐 1 2019 结合Horn子句的正向和反向抽象解释。 Zbl 1420.68062号 阿列克谢·巴希尔金;戴维·莫尼奥 8 2017 为高效准确的缓存分析确定不确定性。 Zbl 1494.68063号 瓦伦丁·图佐;克莱尔·马伊扎;戴维·莫尼奥;简·雷内克 1 2017 细胞变形：从数组程序到无数组Horn子句。 兹比尔1394.68081 戴维·莫尼奥;劳雷·贡诺德 8 2016 使用Handelman定理对多元多项式进行多面体逼近。 Zbl 1475.68093号 亚历山大·马雷查尔;亚历克西斯·福勒;金，蒂姆;戴维·莫尼奥;迈克尔·佩林 5 2016 可满足性模理论综述。 Zbl 1453.68116号 戴维·莫尼奥 4 2016 使用本地策略迭代进行程序分析。 Zbl 1475.68092号 埃戈尔·乔治·卡彭科夫;戴维·莫尼奥;菲利普·温德勒 1 2016 在Coq中实现和推理哈希一致的数据结构。 Zbl 1314.68273号 托马斯·布雷班特;雅克·亨利·乔尔丹;戴维·莫尼奥 1 2014 通过策略迭代在简洁表示的控制流图中生成不变量。 Zbl 1248.68142号 托马斯·马丁·高利察;戴维·莫尼奥 4 2012 基于变量相关性的分层静态分析。 Zbl 1294.68063号 戴维·莫尼奥;朱利安·勒根 三 2012 论堕落案件中积极证人的产生。 Zbl 1342.68296号 戴维·莫尼奥;皮埃尔·科尔比诺 11 2011 通过SMT解决方案改进策略。 Zbl 1326.68093号 托马斯·马丁·高利察;戴维·莫尼奥 2 2011 模板数字约束的自动模块化抽象。 Zbl 1191.68182号 戴维·莫尼奥 6 2010 简约地看待不断扩大的运营商。 Zbl 1183.68200号 戴维·莫尼奥 2 2010 线性约束的自动模块化抽象。 Zbl 1315.68102号 大卫·莫尼奥（David P.Monniaux）。 11 2009 关于使用浮点计算帮助实现精确的线性算术决策过程。 Zbl 1242.68168号 戴维·莫尼奥 2 2009 线性实数运算的量词消除算法。 Zbl 1182.68213号 戴维·莫尼奥 14 2008 实值程序的最佳抽象。 兹比尔1211.68098 戴维·莫尼奥 1 2007 ASTREε分析仪。 Zbl 1108.68422号 帕特里克·库索特;拉迪亚·库索特;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;戴维·莫尼奥;对手，泽维尔 36 2005 将程序抽象解释为马尔可夫决策过程。 兹比尔1088.68039 戴维·莫尼奥 10 2005 浮点线性数字滤波器的组成分析。 Zbl 1081.93028号 戴维·莫尼奥 4 2005 astrée静态分析器的并行实现。 Zbl 1159.68378号 戴维·莫尼奥 三 2005 用树自动机抽象密码协议。 Zbl 1047.68066号 戴维·莫尼奥 4 2003 将程序抽象解释为马尔可夫决策过程。 Zbl 1067.68050号 戴维·莫尼奥 2 2003 安全关键型实时嵌入式软件专用静态程序分析器的设计与实现。 Zbl 1026.68514号 布鲁诺·布兰切特;帕特里克·库索特;拉迪亚·库索特;杰罗姆·费雷特;劳伦特·莫博涅;安托万·米内;戴维·莫尼奥;对手，泽维尔 68 2002 程序概率终止的抽象分析。 Zbl 0997.68515号 戴维·莫尼奥 8 2001 概率程序分析的抽象蒙特卡罗方法。 Zbl 1323.68219号 戴维·莫尼奥 三 2001 概率程序的向后抽象解释。 Zbl 0977.68550号 戴维·莫尼奥 1 2001 概率语义学的抽象解释。 Zbl 0966.68111号 戴维·莫尼奥 7 2000 用树自动机抽象密码协议。 Zbl 0949.68065号 戴维·莫尼奥 7 1999 所有引用出版物 前5名被引用出版物 全部的 前5名412位作者引用 8 大卫·莫尼奥（David P.Monniaux）。 6 阿尔贝托·格里乔 6 国王，安迪 6 安托万·米内 5 奥利维尔·布瓦索 5 亚历山德罗·西马蒂 5 大卫·皮哈迪 5 马可·罗维里 5 克里希纳·苏布拉马尼 4 西尔维·博尔多 4 艾哈迈德·埃尔凡 4 丹尼尔·科宁 4 克劳德·马奇 4 塞萨尔·穆尼奥斯。 4 代表，Thomas W。 4 菲利普·吕默 4 Wojciechowski，Piotr J。 4 埃纳州扎法内拉 三 吉安卢卡·阿马托 三 罗伯特·巴格纳拉 三 克拉克·W·巴雷特。 三 Jörg Brauer 三 查克拉波蒂，苏普拉特克 三 亚伦·M·达特（Aaron M.Dutle）。 三 托马斯·马丁·高利察 三 埃里克·古堡 三 帕特里夏·M·希尔。 三 弗朗西丝卡·列维 三 弗朗西斯科·洛戈佐 三 马蒂厄·马特尔 三 纪尧姆·梅尔金德 三 哦，哈乔 三 桑卡拉纳拉亚南，斯里拉姆 三 埃克塞尔·西蒙 2 亚历山德罗·阿巴特 2 泽维尔·阿拉米根 2 罗伯托·巴布蒂 2 埃齐奥·巴托西 2 弗雷德里克·贝松 2 布鲁诺·布兰切特 2 弗朗索瓦·博博特 2 达里奥·卡塔鲁扎 2 拉玛斯瓦米·钱德拉塞卡兰 2 亚历山大·查普托 2 克里希南德·查特吉 2 阿齐姆·查德哈里 2 阿戈斯蒂诺·科尔特斯 2 帕特里克·库索特 2 拉迪亚·库索特 2 伊娃·达鲁洛娃 2 西蒙·迪纳多·迪迈奥 2 阿列克桑达尔·迪莫夫斯基。 2 曼努埃尔·Fähndrich 2 Jędrzej Fulara 2 格雷姆·恒河 2 圣埃芬·高伯特 2 劳雷·贡诺德 2 让·古鲍特·拉雷克 2 苏米特·古尔瓦尼 2 阿什图什·古普塔 2 尼古拉斯·哈尔巴赫斯 2 Heo，Kihong先生 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 Jakubczyk、Krzysztof 2 雅克·亨利·乔尔丹 2 Joost-Pieter卡托恩 2 科瓦奇，劳拉·伊尔迪科 2 斯特凡·科瓦列夫斯基 2 Legay、Axel 2 利贝蒂，利奥 2 鲁帕克·马朱姆达尔 2 马凯曼 2 法布里齐奥·马里内利 2 伊莎贝拉·马斯特罗埃尼 2 劳伦特·莫博涅 2 玛丽亚·希亚拉（Maria Chiara Meo） 2 安德烈亚·米凯利 2 保罗·米拉佐 2 玛丽亚诺·莫斯卡托（Mariano M.Moscato）。 2 安东尼·约瑟夫·纳卡维奇 2 奥德·帕顿 2 Sylvie推杆 2 对手，泽维尔 2 皮埃尔·鲁克斯 2 安德烈·里巴尔琴科 2 吉多·斯卡特纳 2 彼得·沙赫特 2 彼得·施拉梅尔 2 弗朗西丝卡·斯科扎里 2 罗伯托·塞巴斯蒂亚尼 2 亚萨米娜·塞拉吉 2 斯蒂芬·西格尔（Stephen F.Siegel）。 2 迈克尔·J·A·史密斯。 2 哈拉尔德·森德加德 2 彼得·詹姆斯·斯塔基 2 劳拉·蒂托洛 2 迪夫耶什·乌纳德卡特 2 阿尔瓦罗·贝拉斯克斯 2 库马尔·内拉吉（Kumar Neeraj Verma） 2 杨红seok …和312多位作者 全部的 前5名33篇连载文章中引用 23 系统设计中的形式化方法 13 自动推理杂志 10 理论计算机科学 5 计算机语言、系统和结构 4 符号计算杂志 4 信息与计算 4 程序设计中的逻辑和代数方法杂志 三 信息学报 三 高阶与符号计算 三 逻辑与代数程序设计杂志 三 计算机科学中的数学 2 人工智能 2 计算机程序设计科学 2 计算的形式方面 2 数学与人工智能年鉴 2 逻辑程序设计理论与实践 1 《Reine and Angewandte Mathematik杂志》 1 编程和计算机软件 1 订单 1 SIAM离散数学杂志 1 MSCS公司。计算机科学中的数学结构 1 全球优化杂志 1 国际计算机数学杂志 1 非线性科学杂志 1 函数编程杂志 1 约束条件 1 计算系统理论 1 优化方法和软件 1 组合优化期刊 1 SIAM应用动力系统杂志 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 数学 全部的 前5名在20个字段中引用 182 计算机科学（68至XX） 24 数值分析（65-XX） 23 运筹学、数学规划（90-XX） 19 数学逻辑和基础（03-XX） 8 信息与通信理论、电路（94-XX） 5 系统论；控制（93至XX） 4 凸和离散几何（52至XX） 4 生物学和其他自然科学（92-XX） 三 概率论与随机过程（60-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 阶、格、有序代数结构（06-XX） 2 代数几何（14-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 交换代数（13-XX） 1 实际功能（26年X月X日） 1 偏微分方程（35-XX） 1 动力系统和遍历理论（37至XX） 1 统计学（62-XX） 按年份列出的引文