编辑配置文件（在新选项卡中打开） 卢、袁 合著者距离 作者ID： 卢元 发布日期： 卢、袁 编入索引的文档： 35出版物自1999年以来，包括3额外的arXiv预印本 合著者： 41位合著者具有28联合出版物 1235联合作者 全部的 前5名合著者 4 单作者的 10 庞丽萍 7 夏遵全 5 黄、明 5 黄鹏 5 王伟 5 曾桂华 三 克拉克（Edmund Melson jun Clarke）。 三 Jha，萨默什 三 梁锡军 2 奥尔纳·格伦伯格 2 何广强 2 李丹 2 沈杰 2 赫尔穆特·维思 1 伊夫·邦坦普斯 1 埃米娜·塞利克 1 梅尔贝克Chshiev 1 方、健 1 巴拉吉·戈帕兰 1 郭芳芳 1 大卫·哈雷 1 米歇尔·亨 1 约瑟夫·卡茨。 1 希勒尔·库格勒 1 丹尼尔·拉库尔 1 刘京能 1 吕振梁 1 罗美菊 1 弗朗索瓦州蒙田 1 阿米尔·普努利 1 孙杰 1 唐强 1 科里奥兰·提桑 1 Van Wie，David M。 1 克里斯托弗·沃特林 1 王栋（Wang，Dong） 1 王桂玲 1 张敏 1 张颖 1 朱军 1 朱军 全部的 前5名系列 2 计算与应用数学杂志 2 应用数学杂志 2 国际量子信息杂志 2 太平洋优化杂志 2 数学研究杂志 1 《物理快报》。A类 1 应用数学和力学。（英文版） 1 应用数学学报。英语系列 1 流体物理学 1 工程中的数学问题 1 摘要与应用分析 1 美国医学会杂志 1 远东数学科学杂志 1 辽宁师范大学学报。自然科学版 1 物理评论 1 国际纯粹与应用数学杂志 1 应用数学与计算杂志 1 工业与管理优化杂志 1 集值和变分分析 1 应用数学与计算科学 1 应用数学与信息学杂志 1 物理学年鉴 全部的 前5名领域 12 运筹学、数学规划（90-XX） 10 数值分析（65-XX） 6 量子理论（81-XX） 5 变分法与最优控制；最优化（49至XX） 5 计算机科学（68至XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 4 信息与通信理论、电路（94-XX） 三 凸几何和离散几何（52至XX） 2 数学逻辑和基础（03-XX） 2 实际功能（26年X月X日） 1 偏微分方程（35-XX） 1 欧氏空间的调和分析（42至XX） 1 积分方程（45-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 流体力学（76-XX） 1 光学、电磁理论（78-XX） 1 相对论和引力理论（83至XX） 1 天文学和天体物理学（85-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用347中的次311文件 引用人▼ 年份▼ 反例引导的抽象细化。 Zbl 0974.68517号 埃德蒙·克拉克;奥尔纳·格隆伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 166 2000 用于符号模型检查的反例引导抽象细化。 Zbl 1325.68145号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 124 2003 使用高斯调制压缩态的量子身份认证。 Zbl 1219.81085号 黄鹏;朱军;卢、袁;曾桂华 14 2011 基于场景的规范的时间逻辑。 Zbl 1087.68596号 希勒尔·库格勒;大卫·哈雷;阿米尔·普努利;卢、袁;伊夫·邦坦普斯 8 2005 凸极小化的近似分解算法。 兹比尔1190.65098 卢、袁;彭丽萍;梁锡军;夏、遵泉 6 2010 Dumbo-MVBA：最佳多值验证异步拜占庭协议，重温。 Zbl 07323178号 卢、袁;吕振梁;唐强;王桂玲 6 2020 约束非光滑凸规划的超线性空间分解算法。 Zbl 1226.65056号 卢、袁;彭丽萍;郭方芳;夏，尊权 5 2010 一种用于非凸特征值优化的快速空间分解方案。 Zbl 1360.90212号 黄、明;彭丽萍;卢、袁;夏，尊权 5 2017 求解任意特征值优化的丛格式。 Zbl 1364.49016号 黄、明;梁锡军;卢、袁;彭丽萍 4 2017 一种带误差的凸不可微极小化分解算法。 Zbl 1235.65066号 卢、袁;彭丽萍;沈洁;梁锡军 三 2012 二阶锥规划问题的（{mathcal{VU}}）分解方法。 Zbl 1186.49013号 卢、袁;庞丽萍;夏遵全 2 2010 一类随机互补问题期望残差最小化模型的性质。 Zbl 1266.65103号 罗美菊;卢、袁 2 2013 一种新的非确定性线性光学无损双量子比特相位门方案。 Zbl 1235.81051号 黄鹏;Lu，袁;曾桂华 1 2010 抽象BDD：一种在模型检查中使用抽象的技术。 Zbl 0949.68105号 埃德蒙·克拉克;Jha，萨默什;卢、袁;王栋（Wang，Dong） 1 1999 Dumbo-MVBA：最佳多值验证异步拜占庭协议，重温。 Zbl 07323178号 卢、袁;吕振梁;唐强;王桂玲 6 2020 一种用于非凸特征值优化的快速空间分解方案。 Zbl 1360.90212号 黄、明;彭丽萍;卢、袁;夏，尊权 5 2017 求解任意特征值优化的束格式。 Zbl 1364.49016号 黄、明;梁锡军;卢、袁;彭丽萍 4 2017 一类随机互补问题期望残差最小化模型的性质。 Zbl 1266.65103号 罗美菊;卢、袁 2 2013 一种带误差的凸不可微极小化分解算法。 Zbl 1235.65066号 卢、袁;彭丽萍;沈洁;梁锡军 三 2012 使用高斯调制压缩态的量子身份认证。 Zbl 1219.81085号 黄鹏;朱军;卢、袁;曾桂华 14 2011 凸最小化的一种近似分解算法。 Zbl 1190.65098号 卢、袁;彭丽萍;梁锡军;夏，尊权 6 2010 约束非光滑凸规划的超线性空间分解算法。 Zbl 1226.65056号 卢、袁;彭丽萍;郭方芳;夏，尊权 5 2010 二阶锥规划问题的（{mathcal{VU}}）分解方法。 Zbl 1186.49013号 卢、袁;庞丽萍;夏遵全 2 2010 一种新的非确定性线性光学无损双量子比特相位门方案。 Zbl 1235.81051号 黄鹏;卢、袁;曾桂华 1 2010 基于场景的规范的时间逻辑。 Zbl 1087.68596号 希勒尔·库格勒;大卫·哈雷;阿米尔·普努利;卢、袁;伊夫·邦坦普斯 8 2005 用于符号模型检查的反例引导抽象细化。 Zbl 1325.68145号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 124 2003 反例引导的抽象细化。 Zbl 0974.68517号 埃德蒙·克拉克;奥尔纳·格伦伯格;Jha，萨默什;卢、袁;赫尔穆特·维思 166 2000 抽象BDD：一种在模型检查中使用抽象的技术。 Zbl 0949.68105号 埃德蒙·克拉克;Jha，萨默什;Lu，袁;王栋（Wang，Dong） 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名735位作者引用 9 丹尼尔·科宁 8 黄、明 7 奥尔纳·格伦伯格 6 段振华 6 伊戈尔·康诺夫（Igor V.Konnov）。 6 田聪 6 张楠 5 克拉克，埃德蒙·梅尔森·琼。 5 戴桂平 5 罗伯托·贾科巴齐 5 马蒂·Järvisalo 5 奥尔纳·库普弗曼 5 庞丽萍 5 娜塔莎·莎莉吉娜 5 斯特凡诺·托内塔 5 王勇 4 亚历山德罗·西马蒂 4 米科拉什·亚诺塔 4 诺里希罗·卡米德 4 金·古德斯特兰·拉森 4 伊斯特万，马吉齐克 4 若昂·席尔瓦侯爵。 4 安德烈亚斯·波德尔斯基 4 约翰·彼得·沃纳 4 约瑟夫·威德 4 夏遵全 4 袁金龙 三 埃蒂安·安德烈 三 阿夫尼，盖伊 三 德克·拜尔 三 萨加·查基 三 托马斯·艾特 三 格里戈里·费迪尤科维奇 三 戈兰·弗雷斯 三 约翰·加拉赫（John P.Gallagher）。 三 阿尔贝托·格里乔 三 阿尔蒂·古普塔 三 阿里·古芬克尔 三 阿科斯·哈伊杜 三 霍尼克，约琴 三 尼尔斯·詹森 三 Joost-Pieter卡托恩 三 梁锡军 三 卢、袁 三 伊莎贝拉·马斯特罗埃尼 三 安德烈亚斯·尼斯卡宁 三 科琳娜·s·佩斯勒诺。 三 弗朗西斯科·兰扎托 三 安德烈·里巴尔琴科 三 施密特，大卫·A。 三 沙龙·肖姆 三 孙骏 三 塔马斯·托特 三 赫尔穆特·维思 三 安德拉斯·Vörös 三 乔治·威森巴赫 2 艾丽卡·阿尔布拉汉姆 2 拉杰夫·阿鲁尔 2 塔马斯·巴塔 2 贝恩德·贝克尔 2 弗朗西斯科·贝拉迪内利 2 阿明·比尔 2 罗德里克·布洛姆 2 亚伦·R·布拉德利。 2 Supratik查克拉博蒂 2 玛莎·契契克 2 安德烈亚·科拉迪尼 2 马蒂亚斯·丹格尔 2 克里斯蒂安·德内特 2 玛丽亚·德尔马·加拉多 2 约翰·德里克 2 杜洪伟 2 帕拉萨拉·斯里达尔·达吉拉拉 2 格雷姆·恒河 2 皮埃尔·甘蒂 2 米哈埃拉·盖奥古·博巴鲁 2 米尔科·贾科布 2 迪米特拉·吉安娜科波卢 2 郭莹 2 大卫·哈雷 2 马蒂亚斯·海兹曼 2 凯乔·赫尔扬科 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 阿列克谢·伊格纳提耶夫（Alexey A.Ignatyev）。 2 弗兰乔·伊万契奇 2 希曼舒·杰恩 2 彼得·格约尔·詹森 2 兰吉特·贾拉 2 John，Ajith K。 2 雅克·朱利亚德 2 比肖克桑·卡夫 2 巴巴拉·科尼格 2 奥尔加·库什纳伦科 2 拉胡尔·库马尔 2 马丁·兰格 2 Legay、Axel 2 马丁·勒克 2 李阳 2 林，西达 2 刘，杨 …还有635名作者 全部的 前5名56篇连载文章被引用 36 系统设计中的形式化方法 18 理论计算机科学 14 计算的形式方面 11 人工智能 10 信息与计算 9 国际理论物理杂志 7 编程和计算机软件 6 自动推理杂志 5 逻辑程序设计理论与实践 5 程序设计中的逻辑和代数方法杂志 4 信息学报 4 计算机程序设计科学 4 量子信息处理 三 计算机与系统科学杂志 三 符号计算杂志 三 工业与管理优化杂志 三 非线性分析。混合动力系统 2 Automatica公司 2 计算与应用数学杂志 2 最优化理论与应用杂志 2 计算机科学与技术杂志 2 实时系统 2 摘要与应用分析 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 计算机语言、系统和结构 2 计算机科学中的逻辑方法 2 计算机科学评论 1 国际通用系统杂志 1 信息处理信件 1 哲学逻辑杂志 1 数值函数分析与优化 1 Studia Logica公司 1 订单 1 应用数学学报。英语系列 1 新一代计算 1 亚太运筹学杂志 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 数学编程。A系列B系列 1 控制论与系统分析 1 计算优化与应用 1 逻辑、语言与信息杂志 1 组合数学、概率与计算 1 人工智能研究杂志 1 数学与人工智能年鉴 1 约束条件 1 工程中的数学问题 1 组合优化期刊 1 应用数学杂志 1 国际量子信息杂志 1 中国科学。F系列 1 可满足性、布尔建模与计算杂志 1 科学中国。信息科学 1 游戏 1 中国计算机科学前沿 全部的 前5名在24个字段中引用 268 计算机科学（68至XX） 41 数学逻辑和基础（03-XX） 25 运筹学、数学规划（90-XX） 17 信息与通信理论、电路（94-XX） 14 量子理论（81-XX） 12 系统论；控制（93至XX） 9 博弈论、经济学、金融和其他社会和行为科学（91-XX） 6 数值分析（65-XX） 5 组合数学（05-XX） 5 变分法与最优控制；最优化（49至XX） 4 线性代数和多线性代数；矩阵理论（15-XX） 4 概率论与随机过程（60-XX） 三 生物学和其他自然科学（92-XX） 2 阶、格、有序代数结构（06-XX） 2 范畴理论；同调代数（18-XX） 2 常微分方程（34-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 数论（11-XX） 1 代数几何（14-XX） 1 群论与推广（20-XX） 1 凸几何和离散几何（52至XX） 1 一般拓扑结构（54至XX） 1 统计学（62-XX） 按年份列出的引文