Yu Yang

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

25EEChao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan: Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140
24EEWeili Wang, Yu Yang, Xuedong Liang, Jing Wang: Gene expression-based collaborative designer selection and optimization. CSCWD 2008: 212-216
23EEJie 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
22EESong Ying, Yu Yang: Study on Vehicle Navigation System with Real-Time Traffic Information. CSSE (4) 2008: 1079-1082
21EEYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Efficient Stateful Dynamic Partial Order Reduction. SPIN 2008: 288-305
20EELiping Wang, Qing Li, Na Li, Guozhu Dong, Yu Yang: Substructure similarity measurement in chinese recipes. WWW 2008: 979-988
19EEVineet Kahlon, Yu Yang, Sriram Sankaranarayanan, Aarti Gupta: Fast and Accurate Static Data-Race Detection for Concurrent Programs. CAV 2007: 226-239
18EEYu Yang, Lijun Song, Xiaodong Zhang: Organization-Oriented Simulation of Collaborative Product Development Process Based on Designer's Agent Model. CSCWD 2007: 309-314
17EEMing Zhang, Weichun Wang, Yi Zhou, Yu Yang, Yuhong Xiong, Xiaoming Li: On Line Course Organization. ICWL 2007: 148-159
16EEYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby: Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. SPIN 2007: 58-75
15EEGuixia Kang, Yu Yang, Yue Ouyang, Ping Zhang: Pilot Tone Design for Inter-Cell Interference Mitigation in OFDM Systems. VTC Spring 2007: 1946-1950
14EEHang Shi, Yu Yang: A computational model of visual attention based on saliency maps. Applied Mathematics and Computation 188(2): 1671-1677 (2007)
13EEHossam 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)
12EEXiaodong 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)
11EEZhe Shan, Yu Yang, Qing Li, Yi Luo, Zhiyong Peng: A Light-Weighted Approach to Workflow View Implementation. APWeb 2006: 1059-1070
10EEXiaofang Chen, Yu Yang, Ganesh Gopalakrishnan, Ching-Tsun Chou: Reducing Verification Complexity of a Multicore Coherence Protocol Using Assume/Guarantee. FMCAD 2006: 81-88
9EEHongwei Dai, Yu Yang, Yanqiu Che, Zheng Tang: Clonal Selection Theory Based Artificial Immune System and Its Application. ICONIP (2) 2006: 1071-1078
8EEYu Yang, Qing Li: An Efficient Clustering and Indexing Approach over Large Video Sequences. PCM 2006: 961-970
7EEIgor Melatti, Robert Palmer, Geoffrey Sawaya, Yu Yang, Robert M. Kirby, Ganesh Gopalakrishnan: Parallel and Distributed Model Checking in Eddy. SPIN 2006: 108-125
6EEYu 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)
5EEYu 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)
4EERobert 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)
3EEHongwei Dai, Zheng Tang, Yu Yang, Hiroki Tamura: Affinity Based Lateral Interaction Artificial Immune System. IEICE Transactions 89-D(4): 1515-1524 (2006)
2EEYun Liu, Guo-ping Cheng, Yu Yang: Patent applications of the Top 500 foreign investment corporations in China. Scientometrics 68(1): 167-177 (2006)
1EEYu Yang, Qing Li, Minhao Yu, Yueting Zhuang: Sketch-based retrieval on Flash movies via primary scene. ISM 2005: 605-610

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)