Lixing Tan

15 papers A* 1Journal 14
YearRankTypeTitle / Venue / Authors
2026 J jnl
Evaluating a novel incremental-input neural network for multivariate air temperature forecasting.
Eng. Appl. Artif. Intell.
Zhenyu Song, Shuangyu Song, Shuangbao Song, Lixing Tan, Cheng Tang, Junkai Ji
2026 J jnl
Short-term traffic flow prediction with a dendritic neural network-enhanced time series decomposition framework.
Appl. Soft Comput.
Zhenyu Song, Shuangbao Song, Yajiao Tang, Shuangyu Song, Lixing Tan, Cheng Tang
2025 J jnl
MKF-ADS: Multi-Knowledge Fusion Based Anomaly Detection System in Vehicular Control Area Networks.
IEEE Trans. Veh. Technol.
Pengzhou Cheng, Shouxuan Liu, Zongru Wu, Lixing Tan, Gongshen Liu
2025 J jnl
Reduced meet over labelling-based semantics in abstract argumentation.
Inf. Process. Lett.
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
2024 J jnl
A Formal Language for Performance Evaluation Based on Reinforcement Learning.
Int. J. Softw. Eng. Knowl. Eng.
Fujun Wang, Lixing Tan, Zining Cao, Yan Ma, Li Zhang
2024 J jnl
EAR: Edge-Aware Reconstruction of 3-D vertebrae structures from bi-planar X-ray images.
CoRR
Lixing Tan, Shuang Song, Yaofeng He, Kangneng Zhou, Tong Lu, Ruoxiu Xiao
2024 J jnl
More on Maximally Permissive Similarity Control of Discrete Event Systems.
CoRR
Yu Wang, Zhaohui Zhu, Rob van Glabbeek, Jinjin Zhang, Lixing Tan
2024 A* conf
Multi-view X-ray Image Synthesis with Multiple Domain Disentanglement from CT Scans.
ACM Multimedia
Lixing Tan, Shuang Song, Kangneng Zhou, Chengbo Duan, Lanying Wang, Huayang Ren, Linlin Liu, Wei Zhang, Ruoxiu Xiao
2024 J jnl
Multi-view X-ray Image Synthesis with Multiple Domain Disentanglement from CT Scans.
CoRR
Lixing Tan, Shuang Song, Kangneng Zhou, Chengbo Duan, Lanying Wang, Huayang Ren, Linlin Liu, Wei Zhang, Ruoxiu Xiao
2023 J jnl
A general approach to extension-based semantics in abstract argumentation.
Artif. Intell.
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
2023 J jnl
Graded labellings for abstract argumentation.
Int. J. Approx. Reason.
Lixing Tan, Zhaohui Zhu, Fujun Wang, Jinjin Zhang
2022 J jnl
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach.
Int. J. Softw. Eng. Knowl. Eng.
Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
2020 J jnl
Formal modeling and performance evaluation for hybrid systems: a probabilistic hybrid process algebra-based approach.
CoRR
Fujun Wang, Zining Cao, Lixing Tan, Zhen Li
2020 J jnl
On graded semantics of abstract argumentation: Extension-based case.
CoRR
Lixing Tan, Zhaohui Zhu, Jinjin Zhang
2020 J jnl
Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions.
IEEE Access
Fujun Wang, Zining Cao, Lixing Tan, Hui Zong