| A note on coherence of dcpos X Jia, A Jung, Q Li Topology and its Applications 209, 235-238, 2016 | 38 | 2016 |
| Meet-continuity and locally compact sober dcpos X Jia University of Birmingham, 2018 | 34 | 2018 |
| Commutative monads for probabilistic programming languages X Jia, B Lindenhovius, M Mislove, V Zamdzhiev 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 23 | 2021 |
| Domain-complete and LCS-complete spaces M de Brecht, J Goubault-Larrecq, X Jia, Z Lyu Electronic Notes in Theoretical Computer Science 345, 3-35, 2019 | 23 | 2019 |
| Semantics for variational quantum programming X Jia, A Kornell, B Lindenhovius, M Mislove, V Zamdzhiev Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 15 | 2022 |
| A domain-theoretic approach to statistical programming languages J Goubault-Larrecq, X Jia, C Théron Journal of the ACM 70 (5), 1-63, 2023 | 10 | 2023 |
| All cartesian closed categories of quasicontinuous domains consist of domains X Jia, A Jung, H Kou, Q Li, H Zhao Theoretical Computer Science 594, 143-150, 2015 | 10 | 2015 |
| Completing simple valuations in K-categories X Jia, M Mislove Topology and its Applications, 108192, 2022 | 8 | 2022 |
| Core-compactness, consonance and the Smyth powerspaces Z Lyu, Y Chen, X Jia Topology and its Applications 312, 108066, 2022 | 7 | 2022 |
| Algebras of the extended probabilistic powerdomain monad J Goubault-Larrecq, X Jia Electronic Notes in Theoretical Computer Science 345, 37-61, 2019 | 7 | 2019 |
| θ-continuity and D θ-completion of posets Z Zhang, Q Li, X Jia Mathematical Structures in Computer Science 28 (4), 533-547, 2018 | 6 | 2018 |
| Separating minimal valuations, point-continuous valuations, and continuous valuations J Goubault-Larrecq, X Jia Mathematical Structures in Computer Science 31 (6), 614-632, 2021 | 4 | 2021 |
| The Central Valuations Monad X Jia, M Mislove, V Zamdzhiev arXiv preprint arXiv:2111.10873, 2021 | 3 | 2021 |
| Core-compactness of Smyth powerspaces Z Lyu, X Jia arXiv preprint arXiv:1907.04715, 2019 | 3 | 2019 |
| The Order-Sobrification Monad X Jia Applied Categorical Structures 28 (5), 845-852, 2020 | 2 | 2020 |
| Cartesian closed extensions of subcategories of CONT Z Zhang, Q Li, X Jia Order 34, 513-521, 2017 | 1 | 2017 |
| On the order-theoretic properties of lower concept formula systems L Guo, Q Li, X Jia Soft Computing 18 (2), 207-216, 2014 | 1 | 2014 |
| A cone-theoretic barycenter existence theorem J Goubault-Larrecq, X Jia Logical Methods in Computer Science 20, 2024 | | 2024 |
| The category of well-filtered dcpos is not -faithful H Miao, H Hou, X Jia, Q Li arXiv preprint arXiv:2409.01546, 2024 | | 2024 |
| -well-filtered spaces, revisited H Miao, X Jia, A Shen, Q Li arXiv preprint arXiv:2409.01551, 2024 | | 2024 |
Qingguo Li（李庆国）Hunan UniversityVerified email at hnu.edu.cn