フォロー
Xiaodong Jia
Xiaodong Jia
School of Mathematics, Hunan University
確認したメール アドレス: hnu.edu.cn
タイトル
引用先
引用先
A note on coherence of dcpos
X Jia, A Jung, Q Li
Topology and its Applications 209, 235-238, 2016
372016
Meet-continuity and locally compact sober dcpos
X Jia
University of Birmingham, 2018
312018
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
232021
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
212019
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
152022
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
102023
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
102015
Completing simple valuations in K-categories
X Jia, M Mislove
Topology and its Applications, 108192, 2022
82022
Core-compactness, consonance and the Smyth powerspaces
Z Lyu, Y Chen, X Jia
Topology and its Applications 312, 108066, 2022
72022
Algebras of the extended probabilistic powerdomain monad
J Goubault-Larrecq, X Jia
Electronic Notes in Theoretical Computer Science 345, 37-61, 2019
62019
θ-continuity and D θ-completion of posets
Z Zhang, Q Li, X Jia
Mathematical Structures in Computer Science 28 (4), 533-547, 2018
52018
Separating minimal valuations, point-continuous valuations, and continuous valuations
J Goubault-Larrecq, X Jia
Mathematical Structures in Computer Science 31 (6), 614-632, 2021
42021
The Central Valuations Monad
X Jia, M Mislove, V Zamdzhiev
arXiv preprint arXiv:2111.10873, 2021
32021
Core-compactness of Smyth powerspaces
Z Lyu, X Jia
arXiv preprint arXiv:1907.04715, 2019
32019
The Order-Sobrification Monad
X Jia
Applied Categorical Structures 28 (5), 845-852, 2020
22020
Cartesian closed extensions of subcategories of CONT
Z Zhang, Q Li, X Jia
Order 34, 513-521, 2017
12017
On the order-theoretic properties of lower concept formula systems
L Guo, Q Li, X Jia
Soft Computing 18 (2), 207-216, 2014
12014
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
現在システムで処理を実行できません。しばらくしてからもう一度お試しください。
論文 1–20