Domain-complete and LCS-complete spaces M de Brecht, J Goubault-Larrecq, X Jia, Z Lyu arXiv preprint arXiv:1902.11142, 2019 | 19 | 2019 |
Two topologies on the lattice of Scott closed subsets Y Chen, H Kou, Z Lyu Topology and its Applications 306, 107918, 2022 | 9 | 2022 |
Core-compactness, consonance and the Smyth powerspaces Z Lyu, Y Chen, X Jia Topology and its Applications 312, 108066, 2022 | 7 | 2022 |
The probabilistic powerdomain from a topological viewpoint Z Lyu, H Kou Topology and its Applications 237, 26-36, 2018 | 5 | 2018 |
Core-compactness of Smyth powerspaces Z Lyu, X Jia arXiv preprint arXiv:1907.04715, 2019 | 3 | 2019 |
Continuity and core compactness of topological spaces Y Chen, H Kou, Z Lyu arXiv preprint arXiv:2203.06344, 2022 | 1 | 2022 |
Upper powerdomains of quasicontinuous dcpos Y Chen, H Kou, Z Lyu Theoretical Computer Science, 114663, 2024 | | 2024 |
A construction of free dcpo-cones Y Chen, H Kou, Z Lyu, X Xie Mathematical Structures in Computer Science 34 (1), 63-79, 2024 | | 2024 |
Free dcpo-algebras via directed spaces Y Chen, H Kou, Z Lyu arXiv preprint arXiv:2306.16806, 2023 | | 2023 |
A note on the category of c-spaces Z Lyu, X Xie, H Kou Electronic Notes in Theoretical Informatics and Computer Science 2, 2023 | | 2023 |
The Directed Probabilistic Powerspace X Xie, H Kou, Z Lyu arXiv preprint arXiv:2203.04506, 2022 | | 2022 |
A Cartesian Closed Category of Domains with Almost Algebraic Bases Z Lyu, H Kou Electronic Notes in Theoretical Computer Science 345, 143-168, 2019 | | 2019 |