编辑配置文件（在新选项卡中打开） 鲁克斯，皮埃尔 合著者距离 作者ID： 鲁克斯·皮埃尔 发布日期： 鲁克斯，皮埃尔 已编制索引的文档： 22出版物自2000年以来，包括1个附加arXiv预打印 合著者： 23位合著者具有18联合出版物 737合著作者 全部的 前5名合著者 2 单作者的 5 皮埃尔·洛伊奇 三 罗曼·乔布雷多 2 何塞·安东尼奥·卡里略·德拉普拉塔 2 埃里克·费龙 2 丹妮尔·希尔霍斯特 2 埃里克·马丁·多雷尔 2 萨尔特，Delphine 2 桑卡拉纳拉亚南，斯里拉姆 2 苏珊娜·索莱姆 2 元朗沃罗宁 1 Bertholon，Guillaume纪尧姆 1 马克·博伊尔 1 Cáceres，María-José 1 拉法·塞林斯基 1 Sylvain Conchon公司 1 雨果·戴格莫特 1 弗洛里安·菲乔特 1 多米尼克·戈宾 1 Benoit Goyeau公司 1 穆罕默德·伊格伦拉拉 1 威廉·库珀曼（William A.Kuperman）。 1 亚历克西斯·Léculier 1 纪尧姆·梅尔金德 1 三村，Masayasu 1 迈克尔·波特。 1 戴维·普赫梅尔 1 米歇尔·昆塔尔 1 施耐德、里卡达 1 Timothy E.王。 全部的 前5名系列 2 自动推理杂志 2 系统设计中的形式化方法 1 国际传热传质杂志 1 波浪运动 1 微分方程杂志 1 数学应用学报 1 物理D 1 偏微分方程中的通信 1 离散和连续动力系统。S系列 1 动力学及相关模型 1 形式化推理杂志 全部的 前5名领域 13 计算机科学（68至XX） 6 偏微分方程（35-XX） 6 运筹学、数学规划（90-XX） 6 生物学和其他自然科学（92-XX） 5 数值分析（65-XX） 4 系统论；控制（93至XX） 三 统计力学，物质结构（82-XX） 2 经典热力学，传热（80-XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用39中的次32文件 引用人▼ 年份▼ 线性时不变系统的通用椭球抽象域。 Zbl 1362.93065号 鲁克斯，皮埃尔；罗曼·乔布雷多；皮埃尔·洛伊奇；埃里克·费伦 8 2012 具有突触延迟的NNLIF神经元模型的全局时间解和定性性质。 Zbl 1423.35148号 Cáceres，María J。；鲁克斯，皮埃尔；萨尔特，Delphine；施耐德、里卡达 7 2019 舍入误差界的形式证明。应用于自动肯定性检查。 Zbl 1409.68263号 鲁克斯，皮埃尔 5 2016 验证多项式不变量的数值半定规划求解器。 Zbl 1394.68085号 鲁克斯，皮埃尔；元朗沃罗宁；桑卡拉纳拉亚南，斯里拉姆 4 2016 在抽象解释器中集成策略迭代。 Zbl 1410.68078号 鲁克斯，皮埃尔；皮埃尔·洛伊奇 三 2013 验证多项式不变量的数值半定规划求解器。 兹比尔1425.68081 鲁克斯，皮埃尔；元朗沃罗宁；桑卡拉纳拉亚南，斯里拉姆 三 2018 对基本算术运算进行无害的双重取整。 Zbl 1451.65061号 鲁克斯，皮埃尔 2 2014 趋化性PDE模型的数学处理大肠杆菌聚居地。 Zbl 1457.35089号 拉法·塞林斯基；丹妮尔·希尔霍斯特；格热戈兹·卡奇；三村，Masayasu；鲁克斯，皮埃尔 2 2021 柱状凝固的化学非平衡模型。 Zbl 1113.80324号 鲁克斯，P。；戈耶乌，B。；D.戈宾。；费肖特，F。；昆塔尔，M。 1 2006 控制命令软件的闭环分析。 兹比尔1364.93504 鲁克斯，皮埃尔；罗曼·乔布雷多；皮埃尔·洛伊奇 1 2015 在模型和代码级别对健壮性进行形式化分析。 Zbl 1364.93249号 Timothy E.王。；皮埃尔·洛伊奇；鲁克斯，皮埃尔；罗曼·乔布雷多；埃里克·费伦 1 2016 实际政策迭代。静态分析中策略迭代的实际应用：二次型情况。 Zbl 1341.68031号 鲁克斯，皮埃尔；皮埃尔·洛伊奇 1 2015 进一步理解兴奋性NNLIF神经元模型的动力学：放大和全局存在。 Zbl 1505.35338号 鲁克斯，皮埃尔；萨尔特，Delphine 1 2021 基本体在Coq中浮动。 Zbl 07649956号 纪尧姆·贝托伦；埃里克·马丁·多雷尔；鲁克斯，皮埃尔 1 2019 趋化性PDE模型的数学处理大肠杆菌聚居地。 Zbl 1457.35089号 拉法·塞林斯基；丹妮尔·希尔霍斯特；格热戈兹·卡奇；三村，Masayasu；鲁克斯，皮埃尔 2 2021 进一步理解兴奋性NNLIF神经元模型的动力学：放大和全局存在。 Zbl 1505.35338号 鲁克斯，皮埃尔；萨尔特，Delphine 1 2021 具有突触延迟的NNLIF神经元模型的全局时间解和定性性质。 Zbl 1423.35148号 Cáceres，María J。；鲁克斯，皮埃尔；萨尔特，Delphine；施耐德、里卡达 7 2019 基本体在Coq中浮动。 Zbl 07649956号 纪尧姆·贝托伦；埃里克·马丁·多雷尔；鲁克斯，皮埃尔 1 2019 验证多项式不变量的数值半定规划求解器。 兹比尔1425.68081 鲁克斯，皮埃尔；元朗沃罗宁；桑卡拉纳拉亚南，斯里拉姆 三 2018 舍入误差界的形式证明。应用于自动肯定性检查。 Zbl 1409.68263号 鲁克斯，皮埃尔 5 2016 验证多项式不变量的数值半定规划求解器。 Zbl 1394.68085号 鲁克斯，皮埃尔；元朗沃罗宁；桑卡拉纳拉亚南，斯里拉姆 4 2016 对模型和代码级别的健壮性进行形式化分析。 Zbl 1364.93249号 Timothy E.王。；皮埃尔·洛伊奇；鲁克斯，皮埃尔；罗曼·乔布雷多；埃里克·费伦 1 2016 控制命令软件的闭环分析。 Zbl 1364.93504号 鲁克斯，皮埃尔；罗曼·乔布雷多；皮埃尔·洛伊奇 1 2015 实际政策迭代。静态分析中策略迭代的实际应用：二次型情况。 Zbl 1341.68031号 鲁克斯，皮埃尔；皮埃尔·洛伊奇 1 2015 对基本算术运算进行无害的双重取整。 Zbl 1451.65061号 鲁克斯，皮埃尔 2 2014 在抽象解释器中集成策略迭代。 Zbl 1410.68078号 鲁克斯，皮埃尔；皮埃尔·洛伊奇 三 2013 线性时不变系统的通用椭球抽象域。 Zbl 1362.93065号 鲁克斯，皮埃尔；罗曼·乔布雷多；皮埃尔·洛伊奇；埃里克·费伦 8 2012 柱状凝固的化学非平衡模拟。 Zbl 1113.80324号 鲁克斯，P。；戈耶乌，B。；D.戈宾。；费肖特，F。；昆塔尔，M。 1 2006 所有引用的出版物 前5名被引用出版物 全部的 前5名78位作者引用 6 鲁克斯，皮埃尔 5 皮埃尔·洛伊奇 三 阿萨勒阿杰 三 安德烈·普拉泽 三 Tan，Yong Kiam先生 2 阿兰·布劳斯汀 2 埃里克·马丁·多雷尔 2 纪尧姆·梅尔金德 2 斯特凡·米奇 2 桑卡拉纳拉亚南，斯里拉姆 2 赫尔穆特·塞德尔 2 安德鲁·索戈孔 2 周振南 1 亚历山德罗·阿巴特 1 Dany Abou Jaoude 1 西蒙·巴尔迪 1 斯蒂芬·贝克尔。 1 本·萨西，穆罕默德·阿明 1 纪尧姆·贝托伦 1 伊奥里·贝萨 1 西尔维·博尔多 1 鲍因，金刚砂 1 Cáceres，María-José 1 陈明帅 1 卢卡斯·科迪罗 1 凯瑟琳·科德威尔 1 科米尔，昆廷 1 科斯塔，马斯特森 1 克劳迪奥·库埃瓦斯 1 伊娃·达鲁洛娃 1 克里斯蒂娜·大卫 1 弗洛里安·费索尔 1 法胡德，马赞 1 埃里克·费龙 1 托马斯·马丁·高利察 1 哈利勒·戈尔巴尔 1 杰西卡·格伦斯基。 1 一郎·哈索 1 何青 1 Henrion，Didier迪迪埃 1 尼古拉斯·海姆。 1 丹妮尔·希尔霍斯特 1 胡景伟 1 石井、大辅 1 阿纳斯塔西亚·伊齐切娃 1 克劳德·皮埃尔·珍妮罗德 1 罗曼·乔布雷多 1 Joost-Pieter卡托恩 1 帕斯卡·凯塞利 1 埃利亚斯·哈利夫 1 基多、肯戈 1 小岛贤介 1 丹尼尔·科宁 1 刘建国 1 维克托·马格伦 1 Jean-Michel穆勒 1 越南，攀盛 1 Yuki西田 1 塔卡马萨·奥库多诺 1 马克·潘特尔 1 伊丽莎白·波尔格林 1 斯里卡拉·普拉内什 1 亚历杭德罗·拉莫斯·洛拉 1 萨尔特，Delphine 1 克莱西乌斯·席尔瓦 1 赫密·索托 1 Kohei Suenaga公司 1 艾蒂安·塔内 1 乐光督安 1 罗曼·维尔茨 1 元朗沃罗宁 1 王秋叶 1 王，Timothy E。 1 王子恒 1 薛、白 1 友仁雅布 1 詹乃军 1 张，袁 全部的 前5名19篇连载文章中引用 5 系统设计中的形式化方法 2 自动推理杂志 2 SIAM科学计算杂志 2 非线性分析。混合动力系统 1 信息学报 1 计算与应用数学杂志 1 微分方程杂志 1 Mathematische Nachrichten数学 1 信息与计算 1 SIAM数学分析杂志 1 随机过程及其应用 1 国际鲁棒非线性控制杂志 1 优化与工程 1 离散和连续动力系统。B系列 1 计算机语言、系统和结构 1 数字学报 1 计算物理中的通信 1 离散和连续动力系统。S系列 1 动力学及相关模型 全部的 前5名在14个字段中引用 19 计算机科学（68至XX） 9 偏微分方程（35-XX） 9 生物学和其他自然科学（92-XX） 8 数值分析（65-XX） 8 系统论；控制（93至XX） 6 运筹学、数学规划（90-XX） 三 概率论与随机过程（60-XX） 三 统计力学，物质结构（82-XX） 1 数理逻辑与基础（03-XX） 1 代数几何（14-XX） 1 常微分方程（34-XX） 1 积分方程（45-XX） 1 算子理论（47-XX） 1 微分几何（53至XX） 按年份列出的引文