编辑配置文件（在新选项卡中打开） 舒新峰 合著者距离 作者ID： shu.xinfeng公司 发布日期： 舒新峰 已编制索引的文档： 9出版物自2010年起 合著者： 7合著者具有9联合出版物 990名合作作者 全部的 前5名合著者 0 单作者的 4 段振华 4 张楠 三 王晓兵 三 赵亮 1 杜洪伟 1 李超 1 刘，张 系列 三 理论计算机科学 1 西安交通大学学报 1 软件杂志 领域 7 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 4出版物有被引用6中的次4文件 引用人▼ 年份▼ 投影时序逻辑的决策过程和完整公理化。 兹比尔1506.03070 舒新峰；段振华；杜洪伟 2 2020 用信号量扩展MSVL。 兹比尔1476.68183 舒新峰；段振华 2 2016 基于投影时序逻辑的多核CPU进程调度建模与验证。 Zbl 1240.68151号 舒新峰；段振华 1 2010 统一时序逻辑的证明系统。 Zbl 1497.03036号 赵亮；王晓兵；舒新峰；张楠 1 2019 投影时序逻辑的决策过程和完整公理化。 兹比尔1506.03070 舒新峰；段振华；杜洪伟 2 2020 统一时序逻辑的证明系统。 Zbl 1497.03036号 赵亮；王晓兵；舒新峰；张楠 1 2019 用信号量扩展MSVL。 兹比尔1476.68183 舒新峰；段振华 2 2016 基于投影时序逻辑的多核CPU进程调度建模与验证。 Zbl 1240.68151号 舒新峰；段振华 1 2010 全部的 前5名7位作者引用 三 舒新峰 三 张楠 2 段振华 2 王晓兵 2 赵亮 1 杜洪伟 1 田聪 连载1篇 4 理论计算机科学 在3个字段中引用 4 数学逻辑和基础（03-XX） 三 计算机科学（68至XX） 1 系统论；控制（93至XX） 按年份列出的引文