Economic Incentive Structure for Blockchain Network. - Huanhuan Sheng; Xiang Fan; Wei Hu 001; Xing Liu 002; Kai Zhang 002 (SmartBlock, 2018)

Generative Adversarial Training for Weakly Supervised Nuclei Instance Segmentation. - Wei Hu 001; Huanhuan Sheng; Jing Wu 019; Yining Li; Tianyi Liu; Yonghao Wang; Yuan Wen (SMC, 2020)

Synthesis and Segmentation Method of Cross-Staining Style Nuclei Pathology Image Based on Adversarial Learning. - Ziheng Zhou; Hong Guo 005; Yuwen Guo; Huanhuan Sheng (ISPA/BDCloud/SocialCom/SustainCom, 2021)

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Bohua Zhan; Huanhuan Sheng; Alexander Bentkamp; Xiangyu Jin; Shuling Wang 003; Simon Foster 001; Christian Pardillo Laursen; Jonathan Julián Huerta y Munive (ARCH@SAFECOMP, 2022)

ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving. - Stefan Mitsch; Huanhuan Sheng; Bohua Zhan; Shuling Wang 003; Simon Foster 001; Jonathan Julián Huerta y Munive (ARCH, 2023)

HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic. - Huanhuan Sheng; Alexander Bentkamp; Bohua Zhan (FM, 2023)