Get started
Author

Lixing Tan

Survey on Learning-Based Formal Methods: Taxonomy, Applications and Possible Future Directions
2020 · Fujun Wang, Zining Cao, et al. · IEEE Access · 19
PDF
MKF-ADS: Multi-Knowledge Fusion Based Anomaly Detection System in Vehicular Control Area Networks
2025 · Pengzhou Cheng, Shouxuan Liu, et al. · IEEE Transactions on Vehicular Technology · 11
PDF
A Formal Language for Performance Evaluation Based on Reinforcement Learning
2024 · Fujun Wang, Lixing Tan, et al. · International Journal of Software Engineering and Knowledge Engineering · 5
Formal Modeling and Performance Evaluation for Hybrid Systems: A Probabilistic Hybrid Process Algebra-Based Approach
2022 · Fujun Wang, Zining Cao, et al. · International Journal of Software Engineering and Knowledge Engineering · 4
PDF
Short-term traffic flow prediction with a dendritic neural network-enhanced time series decomposition framework
2026 · Zhenyu Song, Shuangbao Song, et al. · Applied Soft Computing · 3
EDESC-IDS: An Efficient Deep Embedded Subspace Clustering-Based Intrusion Detection System for the Internet of Vehicles
2026 · Lixing Tan, Liusiyu Chen, et al. · Computers, materials & continua/Computers, materials & continua (Print) · 2
PDF
A general approach to extension-based semantics in abstract argumentation
2022 · Lixing Tan, Zhaohui Zhu, et al. · Artificial Intelligence · 2
Graded labellings for abstract argumentation
2022 · Lixing Tan, Zhaohui Zhu, et al. · International Journal of Approximate Reasoning · 2
A group-selling auction for deadline-constrained computation collaborative offloading in multi-UAV edge networks
2026 · Lixing Tan, Zenan Lu, et al. · Ad Hoc Networks · 1
Evaluating a novel incremental-input neural network for multivariate air temperature forecasting
2026 · Zhenyu Song, Shuangyu Song, et al. · Engineering Applications of Artificial Intelligence · 1
Fuzzy Epistemic Logic: Fuzzy Logic of Doxastic Attitudes
2025 · Jinjin Zhang, Xiaoxia Zhou, et al. · Mathematics · 1
More on Maximally Permissive Similarity Control of Discrete Event Systems
2024 · Wang, Yu, Zhu, Zhaohui, et al. · arXiv (Cornell University) · 1
PDF
Ear: Edge-Aware Reconstruction of 3-D Vertebrae Structures from Bi-Planar X-Ray Images
2024 · Lixing Tan, Shuang Song, et al. · SSRN Electronic Journal · 1
MoPort: A View-Aware 2D Interface for Motion Language Models
2026 · Tan, Lixing, Xia, Qing, et al. · arXiv (Cornell University)
PDF
CUFormer: Modality-Aware CT-Ultrasound Point Cloud Registration for Orthopedic Navigation
2026 · Tan, Lixing, Hao, Hongye, et al. · arXiv (Cornell University)
PDF
PhyEvolve: Multi-Agent State-Evolution Planning for Physics-Aware Video Generation
2026 · Zhou, Yang-Hao, Tan, Lixing, et al. · arXiv (Cornell University)
PDF
FlashGaze: Training-Free Multi-Scale Patch Pruning For Efficient Video Understanding
2026 · Zhu, Ziye, Zhou, Yanghao, et al. · arXiv (Cornell University)
PDF
REMEDY: How Far Is Video Generation from Medical Education World Models?
2026 · Tan, Lixing, Zhou, Yanghao, et al. · arXiv (Cornell University)
PDF
Can Motion-Language Models Ground Structure? STRIDE for Evaluating the Evaluators
2026 · Tan, Lixing, Xia, Qing, et al. · arXiv (Cornell University)
PDF
Fairness-Aware Opinion Seeding in Undirected Signed Friedkin–Johnsen Networks
2026 · Zenan Lu, Zhongxiang Zhu, et al. · Mathematics
A Multi-Head Attention-Enhanced Fusion Model for Cross-Domain Short-Term Time Series Forecasting
2026 · Zhenyu Song, Yunuo Zhang, et al. · Mathematics
PDF
DINOv2-UNet: Deployment-Friendly Colonoscopy Polyp Segmentation with Self-Supervised ViT Priors
2026 · Chengfei Cai, Jia Yu, et al. · International Joint Conference on Neural Networks (IJCNN)
Reduced meet over labelling-based semantics in abstract argumentation
2024 · Lixing Tan, Zhaohui Zhu, et al. · Information Processing Letters
On graded semantics of abstract argumentation: Extension-based case.
2020 · Lixing Tan, Zhaohui Zhu, et al. · arXiv (Cornell University)
More on extension-based semantics of argumentation
2020 · Tan, Lixing, Zhu, Zhaohui, et al. · arXiv (Cornell University)
PDF
Works count: 25
Citation count: 48
H-index: 4
I10-index: 2
Year
Topic
Type