Personal information
No personal information available
Activities
Employment (3)
2019-11-01
to
present
(School of Mathematics )
Employment
Source:
XIAODONG JIA
2019-11-01
to
2021-06-24
|
Postdoc
(Computer Science)
Employment
Source:
XIAODONG JIA
2018-05-31
to
2019-04-30
Employment
Source:
XIAODONG JIA
Education and qualifications (1)
2015
to
2018
Qualification
Source:
XIAODONG JIA
Works (15)
Journal of the ACM
2023-10-31
|
Journal article
Contributors:
Jean Goubault-Larrecq;
Xiaodong Jia;
Clément Théron
Source:
check_circle
Crossref
Proceedings of the ACM on Programming Languages
2022-01-16
|
Journal article
Contributors:
Xiaodong Jia;
Andre Kornell;
Bert Lindenhovius;
Michael Mislove;
Vladimir Zamdzhiev
Source:
check_circle
Crossref
Source:
XIAODONG JIA
Source:
XIAODONG JIA
Mathematical Structures in Computer Science
2021-06
|
Journal article
Contributors:
Jean Goubault-Larrecq;
Xiaodong Jia
Source:
check_circle
Crossref
Source:
XIAODONG JIA
Source:
XIAODONG JIA
Applied Categorical Structures
2020-10-10
|
Journal article
Contributors:
Xiaodong Jia
Source:
check_circle
Crossref
Source:
XIAODONG JIA
Electronic Notes in Theoretical Computer Science
2019-08
|
Journal article
Source:
XIAODONG JIA
Electronic Notes in Theoretical Computer Science
2019-08
|
Journal article
Source:
XIAODONG JIA
Source:
XIAODONG JIA
Mathematical Structures in Computer Science
2018-04
|
Journal article
Source:
XIAODONG JIA
Topology and its Applications
2016-08
|
Journal article
Source:
XIAODONG JIA
Theoretical Computer Science
2015-08
|
Journal article
Source:
XIAODONG JIA