Huanhuan Sheng

According to our database, Huanhuan Sheng authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

HHLPy: Practical Verification of Hybrid Systems Using Hoare Logic.

Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan

Proceedings of the Formal Methods - 25th International Symposium, 2023

2021

Synthesis and Segmentation Method of Cross-Staining Style Nuclei Pathology Image Based on Adversarial Learning.

Ziheng Zhou, Hong Guo, Yuwen Guo, Huanhuan Sheng

Proceedings of the 2021 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom), New York City, NY, USA, September 30, 2021

2020

Generative Adversarial Training for Weakly Supervised Nuclei Instance Segmentation.

Wei Hu, Huanhuan Sheng, Jing Wu, Yining Li, Tianyi Liu, Yonghao Wang, Yuan Wen

Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020

2018

Economic Incentive Structure for Blockchain Network.

Huanhuan Sheng, Xiang Fan, Wei Hu, Xing Liu, Kai Zhang

Proceedings of the Smart Blockchain - First International Conference, 2018