Concepedia

Shufang Zhu

SZ

13

Publications

295

Citations

10

H-Index

2017

Active since

Affiliations

Rice University(Current)

East China Normal University

Qingdao University

Chongqing University

Sapienza University of Rome

Shufang Zhu is an author at Rice University specializing in engineering, automated reasoning, and verification.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisSystems EngineeringSoftware AnalysisComputer Engineering

Publications per year

2017–2023

13

Publications

13

Symbolic LTLf Synthesis

Shufang Zhu, Lucas M. Tabajara, Jianwen Li et al. · 2017 · 91 citations · Full text

Engineering, Verification, System Synthesis +17

A 3D solar-driven evaporator based on electrospun recycled PET film for efficient seawater desalination

Shufang Zhu, Xiaoyu Jia, Yan‐Peng Ni et al. · Journal of Cleaner Production · 2023 · 32 citations

Chemical Engineering, Engineering, Environmental Engineering +8

Oil pipeline leakage monitoring developments in China

Wu Tong, Yukai Chen, Zhonghua Deng et al. · Journal of Pipeline Science and Engineering · 2023 · 29 citations · Full text

LTLƒ Synthesis with Fairness and Stability Assumptions

Shufang Zhu, Giuseppe De Giacomo, Geguang Pu et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 24 citations · Full text

Engineering, Reachability Problem, Ltlƒ Synthesis +17

Electrospun polyvinyl butyral/berberine membranes for antibacterial air filtration

Mei Qin, Daqing Liu, Xin Meng et al. · Materials Letters X · 2021 · 20 citations · Full text

Rows per page

1–5 of 13