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

Chao Wang Vis

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

*2009
127EEChao Wang, Yongping Li, Xinyu Ao: Quality Fusion Rule for Face Recognition in Video. ACIVS 2009: 333-342
126EEGuanjun Jiang, Degui Fen, Liangliang Tong, Lingxiang Xiang, Chao Wang, Tianzhou Chen: L1 Collective Cache: Managing Shared Data for Chip Multiprocessors. APPT 2009: 123-133
125EEVineet Kahlon, Chao Wang, Aarti Gupta: Monotonic Partial Order Reduction: An Optimal Symbolic Partial Order Reduction Technique. CAV 2009: 398-413
124EEChao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang: Symbolic pruning of concurrent program executions. ESEC/SIGSOFT FSE 2009: 23-32
123EEXiong Luo, Zengqi Sun, Xiang Zhang, Laihong Hu, Chao Wang: Hybrid EDA-based optimal attitude control for a spacecraft in a class of control task. GEC Summit 2009: 903-906
122EEChao Wang, De-Shuang Huang, Bo Li: A Novel Local Sensitive Frontier Analysis for Feature Extraction. ICIC (2) 2009: 556-565
121EEJie Gui, Chao Wang, Ling Zhu: Locality Preserving Discriminant Projections. ICIC (2) 2009: 566-572
120EEXiankun Zhang, Minghu Ha, Jing Wu, Chao Wang: The Bounds on the Rate of Uniform Convergence of Learning Process on Uncertainty Space. ISNN (1) 2009: 110-117
119EEShujing Yan, Minghu Ha, Xiankun Zhang, Chao Wang: The Key Theorem of Learning Theory on Uncertainty Space. ISNN (1) 2009: 699-706
118EEStephen 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
117EEYu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Chao Wang: Automatic Discovery of Transition Symmetry in Multithreaded Programs Using Dynamic Analysis. SPIN 2009: 279-295
116EEZijiang 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)
115EEYijia 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)
114EEChao Wang, Zhe Zhang, Xiaosong Ma, Sudharshan S. Vazhkudai, Frank Mueller: Improving the availability of supercomputer job input data using temporal replication. Computer Science - R&D 23(3-4): 149-157 (2009)
113EEChao Wang, Jie Lu, Guangquan Zhang: Web ontology data matching for integration: method and framework. IJWIS 5(2): 220-238 (2009)
112EEDanny 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)
111EEXun Liang, Chao Wang: Separating hypersurfaces of SVMs in input spaces. Pattern Recognition Letters 30(5): 469-476 (2009)
2008
110EEChao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan: Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions. ATVA 2008: 126-140
109EEFaraj Alhwarin, Chao Wang, Dannijela Ristic-Durrant, Axel Gräser: Improved SIFT-Features Matching for Object Recognition. BCS Int. Acad. Conf. 2008: 178-190
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
105EEChao Wang, Yan Sun, Huadong Ma: Analysis of Data Delivery Delay in Acoustic Sensor Networks. EUC (1) 2008: 283-287
104EEDanny Z. Chen, Chao Wang: Optimal Field Splitting, with Applications in Intensity-Modulated Radiation Therapy. FAW 2008: 4-15
103EEChao Wang, Yongping Li, Chengbo Wang: An efficient illumination compensation based on plane-fit for face recognition. ICARCV 2008: 939-943
102EEChao Wang, Parameswaran Ramanathan, Kewal K. Saluja: Moments Based Blind Calibration in Mobile Sensor Networks. ICC 2008: 896-900
101EEChao Wang, Malay K. Ganai, 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]
2Faraj Alhwarin [109]
3Xinyu Ao [127]
4Pranav Ashar [10] [11]
5Sitaram Asur [32]
6Hujun Bao [38]
7Zhen-Qiang Bao [44]
8David E. Bernholdt [34]
9Roderick Bloem [1] [37]
10Tevfik Bultan [94]
11Chih-yu Chao [77]
12Swarat Chaudhuri [124]
13Danny Z. Chen [5] [13] [17] [26] [30] [35] [46] [47] [57] [80] [81] [87] [104] [106] [112]
14Hong-bin Chen [108]
15Mo Chen [60]
16Shuang Chen [41] [52]
17Tianzhou Chen [126]
18Weijun Chen [71]
19William Y. C. Chen [12] [15]
20Xiaofang Chen [117]
21Yen-wei Chen [98]
22Chi-Hung Chi [49] [76]
23Grace Chung [9]
24John W. Cobb [69]
25Benjamin Coifman [88]
26Marco Cyriacks [62]
27Xiaofeng Dai [56]
28Da-li Du [108]
29Christian Engelmann [34] [50] [72] [96] [118]
30Yijia Fan [63] [66] [90] [92] [115]
31Yong Fang [29]
32Degui Fen [126]
33Malay K. Ganai [10] [11] [27] [40] [55] [101]
34Zan Gao [41] [52]
35Yong Ge [73]
36Ganesh Gopalakrishnan [110] [117]
37Narasimha Raju Gottumukkala [34]
38Axel Gräser (Axel Graeser) [62] [109]
39Jie Gui [121]
40Baining Guo [38]
41Aarti Gupta [10] [11] [27] [40] [43] [54] [55] [58] [59] [67] [75] [79] [82] [93] [94] [110] [116] [124] [125]
42Minghu Ha [119] [120]
43Gary D. Hachtel [1] [2] [7] [8] [19] [20] [36] [37]
44Mark A. Healy [80] [81] [112]
45Richang Hong [73]
46Li Ming Hou [29]
47Laihong Hu [123]
48Xiaobo Sharon Hu (Xiaobo Hu) [5] [13] [17] [26] [30] [35] [46] [57] [87]
49YanHua Hu [61]
50De-Shuang Huang (Deshuang Huang) [86] [97] [122]
51Wei Huang [61] [65]
52Xiangao Huang [61] [65]
53Franjo Ivancic [27] [43] [54] [58] [59] [67] [79] [82] [116]
54Himanshu Jain [58]
55Quan Jia [107]
56Guanjun Jiang [126]
57Wei Jiang [41] [52]
58HoonSang Jin [7] [20] [36]
59Ruoming Jin [28] [53]
60Vineet Kahlon [93] [125]
61Hyondeuk Kim [75]
62A. C. Kot [48]
63Ioannis Krikidis [90]
64Daniel Kroening (Daniel Kröning) [101]
65Shuvendu K. Lahiri [101]
66Chokchai Leangsuksun (Box Leangsuksun) [34] [118]
67Bing Li [4] [7] [23] [36]
68Bo Li [86] [97] [100] [122]
69Chang-Yi Li [44]
70Xueliang Li [12] [15] [89]
71Yongping Li [103] [127]
72Xun Liang [111]
73Stephen Lin [38]
74Zhiqiang Lin [24]
75Guo-hua Liu [3]
76Huaping Liu [85]
77Kun-hong Liu [86]
78Xiaozhou Liu [65]
79Hu-chuan Lu [98]
80Jie Lu [25] [39] [64] [68] [70] [83] [91] [113]
81ZeJun Lü [61]
82Shuang Luan (Shuang (Sean) Luan) [5] [13] [17] [30] [35] [46] [57] [87] [106]
83Xiong Luo [123]
84Huadong Ma [105]
85Jianfeng Ma [21] [31] [48]
86Xiaosong Ma [69] [99] [114]
87Bing Mao [24]
88Christian Martens [62]
89Wagner Meira Jr. [6] [14]
90Ewa Misiolek [46]
91Frank Mueller [34] [50] [69] [72] [96] [99] [114] [118]
92Arun Babu Nagarajan [118]
93Nichamon Naksinehaboon [118]
94Shahid A. Naqvi [17] [30] [35]
95Raja Nassar [118]
96Thomas Naughton [118]
97George Ostrouchov [118]
98Matthew Eric Otey [6] [14]
99Minghao Pan [38]
100Srinivasan Parthasarathy [6] [14] [18] [28] [32] [42] [45] [53] [74]
101Mihaela Paun [118]
102Gregory G. Pike [69]
103Dmitrii Polshakov [28]
104H. Vincent Poor (Harold Vincent Poor) [63] [66] [90] [92] [115]
105Oliver Prenzel [62]
106Parameswaran Ramanathan (Parmesh Ramanathan) [95] [102]
107Kavita Ravi [1] [37]
108Dannijela Ristic-Durrant [109]
109P. Sadayappan [34]
110Kewal K. Saluja [95] [102]
111Venu Satuluri [74]
112Stephen L. Scott [34] [50] [72] [96] [118]
113Stephanie Seneff [9] [22] [33] [77] [78] [84]
114Aniruddha G. Shet [34]
115Bei-le Shi [3]
116Ilya Shlyakhter [58]
117Harry Shum (Heung-Yeung Shum) [38]
118Fabio Somenzi [1] [4] [7] [8] [19] [20] [23] [36] [37]
119Lili Song [107]
120Fuchun Sun [85]
121Hong-jun Sun [108]
122Yan Lindsay Sun (Yan Sun) [105]
123Zengqi Sun [123]
124Xiaoou Tang [51] [60]
125Junwei Tao [41] [52]
126John S. Thompson [63] [66] [90] [92] [115]
127Anand Tikotekar [118]
128Liangliang Tong [126]
129Xin Tong [38]
130Yit-Chow Tong [16]
131Duygu Ucar [32]
132Geoffroy Vallée [118]
133Jyothish Varma [34] [50] [118]
134Sudharshan S. Vazhkudai (Sudharshan Vazhkudai) [69] [99] [114]
135Adriano Veloso [6] [14]
136Chengbo Wang [103]
137Jianmin Wang [71]
138Jiaping Wang [38]
139Liang-min Wang [48]
140Meng Wang [73]
141Shuo Wang [56]
142Tao Wang [65]
143Weiping Wang [107]
144Zhu jing Wang [65]
145Jing Wu [120]
146Xiaodong Wu [5] [13] [26] [81] [87]
147Xiuqing Wu [73]
148Lingxiang Xiang [126]
149Ya-su Xiao [108]
150Li Xie [24]
151Xiaocao Xiong [56]
152Bin Xu [80] [112]
153Yan Xu [56]
154Shujing Yan [119]
155Fang Yang [44]
156Qiong Yang [51] [60]
157Yu Yang [110] [117] [124]
158Zijiang Yang [10] [11] [43] [54] [59] [67] [82] [93] [116]
159Zhongfu Ye [51] [60]
160Peipei Yin [71] [85]
161Cedric X. Yu [17] [30] [35]
162Fang Yu [94]
163Xianyi Zeng [68]
164Dongmei Zhang [56]
165Guangquan Zhang [25] [39] [64] [68] [70] [83] [91] [113]
166Rong Zhang [73]
167Weiwei Zhang [56]
168Xiang Zhang [123]
169Xiankun Zhang [119] [120]
170Xiaoyan Zhang [12] [15] [89]
171Zhe Zhang [69] [99] [114]
172Jianming Zhu [31]
173Ling Zhu [121]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)