关注
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
352016
Meet-continuity and locally compact sober dcpos
X Jia
University of Birmingham, 2018
292018
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
192019
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
112022
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
92023
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
92015
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
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
θ-continuity and D θ-completion of posets
Z Zhang, Q Li, X Jia
Mathematical Structures in Computer Science 28 (4), 533-547, 2018
32018
The Order-Sobrification Monad
X Jia
Applied Categorical Structures 28 (5), 845-852, 2020
12020
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
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
系统目前无法执行此操作,请稍后再试。
文章 1–20