Hao Wu

According to our database, Hao Wu authored at least 13 papers between 2023 and 2026.

Collaborative distances:

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

2026

Solving Stochastic Constraints by Oracle-based Gradient Descent and Interval Arithmetic.

Xiakun Li, Hao Wu, Bican Xia, Tengshun Yang, Naijun Zhan

CoRR, April, 2026

Quantifier Elimination Meets Treewidth (Research Artifact).

Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan

Dataset, January, 2026

Quantifier Elimination Meets Treewidth (Research Artifact).

Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan

Dataset, January, 2026

Formal design of safety-critical systems with MARS.

Yihao Yin, Hao Wu, Wan Liu, Shuling Wang, Xiong Xu, Wang Lin, Fanjiang Xu, Naijun Zhan

J. Syst. Archit., 2026

Quantifier Elimination Meets Treewidth.

Hao Wu, Jiyu Zhu, Amir Kafshdar Goharshady, Jie An, Bican Xia, Naijun Zhan

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

Hao Wu, Qiuye Wang, Bai Xue, Naijun Zhan, Lihong Zhi, Zhi-Hong Yang

ACM Trans. Program. Lang. Syst., March, 2025

HpC: A Calculus for Hybrid and Mobile Systems - Full Version.

Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan

CoRR, January, 2025

HpC: A Calculus for Hybrid and Mobile Systems.

Xiong Xu, Jean-Pierre Talpin, Shuling Wang, Hao Wu, Bohua Zhan, Xinxin Liu, Naijun Zhan

Proc. ACM Program. Lang., 2025

2024

A decision procedure for string constraints with string/integer conversion and flat regular constraints.

Hao Wu, Yu-Fang Chen, Zhilin Wu, Bican Xia, Naijun Zhan

Acta Informatica, March, 2024

The Design of Intelligent Temperature Control System of Smart House with MARS.

Yihao Yin, Hao Wu, Shuling Wang, Xiong Xu, Fanjiang Xu, Naijun Zhan

Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2024

Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets.

Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan

Proceedings of the Formal Methods - 26th International Symposium, 2024

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains.

Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan

Proceedings of the Formal Methods - 26th International Symposium, 2024

2023

Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition.

Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan

CoRR, 2023