Yuepeng Wang
Central South University(CN)State Grid Corporation of China (China)(CN)Nanjing University of Information Science and Technology(CN)Xi'an Polytechnic University(CN)Beijing National Laboratory for Molecular Sciences(CN)
Publications by Year
Research Areas
Software Engineering Research, Advancements in Solid Oxide Fuel Cells, Software Testing and Debugging Techniques, Logic, programming, and type systems, Advanced Database Systems and Queries
Most-Cited Works
- → SQLizer: query synthesis from natural language(2017)282 cited
- → Component-based synthesis for complex APIs(2016)113 cited
- → 2D Burgers equation with large Reynolds number using POD/DEIM and calibration(2016)68 cited
- → Formal Verification of Workflow Policies for Smart Contracts in Azure Blockchain(2020)59 cited
- Formal Specification and Verification of Smart Contracts for Azure Blockchain(2018)
- → Lactate anion catalyzes aminolysis of polyesters with anilines(2023)45 cited
- → Synthesizing database programs for schema refactoring(2019)41 cited