编辑配置文件（在新选项卡中打开） 叶康峰 合著者距离 作者ID： ye.kangfeng是的 发布日期： 叶康峰 已编制索引的文档： 10出版物自1995年起 合著者： 4位合著者具有6联合出版物 129位Co-Co作者 全部的 前5名合著者 1 单作者的 6 西蒙·福斯特 6 詹姆斯·C·P·伍德科克。 三 安娜·卡瓦尔坎蒂 2 詹姆斯·格利姆（James G.Glimm）。 2 大卫·H·夏普。 1 达塔，斯拉巴蒂 1 埃尔文·乔治 1 约翰·格罗夫（John W.Grove）。 1 侯淑玲 1 Jin，Hyeonseong先生 1 李，泰文 1 李，尹哈 1 李晓林 1 亚历山大·莫塔。 1 于燕 1 张茵 1 赵明 系列 2 程序设计中的逻辑与代数方法杂志 1 工程数学杂志 1 非线性分析。理论、方法和应用。系列A：理论与方法 1 测试 全部的 前5名领域 6 计算机科学（68至XX） 2 统计学（62-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 流体力学（76-XX） 1 地球物理学（86-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用9中的次6文件 引用人▼ 年份▼ 通过精确动态刚度法类比求解正则二阶和四阶Sturm-Liouville问题。 Zbl 1356.70027号 袁，S。；Ye，K。；肖，C。；D.肯尼迪。；威廉姆斯，F。 5 2014 平衡随机效应模型参考先验的选择。 Zbl 0845.62026号 Ye，K。 4 1995 使用UTP对控制律图进行组合假设保证推理。 Zbl 1486.68045号 叶康峰；西蒙·福斯特；吉姆·伍德科克 4 2020 RoboChart的概率语义。最弱的完成方法。 Zbl 07168635号 吉姆·伍德科克；安娜·卡瓦尔坎蒂；西蒙·福斯特；亚历山大·莫塔；叶康峰 三 2019 不确定性量化的解决方案误差模型。 Zbl 1276.62010年 J.格利姆。；侯，S。；李，Y.-H。；夏普，D.H。；Ye，K。 2 2003 带有定理证明的概率序列程序的自动推理。 兹伯利07670535 叶康峰；西蒙·福斯特；吉姆·伍德科克 1 2021 球形和扰动球形几何形状中的冲击波相互作用。 Zbl 1153.76379号 S.杜塔。；乔治，E。；J.格利姆。；J.W.格罗夫。；H·金。；Lee，T。；李，X。；夏普，D.H。；Ye，K。；Yu，Y。；张，Y。；M·赵。 1 2005 带有反应关系和Kleene代数的反应式程序的计算验证。 Zbl 1518.68049号 西蒙·福斯特；叶康峰；安娜·卡瓦尔坎蒂；吉姆·伍德科克 1 2018 带有定理证明的概率序列程序的自动推理。 Zbl 07670535号 叶康峰；西蒙·福斯特；吉姆·伍德科克 1 2021 使用UTP对控制律图进行组合假设保证推理。 Zbl 1486.68045号 叶康峰；西蒙·福斯特；吉姆·伍德科克 4 2020 RoboChart的概率语义。最弱的完成方法。 Zbl 07168635号 吉姆·伍德科克；安娜·卡瓦尔坎蒂；西蒙·福斯特；亚历山大·莫塔；叶康峰 三 2019 带有反应关系和Kleene代数的反应式程序的计算验证。 Zbl 1518.68049号 西蒙·福斯特；叶康峰；安娜·卡瓦尔坎蒂；吉姆·伍德科克 1 2018 通过精确动态刚度法类比求解正则二阶和四阶Sturm-Liouville问题。 Zbl 1356.70027号 袁，S。；Ye，K。；肖，C。；D.肯尼迪。；威廉姆斯，F。 5 2014 球面和摄动球面几何中的激波相互作用。 兹比尔1153.76379 S.杜塔。；乔治，E。；J.格利姆。；J.W.格罗夫。；Jin，H。；Lee，T。；李，X。；夏普，D.H。；Ye，K。；Yu，Y。；张，Y。；M·赵。 1 2005 不确定性量化的解决方案误差模型。 Zbl 1276.62010年 J.格利姆。；侯，S。；李，Y.-H。；夏普，D.H。；Ye，K。 2 2003 平衡随机效应模型参考先验的选择。 Zbl 0845.62026号 Ye，K。 4 1995 所有引用出版物 前5名被引用出版物 全部的 前5名13位作者引用 三 西蒙·福斯特 三 詹姆斯·C·P·伍德科克。 三 叶康峰 1 安娜·卡瓦尔坎蒂 1 刘志明 1 孙权 1 让-皮埃尔·塔尔平 1 王超 1 王淑玲 1 徐，熊 1 詹博华 1 詹乃军 1 张伟 连载1篇 三 程序设计中的逻辑与代数方法杂志 在2个字段中引用 6 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文