Concepedia

Yueling Zhang

YZ

3

Publications

86

Citations

3

H-Index

2017

Active since

Affiliations

East China Normal University(Current)

Rice University

Yueling Zhang is an author at East China Normal University specializing in engineering, verification, and computer science.

Top concepts

EngineeringVerificationComputer ScienceFormal MethodsSatisfiabilityAutomated ReasoningFormal VerificationComputer EngineeringData PrivacyData Science

Publications per year

2017–2021

3

Publications

3

Efficient white-box fairness testing through gradient search

Lingfeng Zhang, Yueling Zhang, Min Zhang · 2021 · 48 citations

Artificial Intelligence, Gradient Search, Individual Fairness Violation +14

SAT-Based Explicit LTLf Satisfiability Checking

Jianwen Li, Kristin Yvonne Rozier, Geguang Pu et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2019 · 21 citations · Full text

Input Ltlf Formula, Engineering, Ltlf Satisfiability Checking +12

Safety model checking with complementary approximations

Jianwen Li, Shufang Zhu, Yueling Zhang et al. · 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) · 2017 · 17 citations

Engineering, Reachability Problem, Formal-verification Techniques +21

Rows per page

1–3 of 3