Hao Wu

Orcid: 0000-0002-8955-8216

Affiliations:

Shanghai Jiao Tong University, China

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

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2026

On Inductive Characterization for Divergence-sensitive Probabilistic Branching Bisimilarity.

[BibT_eX]

[DOI]

Formal Aspects Comput., June, 2026

A unifying approach to probabilistic testing equivalences.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2026

2024

Branching bisimulation semantics for quantum processes.

[BibT_eX]

[DOI]

Hao Wu

Qizhe Yang

Huan Long

Inf. Process. Lett., 2024

Analyzing Divergence for Nondeterministic Probabilistic Models.

[BibT_eX]

[DOI]

CoRR, 2024

2023

Probabilistic weak bisimulation and axiomatization for probabilistic models.

[BibT_eX]

[DOI]

Hao Wu

Huan Long

Inf. Process. Lett., August, 2023

Hao Wu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...