C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Huanhuan Sheng
Publication Activity (10 Years)
Years Active: 2018-2023
Publications (10 Years): 5
Top Topics
Segmentation Method
Top Venues
SMC
CoRR
FM
SmartBlock
</>
Publications
</>
Huanhuan Sheng
,
Alexander Bentkamp
,
Bohua Zhan
HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic.
FM
(2023)
Huanhuan Sheng
,
Alexander Bentkamp
,
Bohua Zhan
HHLPy: Practical Verification of Hybrid Systems using Hoare Logic.
CoRR
(2022)
Ziheng Zhou
,
Hong Guo
,
Yuwen Guo
,
Huanhuan Sheng
Synthesis and Segmentation Method of Cross-Staining Style Nuclei Pathology Image Based on Adversarial Learning.
ISPA/BDCloud/SocialCom/SustainCom
(2021)
Wei Hu
,
Huanhuan Sheng
,
Jing Wu
,
Yining Li
,
Tianyi Liu
,
Yonghao Wang
,
Yuan Wen
Generative Adversarial Training for Weakly Supervised Nuclei Instance Segmentation.
SMC
(2020)
Huanhuan Sheng
,
Xiang Fan
,
Wei Hu
,
Xing Liu
,
Kai Zhang
Economic Incentive Structure for Blockchain Network.
SmartBlock
(2018)