Concepedia

Wei Li

WL

14

Publications

395

Citations

11

H-Index

1998

Active since

Affiliations

Beihang University(Current)

Arizona State University

Tsinghua University

Wei Li is an author at Beihang University specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningData ScienceFormal MethodsFormal VerificationBusinessVerificationEast Asian StudiesParallel Computing

Publications per year

1998–2022

14

Publications

14

Many hard examples in exact phase transitions

Ke Xu, Wei Li · Theoretical Computer Science · 2006 · 95 citations

Phase Transitions, Engineering, Physics +4

An evaluation framework for software crowdsourcing

Wenjun Wu, Wei‐Tek Tsai, Wei Li · Frontiers of Computer Science · 2013 · 60 citations

Software Maintenance, Crowd Computing, Computational Social Science +10

R-Calculus: An Inference System for Belief Revision

Wei Li · The Computer Journal · 2007 · 59 citations

Engineering, Classical Logic, Verification +19

Creative software crowdsourcing: from components and algorithm development to project concept formations

Wenjun Wu, W.T. Tsai, Wei Li · International Journal of Creative Computing · 2013 · 42 citations · Full text

Performance models for scalable cluster computing

Xingfu Wu, Wei Li · Journal of Systems Architecture · 1998 · 20 citations

Cluster Technology, Cluster Computing, Engineering +8

Rows per page

1–5 of 14