Yu Yang

	2009
33		Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang: Symbolic pruning of concurrent program executions. ESEC/SIGSOFT FSE 2009: 23-32
32		Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang: Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295
31		Yu Yang: Hopf bifurcation in a two-competitor, one-prey system with time delay. Applied Mathematics and Computation 214(1): 228-235 (2009)
30		Hongwei Dai, Yu Yang, Cunhua Li, Jun Shi, Shangce Gao, Zheng Tang: Quantum Interference Crossover-Based Clonal Selection Algorithm and Its Application to Traveling Salesman Problem. IEICE Transactions 92-D(1): 78-85 (2009)
29		Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and distributed model checking in Eddy. STTT 11(1): 13-25 (2009)
28		Junsheng Cheng, Yu Yang, Dejie Yu: Application of the improved generalized demodulation time-frequency analysis method to multi-component signal decomposition. Signal Processing 89(6): 1205-1215 (2009)
	2008
27		Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan: Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140
26		Weili Wang, Yu Yang, Xuedong Liang, Jing Wang: Gene expression-based collaborative designer selection and optimization. CSCWD 2008: 212-216
25		Jie Yang, Yu Yang, Xiaolei Wang, Lijun Song, Qu Xie: Research on innovation customer resource selection and evaluation based on wavelet network. CSCWD 2008: 957-961
24		Song Ying, Yu Yang: Study on Vehicle Navigation System with Real-Time Traffic Information. CSSE (4) 2008: 1079-1082
23		Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305
22		Liping Wang, Qing Li, Na Li, Guozhu Dong, Yu Yang: Substructure similarity measurement in chinese recipes. WWW 2008: 979-988
21		Qi Liu, Yu Yang, Chun Chen, Jiajun Bu, Yin Zhang, Xiuzi Ye: RNACompress: Grammar-based compression and informational complexity measurement of RNA secondary structure. BMC Bioinformatics 9: (2008)
	2007
20		Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta: Fast and Accurate Static Data-Race Detection for Concurrent Programs. CAV 2007: 226-239
19		Yu Yang, Lijun Song, Xiaodong Zhang: Organization-Oriented Simulation of Collaborative Product Development Process Based on Designer's Agent Model. CSCWD 2007: 309-314
18		Ming Zhang, Weichun Wang, Yi Zhou, Yu Yang, Yuhong Xiong, Xiaoming Li: On Line Course Organization. ICWL 2007: 148-159
17		Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
16		Guixia Kang, Yu Yang, Yue Ouyang, Ping Zhang: Pilot Tone Design for Inter-Cell Interference Mitigation in OFDM Systems. VTC Spring 2007: 1946-1950
15		Hang Shi, Yu Yang: A computational model of visual attention based on saliency maps. Applied Mathematics and Computation 188(2): 1671-1677 (2007)
14		Hossam S. Hassanein, Yu Yang, Afzal Mawji: A new approach to service discovery in wireless mobile ad hoc networks. IJSNet 2(1/2): 135-145 (2007)
13		Xiaodong Zhang, Yu Yang, Sheng Liu, Fei Liu: Realization of a development platform for Web-based product customization systems. Int. J. Computer Integrated Manufacturing 20(2&3): 254-264 (2007)
	2006
12		Yu Yang, Hossam S. Hassanein, Afzal Mawji: Efficient Service Discovery forWireless Mobile Ad Hoc Networks. AICCSA 2006: 571-578
11		Zhe Shan, Yu Yang, Qing Li, Yi Luo, Zhiyong Peng: A Light-Weighted Approach to Workflow View Implementation. APWeb 2006: 1059-1070
10		Xiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou: Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. FMCAD 2006: 81-88
9		Hongwei Dai, Yu Yang, Yanqiu Che, Zheng Tang: Clonal Selection Theory Based Artificial Immune System and Its Application. ICONIP (2) 2006: 1071-1078
8		Yu Yang, Qing Li: An Efficient Clustering and Indexing Approach over Large Video Sequences. PCM 2006: 961-970
7		Igor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125
6		Yu Yang, Wencheng Chen, Cuimei Zhang: Existence of periodic solutions of a delayed predator-prey system with general functional response. Applied Mathematics and Computation 181(2): 1076-1083 (2006)
5		Yu Yang, Wencheng Chen: Uniformly strong persistence of an nonlinear asymptotically periodic multispecies competition predator-prey system with general functional response. Applied Mathematics and Computation 183(1): 423-426 (2006)
4		Robert Palmer, Steve Barrus, Yu Yang, Ganesh Gopalakrishnan, Robert M. Kirby: Gauss: A Framework for Verifying Scientific Computing Software. Electr. Notes Theor. Comput. Sci. 144(3): 95-106 (2006)
3		Hongwei Dai, Zheng Tang, Yu Yang, Hiroki Tamura: Affinity Based Lateral Interaction Artificial Immune System. IEICE Transactions 89-D(4): 1515-1524 (2006)
2		Yun Liu, Guo-ping Cheng, Yu Yang: Patent applications of the Top 500 foreign investment corporations in China. Scientometrics 68(1): 167-177 (2006)
	2005
1		Yu Yang, Qing Li, Minhao Yu, Yueting Zhuang: Sketch-based retrieval on Flash movies via primary scene. ISM 2005: 605-610

Coauthor Index

1	Steve Barrus	[4]
2	Jiajun Bu	[21]
3	Swarat Chaudhuri	[33]
4	Yanqiu Che	[9]
5	Chun Chen	[21]
6	Wencheng Chen	[5] [6]
7	Xiaofang Chen	[10] [17] [23] [32]
8	Guo-ping Cheng	[2]
9	Junsheng Cheng	[28]
10	Ching-Tsun Chou	[10]
11	Hongwei Dai	[3] [9] [30]
12	Guozhu Dong	[22]
13	Shangce Gao	[30]
14	Ganesh Gopalakrishnan	[4] [7] [10] [17] [23] [27] [29] [32]
15	Aarti Gupta	[20] [27] [33]
16	Hossam S. Hassanein	[12] [14]
17	Vineet Kahlon	[20]
18	Guixia Kang	[16]
19	Robert M. Kirby (Mike Kirby)	[4] [7] [17] [23] [29]
20	Cunhua Li	[30]
21	Na Li	[22]
22	Qing Li	[1] [8] [11] [22]
23	Xiaoming Li	[18]
24	Xuedong Liang	[26]
25	Fei Liu	[13]
26	Qi Liu	[21]
27	Sheng Liu	[13]
28	Yun Liu	[2]
29	Yi Luo	[11]
30	Afzal Mawji	[12] [14]
31	Igor Melatti	[7] [29]
32	Yue Ouyang	[16]
33	Robert Palmer	[4] [7] [29]
34	Zhiyong Peng	[11]
35	Sriram Sankaranarayanan	[20]
36	Geoffrey Sawaya	[7] [29]
37	Zhe Shan	[11]
38	Hang Shi	[15]
39	Jun Shi	[30]
40	Lijun Song	[19] [25]
41	Hiroki Tamura	[3]
42	Zheng Tang	[3] [9] [30]
43	Chao Wang	[27] [32] [33]
44	Jing Wang	[26]
45	Liping Wang	[22]
46	Weichun Wang	[18]
47	Weili Wang	[26]
48	Xiaolei Wang	[25]
49	Qu Xie	[25]
50	Yuhong Xiong	[18]
51	Jie Yang	[25]
52	Xiuzi Ye	[21]
53	Song Ying	[24]
54	Dejie Yu	[28]
55	Minhao Yu	[1]
56	Cuimei Zhang	[6]
57	Ming Zhang	[18]
58	Ping Zhang	[16]
59	Xiaodong Zhang	[13] [19]
60	Yin Zhang	[21]
61	Yi Zhou	[18]
62	Yueting Zhuang	[1]

Colors in the list of coauthors