A note on coherence of dcpos X Jia, A Jung, Q Li Topology and its Applications 209, 235-238, 2016 | 37 | 2016 |
Meet-continuity and locally compact sober dcpos X Jia University of Birmingham, 2018 | 31 | 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 | 21 | 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 | 6 | 2019 |
θ-continuity and D θ-completion of posets Z Zhang, Q Li, X Jia Mathematical Structures in Computer Science 28 (4), 533-547, 2018 | 5 | 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 |
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 |
Products of two sober dcpo's need not be sober H Miao, X Xi, X Jia, Q Li, D Zhao arXiv preprint arXiv:2408.08587, 2024 | | 2024 |