Skip to content

Scientist · Computer Science

Keming Wang

Hangzhou Polytechnic, Hangzhou, China

iD0000-0003-1801-7508

Citations, last 5 years: 37
Works, last 5 years: 23
h-index: 8
Citations, all time: 240
In Computer Science: #199,328

Research topics

Formal Methods in Verification13Computer Science
Safety Systems Engineering in Autonomy7Engineering
Model-Driven Software Engineering Techniques6Computer Science
Facility Location and Emergency Management5Business, Management and Accounting
Logic, programming, and type systems4Computer Science

Recent works

Discussion

Ask Keming about their research. When the scientist claims this card, they will see your question.

Start a discussion