个人简介
与联合国可持续发展目标相关的专业知识
2015 年，联合国成员国同意 17 项可持续发展目标 (SDG)，以消除贫困、保护地球并确保全人类的繁荣。此人的工作有助于实现下列可持续发展目标：
-
可持续发展目标 7 经济适用的清洁能源 -
可持续发展目标 11 可持续城市和社区
指纹
深入其中 Huibiao Zhu 为活跃的研究主题。这些主题标签来自此人的成果。它们共同形成唯一的指纹。
- 1 相似简介
最近五年的合作关系和顶尖研究领域
最近的国家/地区级外部合作关系。点击圆点，以了解详细信息或
-
A Proof System for the SMrCaIT Calculus
Chen, N. & Zhu, H., 3月 2026, 在: ACM Transactions on Embedded Computing Systems. 25, 2, 21.科研成果: 期刊稿件 › 文章 › 同行评审
开放访问 -
Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+
Xiao, L., Hou, Z., Zhu, H., He, M. & Qin, S., 15 1月 2026, 在: Journal of Circuits, Systems and Computers. 35, 1, 2530008.科研成果: 期刊稿件 › 文献综述 › 同行评审
-
Synergy of Formal Semantics and Industrial Data Analytics for Manufacturing Operation Management
Chen, S., Zhu, H., Li, R., Xiao, L., Ge, N. & Cao, X., 2026, (已接受/待刊) 在: Journal of Circuits, Systems and Computers. 2650162.科研成果: 期刊稿件 › 文章 › 同行评审
-
A Framework for Verifying BPMN with Hoare Logic
Lin, W., Chen, S. & Zhu, H., 2025, Proceedings - 2025 25th International Conference on Software Quality, Reliability and Security Companion, QRS-C 2025. Institute of Electrical and Electronics Engineers Inc., 页码 71-81 11 页码 (Proceedings - 2025 25th International Conference on Software Quality, Reliability and Security Companion, QRS-C 2025).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
-
BDafny: A Formal Execution and Verification Framework of BPMN 2.0 in Dafny
Su, Z., Chen, S., Li, R., Zhu, H. & Wang, J., 2025, Proceedings - 2025 32nd Asia-Pacific Software Engineering Conference, APSEC 2025. Zhang, T., Luo, X., Keung, J. & Choi, E. (编辑). IEEE Computer Society, 页码 161-172 12 页码 (Proceedings - Asia-Pacific Software Engineering Conference, APSEC).科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审