Concepedia

Xiaodong Jia

XJ

Statistics

Publications

4

Citations

275

H-Index

4

Active since

2015

Affiliations

Hunan University(Current)

University of Birmingham

Xiaodong Jia is an author at Hunan University specializing in software maintenance, test automation, and formal methods.

ORCID

Top concepts

Publications per year

2015–2021

4

Publications

4

Fuzzing: State of the Art

Hongliang Liang, Xiaoxiao Pei, Xiaodong Jia et al. · IEEE Transactions on Reliability · 2018 · 215 citations

, , +15

A note on coherence of dcpos

Xiaodong Jia, Achim Jung, Qingguo Li · Topology and its Applications · 2016 · 33 citations · Full text

,

Commutative Monads for Probabilistic Programming Languages

Xiaodong Jia, Bert Lindenhovius, Michael Mislove et al. · 2021 · 17 citations · Full text

All cartesian closed categories of quasicontinuous domains consist of domains

Xiaodong Jia, Achim Jung, Hui Kou et al. · Theoretical Computer Science · 2015 · 10 citations · Full text

, ,

1–4 of 4