dblp.uni-trier.dewww.uni-trier.de

Chao Wang

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

2009
114EEStephen L. Scott, Christian Engelmann, Geoffroy Vallée, Thomas Naughton, Anand Tikotekar, George Ostrouchov, Chokchai Leangsuksun, Nichamon Naksinehaboon, Raja Nassar, Mihaela Paun, Frank Mueller, Chao Wang, Arun Babu Nagarajan, Jyothish Varma: A tunable holistic resiliency approach for high-performance computing systems. PPOPP 2009: 305-306
113EEZijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Model checking sequential software programs via mixed symbolic analysis. ACM Trans. Design Autom. Electr. Syst. 14(1): (2009)
112EEYijia Fan, Chao Wang, H. Vincent Poor, John S. Thompson: Cooperative Multiplexing: Toward Higher Spectral Efficiency in Multi-antenna Relay Networks CoRR abs/0903.2471: (2009)
111EEDanny Z. Chen, Mark A. Healy, Chao Wang, Bin Xu: Geometric Algorithms for the Constrained 1-d k-Means Clustering Problems and IMRT Applications. Int. J. Found. Comput. Sci. 20(2): 361-377 (2009)
110EEXun Liang, Chao Wang: Separating hypersurfaces of SVMs in input spaces. Pattern Recognition Letters 30(5): 469-476 (2009)
2008
109EEChao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan: Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140
108EEChao Wang, Hong-bin Chen, Da-li Du, Ya-su Xiao, Hong-jun Sun: Electrode Structure Optimum for Impedance Measurement of Intraoperative Breast Cancer Focus. BMEI (2) 2008: 425-429
107EELili Song, Chao Wang, Weiping Wang, Quan Jia: Research on Simulation Service Ontology and Its Matchmaking Model. CSSE (2) 2008: 394-399
106EEDanny Z. Chen, Shuang Luan, Chao Wang: Coupled Path Planning, Region Optimization, and Applications in Intensity-Modulated Radiation Therapy. ESA 2008: 271-283
105EEDanny Z. Chen, Chao Wang: Optimal Field Splitting, with Applications in Intensity-Modulated Radiation Therapy. FAW 2008: 4-15
104EEChao Wang, Yongping Li, Chengbo Wang: An efficient illumination compensation based on plane-fit for face recognition. ICARCV 2008: 939-943
103EEChao Wang, Parameswaran Ramanathan, Kewal K. Saluja: Moments Based Blind Calibration in Mobile Sensor Networks. ICC 2008: 896-900
102EEChao Wang, Malay K. Ganai, Chao Wang, Shuvendu K. Lahiri, Daniel Kroening: Embedded software verification: challenges and solutions. ICCAD 2008: 5
101EEChao Wang, Malay K. Ganai, Chao Wang, Shuvendu K. Lahiri, Daniel Kroening: Embedded software verification: challenges and solutions. ICCAD 2008: 5
100EEChao Wang, Bo Li: A New Orthogonal Discriminant Projection Based Prediction Method for Bioinformatic Data. ICIC (2) 2008: 1047-1054
99EEChao Wang, Zhe Zhang, Sudharshan S. Vazhkudai, Xiaosong Ma, Frank Mueller: On-the-Fly Recovery of Job Input Data in Supercomputers. ICPP 2008: 620-627
98EEHu-chuan Lu, Chao Wang, Yen-wei Chen: Gaze tracking by Binocular Vision and LBP features. ICPR 2008: 1-4
97EEBo Li, De-Shuang Huang, Chao Wang: Improving the robustness of ISOMAP by de-noising. IJCNN 2008: 266-270
96EEChao Wang, Frank Mueller, Christian Engelmann, Stephen L. Scott: Proactive process-level live migration in HPC environments. SC 2008: 43
95EEChao Wang, Parmesh Ramanathan, Kewal K. Saluja: Calibrating Nonlinear Mobile Sensors. SECON 2008: 533-541
94EEFang Yu, Chao Wang, Aarti Gupta, Tevfik Bultan: Modular verification of web services using efficient symbolic encoding and summarization. SIGSOFT FSE 2008: 192-202
93EEChao Wang, Zijiang Yang, Vineet Kahlon, Aarti Gupta: Peephole Partial Order Reduction. TACAS 2008: 382-396
92EEChao Wang, John S. Thompson, Yijia Fan, H. Vincent Poor: On the Diversity-Multiplexing Tradeoff of Concurrent Decode-and-Forward Relaying. WCNC 2008: 582-587
91EEChao Wang, Jie Lu, Guangquan Zhang: An ontology data matching method for web information integration. iiWAS 2008: 208-213
90EEChao Wang, Yijia Fan, Ioannis Krikidis, John S. Thompson, H. Vincent Poor: Superposition-Coded Concurrent Decode-and-Forward Relaying CoRR abs/0804.4701: (2008)
89EEXueliang Li, Chao Wang, Xiaoyan Zhang: The general sigma all-ones problem for trees. Discrete Applied Mathematics 156(10): 1790-1801 (2008)
88EEChao Wang, Benjamin Coifman: The Effect of Lane-Change Maneuvers on a Simplified Car-Following Theory. IEEE Transactions on Intelligent Transportation Systems 9(3): 523-535 (2008)
87EEDanny Z. Chen, Xiaobo Sharon Hu, Chao Wang, Shuang Luan, Xiaodong Wu: Mountain Reduction, Block Matching, and Applications in Intensity-Modulated Radiation Therapy. Int. J. Comput. Geometry Appl. 18(1/2): 63-106 (2008)
86EEBo Li, De-Shuang Huang, Chao Wang, Kun-hong Liu: Feature extraction using constrained maximum variance mapping. Pattern Recognition 41(11): 3287-3294 (2008)
85EEPeipei Yin, Fuchun Sun, Chao Wang, Huaping Liu: An adaptive feature fusion framework for multi-class classification based on SVM. Soft Comput. 12(7): 685-691 (2008)
2007
84 Chao Wang, Stephanie Seneff: A Spoken Translation Game for Second Language Learning. AIED 2007: 315-322
83EEChao Wang, Jie Lu, Guangquan Zhang: Generation and Matching of Ontology Data for the Semantic Web in a Peer-to-Peer Framework. APWeb/WAIM 2007: 136-143
82EEChao Wang, Zijiang Yang, Aarti Gupta, Franjo Ivancic: Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra. CAV 2007: 352-365
81EEDanny Z. Chen, Mark A. Healy, Chao Wang, Xiaodong Wu: A New Field Splitting Algorithm for Intensity-Modulated Radiation Therapy. COCOON 2007: 4-15
80EEDanny Z. Chen, Mark A. Healy, Chao Wang, Bin Xu: Geometric Algorithms for the Constrained 1-D K -Means Clustering Problems and IMRT Applications. FAW 2007: 1-13
79EEChao Wang, Aarti Gupta, Franjo Ivancic: Induction in CEGAR for Detecting Counterexamples. FMCAD 2007: 77-84
78EEChao Wang, Stephanie Seneff: Automatic Assessment of Student Translations for Foreign Language Tutoring. HLT-NAACL 2007: 468-475
77EEStephanie Seneff, Chao Wang, Chih-yu Chao: Spoken Dialogue Systems for Language Learning. HLT-NAACL (Demonstrations) 2007: 13-14
76EEChi-Hung Chi, Chao Wang: On-Demand Capacity Framework. ICA3PP 2007: 314-325
75EEChao Wang, Hyondeuk Kim, Aarti Gupta: Hybrid CEGAR: combining variable hiding and predicate abstraction. ICCAD 2007: 310-317
74EEChao Wang, Venu Satuluri, Srinivasan Parthasarathy: Local Probabilistic Models for Link Prediction. ICDM 2007: 322-331
73EERichang Hong, Chao Wang, Yong Ge, Meng Wang, Xiuqing Wu, Rong Zhang: Salience Preserving Multi-Focus Image Fusion. ICME 2007: 1663-1666
72EEChao Wang, Frank Mueller, Christian Engelmann, Stephen L. Scott: A Job Pause Service under LAM/MPI+BLCR for Transparent Fault Tolerance. IPDPS 2007: 1-10
71EEChao Wang, Weijun Chen, Peipei Yin, Jianmin Wang: Semi-supervised Clustering Using Incomplete Prior Knowledge. International Conference on Computational Science (1) 2007: 192-195
70EEChao Wang, Jie Lu, Guangquan Zhang: A Constrained Clustering Approach to Duplicate Detection Among Relational Data. PAKDD 2007: 308-319
69EEZhe Zhang, Chao Wang, Sudharshan S. Vazhkudai, Xiaosong Ma, Gregory G. Pike, John W. Cobb, Frank Mueller: Optimizing center performance through coordinated data staging, scheduling and recovery. SC 2007: 55
68EEChao Wang, Jie Lu, Guangquan Zhang, Xianyi Zeng: Creating and Managing Ontology Data on the Web: A Semantic Wiki Approach. WISE 2007: 513-522
67EEChao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for software verification. ACM Trans. Design Autom. Electr. Syst. 12(2): (2007)
66EEYijia Fan, Chao Wang, John S. Thompson, H. Vincent Poor: Recovering Multiplexing Loss Through Successive Relaying Using Repetition Coding CoRR abs/0705.3261: (2007)
65EEXiangao Huang, Wei Huang, Xiaozhou Liu, Chao Wang, Zhu jing Wang, Tao Wang: Reconstructing the Nonlinear Filter Function of LILI-128 Stream Cipher Based on Complexity CoRR abs/cs/0702128: (2007)
64EEChao Wang, Jie Lu, Guangquan Zhang: Mining key information of web pages: A method and its application. Expert Syst. Appl. 33(2): 425-433 (2007)
63EEYijia Fan, Chao Wang, John S. Thompson, H. Vincent Poor: Recovering Multiplexing Loss through Successive Relaying Using Repetition Coding. IEEE Transactions on Wireless Communications 6(12): 4484-4493 (2007)
62EEOliver Prenzel, Christian Martens, Marco Cyriacks, Chao Wang, Axel Gräser: System-controlled user interaction within the service robotic control architecture MASSiVE. Robotica 25(2): 237-244 (2007)
61EEXiangao Huang, Wei Huang, Chao Wang, ZeJun Lü, YanHua Hu: Blind reconnaissance of the pseudo-random sequence in DS/SS signal with negative SNR. Science in China Series F: Information Sciences 50(3): 510-520 (2007)
2006
60EEChao Wang, Qiong Yang, Mo Chen, Xiaoou Tang, Zhongfu Ye: Progressive cut. ACM Multimedia 2006: 251-260
59EEChao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Whodunit? Causal Analysis for Counterexamples. ATVA 2006: 82-95
58EEHimanshu Jain, Franjo Ivancic, Aarti Gupta, Ilya Shlyakhter, Chao Wang: Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop. CAV 2006: 137-151
57EEShuang Luan, Chao Wang, Danny Z. Chen, Xiaobo Sharon Hu: A Leaf Sequencing Software for Intensity-Modulated Radiation Therapy. CBMS 2006: 3-8
56EEShuo Wang, Xiaocao Xiong, Yan Xu, Chao Wang, Weiwei Zhang, Xiaofeng Dai, Dongmei Zhang: Face-tracking as an augmented input in video games: enhancing presence, role-playing and control. CHI 2006: 1097-1106
55EEChao Wang, Aarti Gupta, Malay K. Ganai: Predicate learning and selective theory deduction for a difference logic solver. DAC 2006: 235-240
54EEChao Wang, Zijiang Yang, Franjo Ivancic, Aarti Gupta: Disjunctive image computation for embedded software verification. DATE 2006: 1205-1210
53EEChao Wang, Srinivasan Parthasarathy, Ruoming Jin: A Decomposition-Based Probabilistic Framework for Estimating the Selectivity of XML Twig Queries. EDBT 2006: 533-551
52EEJunwei Tao, Wei Jiang, Zan Gao, Shuang Chen, Chao Wang: Palmprint Recognition Based on 2-Dimension PCA. ICICIC (1) 2006: 326-330
51EEChao Wang, Qiong Yang, Xiaoou Tang, Zhongfu Ye: Salience Preserving Image Fusion with Dynamic Range Compression. ICIP 2006: 989-992
50EEJyothish Varma, Chao Wang, Frank Mueller, Christian Engelmann, Stephen L. Scott: Scalable, fault tolerant membership for MPI tasks on HPC systems. ICS 2006: 219-228
49EEChao Wang, Chi-Hung Chi: Quantitative Trust Based on Actions. ICWS 2006: 178-188
48EELiang-min Wang, Jianfeng Ma, Chao Wang, A. C. Kot: Fault and intrusion tolerance of wireless sensor networks. IPDPS 2006
47EEDanny Z. Chen, Chao Wang: Field Splitting Problems in Intensity-Modulated Radiation Therapy. ISAAC 2006: 690-700
46EEDanny Z. Chen, Xiaobo Sharon Hu, Shuang Luan, Ewa Misiolek, Chao Wang: Shape Rectangularization Problems in Intensity-Modulated Radiation Therapy. ISAAC 2006: 701-711
45EEChao Wang, Srinivasan Parthasarathy: Summarizing itemset patterns using probabilistic models. KDD 2006: 730-735
44EEChao Wang, Zhen-Qiang Bao, Chang-Yi Li, Fang Yang: Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System. KSEM 2006: 431-441
43EEZijiang Yang, Chao Wang, Aarti Gupta, Franjo Ivancic: Mixed symbolic representations for model checking software programs. MEMOCODE 2006: 17-26
42EEChao Wang, Srinivasan Parthasarathy: Learning Approximate MRFs from Large Transaction Data. PKDD 2006: 641-649
41EEJunwei Tao, Wei Jiang, Zan Gao, Shuang Chen, Chao Wang: Palmprint Recognition Based on Improved 2DPCA. PRIMA 2006: 455-462
40EEAarti Gupta, Malay K. Ganai, Chao Wang: SAT-Based Verification Methods and Applications in Hardware Verification. SFM 2006: 108-143
39EEChao Wang, Jie Lu, Guangquan Zhang: Integration of Ontology Data through Learning Instance Matching. Web Intelligence 2006: 536-539
38EEJiaping Wang, Xin Tong, Stephen Lin, Minghao Pan, Chao Wang, Hujun Bao, Baining Guo, Heung-Yeung Shum: Appearance manifolds for modeling time-variant appearance of materials. ACM Trans. Graph. 25(3): 754-761 (2006)
37EEChao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi: Compositional SCC Analysis for Language Emptiness. Formal Methods in System Design 28(1): 5-36 (2006)
36EEChao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadne's Bundle by Following Multiple Threads in Abstraction Refinement. IEEE Trans. on CAD of Integrated Circuits and Systems 25(11): 2297-2316 (2006)
35EEDanny Z. Chen, Xiaobo Sharon Hu, Shuang Luan, Shahid A. Naqvi, Chao Wang, Cedric X. Yu: Generalized Geometric Approaches for Leaf Sequencing Problems in Radiation Therapy. Int. J. Comput. Geometry Appl. 16(2-3): 175-204 (2006)
34EEChristian Engelmann, Stephen L. Scott, David E. Bernholdt, Narasimha Raju Gottumukkala, Chokchai Leangsuksun, Jyothish Varma, Chao Wang, Frank Mueller, Aniruddha G. Shet, P. Sadayappan: MOLAR: adaptive runtime support for high-end computing operating and runtime systems. Operating Systems Review 40(2): 63-72 (2006)
33EEChao Wang, Stephanie Seneff: High-quality speech-to-speech translation for computer-aided language learning. TSLP 3(2): 1-21 (2006)
2005
32EEDuygu Ucar, Srinivasan Parthasarathy, Sitaram Asur, Chao Wang: Effective Pre-Processing Strategies for Functional Clustering of a Protein-Protein Interactions Network. BIBE 2005: 129-136
31EEChao Wang, Jianfeng Ma, Jianming Zhu: Design and Implementation of Survivable Network Systems. ICIC (2) 2005: 376-385
30EEDanny Z. Chen, Xiaobo Sharon Hu, Shuang (Sean) Luan, Shahid A. Naqvi, Chao Wang, Cedric X. Yu: Generalized Geometric Approaches for Leaf Sequencing Problems in Radiation Therapy. ISAAC 2005: 1176-1186
29EEChao Wang, Li Ming Hou, Yong Fang: Individual Dimension Gaussian Mixture Model for Speaker Identification. IWBRS 2005: 172-179
28EERuoming Jin, Chao Wang, Dmitrii Polshakov, Srinivasan Parthasarathy, Gagan Agrawal: Discovering frequent topological structures from graph datasets. KDD 2005: 606-611
27EEChao Wang, Franjo Ivancic, Malay K. Ganai, Aarti Gupta: Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination. LPAR 2005: 322-336
26EEDanny Z. Chen, Xiaobo Sharon Hu, Chao Wang, Xiaodong Wu: Mountain reduction, block matching, and applications in intensity-modulated radiation therapy. Symposium on Computational Geometry 2005: 35-44
25EEChao Wang, Jie Lu, Guangquan Zhang: A Semantic Classification Approach for Online Product Reviews. Web Intelligence 2005: 276-279
24EEZhiqiang Lin, Chao Wang, Bing Mao, Li Xie: A policy flexible architecture for secure operating system. Operating Systems Review 39(3): 24-33 (2005)
23EEBing Li, Chao Wang, Fabio Somenzi: Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure. STTT 7(2): 143-155 (2005)
22EEStephanie Seneff, Chao Wang: Statistical modeling of phonological rules through linguistic hierarchies. Speech Communication 46(2): 204-216 (2005)
2004
21EEChao Wang, Jianfeng Ma: Availability Analysis and Comparison of Different Intrusion-Tolerant Systems. AWCC 2004: 161-166
20EEChao Wang, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Refining the SAT decision ordering for bounded model checking. DAC 2004: 535-538
19EEChao Wang, Gary D. Hachtel, Fabio Somenzi: Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking. ICCD 2004: 112-118
18EEChao Wang, Srinivasan Parthasarathy: Parallel algorithms for mining frequent structural motifs in scientific data. ICS 2004: 31-40
17EEDanny Z. Chen, Xiaobo Sharon Hu, Shuang Luan, Shahid A. Naqvi, Chao Wang, Cedric X. Yu: Generalized Geometric Approaches for Leaf Sequencing Problems in Radiation Therapy. ISAAC 2004: 271-281
16EEChao Wang, Yit-Chow Tong: An improved critical-band transform processor for speech applications. ISCAS (3) 2004: 461-464
15EEWilliam Y. C. Chen, Xueliang Li, Chao Wang, Xiaoyan Zhang: Linear Time Algorithms to the Minimum All-Ones Problem for Unicyclic and Bicyclic Graphs. Electronic Notes in Discrete Mathematics 17: 93-98 (2004)
14EEMatthew Eric Otey, Srinivasan Parthasarathy, Chao Wang, Adriano Veloso, Wagner Meira Jr.: Parallel and distributed methods for incremental frequent itemset mining. IEEE Transactions on Systems, Man, and Cybernetics, Part B 34(6): 2439-2450 (2004)
13EEDanny Z. Chen, Xiaobo Sharon Hu, Shuang (Sean) Luan, Chao Wang, Xiaodong Wu: Geometric algorithms for static leaf sequencing problems in radiation therapy. Int. J. Comput. Geometry Appl. 14(4-5): 311-339 (2004)
12EEWilliam Y. C. Chen, Xueliang Li, Chao Wang, Xiaoyan Zhang: The Minimum All-Ones Problem for Trees. SIAM J. Comput. 33(2): 379-392 (2004)
2003
11EEAarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar: Abstraction and BDDs Complement SAT-Based BMC in DiVer. CAV 2003: 206-209
10EEAarti Gupta, Malay K. Ganai, Chao Wang, Zijiang Yang, Pranav Ashar: Learning from BDDs in SAT-based bounded model checking. DAC 2003: 824-829
9EEGrace Chung, Stephanie Seneff, Chao Wang: Automatic Acquisition of Names Using Speak and Spell Mode in Spoken Dialogue Systems. HLT-NAACL 2003
8EEChao Wang, Gary D. Hachtel, Fabio Somenzi: The Compositional Far Side of Image Computation. ICCAD 2003: 334-341
7EEChao Wang, Bing Li, HoonSang Jin, Gary D. Hachtel, Fabio Somenzi: Improving Ariadneýs Bundle by Following Multiple Threads in Abstraction Refinement. ICCAD 2003: 408-415
6EEMatthew Eric Otey, Chao Wang, Srinivasan Parthasarathy, Adriano Veloso, Wagner Meira Jr.: Mining Frequent Itemsets in Distributed and Dynamic Databases. ICDM 2003: 617-620
5EEDanny Z. Chen, Xiaobo Hu, Shuang Luan, Chao Wang, Xiaodong Wu: Geometric algorithms for static leaf sequencing problems in radiation therapy. Symposium on Computational Geometry 2003: 88-97
4EEBing Li, Chao Wang, Fabio Somenzi: A satisfiability-based approach to abstraction refinement in model checking. Electr. Notes Theor. Comput. Sci. 89(4): (2003)
2002
3 Guo-hua Liu, Chao Wang, Bei-le Shi: Research on the Database-Design Tool for XML. CAINE 2002: 77-81
2EEChao Wang, Gary D. Hachtel: Sharp Disjunctive Decomposition for Language Emptiness Checking. FMCAD 2002: 106-122
2001
1EEChao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi: Divide and Compose: SCC Refinement for Language Emptiness. CONCUR 2001: 456-471

Coauthor Index

1Gagan Agrawal [28]
2Pranav Ashar [10] [11]
3Sitaram Asur [32]
4Hujun Bao [38]
5Zhen-Qiang Bao [44]
6David E. Bernholdt [34]
7Roderick Bloem [1] [37]
8Tevfik Bultan [94]
9Chih-yu Chao [77]
10Danny Z. Chen [5] [13] [17] [26] [30] [35] [46] [47] [57] [80] [81] [87] [105] [106] [111]
11Hong-bin Chen [108]
12Mo Chen [60]
13Shuang Chen [41] [52]
14Weijun Chen [71]
15William Y. C. Chen [12] [15]
16Yen-wei Chen [98]
17Chi-Hung Chi [49] [76]
18Grace Chung [9]
19John W. Cobb [69]
20Benjamin Coifman [88]
21Marco Cyriacks [62]
22Xiaofeng Dai [56]
23Da-li Du [108]
24Christian Engelmann [34] [50] [72] [96] [114]
25Yijia Fan [63] [66] [90] [92] [112]
26Yong Fang [29]
27Malay K. Ganai [10] [11] [27] [40] [55] [102]
28Zan Gao [41] [52]
29Yong Ge [73]
30Ganesh Gopalakrishnan [109]
31Narasimha Raju Gottumukkala [34]
32Axel Gräser [62]
33Baining Guo [38]
34Aarti Gupta [10] [11] [27] [40] [43] [54] [55] [58] [59] [67] [75] [79] [82] [93] [94] [109] [113]
35Gary D. Hachtel [1] [2] [7] [8] [19] [20] [36] [37]
36Mark A. Healy [80] [81] [111]
37Richang Hong [73]
38Li Ming Hou [29]
39Xiaobo Sharon Hu (Xiaobo Hu) [5] [13] [17] [26] [30] [35] [46] [57] [87]
40YanHua Hu [61]
41De-Shuang Huang (Deshuang Huang) [86] [97]
42Wei Huang [61] [65]
43Xiangao Huang [61] [65]
44Franjo Ivancic [27] [43] [54] [58] [59] [67] [79] [82] [113]
45Himanshu Jain [58]
46Quan Jia [107]
47Wei Jiang [41] [52]
48HoonSang Jin [7] [20] [36]
49Ruoming Jin [28] [53]
50Vineet Kahlon [93]
51Hyondeuk Kim [75]
52A. C. Kot [48]
53Ioannis Krikidis [90]
54Daniel Kroening (Daniel Kröning) [102]
55Shuvendu K. Lahiri [102]
56Chokchai Leangsuksun (Box Leangsuksun) [34] [114]
57Bing Li [4] [7] [23] [36]
58Bo Li [86] [97] [100]
59Chang-Yi Li [44]
60Xueliang Li [12] [15] [89]
61Yongping Li [104]
62Xun Liang [110]
63Stephen Lin [38]
64Zhiqiang Lin [24]
65Guo-hua Liu [3]
66Huaping Liu [85]
67Kun-hong Liu [86]
68Xiaozhou Liu [65]
69Hu-chuan Lu [98]
70Jie Lu [25] [39] [64] [68] [70] [83] [91]
71ZeJun Lü [61]
72Shuang Luan [5] [17] [35] [46] [57] [87] [106]
73Shuang (Sean) Luan [13] [30]
74Jianfeng Ma [21] [31] [48]
75Xiaosong Ma [69] [99]
76Bing Mao [24]
77Christian Martens [62]
78Wagner Meira Jr. [6] [14]
79Ewa Misiolek [46]
80Frank Mueller [34] [50] [69] [72] [96] [99] [114]
81Arun Babu Nagarajan [114]
82Nichamon Naksinehaboon [114]
83Shahid A. Naqvi [17] [30] [35]
84Raja Nassar [114]
85Thomas Naughton [114]
86George Ostrouchov [114]
87Matthew Eric Otey [6] [14]
88Minghao Pan [38]
89Srinivasan Parthasarathy [6] [14] [18] [28] [32] [42] [45] [53] [74]
90Mihaela Paun [114]
91Gregory G. Pike [69]
92Dmitrii Polshakov [28]
93H. Vincent Poor (Harold Vincent Poor) [63] [66] [90] [92] [112]
94Oliver Prenzel [62]
95Parameswaran Ramanathan (Parmesh Ramanathan) [95] [103]
96Kavita Ravi [1] [37]
97P. Sadayappan [34]
98Kewal K. Saluja [95] [103]
99Venu Satuluri [74]
100Stephen L. Scott [34] [50] [72] [96] [114]
101Stephanie Seneff [9] [22] [33] [77] [78] [84]
102Aniruddha G. Shet [34]
103Bei-le Shi [3]
104Ilya Shlyakhter [58]
105Harry Shum (Heung-Yeung Shum) [38]
106Fabio Somenzi [1] [4] [7] [8] [19] [20] [23] [36] [37]
107Lili Song [107]
108Fuchun Sun [85]
109Hong-jun Sun [108]
110Xiaoou Tang [51] [60]
111Junwei Tao [41] [52]
112John S. Thompson [63] [66] [90] [92] [112]
113Anand Tikotekar [114]
114Xin Tong [38]
115Yit-Chow Tong [16]
116Duygu Ucar [32]
117Geoffroy Vallée [114]
118Jyothish Varma [34] [50] [114]
119Sudharshan S. Vazhkudai (Sudharshan Vazhkudai) [69] [99]
120Adriano Veloso [6] [14]
121Chengbo Wang [104]
122Jianmin Wang [71]
123Jiaping Wang [38]
124Liang-min Wang [48]
125Meng Wang [73]
126Shuo Wang [56]
127Tao Wang [65]
128Weiping Wang [107]
129Zhu jing Wang [65]
130Xiaodong Wu [5] [13] [26] [81] [87]
131Xiuqing Wu [73]
132Ya-su Xiao [108]
133Li Xie [24]
134Xiaocao Xiong [56]
135Bin Xu [80] [111]
136Yan Xu [56]
137Fang Yang [44]
138Qiong Yang [51] [60]
139Yu Yang [109]
140Zijiang Yang [10] [11] [43] [54] [59] [67] [82] [93] [113]
141Zhongfu Ye [51] [60]
142Peipei Yin [71] [85]
143Cedric X. Yu [17] [30] [35]
144Fang Yu [94]
145Xianyi Zeng [68]
146Dongmei Zhang [56]
147Guangquan Zhang [25] [39] [64] [68] [70] [83] [91]
148Rong Zhang [73]
149Weiwei Zhang [56]
150Xiaoyan Zhang [12] [15] [89]
151Zhe Zhang [69] [99]
152Jianming Zhu [31]

Colors in the list of coauthors

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