Wenchao Li

University of California, Berkeley

论文数

3

总引用数

131

H-Index

3

关于

暂无简介。

研究焦点

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

主要成就

3
H 指数
3
论文
131
总引用数
44
篇均引用
🏆 最高被引论文
Mining assumptions for synthesis
102 次引用 · 2011
📈 最高产年份: 2019 (2 论文)
🤝 主要合作者: 6
🏛 所属机构: University of California, Berkeley

代表论文

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

主要合作者

KWKacper Wardega2 篇合著论文SASanjit A. Seshia1 篇合著论文RTRoberto Tron1 篇合著论文QZQi Zhu1 篇合著论文CHChao Huang1 篇合著论文LDLili Dworkin1 篇合著论文
尚未生成