编辑配置文件（在新选项卡中打开） 傅明 合著者距离 作者ID： 福明 发布日期： 傅明 已编制索引的文档： 12出版物自2005年以来 合著者： 17合著者具有12联合出版物 434位合作作者 全部的 前5名合著者 0 单作者的 5 冯新余 三 李勇 三 张瑜 2 邵，钟 2 张子珍 1 冯玉强 1 胡大勇 1 梁洪进 1 刘胡安 1 瞿云波 1 丹·宋 1 王佳伟 1 向永生 1 杨惠忠 1 杨晓晓 1 袁爱萍 1 张紫鹏 全部的 前5名系列 2 计算机应用杂志 1 应用数学杂志 1 哈尔滨工业大学学报 1 应用数学与计算杂志 1 控制和决策 1 中国计算机科学前沿 1 计算机科学前沿 全部的 前5名领域 9 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 常微分方程（34-XX） 2 生物学和其他自然科学（92-XX） 1 数值分析（65-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用22中的次22文件 引用人▼ 年份▼ 具有HollingⅢ型功能反应和时滞的捕食者-食饵系统的Hopf分支。 兹比尔1301.92069 张子珍；杨惠忠；傅明 10 2014 使用历史程序逻辑推理乐观并发。 Zbl 1287.03071号 傅明；李勇；冯新余；邵，钟；张瑜 5 2010 具有比率依赖功能反应的时滞Holling-Tanner捕食者-食饵系统的稳定性和分岔。 兹比尔1263.92048 刘胡安；张子珍；傅明 4 2012 用于验证并发程序转换的基于可靠保证的模拟。 Zbl 1321.68201号 梁洪进；冯新余；傅明 2 2012 预测变量的结构方法。 Zbl 1354.68181号 张紫鹏；冯新余；傅明；邵，钟；李勇 1 2012 具有HollingⅢ型功能反应和时滞的捕食者-食饵系统的Hopf分支。 兹比尔1301.92069 张子珍；杨惠忠；傅明 10 2014 具有比率依赖功能反应的时滞Holling-Tanner捕食者-食饵系统的稳定性和分岔。 兹比尔1263.92048 刘胡安；张子珍；傅明 4 2012 用于验证并发程序转换的基于可靠保证的模拟。 Zbl 1321.68201号 梁洪进；冯新余；傅明 2 2012 预测变量的结构方法。 Zbl 1354.68181号 张紫鹏；冯新余；傅明；邵，钟；李勇 1 2012 使用历史程序逻辑推理乐观并发。 Zbl 1287.03071号 傅明；李勇；冯新余；邵，钟；张瑜 5 2010 所有引用出版物 前5名被引用出版物 全部的 前5名58位作者引用 三 刘胡安 2 格哈德·谢尔霍恩 2 王凯 1 Lars Birkedal公司 1 阿列舍·比兹亚克 1 大卫·卡切拉 1 陈丽萍 1 陈梦欣 1 戴云仙 1 贾瓦德·达纳 1 德尔芬·德曼吉 1 约翰·德里克 1 丁伟 1 德里克·德雷尔（Derek R.Dreyer）。 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 O'Hearn，Peter W。 1 马克西米利安·奥纳纳 1 安德烈·帕斯科维奇 1 Rasmus Lerchedahl彼得森 1 古斯塔沃·佩特里 1 大卫·皮哈迪 1 沃尔夫冈·雷夫 1 对手，泽维尔 1 石仁祥 1 吉恩·朱尔斯·特瓦 1 博格丹·托凡 1 朱尔斯·维拉德 1 维泰克，简 1 王，焦 1 王，林 1 海克·卫尔海姆 1 吴冉超 1 于，江 1 于胜斌 1 岳、宗敏 1 扬尼克·扎科夫斯基 1 张晓兵 1 张兴勇 全部的 前5名14篇连载文章中引用 5 差分方程研究进展 2 系统设计中的形式化方法 2 应用数学与计算杂志 1 数学分析与应用杂志 1 应用科学中的数学方法 1 混沌、孤子和分形 1 自动推理杂志 1 国际应用科学与工程中的分岔与混沌杂志 1 计算与应用数学 1 函数编程杂志 1 非线性动力学 1 非线性科学与数值模拟中的通信 1 ACM计算逻辑汇刊 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在8个字段中引用 14 生物学和其他自然科学（92-XX） 10 常微分方程（34-XX） 8 计算机科学（68至XX） 4 动力系统和遍历理论（37至XX） 三 数学逻辑和基础（03-XX） 1 偏微分方程（35-XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文