编辑配置文件（在新选项卡中打开） 梁洪进 合著者距离 作者ID： 梁宏进 发布方式： 梁洪进 已编制索引的文档： 8出版物自2009年起 合著者： 6位合著者具有5联合出版物 94位合作作者 全部的 前5名合著者 0 单作者的 5 冯新余 2 邵，钟 1 Dunne，Fionn体育。 1 傅明 1 詹·菲利普·霍夫曼 1 姜汉如 1 肖思阳 系列 1 机械学报 1 国际机械科学杂志 1 非线性科学与数值模拟中的通信 全部的 前5名领域 5 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 常微分方程（34-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用10中的次9文件 引用人▼ 年份▼ 两个不同复杂网络之间基于观测器的滞后同步。 Zbl 1457.93053号 M·赵。;张海光。;王，Z.L。;梁海杰。 13 2014 公平调度下并发对象的程序逻辑。 Zbl 1347.68087号 梁洪进;冯新余 5 2016 GND在双晶体变形中的积累：晶体塑性分析和与实验的比较。 Zbl 1264.74030号 Liang，H。;邓恩，F.P.E。 三 2009 用于验证并发程序转换的基于可靠保证的模拟。 Zbl 1321.68201号 梁洪进;冯新余;傅明 2 2012 并发程序的终止保护细化的组合验证。 Zbl 1392.68258号 梁洪进;冯新余;邵，钟 2 2014 翼地效应的亚音速升力面理论。 Zbl 1254.76007号 Liang，H。;Z.宗。 1 2011 通过上下文细化描述并发对象的进度属性。 Zbl 1390.68480号 梁洪进;简·霍夫曼;冯新余;邵，钟 1 2013 公平调度下并发对象的程序逻辑。 Zbl 1347.68087号 梁洪进;冯新余 5 2016 两个不同复杂网络之间基于观测器的滞后同步。 Zbl 1457.93053号 M·赵。;张海光。;王，Z.L。;梁海杰。 13 2014 并发程序的终止保护细化的组合验证。 兹比尔1392.68258 梁洪进;冯新余;邵，钟 2 2014 通过上下文细化描述并发对象的进度属性。 Zbl 1390.68480号 梁洪进;简·霍夫曼;冯新余;邵，钟 1 2013 用于验证并发程序转换的基于可靠保证的模拟。 Zbl 1321.68201号 梁洪进;冯新余;傅明 2 2012 翼地效应的亚音速升力面理论。 Zbl 1254.76007号 Liang，H。;Z.宗。 1 2011 双晶体变形中GND积累：晶体塑性分析和与实验的比较。 Zbl 1264.74030号 Liang，H。;邓恩，F.P.E。 三 2009 所有引用出版物 前5名被引用出版物 全部的 前5名31位作者引用 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 朱利安·萨瑟兰 1 约瑟夫·塔萨罗蒂 1 奥列格·特拉夫金 1 维泰克，简 1 王超 1 海克·卫尔海姆 1 扬尼克·扎科夫斯基 2篇连载文章中引用 1 自动推理杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 9 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文