| A note on coherence of dcpos X Jia, A Jung, Q Li Topology and its Applications 209, 235-238, 2016 | 35 | 2016 |
| Meet-continuity and locally compact sober dcpos X Jia University of Birmingham, 2018 | 28 | 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 | 20 | 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 | 18 | 2019 |
| 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 | 9 | 2015 |
| 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 | 8 | 2023 |
| 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 | 8 | 2022 |
| Completing simple valuations in K-categories X Jia, M Mislove Topology and its Applications, 108192, 2022 | 7 | 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 | 6 | 2019 |
| 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 |
| Core-compactness of Smyth powerspaces Z Lyu, X Jia arXiv preprint arXiv:1907.04715, 2019 | 3 | 2019 |
| θ-continuity and D θ-completion of posets Z Zhang, Q Li, X Jia Mathematical Structures in Computer Science 28 (4), 533-547, 2018 | 3 | 2018 |
| The Central Valuations Monad X Jia, M Mislove, V Zamdzhiev arXiv preprint arXiv:2111.10873, 2021 | 2 | 2021 |
| The Order-Sobrification Monad X Jia Applied Categorical Structures 28 (5), 845-852, 2020 | 1 | 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 |
| Continuous R-valuations J Goubault-Larrecq, X Jia Electronic Notes in Theoretical Informatics and Computer Science 2, 2023 | | 2023 |
| A cone-theoretic barycenter existence theorem J Goubault-Larrecq, X Jia arXiv preprint arXiv:2209.14005, 2022 | | 2022 |
| On the equivalence of Rudin's Lemma and the Boolean prime ideal theorem M Huang, X Jia, Q Li Topology and its Applications 308, 107970, 2022 | | 2022 |
Qingguo Li（李庆国）Hunan UniversityVerified email at hnu.edu.cn
