Wenchao Li, Ph.D. - Publications

Affiliations: 
2013 Electrical Engineering and Computer Sciences University of California, Berkeley, Berkeley, CA, United States 
Area:
Design, Modeling and Analysis (DMA); Programming Systems (PS); Dependable Computing; Computational Logic; Formal Methods; Control, Intelligent Systems, and Robotics (CIR); Security (SEC); Theory (THY)

2 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2017 Seshia SA, Hu S, Li W, Zhu Q. Design Automation of Cyber-Physical Systems: Challenges, Advances, and Opportunities Ieee Transactions On Computer-Aided Design of Integrated Circuits and Systems. 36: 1421-1434. DOI: 10.1109/Tcad.2016.2633961  0.489
2014 Subramanyan P, Tsiskaridze N, Li W, Gascón A, Tan WY, Tiwari A, Shankar N, Seshia SA, Malik S. Reverse engineering digital circuits using structural and functional analyses Ieee Transactions On Emerging Topics in Computing. 2: 63-80. DOI: 10.1109/Tetc.2013.2294918  0.484
Show low-probability matches.