编辑配置文件（在新选项卡中打开） 李伟 合著者距离 作者ID： 李伟.4 发布日期： 李伟;李，W。 主页： https://www.chinavitae.com/biography/Li_Wei%7C2898 外部链接： MGP公司·维基数据·数据库许可证·接地·ID参考 已编制索引的文档： 57出版物自1983年以来，包括6本书 2作为编辑的贡献 合著者： 50位合著者具有46联合出版物 2127名合作作者 全部的 前5名合著者 13 单作者的 8 隋、岳飞 7 罗杰 5 徐，柯 4 蒋东晨 4 栾尚民 三 马士龙 三 郑志明 2 戴国忠 2 朝阳市东 2 郭炳辉 2 黄文奇 2 蒋欣 2 林，左权 2 娄以华 2 王东明 2 王青 2 魏，魏 1 安娜·玛丽亚·比加蒂 1 弗朗西斯科·博塔纳 1 陈晓宇 1 达纳·皮卡德、蒂埃里·诺亚 1 费利佩·加戈 1 高一滩 1 轩尼诗，Matthew C.B。 1 黄，熊 1 都铎Jebelean 1 金、易 1 科齐里亚斯（Ilias S.Kotsireas）。 1 曼纽尔·拉德拉·冈萨雷斯 1 彼得·恩斯特·劳尔 1 李，何 1 李宁 1 廖正中 1 刘向龙 1 吕凯 1 妈妈，莉莉 1 沈宁川 1 盛浩 1 苏凯乐 1 孙美英 1 唐少廷 1 田波 1 王，胡安 1 王彤 1 熊，张 1 张东墨 1 张，肖 1 张湛丽 1 郑、梁 1 朱武佳 全部的 前5名系列 9 计算机科学与技术杂志 9 科学中国。信息科学 4 中国的科学。系列A 4 中国的科学。F系列 4 形式归纳、修订和演变的视角 三 中国的科学。E系列 三 计算机科学前沿 2 离散应用数学 2 符号计算杂志 2 计算机科学与应用逻辑进展 1 理论计算机科学 1 人工智能研究杂志 1 数学与人工智能年鉴 1 计算机基础理论 1 国际现代物理杂志C 1 IEEE图像处理汇刊 1 东北大学学报。自然科学 1 软件杂志 1 控制和决策 1 计算机科学中的数学 全部的 前5名领域 46 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 三 一般性和全局性主题；集合（00-XX） 三 信息与通信理论、电路（94-XX） 2 统计学（62-XX） 2 系统论；控制（93至XX） 1 组合数学（05-XX） 1 场论和多项式（12-XX） 1 偏微分方程（35-XX） 1 几何图形（51至XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 31出版物有被引用140次92文件 引用人▼ 年份▼ 随机约束满足问题中的精确相变。 Zbl 0940.68099号 Xu，K。;李伟 46 2000 精确相变中的许多困难示例。 Zbl 1088.68163号 徐，柯;李伟 28 2006 数学逻辑。信息科学基础。 Zbl 1185.03001号 李伟 6 2010 计算Horn子句最大收缩的算法。 Zbl 1229.03015号 罗杰;李伟 5 2011 开放的逻辑系统。 Zbl 0771.68097号 李伟 4 1993 半正规缺省理论扩展的计算。 Zbl 0945.68162号 苏凯乐;李伟 4 1999 可满足性问题的数学物理方法。 Zbl 0817.68091号 李伟;黄文奇 4 1995 对-没有切割规则的微积分。 Zbl 1267.03040号 罗杰;李伟 4 2011 规范的开发演算。 Zbl 1161.68573号 李伟 4 2003 科学发现的逻辑验证。 Zbl 1497.03044号 李伟 4 2010 开放几何教科书：通过集体智慧获取知识的案例研究（项目描述）。 Zbl 1360.68804号 陈晓宇;李伟;罗杰;王东明 三 2012 知识库维护的逻辑框架。 Zbl 0837.68114号 李伟 三 1995 修改知识库的可编程方法。 Zbl 1161.68788号 栾尚民;戴国忠;李伟 三 2005 软件可信度的动态特征及其进化复杂性。 Zbl 1192.68149号 郑志明;马士龙;李伟;魏，魏;蒋欣;张占利;郭炳辉 2 2009 SAT相变。 Zbl 1002.68070号 徐，柯;李伟 2 1999 具有符号计算的布鲁塞尔反应扩散模型的相似约简和可积性。 Zbl 1079.35049号 田波;李伟;高一滩 2 2003 随机约束满足问题回溯的平均分析。 Zbl 1314.68165号 徐，柯;李伟 2 2001 程序调试的正式语义。 Zbl 1245.68068号 李伟;李宁 1 2012 软件可信度的复杂性及其动态统计分析方法。 Zbl 1186.62128号 郑志明;马士龙;李伟;蒋欣;魏，魏;妈妈，莉莉;唐少廷 1 2009 关于（k）-正可满足性问题。 Zbl 1084.68889号 黄，熊;李伟 1 1999 自动算法设计的增量方法。 Zbl 0979.68566号 栾尚民;李伟 1 1999 归纳推理的逻辑框架及其合理性。 Zbl 0952.03027号 李伟 1 1999 维护有限知识库的可编程方法。 Zbl 1025.68033号 栾尚敏;戴国忠;李伟 1 2003 关于随机（k）-SAT和随机CSP解之间的平均相似度。 Zbl 1074.68025号 徐，柯;李伟 1 2004 软件可信度属性的优化统计分析。 Zbl 1270.68094号 张，肖;李伟;郑志明;郭炳辉 1 2012 将ADA子集转换为CCS。 Zbl 0512.68019号 轩尼诗，M.C.B。;李，W。 1 1983 具有短延迟和数据包丢失的网络控制系统的鲁棒（H_\infty）控制。 Zbl 1313.93054号 李伟;王青;董朝阳 1 2014 数学逻辑。信息科学基础。第二次修订和扩展版。 Zbl 1334.03001号 李伟 1 2014 一种带时间表的立方体装箱启发式算法。 Zbl 1497.05031号 李伟;黄文奇;蒋东晨;刘向龙 1 2010 需求捕获理论及其应用。 Zbl 1497.68315号 李伟 1 1993 一种基于典型模型的最大收缩算法。 Zbl 1488.68089号 蒋东晨;娄以华;金、易;罗杰;李伟 1 2013 具有短延迟和数据包丢失的网络控制系统的鲁棒（H_\infty）控制。 Zbl 1313.93054号 李伟;王青;朝阳市东 1 2014 数学逻辑。信息科学基础。第二次修订和扩展版。 Zbl 1334.03001号 李伟 1 2014 一种基于典型模型的最大收缩算法。 Zbl 1488.68089号 蒋东晨;娄以华;金、易;罗杰;李伟 1 2013 开放几何教科书：通过集体智慧获取知识的案例研究（项目描述）。 Zbl 1360.68804号 陈晓宇;李伟;罗杰;王东明 三 2012 程序调试的正式语义。 Zbl 1245.68068号 李伟;李宁 1 2012 软件可信度属性的优化统计分析。 Zbl 1270.68094号 张，肖;李伟;郑志明;郭炳辉 1 2012 计算Horn子句最大收缩的算法。 Zbl 1229.03015号 罗杰;李伟 5 2011 对-没有切割规则的微积分。 兹比尔1267.03040 罗杰;李伟 4 2011 数学逻辑。信息科学基础。 Zbl 1185.03001号 李伟 6 2010 科学发现的逻辑验证。 Zbl 1497.03044号 李伟 4 2010 一种带时间表的立方体装箱启发式算法。 Zbl 1497.05031号 李伟;黄文奇;蒋东晨;刘向龙 1 2010 软件可信度的动态特征及其演化复杂性。 Zbl 1192.68149号 郑志明;马士龙;李伟;魏，魏;蒋欣;张湛丽;郭炳辉 2 2009 软件可信度的复杂性及其动态统计分析方法。 Zbl 1186.62128号 郑志明;马士龙;李伟;蒋欣;魏，魏;妈妈，莉莉;唐少廷 1 2009 精确相变中的许多困难示例。 Zbl 1088.68163号 徐，柯;李伟 28 2006 修改知识库的可编程方法。 Zbl 1161.68788号 栾尚民;戴国忠;李伟 三 2005 关于随机（k）-SAT和随机CSP解之间的平均相似度。 Zbl 1074.68025号 徐，柯;李伟 1 2004 规范的开发演算。 Zbl 1161.68573号 李伟 4 2003 具有符号计算的布鲁塞尔反应扩散模型的相似约简和可积性。 Zbl 1079.35049号 田波;李伟;高一滩 2 2003 一种维护有限知识库的可编程方法。 Zbl 1025.68033号 栾尚敏;戴国忠;李伟 1 2003 随机约束满足问题回溯的平均分析。 Zbl 1314.68165号 徐，柯;李伟 2 2001 随机约束满足问题中的精确相变。 Zbl 0940.68099号 Xu，K。;李伟 46 2000 半正规缺省理论扩展的计算。 Zbl 0945.68162号 苏凯乐;李伟 4 1999 SAT相变。 Zbl 1002.68070号 徐，柯;李伟 2 1999 关于（k）-正可满足性问题。 Zbl 1084.68889号 黄，熊;李伟 1 1999 自动算法设计的增量方法。 Zbl 0979.68566号 栾尚民;李伟 1 1999 归纳推理的逻辑框架及其合理性。 Zbl 0952.03027号 李伟 1 1999 可满足性问题的数学物理方法。 Zbl 0817.68091号 李伟;黄文奇 4 1995 知识库维护的逻辑框架。 Zbl 0837.68114号 李伟 三 1995 开放的逻辑系统。 Zbl 0771.68097号 李伟 4 1993 需求捕获理论及其应用。 Zbl 1497.68315号 李伟 1 1993 将ADA子集转换为CCS。 Zbl 0512.68019号 轩尼诗，M.C.B。;李，W。 1 1983 所有引用出版物 前5名被引用出版物 全部的 前5名151位作者引用 17 李伟 10 徐，柯 6 罗杰 6 尹明浩 5 苏凯乐 4 蔡少伟 4 高宗生 4 黄文奇 4 刘，田 4 徐伟 4 郑志明 4 周广燕 4 周俊平 三 刘军 三 沈静 2 乔安加洛维奇，Mirjana M。 2 陈洁江 2 纳迪亚·克里诺 2 达乌德，赫韦 2 范，云 2 塞萨尔·费尔南德斯。 2 高勇 2 龚，福州 2 黄平 2 Kovačević-Vujčić，维拉·V。 2 乔泽夫·奎蒂卡。 2 克利斯朵夫·勒库特 2 栾尚民 2 马士龙 2 佩德罗·夸雷斯马 2 苏维华 2 田波 2 王一元 2 张伟 2 张，肖 2 张哲 2 赵春燕 1 埃里克·阿尔方斯 1 卡洛斯·安索特吉 1 拉蒙·贝加尔 1 贝莱德·本哈莫 1 克里斯蒂安·贝西尔 1 马赫迪·比达尔 1 法国布赛马 1 陈晓宇 1 哈罗德·康纳马赫。 1 戴国忠 1 马西米利亚诺·迪文特拉 1 纪尧姆·埃斯卡莫彻 1 方志文 1 冯春辉 1 亚伯拉罕·弗拉克斯曼。 1 傅彦荣 1 法比奥·富里尼 1 高晓天 1 Gao，益田 1 卡拉·戈麦斯。 1 郭炳辉 1 郭文胜 1 哈米德·哈塔米 1 何坤 1 弗雷德·海默里 1 胡舒立 1 胡晓毅 1 黄文轩 1 威廉·N·洪。 1 季佳 1 蒋东晨 1 姜浩 1 姜华 1 蒋伟 1 蒋欣 1 姜新文 1 金仁超 1 刘晓忠 1 拉斐尔·莱昂 1 李楚敏 1 李，何 1 李祥涛 1 李欣 1 廖磊 1 廖正中 1 林，左权 1 刘少凡 1 娄以华 1 吕、中大 1 罗，川 1 罗文建 1 妈妈，莉莉 1 马志强 1 马努基安，哈伊克 1 卡莱斯·马图 1 迈克尔·S·O·莫洛伊。 1 马利克·穆胡布 1 奥马尔·奥斯马尼 1 巴里·奥沙利文 1 巴黎，莱昂内尔 1 裴、严儒 1 彭伟 1 戈登·普洛金（Gordon D.Plotkin）。 …还有51位作者 全部的 前5名34篇连载文章中引用 9 科学中国。信息科学 8 人工智能 6 理论计算机科学 6 计算机科学与技术杂志 4 中国的科学。E系列 4 组合优化期刊 三 中国的科学。F系列 三 计算机科学前沿 2 离散应用数学 2 离散数学 2 信息处理信件 2 生理学A 2 信息与计算 2 国际计算机科学基础杂志 2 欧洲运筹学杂志 2 约束条件 2 工程中的数学问题 2 统计力学杂志：理论与实验 2 计算机科学中的数学 1 机械学报 1 数学分析与应用杂志 1 混沌、孤立子和分形 1 信息科学 1 应用数学学报。英语系列 1 计算机与运筹学 1 自动推理杂志 1 随机结构与算法 1 国际计算机数学杂志 1 计算优化与应用 1 人工智能研究杂志 1 信息计算杂志 1 逻辑与代数程序设计杂志 1 机器学习研究杂志（JMLR） 1 SN运营研究论坛 全部的 前5名19个领域引用 73 计算机科学（68至XX） 15 数学逻辑和基础（03-XX） 13 运筹学、数学规划（90-XX） 8 组合数学（05-XX） 4 统计力学，物质结构（82-XX） 2 凸和离散几何（52至XX） 2 统计学（62-XX） 2 流体力学（76-XX） 1 有序，格，有序代数结构（06-XX） 1 场论和多项式（12-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 偏微分方程（35-XX） 1 几何图形（51至XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 光学、电磁理论（78-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的知识共享CC0许可证.应进行更新和更正在Wikidata中.