Wenchao Li

	2012
15		Wenchao Li, Sanjit A. Seshia, Somesh Jha: CrowdMine: towards crowdsourced human-assisted verification. DAC 2012: 1254-1255
14		Wenchao Li, Jianyu Yang, Yulin Huang, Junjie Wu: A Geometry-Based Doppler Centroid Estimator for Bistatic Forward-Looking SAR. IEEE Geosci. Remote Sensing Lett. 9(3): 388-392 (2012)
13		Wenchao Li, Jianyu Yang, Yulin Huang, Lingjiang Kong: Third-Order Doppler Parameter Estimation of Bistatic Forward-Looking SAR Based on Modified Cubic Phase Function. IEICE Transactions 95-B(2): 581-586 (2012)
	2011
12		Junjie Wu, Yulin Huang, Jianyu Yang, Wenchao Li, Haiguang Yang: First result of bistatic forward-looking SAR with stationary transmitter. IGARSS 2011: 1223-1226
11		Wenchao Li, Yulin Huang, Jianyu Yang, Junjie Wu: Comparison of geometry-based Doppler ambiguity resolver in squint SAR. IGARSS 2011: 4443-4445
10		Wenchao Li, Yulin Huang, Jianyu Yang, Junjie Wu: An indirect doppler rate estimation scheme of SAR in low-contrast scene. IGARSS 2011: 4446-4448
9		Wenchao Li, Lili Dworkin, Sanjit A. Seshia: Mining assumptions for synthesis. MEMOCODE 2011: 43-50
8		Wenchao Li, Yulin Huang, Jianyu Yang, Junjie Wu, Lingjiang Kong: An Improved Radon-Transform-Based Scheme of Doppler Centroid Estimation for Bistatic Forward-Looking SAR. IEEE Geosci. Remote Sensing Lett. 8(2): 379-383 (2011)
	2010
7		Wenchao Li, Alessandro Forin, Sanjit A. Seshia: Scalable specification mining for verification and diagnosis. DAC 2010: 755-760
	2009
6		Wenchao Li, Marco Di Natale, Wei Zheng, Paolo Giusto, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia: Optimizations of an application-level protocol for enhanced dependability in FlexRay. DATE 2009: 1076-1081
5		Daniel Holcomb, Wenchao Li, Sanjit A. Seshia: Design as you see FIT: System-level soft error analysis of sequential circuits. DATE 2009: 785-790
4		Susmit Jha, Wenchao Li, Sanjit A. Seshia: Localizing transient faults using dynamic bayesian networks. HLDVT 2009: 82-87
	2008
3		Orna Kupferman, Wenchao Li, Sanjit A. Seshia: A Theory of Mutations with Applications to Vacuity, Coverage, and Fault Tolerance. FMCAD 2008: 1-9
	2007
2		Roozbeh Jafari, Wenchao Li, Ruzena Bajcsy, Steven D. Glaser, Shankar Sastry: Physical Activity Monitoring for Assisted Living at Home. BSN 2007: 213-219
1		Sanjit A. Seshia, Wenchao Li, Subhasish Mitra: Verification-guided soft error resilience. DATE 2007: 1442-1447

Coauthor Index

1	Ruzena Bajcsy	[2]
2	Lili Dworkin	[9]
3	Alessandro Forin	[7]
4	Paolo Giusto	[6]
5	Steven D. Glaser	[2]
6	Daniel Holcomb	[5]
7	Yulin Huang	[8] [10] [11] [12] [13] [14]
8	Roozbeh Jafari	[2]
9	Somesh Jha	[15]
10	Susmit Jha	[4]
11	Lingjiang Kong	[8] [13]
12	Orna Kupferman	[3]
13	Subhasish Mitra	[1]
14	Marco Di Natale	[6]
15	Alberto L. Sangiovanni-Vincentelli	[6]
16	Shankar Sastry (Shankar S. Sastry)	[2]
17	Sanjit A. Seshia	[1] [3] [4] [5] [6] [7] [9] [15]
18	Junjie Wu	[8] [10] [11] [12] [14]
19	Haiguang Yang	[12]
20	Jianyu Yang	[8] [10] [11] [12] [13] [14]
21	Wei Zheng	[6]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page