Nan Zhang - RankMe

84 papers B 2C 8Misc 7Journal 52Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	AutoTestForge: A Multidimensional Automated Testing Framework for Natural Language Processing Models. CoRR Hengrui Xing, Cong Tian, Liang Zhao, Zhi Ma, Wensheng Wang, Nan Zhang, Chao Huang, Zhenhua Duan
2025	J	`jnl`	Collaboration with Generative AI to improve Requirements Change. Comput. Stand. Interfaces Yuan Kong, Nan Zhang, Zhenhua Duan, Bin Yu
2025	J	`jnl`	Improved SARSA and DQN algorithms for reinforcement learning. Theor. Comput. Sci. Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian
2025	J	`jnl`	SAT-based bounded model checking for propositional projection temporal logic. Theor. Comput. Sci. Zhenhua Duan, Cong Tian, Nan Zhang, Chaofeng Yu, Mengfei Yang, Jia He
2025	J	`jnl`	SFD-resistant joint time-frequency symbol timing recovery algorithm and parallel FPGA implementation for broadband satellite communication. Digit. Signal Process. Peixin Zhang, Guo Li, Fengkui Gong, Nan Zhang, Daqing Wang, Zhao Li
2025	J	`jnl`	Verifying chip designs at RTL level. Sci. Comput. Program. Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu
2024	J	`jnl`	Generating Java code pairing with ChatGPT. Theor. Comput. Sci. Zelong Zhao, Nan Zhang, Bin Yu, Zhenhua Duan
2024	J	`jnl`	Robust Secure Precoding for UAV-Aided Multi-Beam Satellite NOMA Communications. IEEE Trans. Veh. Technol. Mengyan Huang, Guo Li, Fengkui Gong, Nan Zhang, Zhisheng Yin, Xingwang Li, Arumugam Nallanathan, Zhiguo Ding
2024	J	`jnl`	Secure Precoding for Satellite NOMA-Aided Integrated Sensing and Communication. IEEE Internet Things J. Mengyan Huang, Fengkui Gong, Guo Li, Nan Zhang, Quoc-Viet Pham
2023	J	`jnl`	A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. Bin Yu, Cong Tian, Xu Lu, Nan Zhang, Zhenhua Duan
2023	—	`conf`	A Dynamic Parameter Adaptive Path Planning Algorithm. COCOA (2) Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian
2023	J	`jnl`	A proof system for unified temporal logic. Theor. Comput. Sci. Nan Zhang, Chaofeng Yu, Zhenhua Duan, Cong Tian
2023	—	`conf`	An Approach to Agent Path Planning Under Temporal Logic Constraints. COCOON (2) Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian
2023	J	`jnl`	For Security and Higher Spectrum Efficiency: A Variable Packing Ratio Transmission System Based on Faster-Than-Nyquist and Deep Learning. IEEE Trans. Wirel. Commun. Peiyang Song, Nan Zhang, Lin Cai, Guo Li, Tong Wu, Feng-Kui Gong
2023	J	`jnl`	Parallel Doubly Fed Symbol Timing Recovery Algorithm and FPGA Implementation for Burst Broadband Satellite Access. IEEE Trans. Very Large Scale Integr. Syst. Nan Zhang, Jinghan Feng, Peixin Zhang, Fengkui Gong
2023	—	`conf`	Robust Secure Precoding for NOMA Multi-beam Satellite Systems. VTC2023-Spring Mengyan Huang, Guo Li, Nan Zhang, Fengkui Gong, Pengfei Xu
2023	Misc	`conf`	Verifying Chips Design at RTL Level. TASE Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu
2022	J	`jnl`	A novel load balancing scheme for mobile edge computing. J. Syst. Softw. Zhenhua Duan, Cong Tian, Nan Zhang, MengChu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
2022	—	`conf`	An Approach for Automatically Generating Traces for Python Programs. DSA Xiaoting Zhong, Nan Zhang, Zhenhua Duan
2022	—	`conf`	Implementation of Matlab matfun Toolkit Based on MSVL. SOFL+MSVL Xueqing Feng, Nan Zhang, Zhenhua Duan
2022	J	`jnl`	PPTL specification mining based on LNFG. Theor. Comput. Sci. Xinya Ning, Nan Zhang, Zhenhua Duan, Cong Tian
2022	J	`jnl`	Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian
2021	J	`jnl`	A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. IEEE Trans. Reliab. Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2021	J	`jnl`	A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. Xu Lu, Nan Zhang, Cong Tian, Bin Yu, Zhenhua Duan
2021	J	`jnl`	A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR Zhenhua Duan, Cong Tian, Nan Zhang, MengChu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu
2021	J	`jnl`	A dynamic approach to detecting, eliminating and fixing memory leaks. J. Comb. Optim. Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2021	C	`conf`	Design and Implementation of List and Dictionary in XD-M Language. AAIM Yajie Wang, Nan Zhang, Zhenhua Duan
2021	J	`jnl`	Reliability and Security Performance Analysis of Hybrid Satellite-Terrestrial Multi-Relay Systems With Artificial Noise. IEEE Access Mengyan Huang, Fengkui Gong, Nan Zhang, Guo Li, Feng Qian
2021	J	`jnl`	Temporal logic specification mining of programs. Theor. Comput. Sci. Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan
2021	J	`jnl`	Unified temporal logic. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2020	J	`jnl`	A novel approach to verifying context free properties of programs. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
2020	J	`jnl`	A sound and complete proof system for a unified temporal logic. Theor. Comput. Sci. Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
2020	J	`jnl`	Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao
2020	J	`jnl`	P2P Network Based Smart Parking System Using Edge Computing. Mob. Networks Appl. Nan Zhang, Xu Lu, Cong Tian, Zhenhua Duan, Zhifeng Sun, Ting Zhang
2020	J	`jnl`	ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
2020	C	`conf`	Propositional Projection Temporal Logic Specification Mining. COCOA Nan Zhang, Xiaoshuai Yuan, Zhenhua Duan
2020	J	`jnl`	Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
2019	Misc	`conf`	A Proof System for a Unified Temporal Logic. COCOON Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang
2019	J	`jnl`	A temporal logic programming approach to planning. J. Comb. Optim. Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2019	Misc	`conf`	An Efficient Decision Procedure for Propositional Projection Temporal Logic. COCOON Xinfeng Shu, Nan Zhang
2019	J	`jnl`	Index set expressions can represent temporal logic formulas. Theor. Comput. Sci. Zhenhua Duan, Cong Tian, Nan Zhang, Qian Ma, Hongwei Du
2019	J	`jnl`	Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan
2019	J	`jnl`	Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2019	J	`jnl`	Verifying schedulability of tasks in ROS-based systems. J. Comb. Optim. Jin Cui, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du
2018	—	`conf`	A Blockchain Implementation of an Attendance Management System. SOFL+MSVL Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu
2018	C	`conf`	A Low-Complexity Blind Equalization Algorithm for 4096-QAM Systems. APCC Bo Wu, Nan Zhang, Hang Zhang, Feng-Kui Gong
2018	—	`conf`	A Low-complexity and Flexible Implementation of Carrier Recovery for 4096-QAM Systems. VTC Fall Hao Wang, Nan Zhang, Hang Zhang, Fengkui Gong
2018	C	`conf`	A Novel Approach to Verifying Context Free Properties of Programs. AAIM Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du
2018	J	`jnl`	A Runtime Optimization Approach for FPGA Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Dekui Wang, Zhenhua Duan, Cong Tian, Bohu Huang, Nan Zhang
2018	J	`jnl`	A compiler for MSVL and its applications. Theor. Comput. Sci. Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang
2018	—	`conf`	Blind Estimation Algorithms for I/Q Imbalance in Direct Down-Conversion Receivers. VTC Fall Peiyang Song, Nan Zhang, Hang Zhang, Fengkui Gong
2018	J	`jnl`	Translating C programs to MSVL programs. CoRR Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao
2018	J	`jnl`	Verifying temporal properties of programs: A parallel approach. J. Parallel Distributed Comput. Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang
2017	—	`conf`	Implementing MapReduce with MSVL. SOFL+MSVL Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui
2017	—	`conf`	Modeling and Verifying Multi-core Programs. COCOA (2) Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang
2017	J	`jnl`	Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. Zhenhua Duan, Cong Tian, MengChu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang
2016	—	`conf`	A Proof System for MSVL Programs in Coq. SOFL+MSVL Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian
2016	J	`jnl`	A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. Zhenhua Duan, Cong Tian, Nan Zhang
2016	J	`jnl`	A complete axiom system for propositional projection temporal logic with cylinder computation model. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2016	J	`jnl`	A mechanism of function calls in MSVL. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2016	J	`jnl`	Model checking concurrent systems with MSVL. Sci. China Inf. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2016	J	`jnl`	Verifying safety critical task scheduling systems in PPTL axiom system. J. Comb. Optim. Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian
2015	J	`jnl`	A Fuse-and-Forward Protocol for Two-Way Relaying Networks With Relay Having Its Own Broadcasting Information. IEEE Commun. Lett. Guo Li, Fengkui Gong, Nan Zhang, Yong Wang
2015	—	`conf`	A Self-ORganizing Trust Model Based on HP2P. MSN Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang
2015	J	`jnl`	An extended strange planet protocol. J. Comb. Optim. Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang
2015	B	`conf`	Distributed space-time block coding in multi-way amplify-and-forward relaying networks. PIMRC Guo Li, Fengkui Gong, Nan Zhang, Xiang Chen
2015	Misc	`conf`	Model Checking MSVL Programs Based on Dynamic Symbolic Execution. COCOON Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang
2015	C	`conf`	Model Checking \mu μ C/OS-III Multi-task System with TMSVL. ICFEM Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou
2015	—	`conf`	Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. SOFL+MSVL Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang
2015	C	`conf`	Verification of a real time scheduling protocol of safety-critical systems. CSCWD Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang
2015	J	`jnl`	Verification of distributed systems with the axiomatic system of MSVL. Formal Aspects Comput. Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang
2014	J	`jnl`	A formal proof of the deadline driven scheduler in PPTL axiomatic system. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du
2014	Misc	`conf`	An Axiomatization for Cylinder Computation Model. COCOON Nan Zhang, Zhenhua Duan, Cong Tian
2014	C	`conf`	Extending MSVL with Function Calls. ICFEM Nan Zhang, Zhenhua Duan, Cong Tian
2014	Misc	`conf`	Normal Form Expressions of Propositional Projection Temporal Logic. COCOON Zhenhua Duan, Cong Tian, Nan Zhang
2013	J	`jnl`	A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. Zhenhua Duan, Nan Zhang, Maciej Koutny
2013	J	`jnl`	A cylinder computation model for many-core parallel computing. Theor. Comput. Sci. Nan Zhang, Zhenhua Duan, Cong Tian
2013	—	`conf`	Design of training-aided transmission schemes for the DC-STBC based two-way relaying network. WCSP Shi Yin, Fengkui Gong, Lianben Li, Nan Zhang
2013	B	`conf`	Distributed collaborative space-time block codes for two-way relaying network. WCNC Fengkui Gong, Jian-Kang Zhang, Jianhua Ge, Nan Zhang
2013	—	`conf`	Some Fixed-Point Issues in PPTL. Theories of Programming and Formal Methods Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang
2012	J	`jnl`	An efficient approach for abstraction-refinement in model checking. Theor. Comput. Sci. Cong Tian, Zhenhua Duan, Nan Zhang
2011	C	`conf`	A Semantic Model for Many-Core Parallel Computing. COCOA Nan Zhang, Zhenhua Duan
2011	J	`jnl`	SER Analysis of the Mobile-Relay-Based M2M Communication over Double Nakagami-m Fading Channels. IEEE Commun. Lett. Fengkui Gong, Jianhua Ge, Nan Zhang
2008	Misc	`conf`	A Complete Axiomatization of Propositional Projection Temporal Logic. TASE Zhenhua Duan, Nan Zhang