Yuan Fei

Specification and Verification of the Zab Protocol with TLA+

Jiaqi Yin, Huibiao Zhu, Yuan Fei · Journal of Computer Science and Technology · 2020 · 15 citations

Computing, Computer Science, Computer Systems +12

Comparative modelling and verification of Pthreads and Dthreads

Yuan Fei, Huibiao Zhu, Xi Wu et al. · Journal of Software Evolution and Process · 2017 · 13 citations · Full text

Computing, Computer Engineering, Computer Science +17

Symbol-LLM: Towards Foundational Symbol-centric Interface For Large Language Models

Fangzhi Xu, Zhiyong Wu, Qiushi Sun et al. · 2024 · 13 citations · Full text

Computing, Computer Science, Linguistics +12

Security Analysis of the Access Control Solution of NDN Using BAN Logic

Yuan Fei, Huibiao Zhu, Phan Công Vinh · Mobile Networks and Applications · 2020 · 12 citations

Computing, Computer Science, Cybersecurity +16

A Cooperative Spectrum Sensing Scheme Based on Trust and Fuzzy Logic for Cognitive Radio Sensor Networks

Yonghua Wang, Yuehong Li, Yuan Fei et al. · 2013 · 10 citations

Engineering, Electrical Engineering, Sensor Fusion +15