×
编辑配置文件（在新选项卡中打开）

朱慧彪

合著者距离
作者ID： 朱慧彪“朱慧彪”最近发表的zbMATH文章
发布日期： 朱慧彪;朱慧彪;朱，H。
已编制索引的文档： 37出版物自2001年起
4作为编辑的贡献
合著者： 47位合著者具有37联合出版物
1190名合作作者
全部的 前5名

合著者

0 单作者的
14 何继峰
6 乔纳森·鲍文（Jonathan P.Bowen）。
6 赵永新
5 秦胜超
4 谢万玲
三 李，秦
三 刘志明
三 詹姆斯·C·P·伍德科克。
三 徐启文
2 理查德·巴纳赫
2 C.A.R.Tony Hoare
2 李静
2 伯恩哈德·莫勒
2 杰夫·桑德斯。
2 乔治·斯特鲁斯
2 范·斯塔登（Stephan van Staden）
2 吴熙
2 杨帆
2 杨宗元
2 朱龙飞
1 菲利普·布鲁克。
1 陈宁宁
1 高建波
1 龚萍
1 洪，钟
1 胡，游华
1 黄润磊
1 黄燕红
1 大卫·詹森（David N.Jansen）。
1 蒋建民
1 Jin、Naiyong
1 刘鹏
1 米哈伊洛夫，M.S。
1 O'Hearn，Peter W。
1 潘银荣
1 彭晓青
1 盛，冯
1 史建奇
1 苏文
1 朱尔斯·维拉德
1 王路遥
1 王旭
1 吴成成
1 吴晓峰
1 香，双清
1 肖丽丽
1 徐明
1 张丽君
1 张、石
全部的 前5名

系列

5 计算的形式方面
4 计算机科学课堂讲稿
2 国际理论物理杂志
1 流体动力学
1 物理A
1 理论计算机科学
1 中国应用概率统计杂志
1 信息与计算
1 逻辑与代数程序设计杂志
1 计算机科学前沿
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

领域

35 计算机科学（68至XX）
4 总体主题；集合（00-XX）
2 数学逻辑和基础（03-XX）
2 统计学（62-XX）
2 量子理论（81-XX）
1 历史和传记（01-XX）
1 测量和集成（28-XX）
1 流体力学（76-XX）
1 光学、电磁理论（78-XX）
1 统计力学，物质结构（82-XX）
1 运筹学、数学规划（90-XX）
1 系统论；控制（93至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

24出版物被引用65中的次40文件 引用人▼ 年份▼
概率定时共享变量语言的操作语义和代数语义的链接。 Zbl 1243.68208号
朱慧彪;杨帆;何继峰;乔纳森·鲍文（Jonathan P.Bowen）。;杰夫·桑德斯。;秦胜超
9
2012
从操作语义到Verilog的指称语义。 Zbl 1002.68507号
朱慧彪;乔纳森·鲍文（Jonathan P.Bowen）。;何继峰
8
2001
并发Kleene代数的发展。 Zbl 1344.68148号
你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;彼得·奥赫恩
7
2014
并发Kleene代数的发展。 Zbl 1344.68149号
你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪
6
2016
事件驱动系统级语言的指称语义及其代数推导。 Zbl 1347.68039号
朱，H。;何继峰;秦胜超;菲利普·布鲁克
5
2015
rTiMo的UTP方法。 Zbl 1425.68304号
谢万玲;向、双清;朱慧彪
4
2018
兽人语言的指称语义模型。 兹比尔1286.68302
李，秦;朱慧彪;何继峰
三
2010
从事件驱动系统级语言的代数语义生成指称语义。 Zbl 1309.68025号
朱慧彪;杨帆;何继峰
三
2010
马尔可夫报酬模型上的多阶段直到公式：代数方法。 Zbl 1332.68143号
徐明;张丽君;大卫·詹森（David N.Jansen）。;朱慧彪;杨宗元
三
2016
基于指称语义的Verilog操作语义的健全性、完整性和非冗余性。 Zbl 1015.68848号
朱慧彪;乔纳森·鲍文（Jonathan P.Bowen）。;何继峰
2
2002
可补偿事务的代数语义。 Zbl 1147.68564号
李静;朱慧彪;何继峰
2
2007
基于UTP的MDESL指称语义的理论和实践方法。 Zbl 1458.68041号
盛，冯;朱慧彪;何继峰;杨宗元;乔纳森·鲍文（Jonathan P.Bowen）。
2
2020
事件驱动系统级语言的表示方法。 Zbl 1286.68037号
朱慧彪;何继峰;彭晓青;Jin、Naiyong
1
2010
编程理论和形式化方法。纪念何继峰70岁生日的散文。 兹比尔1269.68023
1
2013
计算的理论方面——ICTAC 2013。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。 Zbl 1271.68048号
1
2013
统一编程理论和形式化工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。 Zbl 1320.68021号
1
2013
面向观测的无线系统演算语义。 Zbl 1457.68019号
吴晓峰;朱慧彪;吴熙
1
2015
混合编程语言的形式化模型。 Zbl 1457.68038号
朱龙飞;徐启文;何继峰;朱慧彪
1
2015
连续/离散建模界面上的连续KAOS、ASM和正式控制系统设计：简单的列车停车应用程序。 Zbl 1342.93065号
理查德·巴纳赫;朱慧彪;苏文;黄润磊
1
2014
使用Maude为Verilog连接操作语义和代数语义的机械方法。 Zbl 1452.68123号
朱慧彪;刘鹏;何继峰;秦胜超
1
2013
概率定时共享变量语言的表示语义。 Zbl 1452.68062号
朱慧彪;杰夫·桑德斯。;何继峰;秦胜超
1
2013
非线性相互作用光腔中玻色-爱因斯坦凝聚的量子相变。 Zbl 1335.81147号
朱海波。;王，Z.H。
1
2016
移动系统的进程演算BigrTiMo及其形式语义。 Zbl 1511.68189号
谢万玲;朱慧彪;徐启文
1
2021
统一编程理论。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。 兹比尔1355.68010
1
2017
移动系统的过程演算BigrTiMo及其形式语义。 Zbl 1511.68189号
谢万玲;朱慧标;徐启文
1
2021
基于UTP的MDESL指称语义的理论和实践方法。 Zbl 1458.68041号
盛，冯;朱慧彪;何继峰;杨宗元;乔纳森·鲍文（Jonathan P.Bowen）。
2
2020
rTiMo的UTP方法。 Zbl 1425.68304号
谢万玲;香，双清;朱慧彪
4
2018
统一编程理论。2016年6月4日至5日在冰岛雷克雅未克举行的第六届UTP国际研讨会。修订了选定的论文。 Zbl 1355.68010号
1
2017
并发Kleene代数的发展。 Zbl 1344.68149号
你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪
6
2016
马尔可夫报酬模型上的多阶段直到公式：代数方法。 Zbl 1332.68143号
徐明;张丽君;大卫·詹森（David N.Jansen）。;朱慧彪;杨宗元
三
2016
非线性相互作用光腔中玻色-爱因斯坦凝聚的量子相变。 Zbl 1335.81147号
朱海波。;王，Z.H。
1
2016
事件驱动系统级语言的指称语义及其代数推导。 Zbl 1347.68039号
朱，H。;何继峰;秦胜超;菲利普·布鲁克
5
2015
面向观测的无线系统演算语义。 兹比尔1457.68019
吴晓峰;朱慧彪;吴熙
1
2015
混合编程语言的形式化模型。 Zbl 1457.68038号
朱龙飞;徐启文;何继峰;朱慧彪
1
2015
并发Kleene代数的发展。 Zbl 1344.68148号
你好，托尼;范·斯塔登（Stephan van Staden）;伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;运营；彼得·赫恩
7
2014
连续/离散建模界面上的连续KAOS、ASM和正式控制系统设计：简单的列车停车应用程序。 Zbl 1342.93065号
理查德·巴纳赫;朱慧彪;苏文;黄润磊
1
2014
编程理论和形式化方法。纪念何继峰70岁生日的散文。 Zbl 1269.68023号
1
2013
计算的理论方面——ICTAC 2013。第十届国际学术讨论会，中国上海，2013年9月4-6日。诉讼程序。 Zbl 1271.68048号
1
2013
统一编程理论和形式化工程方法。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。 Zbl 1320.68021号
1
2013
使用Maude为Verilog连接操作语义和代数语义的机械方法。 Zbl 1452.68123号
朱慧彪;刘鹏;何继峰;秦胜超
1
2013
概率定时共享变量语言的表示语义。 Zbl 1452.68062号
朱慧彪;杰夫·桑德斯。;何继峰;秦胜超
1
2013
概率定时共享变量语言的操作语义和代数语义的链接。 Zbl 1243.68208号
朱慧标;杨帆;何继峰;乔纳森·鲍文（Jonathan P.Bowen）。;杰夫·桑德斯。;秦胜超
9
2012
兽人语言的指称语义模型。 Zbl 1286.68302号
李，秦;朱慧彪;何继峰
三
2010
从事件驱动系统级语言的代数语义生成指称语义。 Zbl 1309.68025号
朱慧彪;杨帆;何继峰
三
2010
事件驱动系统级语言的表示方法。 Zbl 1286.68037号
朱慧彪;何继峰;彭晓青;Jin、Naiyong
1
2010
可补偿事务的代数语义。 Zbl 1147.68564号
李静;朱慧彪;何继峰
2
2007
基于指称语义的Verilog操作语义的健全性、完整性和非冗余性。 Zbl 1015.68848号
朱慧彪;乔纳森·鲍文（Jonathan P.Bowen）。;何继峰
2
2002
从操作语义到Verilog的指称语义。 Zbl 1002.68507号
朱慧彪;乔纳森·鲍文（Jonathan P.Bowen）。;何继峰
8
2001
所有引用出版物 前5名被引用出版物
全部的 前5名

76位作者引用

12 朱慧彪
6 何继峰
4 乔纳森·鲍文（Jonathan P.Bowen）。
4 秦胜超
三 安娜·卡瓦尔坎蒂
三 西蒙·福斯特
三 C.A.R.Tony Hoare
三 伯恩哈德·莫勒
三 乔治·斯特鲁斯
三 詹姆斯·C·P·伍德科克。
三 谢万玲
三 徐明
三 赵永新
2 比约纳，迪内斯
2 保罗·布鲁内特
2 邓玉欣
2 董金松
2 托比亚斯·卡佩
2 刘，杨
2 杰夫·桑德斯。
2 亚历山德拉·席尔瓦
2 孙骏
2 向、双清
2 徐启文
2 法比奥·扎纳西
1 理查德·巴纳赫
1 卡勒姆·班尼斯特
1 菲利普·J·布鲁克。
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 马丁·埃里克·米勒
1 戴维·诺曼（David A.Naumann）。
1 何塞·努诺·奥利维拉
1 佩德罗·里贝罗
1 朱里安·罗特
1 盛，冯
1 史玲
1 史志平
1 艾伦·斯图尔特
1 拉坦·巴哈杜尔·塔帕
1 伯恩哈德·蒂勒
1 范·斯塔登（Stephan van Staden）
1 工资制造者，贾纳
1 王国辉
1 王，季
1 王瑞
1 肖莉莉
1 杨帆
1 杨绍发
1 杨宗元
1 泽达，弗兰克
1 张倩莹
1 Zhang，西安
1 朱龙飞
全部的 前5名

10篇连载文章中引用

9 计算的形式方面
三 理论计算机科学
三 程序设计中的逻辑和代数方法杂志
1 信息学报
1 信息处理信件
1 信息与计算
1 MSCS公司。计算机科学中的数学结构
1 逻辑与代数程序设计杂志
1 应用数学杂志
1 计算机科学前沿

在5个字段中引用

39 计算机科学（68至XX）
2 历史和传记（01-XX）
1 数学逻辑和基础（03-XX）
1 范畴理论；同调代数（18-XX）
1 系统论；控制（93至XX）

按年份列出的引文