Xiaodong Jia

22 papers A* 1B 1Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2024 J jnl
A cone-theoretic barycenter existence theorem.
Log. Methods Comput. Sci.
Jean Goubault-Larrecq, Xiaodong Jia
2023 J jnl
A Domain-theoretic Approach to Statistical Programming Languages.
J. ACM
Jean Goubault-Larrecq, Xiaodong Jia, Clément Théron
2022 J jnl
A cone-theoretic barycenter existence theorem.
CoRR
Jean Goubault-Larrecq, Xiaodong Jia
2022 — conf
Continuous R-valuations.
ISDT
Jean Goubault-Larrecq, Xiaodong Jia
2022 J jnl
Semantics for variational Quantum programming.
Proc. ACM Program. Lang.
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
A Domain-Theoretic Approach to Statistical Programming Languages.
CoRR
Jean Goubault-Larrecq, Xiaodong Jia, Clément Théron
2021 A* conf
Commutative Monads for Probabilistic Programming Languages.
LICS
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
Commutative Monads for Probabilistic Programming Languages.
CoRR
Xiaodong Jia, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
Semantics for Variational Quantum Programming.
CoRR
Xiaodong Jia, Andre Kornell, Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
Separating minimal valuations, point-continuous valuations and continuous valuations.
CoRR
Jean Goubault-Larrecq, Xiaodong Jia
2021 J jnl
Separating minimal valuations, point-continuous valuations, and continuous valuations.
Math. Struct. Comput. Sci.
Jean Goubault-Larrecq, Xiaodong Jia
2021 B conf
The Central Valuations Monad (Early Ideas).
CALCO
Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
2021 J jnl
The Central Valuations Monad.
CoRR
Xiaodong Jia, Michael W. Mislove, Vladimir Zamdzhiev
2020 J jnl
Completing Simple Valuations in K-categories.
CoRR
Xiaodong Jia, Michael W. Mislove
2020 J jnl
The Order-Sobrification Monad.
Appl. Categorical Struct.
Xiaodong Jia
2019 — conf
Algebras of the Extended Probabilistic Powerdomain Monad.
ISDT
Jean Goubault-Larrecq, Xiaodong Jia
2019 — conf
Domain-complete and LCS-complete Spaces.
ISDT
Matthew de Brecht, Jean Goubault-Larrecq, Xiaodong Jia, Zhenchao Lyu
2018 — —
Meet-continuity and locally compact sober dcpos.
Xiaodong Jia
2018 J jnl
θ-continuity and D θ-completion of posets.
Math. Struct. Comput. Sci.
Zhongxi Zhang, Qingguo Li, Xiaodong Jia
2017 J jnl
Cartesian Closed Extensions of Subcategories of CONT.
Order
Zhongxi Zhang, Qingguo Li, Xiaodong Jia
2015 J jnl
All cartesian closed categories of quasicontinuous domains consist of domains.
Theor. Comput. Sci.
Xiaodong Jia, Achim Jung, Hui Kou, Qingguo Li, Haoran Zhao
2014 J jnl
On the order-theoretic properties of lower concept formula systems.
Soft Comput.
Lankun Guo, Qingguo Li, Xiaodong Jia