Lixing Tan

According to our database, Lixing Tan authored at least 10 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2025

Reduced meet over labelling-based semantics in abstract argumentation.

Lixing Tan, Zhaohui Zhu, Jinjin Zhang

Inf. Process. Lett., 2025

2024

EAR: Edge-Aware Reconstruction of 3-D vertebrae structures from bi-planar X-ray images.

Lixing Tan, Shuang Song, Yaofeng He, Kangneng Zhou, Tong Lu, Ruoxiu Xiao

CoRR, 2024

More on Maximally Permissive Similarity Control of Discrete Event Systems.

Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan

CoRR, 2024

Multi-view X-ray Image Synthesis with Multiple Domain Disentanglement from CT Scans.

Lixing Tan, Shuang Song, Kangneng Zhou, Chengbo Duan, Lanying Wang, Huayang Ren, Linlin Liu, Wei Zhang, Ruoxiu Xiao

CoRR, 2024

Multi-view X-ray Image Synthesis with Multiple Domain Disentanglement from CT Scans.

Lixing Tan, Shuang Song, Kangneng Zhou, Chengbo Duan, Lanying Wang, Huayang Ren, Linlin Liu, Wei Zhang, Ruoxiu Xiao

Proceedings of the 32nd ACM International Conference on Multimedia, MM 2024, Melbourne, VIC, Australia, 28 October 2024, 2024

2023

Graded labellings for abstract argumentation.

Lixing Tan, Zhaohui Zhu, Fujun Wang, Jinjin Zhang

Int. J. Approx. Reason., 2023

A general approach to extension-based semantics in abstract argumentation.

Lixing Tan, Zhaohui Zhu, Jinjin Zhang

Artif. Intell., 2023

2022

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

2020

On graded semantics of abstract argumentation: Extension-based case.

Lixing Tan, Zhaohui Zhu, Jinjin Zhang

CoRR, 2020

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions.

Fujun Wang, Zining Cao, Lixing Tan, Hui Zong

IEEE Access, 2020