Wenchao Li

University of California, Berkeley

Papers

3

Total Citations

131

H-Index

3

About

No biography available yet.

Research Focus

Computer science3 · 131 citations
Theoretical computer science2 · 112 citations
Witness1 · 102 citations
Formal specification1 · 102 citations
Programming language1 · 102 citations
Temporal logic1 · 102 citations
Distributed computing2 · 29 citations
Computer security2 · 29 citations
Artificial intelligence2 · 29 citations
Automotive industry1 · 19 citations
Cyber-physical system1 · 19 citations
Engineering1 · 19 citations

Key Achievements

3
H-Index
3
Papers
131
Total Citations
44
Avg Citations/Paper
🏆 Most Cited Paper
Mining assumptions for synthesis
102 citations · 2011
📈 Most Prolific Year: 2019 (2 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: University of California, Berkeley

Top Papers

  1. 1
    Mining assumptions for synthesis
    102 citations · 2011
  2. 2
    Exploring weakly-hard paradigm for networked systems
    19 citations · 2019
  3. 3
    Resilience of Multi-robot Systems to Physical Masquerade Attacks
    10 citations · 2019

Key Collaborators

KWKacper Wardega2 shared papersSASanjit A. Seshia1 shared papersRTRoberto Tron1 shared papersQZQi Zhu1 shared papersCHChao Huang1 shared papersLDLili Dworkin1 shared papers
Not generated yet