Yu Yang

2008
25	EE	Chao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan: Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140
24	EE	Weili Wang, Yu Yang, Xuedong Liang, Jing Wang: Gene expression-based collaborative designer selection and optimization. CSCWD 2008: 212-216
23	EE	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
22	EE	Song Ying, Yu Yang: Study on Vehicle Navigation System with Real-Time Traffic Information. CSSE (4) 2008: 1079-1082
21	EE	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305
20	EE	Liping Wang, Qing Li, Na Li, Guozhu Dong, Yu Yang: Substructure similarity measurement in chinese recipes. WWW 2008: 979-988
2007
19	EE	Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta: Fast and Accurate Static Data-Race Detection for Concurrent Programs. CAV 2007: 226-239
18	EE	Yu Yang, Lijun Song, Xiaodong Zhang: Organization-Oriented Simulation of Collaborative Product Development Process Based on Designer's Agent Model. CSCWD 2007: 309-314
17	EE	Ming Zhang, Weichun Wang, Yi Zhou, Yu Yang, Yuhong Xiong, Xiaoming Li: On Line Course Organization. ICWL 2007: 148-159
16	EE	Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
15	EE	Guixia Kang, Yu Yang, Yue Ouyang, Ping Zhang: Pilot Tone Design for Inter-Cell Interference Mitigation in OFDM Systems. VTC Spring 2007: 1946-1950
14	EE	Hang Shi, Yu Yang: A computational model of visual attention based on saliency maps. Applied Mathematics and Computation 188(2): 1671-1677 (2007)
13	EE	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)
12	EE	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
11	EE	Zhe Shan, Yu Yang, Qing Li, Yi Luo, Zhiyong Peng: A Light-Weighted Approach to Workflow View Implementation. APWeb 2006: 1059-1070
10	EE	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	EE	Hongwei Dai, Yu Yang, Yanqiu Che, Zheng Tang: Clonal Selection Theory Based Artificial Immune System and Its Application. ICONIP (2) 2006: 1071-1078
8	EE	Yu Yang, Qing Li: An Efficient Clustering and Indexing Approach over Large Video Sequences. PCM 2006: 961-970
7	EE	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	EE	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	EE	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	EE	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	EE	Hongwei Dai, Zheng Tang, Yu Yang, Hiroki Tamura: Affinity Based Lateral Interaction Artificial Immune System. IEICE Transactions 89-D(4): 1515-1524 (2006)
2	EE	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	EE	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	Yanqiu Che	[9]
3	Wencheng Chen	[5] [6]
4	Xiaofang Chen	[10] [16] [21]
5	Guo-ping Cheng	[2]
6	Ching-Tsun Chou	[10]
7	Hongwei Dai	[3] [9]
8	Guozhu Dong	[20]
9	Ganesh Gopalakrishnan	[4] [7] [10] [16] [21] [25]
10	Aarti Gupta	[19] [25]
11	Hossam S. Hassanein	[13]
12	Vineet Kahlon	[19]
13	Guixia Kang	[15]
14	Robert M. Kirby (Mike Kirby)	[4] [7] [16] [21]
15	Na Li	[20]
16	Qing Li	[1] [8] [11] [20]
17	Xiaoming Li	[17]
18	Xuedong Liang	[24]
19	Fei Liu	[12]
20	Sheng Liu	[12]
21	Yun Liu	[2]
22	Yi Luo	[11]
23	Afzal Mawji	[13]
24	Igor Melatti	[7]
25	Yue Ouyang	[15]
26	Robert Palmer	[4] [7]
27	Zhiyong Peng	[11]
28	Sriram Sankaranarayanan	[19]
29	Geoffrey Sawaya	[7]
30	Zhe Shan	[11]
31	Hang Shi	[14]
32	Lijun Song	[18] [23]
33	Hiroki Tamura	[3]
34	Zheng Tang	[3] [9]
35	Chao Wang	[25]
36	Jing Wang	[24]
37	Liping Wang	[20]
38	Weichun Wang	[17]
39	Weili Wang	[24]
40	Xiaolei Wang	[23]
41	Qu Xie	[23]
42	Yuhong Xiong	[17]
43	Jie Yang	[23]
44	Song Ying	[22]
45	Minhao Yu	[1]
46	Cuimei Zhang	[6]
47	Ming Zhang	[17]
48	Ping Zhang	[15]
49	Xiaodong Zhang	[12] [18]
50	Yi Zhou	[17]
51	Yueting Zhuang	[1]

Colors in the list of coauthors