Hualin Miao

According to our database1, Hualin Miao authored at least 6 papers between 2022 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A dichotomy result for countably based sober spaces.
Inf. Comput., 2025

Bilingual phrase induction with local hard negative sampling.
CAAI Trans. Intell. Technol., 2025

2024
The order-K-ification monads.
Math. Struct. Comput. Sci., 2024

The category of well-filtered dcpos is not Γ-faithful.
CoRR, 2024

2023
Not every countable complete distributive lattice is sober.
Math. Struct. Comput. Sci., 2023

2022
One-step closure, weak one-step closure and meet continuity.
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, 2022


  Loading...