Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 7 Affordable and Clean Energy -
SDG 11 Sustainable Cities and Communities
Fingerprint
Dive into the research topics where Huibiao Zhu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Proof System for the SMrCaIT Calculus
Chen, N. & Zhu, H., Mar 2026, In: ACM Transactions on Embedded Computing Systems. 25, 2, 21.Research output: Contribution to journal › Article › peer-review
Open Access -
Operational and Algebraic Approaches to the Two-Run Relational System
Hou, Z., Zhu, H. & Bowen, J. P., 2026, Lecture Notes in Computer Science. Springer Science and Business Media Deutschland GmbH, p. 150-170 21 p. (Lecture Notes in Computer Science; vol. 16060 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
-
Specifying and Verifying Programs Over the MCA ARMv8 Architecture with TLA+
Xiao, L., Hou, Z., Zhu, H., He, M. & Qin, S., 15 Jan 2026, In: Journal of Circuits, Systems and Computers. 35, 1, 2530008.Research output: Contribution to journal › Review article › peer-review
-
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, (Accepted/In press) In: Journal of Circuits, Systems and Computers. 2650162.Research output: Contribution to journal › Article › peer-review
-
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., p. 71-81 11 p. (Proceedings - 2025 25th International Conference on Software Quality, Reliability and Security Companion, QRS-C 2025).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review