Approximate Simulation for Transition Systems with Regular Expressions. - Xinyu Cui; Zhaokai Li; Yuting Chang; Haiyu Pan (AILA, 2022)

Deep Learning-Based Approach for the Automatic Quantification of Epicardial Adipose Tissue from Non-Contrast CT. - Junda Qu; Yuting Chang; Liwei Sun; Yutang Li; Qian Si; Min-Fu Yang; Chunlin Li 003; Xu Zhang (Cogn. Comput., 2022)

Epicardial Adipose Tissue Segmentation and Quantification Based on Transformer Model. - Junda Qu; Yuting Chang; Miao He; Rongshen Zhou; Chunlin Li 003; Minfu Yang; Xu Zhang (BIC, 2023)

Fuzzy Safety and Liveness Properties in Linear-time. - Fan Shi; Zhiqiu Huang; Haiyu Pan; Yuting Chang; Heng Xu (QRS, 2024)