Concepedia

Wenli Duo

WD

3

Publications

561

Citations

3

H-Index

2020

Active since

Affiliations

Macau University of Science and Technology(Current)

Zhejiang Gongshang University

Wenli Duo is an author at Macau University of Science and Technology specializing in formal verification, computer engineering, and engineering.

ORCID

Top concepts

Publications per year

2020–2022

3

Publications

3

A Survey of Cyber Attacks on Cyber Physical Systems: Recent Advances and Challenges

Wenli Duo, MengChu Zhou, Abdullah Abusorrah · IEEE/CAA Journal of Automatica Sinica · 2022 · 502 citations

, , +15

Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming

Shouguang Wang, Wenli Duo, Xin Guo et al. · IEEE/CAA Journal of Automatica Sinica · 2020 · 37 citations

, , +21

A Deadlock Prevention Policy for a Class of Multithreaded Software

Wenli Duo, Xiaoning Jiang, Oussama Karoui et al. · IEEE Access · 2020 · 22 citations · Full text

, , +20

Rows per page

1–3 of 3