default search action
Nan Zhang 0001
Person information
- affiliation: Xidian University, Institute of Computing Theory and Technology / ISN Lab, Xi'an, China
Other persons with the same name
- Nan Zhang — disambiguation page
- Nan Zhang 0002 — Michigan State University
- Nan Zhang 0003 — University of Birmingham, UK
- Nan Zhang 0004
— The Pennsylvania State University, University Park, PA, USA (and 1 more)
- Nan Zhang 0005 — University of Central Florida
- Nan Zhang 0006 — Beijing University of Technology
- Nan Zhang 0007 — Chinese Academy of Science, China Knowledge Grid Research Group, China
- Nan Zhang 0009 — University of Kaiserslautern
- Nan Zhang 0010 — National University of Singapore, Multimedia Information Lab
- Nan Zhang 0011 — University of Minnesota
- Nan Zhang 0012
- Nan Zhang 0013
- Nan Zhang 0014
- Nan Zhang 0015
- Nan Zhang 0016 — Texas A&M University, College Station, TX, USA
- Nan Zhang 0017
- Nan Zhang 0018
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
- [j39]Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu:
Verifying chip designs at RTL level. Sci. Comput. Program. 240: 103224 (2025) - [j38]Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian:
Improved SARSA and DQN algorithms for reinforcement learning. Theor. Comput. Sci. 1027: 115025 (2025) - 2024
- [j37]Zelong Zhao, Nan Zhang
Generating Java code pairing with ChatGPT. Theor. Comput. Sci. 1021: 114879 (2024) - 2023
- [j36]Nan Zhang
A proof system for unified temporal logic. Theor. Comput. Sci. 949: 113702 (2023) - [j35]Bin Yu
A Distributed Network-Based Runtime Verification of Full Regular Temporal Properties. IEEE Trans. Parallel Distributed Syst. 34(1): 76-91 (2023) - [c25]Guangyu Yao, Nan Zhang, Zhenhua Duan, Cong Tian:
A Dynamic Parameter Adaptive Path Planning Algorithm. COCOA (2) 2023: 227-239 - [c24]Chaofeng Yu, Nan Zhang, Zhenhua Duan, Cong Tian:
An Approach to Agent Path Planning Under Temporal Logic Constraints. COCOON (2) 2023: 82-93 - [c23]Wu Wang, Nan Zhang, Cong Tian, Zhenhua Duan, Zhijie Xu, Chaofeng Yu:
Verifying Chips Design at RTL Level. TASE 2023: 146-163 - 2022
- [j34]Zhenhua Duan, Cong Tian, Nan Zhang
A novel load balancing scheme for mobile edge computing. J. Syst. Softw. 186: 111195 (2022) - [j33]Xinya Ning, Nan Zhang
PPTL specification mining based on LNFG. Theor. Comput. Sci. 937: 85-95 (2022) - [j32]Nan Zhang
Verifying Properties of MapReduce-Based Big Data Processing. IEEE Trans. Reliab. 71(1): 321-338 (2022) - [c22]Xiaoting Zhong, Nan Zhang, Zhenhua Duan:
An Approach for Automatically Generating Traces for Python Programs. DSA 2022: 262-268 - [c21]Xueqing Feng, Nan Zhang, Zhenhua Duan:
Implementation of Matlab matfun Toolkit Based on MSVL. SOFL+MSVL 2022: 53-58 - 2021
- [j31]Bin Yu, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
A dynamic approach to detecting, eliminating and fixing memory leaks. J. Comb. Optim. 42(3): 409-426 (2021) - [j30]Nan Zhang, Bin Yu, Cong Tian, Zhenhua Duan, Xiaoshuai Yuan:
Temporal logic specification mining of programs. Theor. Comput. Sci. 857: 29-42 (2021) - [j29]Nan Zhang, Zhenhua Duan, Cong Tian:
Unified temporal logic. Theor. Comput. Sci. 864: 58-69 (2021) - [j28]Xu Lu
A Knowledge-Based Temporal Planning Approach for Urban Traffic Control. IEEE Trans. Intell. Transp. Syst. 22(3): 1907-1918 (2021) - [j27]Kai Yang, Cong Tian
A CEGAR-Based Static-Dynamic Approach to Verifying Full Regular Properties of C Programs. IEEE Trans. Reliab. 70(4): 1455-1467 (2021) - [c20]Yajie Wang, Nan Zhang, Zhenhua Duan:
Design and Implementation of List and Dictionary in XD-M Language. AAIM 2021: 344-355 - [i2]Zhenhua Duan, Cong Tian, Nan Zhang, Mengchu Zhou, Bin Yu, Xiaobing Wang, Jiangen Guo, Ying Wu:
A Novel Load Balancing Scheme for Mobile Edge Computing. CoRR abs/2112.10091 (2021) - 2020
- [j26]Nan Zhang
P2P Network Based Smart Parking System Using Edge Computing. Mob. Networks Appl. 25(6): 2226-2239 (2020) - [j25]Dekui Wang
ParRA: A Shared Memory Parallel FPGA Router Using Hybrid Partitioning Approach. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(4): 830-842 (2020) - [j24]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating Xd-C programs to MSVL programs. Theor. Comput. Sci. 809: 430-465 (2020) - [j23]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du:
A novel approach to verifying context free properties of programs. Theor. Comput. Sci. 809: 519-530 (2020) - [j22]Xinfeng Shu, Nan Zhang, Xiaobing Wang, Liang Zhao:
Efficient decision procedure for propositional projection temporal logic. Theor. Comput. Sci. 838: 1-16 (2020) - [j21]Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A sound and complete proof system for a unified temporal logic. Theor. Comput. Sci. 838: 25-44 (2020) - [c19]Nan Zhang, Xiaoshuai Yuan, Zhenhua Duan:
Propositional Projection Temporal Logic Specification Mining. COCOA 2020: 289-303
2010 – 2019
- 2019
- [j20]Jin Cui
Verifying schedulability of tasks in ROS-based systems. J. Comb. Optim. 37(3): 901-920 (2019) - [j19]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
Verifying a scheduling protocol of safety-critical systems. J. Comb. Optim. 37(4): 1191-1215 (2019) - [j18]Kai Yang, Cong Tian, Nan Zhang, Zhenhua Duan, Hongwei Du:
A temporal logic programming approach to planning. J. Comb. Optim. 38(2): 402-420 (2019) - [j17]Zhenhua Duan
Index set expressions can represent temporal logic formulas. Theor. Comput. Sci. 788: 21-38 (2019) - [j16]Meng Wang
Verifying Full Regular Temporal Properties of Programs via Dynamic Program Execution. IEEE Trans. Reliab. 68(3): 1101-1116 (2019) - [c18]Xinfeng Shu, Nan Zhang:
An Efficient Decision Procedure for Propositional Projection Temporal Logic. COCOON 2019: 503-515 - [c17]Liang Zhao, Xiaobing Wang, Xinfeng Shu, Nan Zhang:
A Proof System for a Unified Temporal Logic. COCOON 2019: 663-676 - 2018
- [j15]Bin Yu, Zhenhua Duan, Cong Tian, Nan Zhang:
Verifying temporal properties of programs: A parallel approach. J. Parallel Distributed Comput. 118(Part): 89-99 (2018) - [j14]Dekui Wang
A Runtime Optimization Approach for FPGA Routing. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(8): 1706-1710 (2018) - [j13]Kai Yang, Zhenhua Duan, Cong Tian, Nan Zhang:
A compiler for MSVL and its applications. Theor. Comput. Sci. 749: 2-16 (2018) - [c16]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du:
A Novel Approach to Verifying Context Free Properties of Programs. AAIM 2018: 74-87 - [c15]Jingyao Tu, Zhenhua Duan, Cong Tian, Nan Zhang, Ying Wu:
A Blockchain Implementation of an Attendance Management System. SOFL+MSVL 2018: 169-182 - [i1]Meng Wang, Cong Tian, Nan Zhang, Zhenhua Duan, Chenguang Yao:
Translating C programs to MSVL programs. CoRR abs/1809.00959 (2018) - 2017
- [j12]Zhenhua Duan, Cong Tian, Mengchu Zhou, Xiaobing Wang, Nan Zhang, Hongwei Du, Lei Wang:
Two-layer hybrid peer-to-peer networks. Peer-to-Peer Netw. Appl. 10(6): 1304-1322 (2017) - [c14]Nan Zhang, Zhenhua Duan, Cong Tian, Hongwei Du, Kai Yang:
Modeling and Verifying Multi-core Programs. COCOA (2) 2017: 492-500 - [c13]Nan Zhang, Meng Wang, Zhenhua Duan, Cong Tian, Jin Cui:
Implementing MapReduce with MSVL. SOFL+MSVL 2017: 148-167 - 2016
- [j11]Nan Zhang, Zhenhua Duan, Cong Tian:
Model checking concurrent systems with MSVL. Sci. China Inf. Sci. 59(11): 118101 (2016) - [j10]Nan Zhang, Mengfei Yang, Bin Gu, Zhenhua Duan, Cong Tian:
Verifying safety critical task scheduling systems in PPTL axiom system. J. Comb. Optim. 31(2): 577-603 (2016) - [j9]Zhenhua Duan, Cong Tian, Nan Zhang:
A canonical form based decision procedure and model checking approach for propositional projection temporal logic. Theor. Comput. Sci. 609: 544-560 (2016) - [j8]Nan Zhang, Zhenhua Duan, Cong Tian:
A complete axiom system for propositional projection temporal logic with cylinder computation model. Theor. Comput. Sci. 609: 639-657 (2016) - [j7]Nan Zhang, Zhenhua Duan, Cong Tian:
A mechanism of function calls in MSVL. Theor. Comput. Sci. 654: 11-25 (2016) - [c12]Lin Qian, Zhenhua Duan, Nan Zhang, Cong Tian:
A Proof System for MSVL Programs in Coq. SOFL+MSVL 2016: 121-143 - 2015
- [j6]Qian Ma, Zhenhua Duan, Nan Zhang, Xiaobing Wang:
Verification of distributed systems with the axiomatic system of MSVL. Formal Aspects Comput. 27(1): 103-131 (2015) - [j5]Jin Liu, Zhenhua Duan, Cong Tian, Nan Zhang:
An extended strange planet protocol. J. Comb. Optim. 30(2): 299-319 (2015) - [c11]Zhenhua Duan, Kangkang Bu, Cong Tian, Nan Zhang:
Model Checking MSVL Programs Based on Dynamic Symbolic Execution. COCOON 2015: 521-533 - [c10]Meng Wang, Zhenhua Duan, Cong Tian, Nan Zhang:
Verification of a real time scheduling protocol of safety-critical systems. CSCWD 2015: 286-291 - [c9]Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang, Conghao Zhou:
Model Checking \mu μ C/OS-III Multi-task System with TMSVL. ICFEM 2015: 187-200 - [c8]Zhenhua Duan, Yujiang Hui, Cong Tian, Nan Zhang, Bohu Huang:
A Self-ORganizing Trust Model Based on HP2P. MSN 2015: 96-101 - [c7]Jin Cui, Zhenhua Duan, Cong Tian, Nan Zhang:
Modeling and Verification of an Interrupt System in \mu μ C/OS-III with TMSVL. SOFL+MSVL 2015: 15-28 - 2014
- [j4]Nan Zhang, Zhenhua Duan, Cong Tian, Ding-Zhu Du:
A formal proof of the deadline driven scheduler in PPTL axiomatic system. Theor. Comput. Sci. 554: 229-253 (2014) - [c6]Nan Zhang, Zhenhua Duan, Cong Tian:
An Axiomatization for Cylinder Computation Model. COCOON 2014: 71-83 - [c5]Zhenhua Duan, Cong Tian, Nan Zhang:
Normal Form Expressions of Propositional Projection Temporal Logic. COCOON 2014: 84-93 - [c4]Nan Zhang, Zhenhua Duan, Cong Tian:
Extending MSVL with Function Calls. ICFEM 2014: 446-458 - 2013
- [j3]Nan Zhang, Zhenhua Duan, Cong Tian:
A cylinder computation model for many-core parallel computing. Theor. Comput. Sci. 497: 68-83 (2013) - [j2]Zhenhua Duan, Nan Zhang, Maciej Koutny:
A complete proof system for propositional projection temporal logic. Theor. Comput. Sci. 497: 84-107 (2013) - [c3]Zhenhua Duan, Qian Ma, Cong Tian, Nan Zhang:
Some Fixed-Point Issues in PPTL. Theories of Programming and Formal Methods 2013: 151-165 - 2012
- [j1]Cong Tian, Zhenhua Duan, Nan Zhang:
An efficient approach for abstraction-refinement in model checking. Theor. Comput. Sci. 461: 76-85 (2012) - 2011
- [c2]Nan Zhang, Zhenhua Duan:
A Semantic Model for Many-Core Parallel Computing. COCOA 2011: 464-479
2000 – 2009
- 2008
- [c1]Zhenhua Duan, Nan Zhang:
A Complete Axiomatization of Propositional Projection Temporal Logic. TASE 2008: 271-278
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-13 20:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: