CUFinder

Zhenhua Duan

About Zhenhua Duan

Zhenhua Duan, With an exceptional h-index of 26 and a recent h-index of 17 (since 2020), a distinguished researcher at Xidian University, specializes in the field of Computer Science, Formal Methods.

His recent articles reflect a diverse array of research interests and contributions to the field:

Multi-keyword ranked search with access control for multiple data owners in the cloud

Meta-Interpretive LEarning with Reuse

A multi-granularity CNN pruning framework via deformable soft mask with joint training

Neuron importance based verification of neural networks via divide and conquer

Büchi 自动机确定化分析工具

Tool for Determinization of Büchi Automata

Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring

Check for updates Verifying Chips Design at RTL Level

Zhenhua Duan Information

University

Position

Professor of Computer Science China

Citations(all)

3077

Citations(since 2020)

1025

Cited By

2454

hIndex(all)

26

hIndex(since 2020)

17

i10Index(all)

86

i10Index(since 2020)

34

Email

University Profile Page

Google Scholar

Zhenhua Duan Skills & Research Interests

Computer Science

Formal Methods

Top articles of Zhenhua Duan

Multi-keyword ranked search with access control for multiple data owners in the cloud

Journal of Information Security and Applications

2024/5/1

Jiaqi Guo
Jiaqi Guo

H-Index: 4

Cong Tian
Cong Tian

H-Index: 14

Xu Lu
Xu Lu

H-Index: 12

Liang Zhao
Liang Zhao

H-Index: 7

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Meta-Interpretive LEarning with Reuse

Mathematics

2024/3/20

Rong Wang
Rong Wang

H-Index: 9

Jun Sun
Jun Sun

H-Index: 8

Cong Tian
Cong Tian

H-Index: 14

Zhenhua Duan
Zhenhua Duan

H-Index: 15

A multi-granularity CNN pruning framework via deformable soft mask with joint training

Neurocomputing

2024/3/1

Peng Zhang
Peng Zhang

H-Index: 2

Cong Tian
Cong Tian

H-Index: 14

Liang Zhao
Liang Zhao

H-Index: 7

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Neuron importance based verification of neural networks via divide and conquer

Neurocomputing

2024/1/14

Liang Zhao
Liang Zhao

H-Index: 7

Cong Tian
Cong Tian

H-Index: 14

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Büchi 自动机确定化分析工具

软件学报

2024/1/5

Tool for Determinization of Büchi Automata

Journal of Software

2024/1/5

Full View Maximum Coverage of Camera Sensors: Moving Object Monitoring

ACM Transactions on Sensor Networks

2024

Zhao Zhang
Zhao Zhang

H-Index: 15

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Cong Tian
Cong Tian

H-Index: 14

Check for updates Verifying Chips Design at RTL Level

Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings

2023/6/26

Nan Zhang
Nan Zhang

H-Index: 10

Cong Tian
Cong Tian

H-Index: 14

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Zhijie Xu
Zhijie Xu

H-Index: 10

PIChecker: A POR and Interpolation based Verifier for Concurrent Programs (Competition Contribution)

2023/4/20

Jie Su
Jie Su

H-Index: 8

Hengrui Xing
Hengrui Xing

H-Index: 2

Cong Tian
Cong Tian

H-Index: 14

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Structured Object-Oriented Formal Language and Method: 11th International Workshop, SOFL+ MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers

2023/3/24

Shaoying Liu
Shaoying Liu

H-Index: 13

Zhenhua Duan
Zhenhua Duan

H-Index: 15

A proof system for unified temporal logic

Theoretical Computer Science

2023/3/9

Nan Zhang
Nan Zhang

H-Index: 10

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Cong Tian
Cong Tian

H-Index: 14

A Dynamic Parameter Adaptive Path Planning Algorithm

2023/12/9

Nan Zhang
Nan Zhang

H-Index: 10

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Cong Tian
Cong Tian

H-Index: 14

An Approach to Agent Path Planning Under Temporal Logic Constraints

2023/12/9

Nan Zhang
Nan Zhang

H-Index: 10

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Cong Tian
Cong Tian

H-Index: 14

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering

2023/11/30

Bin Yu
Bin Yu

H-Index: 1

Cong Tian
Cong Tian

H-Index: 14

Hengrui Xing
Hengrui Xing

H-Index: 2

Jie Su
Jie Su

H-Index: 8

Xu Lu
Xu Lu

H-Index: 12

Liang Zhao
Liang Zhao

H-Index: 7

Xiaofeng Li
Xiaofeng Li

H-Index: 7

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Using Experience Classification for Training Non-Markovian Tasks

arXiv preprint arXiv:2310.11678

2023/10/18

Xu Lu
Xu Lu

H-Index: 12

Cong Tian
Cong Tian

H-Index: 14

Bin Yu
Bin Yu

H-Index: 1

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Verification for Neural Network Based on Error Divide and Conquer

Journal of Software

2023/9/27

基于误差分治的神经网络验证

软件学报

2023/9/27

Adaptively parallel runtime verification based on distributed network for temporal properties

Parallel Computing

2023/6/14

Bin Yu
Bin Yu

H-Index: 1

Meng Wang
Meng Wang

H-Index: 9

Ming Lei
Ming Lei

H-Index: 2

Zhenhua Duan
Zhenhua Duan

H-Index: 15

SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations

2023/7/12

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Cong Tian
Cong Tian

H-Index: 14

Xu Lu
Xu Lu

H-Index: 12

Bin Yu
Bin Yu

H-Index: 1

Verifying Chips Design at RTL Level

2023/6/27

Nan Zhang
Nan Zhang

H-Index: 10

Cong Tian
Cong Tian

H-Index: 14

Zhenhua Duan
Zhenhua Duan

H-Index: 15

Zhijie Xu
Zhijie Xu

H-Index: 10

See List of Professors in Zhenhua Duan University(Xidian University)