Huanhuan Sheng

According to our database, Huanhuan Sheng authored at least 6 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

ARCH-COMP23 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Huanhuan Sheng, Bohua Zhan, Shuling Wang, Simon Foster, Jonathan Julián Huerta y Munive

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving.

Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen, Jonathan Julián Huerta y Munive

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

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