编辑配置文件（在新选项卡中打开） 冯新余 合著者距离 作者ID： 凤新余 发布日期： 冯新余 外部链接： MGP公司 已编制索引的文档： 37出版物自1997年起 2作为编辑的贡献 合著者： 43位合著者具有27联合出版物 1451位联合作者 全部的 前5名合著者 三 单作者的 9 邵，钟 5 傅明 5 梁洪进 三 方、岳建 三 李聪 三 沈庆妮 2 曹建农 2 罗德里戈·费雷拉 2 李勇 2 陆健 2 吴中海 2 张瑜 1 蔡洪旭 1 亨利·C·B·陈。 1 陈晓波 1 多兹，迈克 1 董继生 1 董，袁 1 I.S.加特肖。 1 郭瑜 1 詹·菲利普·霍夫曼 1 姜汉如 1 坎坎·金 1 金国勇 1 李丹 1 李锡盟 1 刘雪光 1 刘志明 1 马库斯·穆勒·奥尔姆 1 弗莱明·尼尔森 1 松武公园 1 马修·帕金森。 1 塔拉尔·拉赫曼 1 汉内·里斯·尼尔森 1 Salcudean，M。 1 石、燕 1 Tan、Gang 1 陶贤平 1 维克托·瓦菲亚迪斯 1 Steven A.Velinsky。 1 王，季 1 王佳伟 1 王，叶 1 王忠群 1 肖思阳 1 谢志康 1 杨晓晓 1 杨紫江 1 查俊鹏 1 詹乃军 1 张扬 1 张紫鹏 全部的 前5名系列 三 软件杂志 2 计算机科学课堂讲稿 2 计算机科学前沿 1 机械学报 1 国际多相流杂志 1 国际理论物理杂志 1 信息科学 1 力学研究通讯 1 匈牙利数学学报 1 新一代计算 1 自动推理杂志 1 当代数学分析杂志。亚美尼亚科学院 1 动态系统、测量与控制杂志 1 边界元工程分析 1 现代光学杂志 1 数值数学杂志 1 计算声学杂志 全部的 前5名领域 28 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 4 可变形固体力学（74-XX） 2 总体主题；集合（00-XX） 2 偏微分方程（35-XX） 2 数值分析（65-XX） 2 流体力学（76-XX） 2 系统论；控制（93至XX） 2 信息和通信理论，电路（94-XX） 1 概率论与随机过程（60-XX） 1 粒子和系统力学（70-XX） 1 光学、电磁理论（78-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用70中的次54文件 引用人▼ 年份▼ 非线性演化方程显式解的探索性方法。 Zbl 0962.35033号 X·冯。 29 2000 拒绝保证推理。 Zbl 1234.68075号 多兹，迈克；冯新余；马修·帕金森；维克托·瓦菲亚迪斯 12 2009 局部可靠性保证推理。 兹比尔1315.68088 冯新余 12 2009 并发分离逻辑与假设保证推理的关系。 Zbl 1187.68150号 冯新余；罗德里戈·费雷拉；邵，钟 9 2007 三维紊流通道中纸浆纤维的浓度。 兹比尔1136.76495 东，S。；X·冯。；Salcudean，M。；加特肖尔，I。 9 2003 用硬件中断和抢占线程验证低级程序。 Zbl 1191.68176号 冯新余；邵，钟；郭瑜；董，袁 7 2009 使用历史程序逻辑推理乐观并发。 Zbl 1287.03071号 傅明；李勇；冯新余；邵，钟；张瑜 5 2010 公平调度下并发对象的程序逻辑。 Zbl 1347.68087号 梁洪进；冯新余 5 2016 参数化内存模型和并发分离逻辑。 Zbl 1260.68093号 罗德里戈·费雷拉；冯新余；邵，钟 4 2010 板弯曲问题的加性平均Schwarz方法。 Zbl 1077.74557号 X·冯。；T·拉赫曼。 4 2002 次线性期望下行独立随机变量数组的强极限定理。 Zbl 1449.60047号 X·冯。；Lan，Y。 三 2019 使用动态线程创建和终止对并发汇编代码进行模块化验证。 Zbl 1302.68088号 冯新余；邵，钟 三 2005 并发程序的终止保护细化的组合验证。 Zbl 1392.68258号 梁洪进；冯新余；邵，钟 2 2014 用于验证并发程序转换的基于可靠保证的模拟。 Zbl 1321.68201号 梁洪进；冯新余；傅明 2 2012 形式化方法概述。 Zbl 1438.68030号 王，季；詹乃军；冯新余；刘志明 2 2019 操作发生在记忆模型之前。 兹比尔1403.68028 张扬；冯新余 2 2016 基于改进边界元法的粘性耗散势流模型。 Zbl 1404.76177号 X·冯。；陈晓波；直径，F。 2 2018 更新和分离逻辑薄弱。 Zbl 1251.68050号 Tan、Gang；邵，钟；冯新余；蔡洪旭 1 2011 通过上下文细化描述并发对象的进度属性。 兹比尔1390.68480 梁洪进；简·霍夫曼；冯新余；邵，钟 1 2013 预测变量的结构方法。 Zbl 1354.68181号 张紫鹏；冯新余；傅明；邵，钟；李勇 1 2012 用于通信过程的分离信息流。 Zbl 1457.68017号 李锡盟；弗莱明·尼尔森；尼尔森、汉内·里斯；冯新余 1 2016 完全安全的基于隐藏密文策略属性的代理重新加密。 Zbl 1437.68052号 冯新余；李聪；李丹；方、岳建；沈庆妮 1 2018 次线性期望下行独立随机变量数组的强极限定理。 Zbl 1449.60047号 X·冯。；Lan，Y。 三 2019 形式化方法概述。 Zbl 1438.68030号 王，季；詹乃军；冯新余；刘志明 2 2019 基于改进边界元法的粘性耗散势流模型。 Zbl 1404.76177号 X·冯。；陈晓波；直径，F。 2 2018 完全安全的基于隐藏密文策略属性的代理重新加密。 Zbl 1437.68052号 冯新余；李聪；李丹；方、岳建；沈庆妮 1 2018 公平调度下并发对象的程序逻辑。 Zbl 1347.68087号 梁洪进；冯新余 5 2016 操作发生在记忆模型之前。 Zbl 1403.68028号 张扬；冯新余 2 2016 用于通信过程的分离信息流。 Zbl 1457.68017号 李锡盟；弗莱明·尼尔森；尼尔森、汉内·里斯；冯新余 1 2016 并发程序的终止保护细化的组合验证。 Zbl 1392.68258号 梁洪进；冯新余；邵，钟 2 2014 通过上下文细化描述并发对象的进度属性。 兹比尔1390.68480 梁洪进；简·霍夫曼；冯新余；邵，钟 1 2013 用于验证并发程序转换的基于可靠保证的模拟。 Zbl 1321.68201号 梁洪进；冯新余；傅明 2 2012 预测变量的结构方法。 Zbl 1354.68181号 张紫鹏；冯新余；傅明；邵，钟；李勇 1 2012 更新和分离逻辑薄弱。 Zbl 1251.68050号 Tan、Gang；邵，钟；冯新余；蔡洪旭 1 2011 使用历史程序逻辑对乐观并发进行推理。 Zbl 1287.03071号 傅明；李勇；冯新余；邵，钟；张瑜 5 2010 参数化内存模型和并发分离逻辑。 Zbl 1260.68093号 罗德里戈·费雷拉；冯新余；邵，钟 4 2010 拒绝保证推理。 Zbl 1234.68075号 多兹，迈克；冯新余；马修·帕金森；维克托·瓦菲亚迪斯 12 2009 局部可靠性保证推理。 Zbl 1315.68088号 冯新余 12 2009 用硬件中断和抢占线程验证低级程序。 Zbl 1191.68176号 冯新余；邵，钟；郭瑜；董，袁 7 2009 并发分离逻辑与假设保证推理的关系。 Zbl 1187.68150号 冯新余；罗德里戈·费雷拉；邵，钟 9 2007 使用动态线程创建和终止对并发汇编代码进行模块化验证。 Zbl 1302.68088号 冯新余；邵，钟 三 2005 三维紊流通道中纸浆纤维的浓度。 Zbl 1136.76495号 东，S。；X·冯。；Salcudean，M。；加特肖尔，I。 9 2003 板弯曲问题的加性平均Schwarz方法。 Zbl 1077.74557号 X·冯。；T·拉赫曼。 4 2002 非线性发展方程显式解的探索性方法。 Zbl 0962.35033号 X·冯。 29 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名150位作者引用 5 菲利普·安·加德纳 4 佩德罗·达罗查·平托 三 托马斯·丁斯代尔·扬 三 拉尔夫·荣格 三 格哈德·谢尔霍恩 三 邵，钟 2 艾尔维拉·阿尔伯特 2 拉尔斯·比克达尔 2 阿列舍·比兹亚克 2 德里克·德雷尔（Derek R.Dreyer）。 2 Daniel Schnetzer，法瓦 2 冯新余 2 米盖尔·戈梅斯·扎马洛亚 2 侯哲 2 克利夫·琼斯。 2 雅克·亨利·乔尔丹 2 罗伯特·克雷伯斯 2 刘，杨 2 古斯塔沃·佩特里 2 阿尔伯特·鲁比奥 2 马蒂奥·桑马蒂诺 2 大卫·萨南 2 亚历山德拉·席尔瓦 2 马丁·斯特芬 2 沃尔克·斯托尔茨 2 阿文·费尔南托 2 朱尔斯·维拉德 2 海克·卫尔海姆 2 张瑜 1 罗莎·阿巴斯 1 安倍晋三 1 阿尔加莱、杰德 1 Andronick，六月 1 吉尔·巴特 1 杰斯珀·本特森 1 古斯塔沃·贝塔特 1 马吕斯·博兹加 1 詹姆斯·布罗瑟斯顿 1 卢卡斯·布埃里 1 大卫·卡切拉 1 蔡洪旭 1 胡安·迭戈·坎波 1 曹天岳 1 曹永志 1 陈浩 1 程玉婷 1 瑟·特凡·乔巴赫 1 罗伯特·J·科尔文。 1 阿努帕姆·达塔 1 德波尔（Frank S。 1 德尔芬·德曼吉 1 邓玉欣 1 约翰·德里克 1 董，袁 1 Jean-Christophe Filliátre 1 杰森·富兰克林 1 傅明 1 迪帕克·加格 1 普拉纳夫·加格 1 法特梅·加塞米 1 莱昂·冈德尔曼 1 顾荣辉 1 埃尔萨·甘特。 1 郭瑜 1 罗伯特·哈珀 1 伊恩·海耶斯。 1 乔纳森·马克·海曼 1 阿奎那·霍伯 1 黄，清 1 阿克巴侯赛因 1 雨果·伊洛斯 1 拉杜·奥西夫 1 米盖尔·伊莎贝尔 1 沙迦·伊扎基 1 巴特·雅各布斯 1 苏雷什·贾甘纳森 1 金，赵 1 Max Iosifovich，卡诺维奇 1 迪尔森·卡纳尔 1 柯玉涵 1 拉丁·科斯拉维 1 格温·克莱恩 1 奥里·拉哈夫 1 马蒂厄·莱梅尔 1 科里·刘易斯 1 李锡盟 1 李勇 1 梁伟 1 刘增新 1 刘志明 1 约书亚·洛克曼 1 朗，腾 1 卡洛斯·卢纳 1 吕毅 1 马建峰 1 帕塔萨拉西马杜苏丹 1 前田敏之 1 格雷戈里·马莱查 1 威廉·曼斯基 1 海科·曼特尔 …还有50多位作者 全部的 前5名15连载 5 程序设计中的逻辑和代数方法杂志 4 自动推理杂志 三 理论计算机科学 三 系统设计中的形式化方法 2 信息科学 2 计算的形式方面 1 信息学报 1 符号计算杂志 1 新一代计算 1 函数编程杂志 1 美国医学会杂志 1 萨达纳 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 中国计算机科学前沿 在4个字段中引用 54 计算机科学（68至XX） 21 数学逻辑和基础（03-XX） 2 信息和通信理论，电路（94-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文