编辑配置文件（在新选项卡中打开） 段振华 合著者距离 作者ID： 段振华 发布日期： 段振华；段振华 已编制索引的文档： 97出版物自1990年以来 5名编辑的贡献 合著者： 59位合著者具有101份联合出版物 3316合著作者 全部的 前5名合著者 0 单作者的 63 田聪 30 张楠 10 杜洪伟 7 刘，金 6 马西耶·库特尼 5 马，钱 5 杨晓晓 4 舒新峰 4 杨孟飞 三 杜定竹 三 汉娜·克劳代尔 三 刘少英 三 卢、徐 三 罗玲 三 唐宪华 三 王晓兵 三 Yang，Kai（杨凯） 三 于斌 2 何佳 2 李杰 2 富美子名古屋 2 宋新民 2 王蒙 2 杨，陈 2 袁小帅 2 张海滨 2 赵亮 1 马尼德拉·阿格拉瓦尔 1 卜康康 1 陈、楚 1 崔斌 1 崔、金 1 段，赵 1 谷斌 1 郝克刚 1 霍光文 1 李昂生 1 刘晓芳 1 刘、姚 1 刘志刚 1 彭先生 1 本·C·莫斯科夫斯基。 1 宁、新亚 1 庞涛 1 Park，Juhyun（杰西） 1 钱、林 1 施、雅 1 宋军 1 王海阳 1 王慧娟 1 王嘉英 1 吴丽东 1 吴伟丽 1 徐长进 1 严雪华 1 姚晨光 1 于朝峰 1 张，李 1 张美芝 1 周梦初 1 周宪军 全部的 前5名系列 23 理论计算机科学 9 组合优化期刊 5 计算机科学课堂讲稿 4 软件杂志 三 西安交通大学学报 2 湖南数学年鉴 2 MSCS公司。计算机科学中的数学结构 2 逻辑与代数程序设计杂志 1 信息学报 1 信息处理信件 1 混沌、孤子和分形 1 应用数学与计算 1 信息科学 1 计算机程序设计科学 1 湘潭大学自然科学学报 1 湖南师范大学自然科学学报 1 计算的形式方面 1 湖南大学学报。自然科学 1 计算机基础理论 1 差分方程研究进展 1 优化信函 全部的 前5名领域 85 计算机科学（68至XX） 41 数理逻辑与基础（03-XX） 10 运筹学、数学规划（90-XX） 8 信息与通信理论、电路（94-XX） 5 总体主题；集合（00-XX） 4 常微分方程（34-XX） 三 组合数学（05-XX） 三 系统论；控制（93至XX） 2 差分和函数方程（39至XX） 1 偏微分方程（35-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 光学、电磁理论（78-XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物有被引用223中的次82文件 引用人▼ 年份▼ 具有无限模型的命题投影时序逻辑的决策过程。 Zbl 1141.68039号 段振华；田聪；张，李 34 2008 框架时序逻辑编程。 Zbl 1131.68036号 段振华；杨晓晓；马西耶·库特尼 22 2008 具有测量延迟和丢包的离散时间系统的线性最优估计。 Zbl 1410.93121号 宋新民；段振华；朴智星。 14 2016 具有无限模型的命题投影时序逻辑的实用决策过程。 Zbl 1358.68188号 段振华；田聪 13 2014 命题投影时序逻辑的完整证明系统。 Zbl 1417.03146号 段振华；张楠；马西耶·库特尼 13 2013 带有星形的命题投影时序逻辑的表达性。 Zbl 1221.03018号 田聪；段振华 13 2011 带有星形的命题投影时序逻辑的复杂性。 Zbl 1161.03008号 田聪；段振华 11 2009 无条件安全通信：俄罗斯卡协议。 兹比尔1195.94053 段振华；杨，陈 10 2010 用于多核并行计算的圆柱体计算模型。 Zbl 1416.68074号 张楠；段振华；田聪 9 2013 框架Tempura的操作语义。 Zbl 1170.68006号 杨晓晓；段振华 8 2008 命题投影时序逻辑的基于规范形式的决策过程和模型检查方法。 Zbl 1370.68200号 段振华；田聪；张楠 6 2016 命题投影时序逻辑、Büchi自动机和\（\omega \）-正则表达式。 Zbl 1140.03305号 田聪；段振华 6 2008 投影时序逻辑程序的公理语义。 Zbl 1213.68186号 杨晓晓；段振华；马，钱 5 2010 MSVL及其应用程序的编译器。 Zbl 1407.68096号 Yang，Kai（杨凯）；段振华；田聪；张楠 5 2018 MSVL中的函数调用机制。 Zbl 1353.68184号 张楠；段振华；田聪 5 2016 框架时序逻辑程序的语义。 Zbl 1165.68329号 段振华；杨晓晓；马西耶·库特尼 4 2005 PPTL公理系统中截止期驱动调度器的形式化证明。 Zbl 1360.68771号 张楠；段振华；田聪；杜定珠 4 2014 关于社会影响的一般阈值和一般级联模型。 Zbl 1390.91271号 吴伟丽；杜洪伟；王慧娟；吴丽东；段振华；田聪 4 2018 命题投影时序逻辑的有界模型检验。 Zbl 1382.68141号 段振华；田聪；杨梦飞；何佳 三 2013 具有柱面计算模型的命题投影时态逻辑的完整公理系统。 Zbl 1332.68145号 张楠；段振华；田聪 三 2016 用MSVL公理系统验证分布式系统。 Zbl 1328.68032号 马，钱；段振华；张楠；王晓兵 三 2015 基于俄罗斯卡协议的公共通信：案例研究。 Zbl 1342.94070号 何佳；段振华 2 2011 验证PPTL公理系统中的安全关键任务调度系统。 兹比尔1333.90055 张楠；杨梦飞；谷斌；段振华；田聪 2 2016 通过统一模型检查验证堆。 Zbl 1464.68209号 卢、徐；段振华；田聪；杜洪伟 2 2020 投影时序逻辑的决策过程和完整公理化。 Zbl 1506.03070号 舒新峰；段振华；杜洪伟 2 2020 框架时序逻辑程序的操作语义。 Zbl 1131.68407号 杨晓晓；段振华 2 2007 使用信号量扩展MSVL。 Zbl 1476.68183号 舒新峰；段振华 2 2016 PPTL中的一些定点问题。 Zbl 1391.03018号 段振华；马，钱；田聪；张楠 1 2013 从p-\（\pi\）到MSVL的转换。 Zbl 1405.68217号 罗玲；段振华 1 2013 基于投影时序逻辑的多核CPU进程调度建模与验证。 Zbl 1240.68151号 舒新峰；段振华 1 2010 使用奇怪的行星协议进行安全通信。 Zbl 1298.68048号 田聪；段振华；刘，金 1 2014 广义俄罗斯卡问题。 Zbl 1246.94026号 段振华；杨，陈 1 2009 可追踪自动机的两个基本定理。 Zbl 0704.68081号 郝克刚；段振华 1 1990 使用MSVL对Petri网进行模型检查。 Zbl 1427.68210号 施、雅；田聪；段振华；周梦初 1 2016 PPTL_SPIN：基于SPIN的命题投影时态逻辑模型检查器。 Zbl 1461.68124号 张晓明；段振华；田聪 1 2016 统一的时间逻辑。 Zbl 1497.68322号 张楠；段振华；田聪 1 2021 嵌套中断系统的建模和分析。 Zbl 1424.68030号 崔、金；段振华；田聪；张楠 1 2018 程序的时序逻辑规范挖掘。 Zbl 1477.68168号 张楠；于斌；田聪；段振华；袁小帅 1 2021 具有丢包的测量延迟系统的反卷积估计问题。 Zbl 1414.93181号 段振华；宋新民；严雪华 1 2016 自聚焦非线性介质中亮非相干空间孤子的动力学行为。 Zbl 1366.78012号 Zhang，M。；霍，G。；Duan，Z。 1 2016 索引集表达式可以表示时态逻辑公式。 Zbl 1498.03047号 段振华；田聪；张楠；马，钱；杜洪伟 1 2019 无限模型下命题投影时序逻辑的可判定性。 Zbl 1198.68167号 段振华；田聪 1 2007 二维逻辑PPTL（^{mathrm{SL}}）的可满足性检验。 Zbl 1363.68095号 卢、徐；段振华；田聪 1 2016 红绿灯控制系统的有界模型检验。 Zbl 1351.68169号 于斌；段振华；田聪 1 2014 统一的时序逻辑。 兹比尔1497.68322 张楠；段振华；田聪 1 2021 程序的时序逻辑规范挖掘。 Zbl 1477.68168号 张楠；于斌；田聪；段振华；袁小帅 1 2021 通过统一的模型检查验证堆。 Zbl 1464.68209号 卢、徐；段振华；田聪；杜洪伟 2 2020 投影时序逻辑的决策过程和完整公理化。 Zbl 1506.03070号 舒新峰；段振华；杜洪伟 2 2020 索引集表达式可以表示时态逻辑公式。 Zbl 1498.03047号 段振华；田聪；张楠；马，钱；杜洪伟 1 2019 MSVL及其应用程序的编译器。 Zbl 1407.68096号 Yang，Kai（杨凯）；段振华；田聪；张楠 5 2018 关于社会影响的一般阈值和一般级联模型。 Zbl 1390.91271号 吴伟丽；杜洪伟；王慧娟；吴丽东；段振华；田聪 4 2018 嵌套中断系统的建模与分析。 Zbl 1424.68030号 崔、金；段振华；田聪；张楠 1 2018 具有测量延迟和丢包的离散时间系统的线性最优估计。 Zbl 1410.93121号 宋新民；段振华；朴智星。 14 2016 命题投影时序逻辑的基于规范形式的决策过程和模型检查方法。 Zbl 1370.68200号 段振华；田聪；张楠 6 2016 MSVL中的函数调用机制。 Zbl 1353.68184号 张楠；段振华；田聪 5 2016 具有柱面计算模型的命题投影时态逻辑的完整公理系统。 Zbl 1332.68145号 张楠；段振华；田聪 三 2016 验证PPTL公理系统中的安全关键任务调度系统。 兹比尔1333.90055 张楠；杨梦飞；谷斌；段振华；田聪 2 2016 使用信号量扩展MSVL。 Zbl 1476.68183号 舒新峰；段振华 2 2016 使用MSVL对Petri网进行模型检查。 兹比尔1427.68210 施、雅；田聪；段振华；周梦初 1 2016 PPTL_SPIN：基于SPIN的命题投影时态逻辑模型检查器。 Zbl 1461.68124号 张晓明；段振华；田聪 1 2016 具有丢包的测量延迟系统的反卷积估计问题。 Zbl 1414.93181号 段振华；宋新民；严雪华 1 2016 自聚焦非线性介质中亮非相干空间孤子的动力学行为。 Zbl 1366.78012号 Zhang，M。；霍，G。；Duan，Z。 1 2016 二维逻辑PPTL（^{mathrm{SL}}）的可满足性检验。 Zbl 1363.68095号 卢、徐；段振华；田聪 1 2016 用MSVL公理系统验证分布式系统。 Zbl 1328.68032号 马，钱；段振华；张楠；王晓兵 三 2015 具有无限模型的命题投影时序逻辑的实用决策过程。 Zbl 1358.68188号 段振华；田聪 13 2014 PPTL公理系统中截止期驱动调度器的形式化证明。 Zbl 1360.68771号 张楠；段振华；田聪；杜定珠 4 2014 使用奇怪的行星协议进行安全通信。 Zbl 1298.68048号 田聪；段振华；刘，金 1 2014 红绿灯控制系统的有界模型检验。 Zbl 1351.68169号 于斌；段振华；田聪 1 2014 命题投影时序逻辑的完整证明系统。 Zbl 1417.03146号 段振华；张楠；马西耶·库特尼 13 2013 用于多核并行计算的圆柱体计算模型。 Zbl 1416.68074号 张楠；段振华；田聪 9 2013 命题投影时序逻辑的有界模型检验。 Zbl 1382.68141号 段振华；田聪；杨梦飞；何佳 三 2013 PPTL中的一些定点问题。 Zbl 1391.03018号 段振华；马，钱；田聪；张楠 1 2013 从p-\（\pi\）到MSVL的转换。 Zbl 1405.68217号 罗玲；段振华 1 2013 带有星形的命题投影时序逻辑的表达性。 Zbl 1221.03018号 田聪；段振华 13 2011 基于俄罗斯卡协议的公共通信：案例研究。 Zbl 1342.94070号 何佳；段振华 2 2011 无条件安全通信：俄罗斯卡协议。 Zbl 1195.94053号 段振华；杨，陈 10 2010 投影时序逻辑程序的公理语义。 Zbl 1213.68186号 杨晓晓；段振华；马，钱 5 2010 基于投影时序逻辑的多核CPU进程调度建模与验证。 Zbl 1240.68151号 舒新峰；段振华 1 2010 带有星形的命题投影时序逻辑的复杂性。 Zbl 1161.03008号 田聪；段振华 11 2009 广义俄罗斯卡问题。 Zbl 1246.94026号 段振华；杨，陈 1 2009 具有无限模型的命题投影时序逻辑的决策过程。 Zbl 1141.68039号 段振华；田聪；张，李 34 2008 框架时序逻辑编程。 Zbl 1131.68036号 段振华；杨晓晓；马西耶·库特尼 22 2008 框架Tempura的操作语义。 Zbl 1170.68006号 杨晓晓；段振华 8 2008 命题投影时序逻辑、Büchi自动机和\（\omega \）-正则表达式。 Zbl 1140.03305号 田聪；段振华 6 2008 框架时序逻辑程序的操作语义。 Zbl 1131.68407号 杨晓晓；段振华 2 2007 无限模型下命题投影时序逻辑的可判定性。 Zbl 1198.68167号 段振华；田聪 1 2007 框架时序逻辑程序的语义。 Zbl 1165.68329号 段振华；杨晓晓；马西耶·库特尼 4 2005 可追踪自动机的两个基本定理。 Zbl 0704.68081号 郝克刚；段振华 1 1990 所有引用的出版物 前5名被引用出版物 全部的 前5名120位作者引用 42 段振华 33 田聪 23 张楠 8 杜洪伟 6 马，钱 5 王晓兵 4 舒新峰 4 宋新民 三 大卫·费尔南德斯·杜克 三 本·C·莫斯科夫斯基。 三 塞尔吉奥·拉杰斯鲍姆 三 杨晓晓 三 赵亮 2 曹永志 2 金，赵 2 刘，金 2 刘西雨 2 卢、徐 2 道格拉斯·罗伯特 2 科琳·M·斯旺森。 2 王汉平 2 王蒙 2 严雪华 2 Yang，Kai（杨凯） 2 杨孟飞 2 于斌 2 张博文 1 托马斯·奥戈特内斯 1 奈夫·阿尔穆塔里（Naif B.Almutairi）。 1 塞尔瓦拉吉元帅安托尼 1 鲍、海波 1 卜康康 1 曹天岳 1 安东尼奥·考伊 1 Eikoh Chida 1 安德烈斯·科多恩·佛朗哥 1 崔，贝贝 1 崔斌 1 丁，史蒂文·X。 1 董俊宇 1 杜定竹 1 杜东生 1 方启智 1 冯新余 1 傅明 1 傅晓宇 1 瓦伦丁·F·戈兰科。 1 谷斌 1 Dimitar P.Guelev。 1 托尔·哈格兰 1 何继峰 1 黄和娇 1 Rie石川 1 海尔格·贾尼克 1 哈米德·雷扎·卡里米 1 马西耶·库特尼 1 埃斯特班·兰德雷切 1 佐伊·莱瓦·阿科斯塔 1 李建文 1 李玲 1 李同兴 1 李晓迪 1 李晓坚 1 李岳阳 1 李志芳 1 刘斌 1 刘帅 1 刘亚娟 1 刘、姚 1 罗玲 1 Mahmoud，Magdi Sadik Mostafa马哈茂德 1 贝鲁奥斯·马苏米 1 高崎水木 1 Saminathan Mohanapriya 1 倪秋芬 1 宁、新亚 1 Park，Juhyun（杰西） 1 爱德华多·帕斯库阿尔·阿塞夫 1 浦、葛光 1 兰提纳萨米·萨奇维尔 1 阿巴斯·萨利希 1 Palanisamy Selvaraj 1 沈、牟全 1 史崇雄 1 石、萱萱 1 施、雅 1 费尔南多·索勒·托斯卡诺 1 汉斯·皮特·范·迪特马什 1 莫西·亚亚科夫·瓦尔迪 1 王海阳 1 王慧娟 1 吴伟丽 1 吴希芬 1 Xi，长江 1 徐兆伟 1 阎玉霞 1 杨，陈 1 杨广红 1 杨伟东 1 姚晨光 …还有20多位作者 全部的 前5名18篇连载文章中引用 27 理论计算机科学 11 应用数学与计算 11 组合优化期刊 三 计算的形式方面 2 离散应用数学 2 信息处理信件 2 MSCS公司。计算机科学中的数学结构 2 设计、代码和密码 2 差分方程研究进展 1 信息科学 1 系统设计中的形式化方法 1 组合数学电子杂志 1 数学与人工智能年鉴 1 复杂性 1 工程中的数学问题 1 非线性动力学 1 逻辑与代数程序设计杂志 1 计算机科学前沿 全部的 前5名在15个字段中引用 52 计算机科学（68至XX） 35 数理逻辑与基础（03-XX） 15 系统论；控制（93至XX） 13 信息与通信理论、电路（94-XX） 5 运筹学、数学规划（90-XX） 4 组合数学（05-XX） 三 常微分方程（34-XX） 三 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 差分和函数方程（39至XX） 2 概率论与随机过程（60-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 动力系统和遍历理论（37至XX） 1 几何图形（51至XX） 1 统计学（62-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文