Xiaodong Jia

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Continuous \(R\)-valuations	2026-04-02	Paper
A cone-theoretic barycenter existence theorem Logical Methods in Computer Science	2024-11-12	Paper
scientific article; zbMATH DE number 7774244 (Why is no real title available?) (available as arXiv preprint)	2023-12-08	Paper
Continuous R-valuations	2022-11-22	Paper
A cone-theoretic barycenter existence theorem	2022-09-28	Paper
Completing simple valuations in K-categories Topology and its Applications	2022-08-20	Paper
Separating minimal valuations, point-continuous valuations, and continuous valuations Mathematical Structures in Computer Science	2022-05-17	Paper
Core-compactness, consonance and the Smyth powerspaces Topology and its Applications	2022-04-27	Paper
Algebras of the extended probabilistic powerdomain monad (available as arXiv preprint)	2022-04-25	Paper
Domain-complete and LCS-complete spaces (available as arXiv preprint)	2022-04-25	Paper
On the equivalence of Rudin's lemma and the Boolean prime ideal theorem Topology and its Applications	2022-02-09	Paper
Separating minimal valuations, point-continuous valuations and continuous valuations (available as arXiv preprint)	2021-09-01	Paper
Semantics for Variational Quantum Programming	2021-07-28	Paper
The order-sobrification monad Applied Categorical Structures	2021-05-04	Paper
Commutative Monads for Probabilistic Programming Languages	2021-01-31	Paper
scientific article; zbMATH DE number 7145020 (Why is no real title available?)	2019-12-18	Paper
Core-compactness of Smyth powerspaces	2019-07-10	Paper
Algebras of the extended probabilistic powerdomain monad (available as arXiv preprint)	2019-03-18	Paper
Domain-complete and LCS-complete spaces (available as arXiv preprint)	2019-02-28	Paper
\(\theta\)-continuity and \(D_\theta\)-completion of posets Mathematical Structures in Computer Science	2018-03-09	Paper
Cartesian closed extensions of subcategories of CONT Order	2017-12-21	Paper
A note on coherence of dcpos Topology and its Applications	2016-07-27	Paper
On the order-theoretic properties of lower concept formula systems Soft Computing	2015-11-16	Paper
All Cartesian closed categories of quasicontinuous domains consist of domains Theoretical Computer Science	2015-07-24	Paper

Research outcomes over time

This page was built for person: Xiaodong Jia