Hao Wu

Orcid: 0000-0001-9368-4744

Affiliations:

Institute of Software, Chinese Academy of Sciences, Beijing, China

According to our database¹, Hao Wu authored at least 8 papers between 2023 and 2025.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Bibliography

2025

Synthesizing Invariants for Polynomial Programs by Semidefinite Programming.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

CoRR, January, 2025

HpC: A Calculus for Hybrid and Mobile Systems.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2025

2024

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

[BibT_eX]

[DOI]

Acta Informatica, March, 2024

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

2023

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

[BibT_eX]

[DOI]

CoRR, 2023

Hao Wu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...