Domain-complete and LCS-complete Spaces. - Matthew de Brecht; Jean Goubault-Larrecq; Xiaodong Jia 002; Zhenchao Lyu (ISDT, 2019)

A Cartesian Closed Category of Domains with Almost Algebraic Bases. - Zhenchao Lyu; Hui Kou (ISDT, 2019)

Continuity on directed spaces. - Yuxu Chen; Hui Kou; Zhenchao Lyu (CoRR, 2022)

A note on the category of c-spaces. - Zhenchao Lyu; Xiaolin Xie; Hui Kou (ISDT, 2022)

Free dcpo-algebras via directed spaces. - Yuxu Chen; Hui Kou; Zhenchao Lyu (CoRR, 2023)

A construction of free dcpo-cones. - Yuxu Chen; Hui Kou; Zhenchao Lyu; Xiaolin Xie (Math. Struct. Comput. Sci., 2024)

Upper powerdomains of quasicontinuous dcpos. - Yuxu Chen; Hui Kou; Zhenchao Lyu (Theor. Comput. Sci., 2024)

The Scott space of lattice of closed subsets with supremum operator as a topological semilattice. - Yu Chen; Hui Kou; Zhenchao Lyu; Weiyu Yang (CoRR, 2025)