Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions. - Fujun Wang; Zining Cao; Lixing Tan; Hui Zong (IEEE Access, 2020)

On graded semantics of abstract argumentation: Extension-based case. - Lixing Tan; Zhaohui Zhu; Jinjin Zhang (CoRR, 2020)

Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach. - Fujun Wang; Zining Cao; Lixing Tan; Zhen Li (Int. J. Softw. Eng. Knowl. Eng., 2022)

A general approach to extension-based semantics in abstract argumentation. - Lixing Tan; Zhaohui Zhu; Jinjin Zhang (Artif. Intell., 2023)

Graded labellings for abstract argumentation. - Lixing Tan; Zhaohui Zhu; Fujun Wang; Jinjin Zhang (Int. J. Approx. Reason., 2023)

Multi-view X-ray Image Synthesis with Multiple Domain Disentanglement from CT Scans. - Lixing Tan; Shuang Song 005; Kangneng Zhou; Chengbo Duan; Lanying Wang; Huayang Ren; Linlin Liu; Wei Zhang; Ruoxiu Xiao (ACM Multimedia, 2024)

More on Maximally Permissive Similarity Control of Discrete Event Systems. - Yu Wang; Zhaohui Zhu; Rob van Glabbeek; Jinjin Zhang; Lixing Tan (CoRR, 2024)

EAR: Edge-Aware Reconstruction of 3-D vertebrae structures from bi-planar X-ray images. - Lixing Tan; Shuang Song 005; Yaofeng He; Kangneng Zhou; Tong Lu; Ruoxiu Xiao (CoRR, 2024)

A Formal Language for Performance Evaluation Based on Reinforcement Learning. - Fujun Wang; Lixing Tan; Zining Cao; Yan Ma; Li Zhang 052 (Int. J. Softw. Eng. Knowl. Eng., 2024)

Reduced meet over labelling-based semantics in abstract argumentation. - Lixing Tan; Zhaohui Zhu; Jinjin Zhang (Inf. Process. Lett., 2025)