Xiaohong Chen
发表
G. Rosu,
D. Lucanu,
Xiaohong Chen,
2020
.
Xiaohong Chen,
Zheng-Hua Lin,
2021
.
G. Rosu,
Xiaohong Chen,
Minh-Thai Trinh,
2021
.
Tam'as B'alint Mizsei,
Xiaohong Chen,
Péter Bereczky,
2022,
ArXiv.
Xiaohong Chen,
2020
.
Nishant Rodrigues,
G. Rosu,
Xiaohong Chen,
2021
.
Tam'as B'alint Mizsei,
Xiaohong Chen,
Péter Bereczky,
2022,
FROM.
G. Rosu,
D. Lucanu,
Xiaohong Chen,
2022,
Journal of Logical and Algebraic Methods in Programming.
Jonathan P. Bowen,
Zhiming Liu,
Sabita Maharjan,
2016,
Sensors.
Nishant Rodrigues,
Minh-Thai Trinh,
Grigore Rosu,
2020,
Proc. ACM Program. Lang..
Zhiming Liu,
Xiaohong Chen,
Zhiming Liu,
2014,
SETSS.
Xiaohong Chen,
Grigore Roşu,
Xiaohong Chen,
2019
.
Grigore Rosu,
Xiaohong Chen,
Daejun Park,
2018,
ISoLA.
Dorel Lucanu,
Grigore Rosu,
Xiaohong Chen,
2020,
J. Log. Algebraic Methods Program..
Grigore Rosu,
Xiaohong Chen,
Xiaohong Chen,
2018,
ISoLA.
Xiaohong Chen,
Minh-Thai Trinh,
John Wang,
2023,
Proc. ACM Program. Lang..
Xiaohong Chen,
G. Roşu,
Jan Tusil,
2021
.
Meng Sun,
Xiaohong Chen,
Yiwu Wang,
2015,
2015 International Symposium on Theoretical Aspects of Software Engineering.
Jun Sun,
Meng Sun,
Xiaohong Chen,
2014,
ICFEM.
Grigore Rosu,
Xiaohong Chen,
Xiaohong Chen,
2019,
SETSS.
Grigore Rosu,
Minh-Thai Trinh,
Xiaohong Chen,
2021,
CAV.
Grigore Rosu,
Xiaohong Chen,
Xiaohong Chen,
2020,
Proc. ACM Program. Lang..
Traian-Florin Serbanuta,
D. Kesner,
Denisa Diaconescu,
2023
.
Xiaohong Chen,
Meng Sun,
Xiyue Zhang,
2022,
ICTAC.
Yi Li,
Jun Sun,
Jingyi Wang,
2016,
FM.