Lixing Tan

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Abstract Argumentation

Top Venues

Int. J. Approx. Reason.

Int. J. Softw. Eng. Knowl. Eng.

Publications

Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan
More on Maximally Permissive Similarity Control of Discrete Event Systems. CoRR (2024)
Lixing Tan, Shuang Song, Yaofeng He, Kangneng Zhou, Tong Lu, Ruoxiu Xiao
EAR: Edge-Aware Reconstruction of 3-D vertebrae structures from bi-planar X-ray images. CoRR (2024)
Lixing Tan, Shuang Song, Kangneng Zhou, Chengbo Duan, Lanying Wang, Huayang Ren, Linlin Liu, Wei Zhang, Ruoxiu Xiao
Multi-view X-ray Image Synthesis with Multiple Domain Disentanglement from CT Scans. CoRR (2024)
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
A general approach to extension-based semantics in abstract argumentation. Artif. Intell. 315 (2023)
Lixing Tan, Zhaohui Zhu, Fujun Wang, Jinjin Zhang
Graded labellings for abstract argumentation. Int. J. Approx. Reason. 152 (2023)
Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach. Int. J. Softw. Eng. Knowl. Eng. 32 (2) (2022)
Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach. CoRR (2020)
Fujun Wang, Zining Cao, Lixing Tan, Hui Zong
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions. IEEE Access 8 (2020)
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
On graded semantics of abstract argumentation: Extension-based case. CoRR (2020)