乔纳森·鲍文（Jonathan P.Bowen）。;朱慧彪 何继峰（Jifeng He）在牛津大学及以后：一种欣赏。 （英语） Zbl 07810649号 Bowen，Jonathan P.（编辑）等人，《编程理论与形式化方法》。纪念贺继峰80岁生日的散文。查姆：斯普林格。莱克特。注释计算。科学。14080, 3-18 (2023).MSC公司：68-03 01A70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}和\textit{H.Zhu}，Lect。注释计算。科学。14080，3-18（2023；Zbl 07810649） 全文： 内政部
肖莉莉;朱慧彪 基于UTP的MCA ARMv8体系结构的跟踪语义和代数定律。 （英语） Zbl 1498.68018号 秦胜超（主编）等，可靠软件工程。理论、工具和应用。第七届国际研讨会，SETTA 2021，中国北京，2021年11月25-27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13071, 81-101 (2021).MSC公司：2007年7月68日 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Xiao}和\textit{H.Zhu}，Lect。注释计算。科学。13071，81--101（2021；Zbl 1498.68018） 全文： 内政部
谢万玲;朱慧彪;徐启文 移动系统的进程演算BigrTiMo及其形式语义。 （英语） 兹比尔1511.68189 正式Asp。计算。 33，第2期，207-249（2021）.MSC公司：68问题85 68号30 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人，正式Asp。计算。33，第2号，207--249（2021；Zbl 1511.68189） 全文： 内政部
谢万玲;香，双清;朱慧彪 rTiMo的UTP方法。 （英语） Zbl 1425.68304号 正式Asp。计算。 第6期第30期第713-738页（2018年）.MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Xie}等人，正式Asp。计算。30，编号6，713--738（2018；Zbl 1425.68304） 全文： 内政部
朱，H。;何继峰;秦胜超;菲利普·布鲁克 事件驱动系统级语言的指称语义及其代数推导。 （英语） Zbl 1347.68039号 正式Asp。计算。 27，第1期，133-166（2015）.MSC公司：68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人，正式Asp。计算。27，第1号，133--166（2015；Zbl 1347.68039） 全文： 内政部 链接
朱慧彪;杨，范;何继峰;乔纳森·鲍文（Jonathan P.Bowen）。;杰夫·桑德斯。;秦胜超 概率定时共享变量语言的操作语义和代数语义的链接。 （英语） Zbl 1243.68208号 J.日志。阿尔盖布。程序。 81，第1期，2-25（2012）.MSC公司：68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{H.Zhu}等人，J.Log。阿尔盖布。程序。81，编号1，2--25（2012年；兹bl 1243.68208） 全文： 内政部