Dynamic epistemic logic with topological semantics. - Shunan He; Jiahong Guo (ICSAI, 2016)

Computerised Interpretation Systems for Cardiotocography for Both Home and Hospital Uses. - Yu Lu 001; Yongjie Gao; Yuyang Xie; Shunan He (CBMS, 2018)