We stand with Ukraine  

Xiaodong Jia

Orcid: 0000-0001-9310-6143

Affiliations:
  • Hunan University, School of Mathematics, China
  • Tulane University, Department of Computer Science, New Orleans, LA, USA (2019-2021)
  • Paris-Saclay University, LSV, France (2018-2019)


According to our database1, Xiaodong Jia authored at least 17 papers between 2014 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A cone-theoretic barycenter existence theorem.
[BibTeX]
[DOI]
Jean Goubault-Larrecq
,
Xiaodong Jia
Log. Methods Comput. Sci., 2024

2023
A Domain-theoretic Approach to Statistical Programming Languages.
[BibTeX]
[DOI]
Jean Goubault-Larrecq
,
Xiaodong Jia
,
Clément Théron
J. ACM, October, 2023

2022
Semantics for variational Quantum programming.
[BibTeX]
[DOI]
Xiaodong Jia
,
Andre Kornell
,
Bert Lindenhovius
,
Michael W. Mislove
,
Vladimir Zamdzhiev
Proc. ACM Program. Lang., 2022

Continuous R-valuations.
[BibTeX]
[DOI]
Jean Goubault-Larrecq
,
Xiaodong Jia
Proceedings of the 9th International Symposium on Domain Theory and Its Applications, 2022

2021
Separating minimal valuations, point-continuous valuations, and continuous valuations.
[BibTeX]
[DOI]
Jean Goubault-Larrecq
,
Xiaodong Jia
Math. Struct. Comput. Sci., 2021

The Central Valuations Monad.
[BibTeX]
[DOI]
Xiaodong Jia
,
Michael W. Mislove
,
Vladimir Zamdzhiev
CoRR, 2021

Commutative Monads for Probabilistic Programming Languages.
[BibTeX]
[DOI]
Xiaodong Jia
,
Bert Lindenhovius
,
Michael W. Mislove
,
Vladimir Zamdzhiev
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

The Central Valuations Monad (Early Ideas).
[BibTeX]
[DOI]
Xiaodong Jia
,
Michael W. Mislove
,
Vladimir Zamdzhiev
Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020
Completing Simple Valuations in K-categories.
[BibTeX]
[DOI]
Xiaodong Jia
,
Michael W. Mislove
CoRR, 2020

The Order-Sobrification Monad.
[BibTeX]
[DOI]
Xiaodong Jia
Appl. Categorical Struct., 2020

2019
Algebras of the Extended Probabilistic Powerdomain Monad.
[BibTeX]
[DOI]
Jean Goubault-Larrecq
,
Xiaodong Jia
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019

Domain-complete and LCS-complete Spaces.
[BibTeX]
[DOI]
Matthew de Brecht
,
Jean Goubault-Larrecq
,
Xiaodong Jia
,
Zhenchao Lyu
Proceedings of the 8th International Symposium on Domain Theory and Its Applications, 2019

2018
Meet-continuity and locally compact sober dcpos.
[BibTeX]
[DOI]
Xiaodong Jia
PhD thesis, 2018

θ-continuity and D θ-completion of posets.
[BibTeX]
[DOI]
Zhongxi Zhang
,
Qingguo Li
,
Xiaodong Jia
Math. Struct. Comput. Sci., 2018

2017
Cartesian Closed Extensions of Subcategories of CONT.
[BibTeX]
[DOI]
Zhongxi Zhang
,
Qingguo Li
,
Xiaodong Jia
Order, 2017

2015
All cartesian closed categories of quasicontinuous domains consist of domains.
[BibTeX]
[DOI]
Xiaodong Jia
,
Achim Jung
,
Hui Kou
,
Qingguo Li
,
Haoran Zhao
Theor. Comput. Sci., 2015

2014
On the order-theoretic properties of lower concept formula systems.
[BibTeX]
[DOI]
Lankun Guo
,
Qingguo Li
,
Xiaodong Jia
Soft Comput., 2014


  Loading...