| 2009 |
|---|
| 114 | EE | Stephen 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 |
| 113 | EE | Zijiang 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) |
| 112 | EE | Yijia 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) |
| 111 | EE | Danny 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) |
| 110 | EE | Xun Liang,
Chao Wang:
Separating hypersurfaces of SVMs in input spaces.
Pattern Recognition Letters 30(5): 469-476 (2009) |
| 2008 |
|---|
| 109 | EE | Chao Wang,
Yu Yang,
Aarti Gupta,
Ganesh Gopalakrishnan:
Dynamic Model Checking with Property Driven Pruning to Detect Race Conditions.
ATVA 2008: 126-140 |
| 108 | EE | Chao 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 |
| 107 | EE | Lili Song,
Chao Wang,
Weiping Wang,
Quan Jia:
Research on Simulation Service Ontology and Its Matchmaking Model.
CSSE (2) 2008: 394-399 |
| 106 | EE | Danny Z. Chen,
Shuang Luan,
Chao Wang:
Coupled Path Planning, Region Optimization, and Applications in Intensity-Modulated Radiation Therapy.
ESA 2008: 271-283 |
| 105 | EE | Danny Z. Chen,
Chao Wang:
Optimal Field Splitting, with Applications in Intensity-Modulated Radiation Therapy.
FAW 2008: 4-15 |
| 104 | EE | Chao Wang,
Yongping Li,
Chengbo Wang:
An efficient illumination compensation based on plane-fit for face recognition.
ICARCV 2008: 939-943 |
| 103 | EE | Chao Wang,
Parameswaran Ramanathan,
Kewal K. Saluja:
Moments Based Blind Calibration in Mobile Sensor Networks.
ICC 2008: 896-900 |
| 102 | EE | Chao Wang,
Malay K. Ganai,
Chao Wang,
Shuvendu K. Lahiri,
Daniel Kroening:
Embedded software verification: challenges and solutions.
ICCAD 2008: 5 |
| 101 | EE | Chao Wang,
Malay K. Ganai,
Chao Wang,
Shuvendu K. Lahiri,
Daniel Kroening:
Embedded software verification: challenges and solutions.
ICCAD 2008: 5 |
| 100 | EE | Chao Wang,
Bo Li:
A New Orthogonal Discriminant Projection Based Prediction Method for Bioinformatic Data.
ICIC (2) 2008: 1047-1054 |
| 99 | EE | Chao Wang,
Zhe Zhang,
Sudharshan S. Vazhkudai,
Xiaosong Ma,
Frank Mueller:
On-the-Fly Recovery of Job Input Data in Supercomputers.
ICPP 2008: 620-627 |
| 98 | EE | Hu-chuan Lu,
Chao Wang,
Yen-wei Chen:
Gaze tracking by Binocular Vision and LBP features.
ICPR 2008: 1-4 |
| 97 | EE | Bo Li,
De-Shuang Huang,
Chao Wang:
Improving the robustness of ISOMAP by de-noising.
IJCNN 2008: 266-270 |
| 96 | EE | Chao Wang,
Frank Mueller,
Christian Engelmann,
Stephen L. Scott:
Proactive process-level live migration in HPC environments.
SC 2008: 43 |
| 95 | EE | Chao Wang,
Parmesh Ramanathan,
Kewal K. Saluja:
Calibrating Nonlinear Mobile Sensors.
SECON 2008: 533-541 |
| 94 | EE | Fang Yu,
Chao Wang,
Aarti Gupta,
Tevfik Bultan:
Modular verification of web services using efficient symbolic encoding and summarization.
SIGSOFT FSE 2008: 192-202 |
| 93 | EE | Chao Wang,
Zijiang Yang,
Vineet Kahlon,
Aarti Gupta:
Peephole Partial Order Reduction.
TACAS 2008: 382-396 |
| 92 | EE | Chao Wang,
John S. Thompson,
Yijia Fan,
H. Vincent Poor:
On the Diversity-Multiplexing Tradeoff of Concurrent Decode-and-Forward Relaying.
WCNC 2008: 582-587 |
| 91 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
An ontology data matching method for web information integration.
iiWAS 2008: 208-213 |
| 90 | EE | Chao Wang,
Yijia Fan,
Ioannis Krikidis,
John S. Thompson,
H. Vincent Poor:
Superposition-Coded Concurrent Decode-and-Forward Relaying
CoRR abs/0804.4701: (2008) |
| 89 | EE | Xueliang Li,
Chao Wang,
Xiaoyan Zhang:
The general sigma all-ones problem for trees.
Discrete Applied Mathematics 156(10): 1790-1801 (2008) |
| 88 | EE | Chao 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) |
| 87 | EE | Danny 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) |
| 86 | EE | Bo Li,
De-Shuang Huang,
Chao Wang,
Kun-hong Liu:
Feature extraction using constrained maximum variance mapping.
Pattern Recognition 41(11): 3287-3294 (2008) |
| 85 | EE | Peipei 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 |
| 83 | EE | Chao 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 |
| 82 | EE | Chao Wang,
Zijiang Yang,
Aarti Gupta,
Franjo Ivancic:
Using Counterexamples for Improving the Precision of Reachability Computation with Polyhedra.
CAV 2007: 352-365 |
| 81 | EE | Danny Z. Chen,
Mark A. Healy,
Chao Wang,
Xiaodong Wu:
A New Field Splitting Algorithm for Intensity-Modulated Radiation Therapy.
COCOON 2007: 4-15 |
| 80 | EE | Danny 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 |
| 79 | EE | Chao Wang,
Aarti Gupta,
Franjo Ivancic:
Induction in CEGAR for Detecting Counterexamples.
FMCAD 2007: 77-84 |
| 78 | EE | Chao Wang,
Stephanie Seneff:
Automatic Assessment of Student Translations for Foreign Language Tutoring.
HLT-NAACL 2007: 468-475 |
| 77 | EE | Stephanie Seneff,
Chao Wang,
Chih-yu Chao:
Spoken Dialogue Systems for Language Learning.
HLT-NAACL (Demonstrations) 2007: 13-14 |
| 76 | EE | Chi-Hung Chi,
Chao Wang:
On-Demand Capacity Framework.
ICA3PP 2007: 314-325 |
| 75 | EE | Chao Wang,
Hyondeuk Kim,
Aarti Gupta:
Hybrid CEGAR: combining variable hiding and predicate abstraction.
ICCAD 2007: 310-317 |
| 74 | EE | Chao Wang,
Venu Satuluri,
Srinivasan Parthasarathy:
Local Probabilistic Models for Link Prediction.
ICDM 2007: 322-331 |
| 73 | EE | Richang Hong,
Chao Wang,
Yong Ge,
Meng Wang,
Xiuqing Wu,
Rong Zhang:
Salience Preserving Multi-Focus Image Fusion.
ICME 2007: 1663-1666 |
| 72 | EE | Chao Wang,
Frank Mueller,
Christian Engelmann,
Stephen L. Scott:
A Job Pause Service under LAM/MPI+BLCR for Transparent Fault Tolerance.
IPDPS 2007: 1-10 |
| 71 | EE | Chao Wang,
Weijun Chen,
Peipei Yin,
Jianmin Wang:
Semi-supervised Clustering Using Incomplete Prior Knowledge.
International Conference on Computational Science (1) 2007: 192-195 |
| 70 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
A Constrained Clustering Approach to Duplicate Detection Among Relational Data.
PAKDD 2007: 308-319 |
| 69 | EE | Zhe 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 |
| 68 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang,
Xianyi Zeng:
Creating and Managing Ontology Data on the Web: A Semantic Wiki Approach.
WISE 2007: 513-522 |
| 67 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Disjunctive image computation for software verification.
ACM Trans. Design Autom. Electr. Syst. 12(2): (2007) |
| 66 | EE | Yijia Fan,
Chao Wang,
John S. Thompson,
H. Vincent Poor:
Recovering Multiplexing Loss Through Successive Relaying Using Repetition Coding
CoRR abs/0705.3261: (2007) |
| 65 | EE | Xiangao 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) |
| 64 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
Mining key information of web pages: A method and its application.
Expert Syst. Appl. 33(2): 425-433 (2007) |
| 63 | EE | Yijia 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) |
| 62 | EE | Oliver 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) |
| 61 | EE | Xiangao 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 |
|---|
| 60 | EE | Chao Wang,
Qiong Yang,
Mo Chen,
Xiaoou Tang,
Zhongfu Ye:
Progressive cut.
ACM Multimedia 2006: 251-260 |
| 59 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Whodunit? Causal Analysis for Counterexamples.
ATVA 2006: 82-95 |
| 58 | EE | Himanshu Jain,
Franjo Ivancic,
Aarti Gupta,
Ilya Shlyakhter,
Chao Wang:
Using Statically Computed Invariants Inside the Predicate Abstraction and Refinement Loop.
CAV 2006: 137-151 |
| 57 | EE | Shuang Luan,
Chao Wang,
Danny Z. Chen,
Xiaobo Sharon Hu:
A Leaf Sequencing Software for Intensity-Modulated Radiation Therapy.
CBMS 2006: 3-8 |
| 56 | EE | Shuo 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 |
| 55 | EE | Chao Wang,
Aarti Gupta,
Malay K. Ganai:
Predicate learning and selective theory deduction for a difference logic solver.
DAC 2006: 235-240 |
| 54 | EE | Chao Wang,
Zijiang Yang,
Franjo Ivancic,
Aarti Gupta:
Disjunctive image computation for embedded software verification.
DATE 2006: 1205-1210 |
| 53 | EE | Chao Wang,
Srinivasan Parthasarathy,
Ruoming Jin:
A Decomposition-Based Probabilistic Framework for Estimating the Selectivity of XML Twig Queries.
EDBT 2006: 533-551 |
| 52 | EE | Junwei Tao,
Wei Jiang,
Zan Gao,
Shuang Chen,
Chao Wang:
Palmprint Recognition Based on 2-Dimension PCA.
ICICIC (1) 2006: 326-330 |
| 51 | EE | Chao Wang,
Qiong Yang,
Xiaoou Tang,
Zhongfu Ye:
Salience Preserving Image Fusion with Dynamic Range Compression.
ICIP 2006: 989-992 |
| 50 | EE | Jyothish Varma,
Chao Wang,
Frank Mueller,
Christian Engelmann,
Stephen L. Scott:
Scalable, fault tolerant membership for MPI tasks on HPC systems.
ICS 2006: 219-228 |
| 49 | EE | Chao Wang,
Chi-Hung Chi:
Quantitative Trust Based on Actions.
ICWS 2006: 178-188 |
| 48 | EE | Liang-min Wang,
Jianfeng Ma,
Chao Wang,
A. C. Kot:
Fault and intrusion tolerance of wireless sensor networks.
IPDPS 2006 |
| 47 | EE | Danny Z. Chen,
Chao Wang:
Field Splitting Problems in Intensity-Modulated Radiation Therapy.
ISAAC 2006: 690-700 |
| 46 | EE | Danny Z. Chen,
Xiaobo Sharon Hu,
Shuang Luan,
Ewa Misiolek,
Chao Wang:
Shape Rectangularization Problems in Intensity-Modulated Radiation Therapy.
ISAAC 2006: 701-711 |
| 45 | EE | Chao Wang,
Srinivasan Parthasarathy:
Summarizing itemset patterns using probabilistic models.
KDD 2006: 730-735 |
| 44 | EE | Chao Wang,
Zhen-Qiang Bao,
Chang-Yi Li,
Fang Yang:
Knowledge Update in a Knowledge-Based Dynamic Scheduling Decision System.
KSEM 2006: 431-441 |
| 43 | EE | Zijiang Yang,
Chao Wang,
Aarti Gupta,
Franjo Ivancic:
Mixed symbolic representations for model checking software programs.
MEMOCODE 2006: 17-26 |
| 42 | EE | Chao Wang,
Srinivasan Parthasarathy:
Learning Approximate MRFs from Large Transaction Data.
PKDD 2006: 641-649 |
| 41 | EE | Junwei Tao,
Wei Jiang,
Zan Gao,
Shuang Chen,
Chao Wang:
Palmprint Recognition Based on Improved 2DPCA.
PRIMA 2006: 455-462 |
| 40 | EE | Aarti Gupta,
Malay K. Ganai,
Chao Wang:
SAT-Based Verification Methods and Applications in Hardware Verification.
SFM 2006: 108-143 |
| 39 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
Integration of Ontology Data through Learning Instance Matching.
Web Intelligence 2006: 536-539 |
| 38 | EE | Jiaping 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) |
| 37 | EE | Chao 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) |
| 36 | EE | Chao 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) |
| 35 | EE | Danny 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) |
| 34 | EE | Christian 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) |
| 33 | EE | Chao Wang,
Stephanie Seneff:
High-quality speech-to-speech translation for computer-aided language learning.
TSLP 3(2): 1-21 (2006) |
| 2005 |
|---|
| 32 | EE | Duygu Ucar,
Srinivasan Parthasarathy,
Sitaram Asur,
Chao Wang:
Effective Pre-Processing Strategies for Functional Clustering of a Protein-Protein Interactions Network.
BIBE 2005: 129-136 |
| 31 | EE | Chao Wang,
Jianfeng Ma,
Jianming Zhu:
Design and Implementation of Survivable Network Systems.
ICIC (2) 2005: 376-385 |
| 30 | EE | Danny 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 |
| 29 | EE | Chao Wang,
Li Ming Hou,
Yong Fang:
Individual Dimension Gaussian Mixture Model for Speaker Identification.
IWBRS 2005: 172-179 |
| 28 | EE | Ruoming Jin,
Chao Wang,
Dmitrii Polshakov,
Srinivasan Parthasarathy,
Gagan Agrawal:
Discovering frequent topological structures from graph datasets.
KDD 2005: 606-611 |
| 27 | EE | Chao Wang,
Franjo Ivancic,
Malay K. Ganai,
Aarti Gupta:
Deciding Separation Logic Formulae by SAT and Incremental Negative Cycle Elimination.
LPAR 2005: 322-336 |
| 26 | EE | Danny 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 |
| 25 | EE | Chao Wang,
Jie Lu,
Guangquan Zhang:
A Semantic Classification Approach for Online Product Reviews.
Web Intelligence 2005: 276-279 |
| 24 | EE | Zhiqiang Lin,
Chao Wang,
Bing Mao,
Li Xie:
A policy flexible architecture for secure operating system.
Operating Systems Review 39(3): 24-33 (2005) |
| 23 | EE | Bing Li,
Chao Wang,
Fabio Somenzi:
Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.
STTT 7(2): 143-155 (2005) |
| 22 | EE | Stephanie Seneff,
Chao Wang:
Statistical modeling of phonological rules through linguistic hierarchies.
Speech Communication 46(2): 204-216 (2005) |
| 2004 |
|---|
| 21 | EE | Chao Wang,
Jianfeng Ma:
Availability Analysis and Comparison of Different Intrusion-Tolerant Systems.
AWCC 2004: 161-166 |
| 20 | EE | Chao Wang,
HoonSang Jin,
Gary D. Hachtel,
Fabio Somenzi:
Refining the SAT decision ordering for bounded model checking.
DAC 2004: 535-538 |
| 19 | EE | Chao Wang,
Gary D. Hachtel,
Fabio Somenzi:
Fine-Grain Abstraction and Sequential Don't Cares for Large Scale Model Checking.
ICCD 2004: 112-118 |
| 18 | EE | Chao Wang,
Srinivasan Parthasarathy:
Parallel algorithms for mining frequent structural motifs in scientific data.
ICS 2004: 31-40 |
| 17 | EE | Danny 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 |
| 16 | EE | Chao Wang,
Yit-Chow Tong:
An improved critical-band transform processor for speech applications.
ISCAS (3) 2004: 461-464 |
| 15 | EE | William 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) |
| 14 | EE | Matthew 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) |
| 13 | EE | Danny 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) |
| 12 | EE | William 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 |
|---|
| 11 | EE | Aarti Gupta,
Malay K. Ganai,
Chao Wang,
Zijiang Yang,
Pranav Ashar:
Abstraction and BDDs Complement SAT-Based BMC in DiVer.
CAV 2003: 206-209 |
| 10 | EE | Aarti Gupta,
Malay K. Ganai,
Chao Wang,
Zijiang Yang,
Pranav Ashar:
Learning from BDDs in SAT-based bounded model checking.
DAC 2003: 824-829 |
| 9 | EE | Grace Chung,
Stephanie Seneff,
Chao Wang:
Automatic Acquisition of Names Using Speak and Spell Mode in Spoken Dialogue Systems.
HLT-NAACL 2003 |
| 8 | EE | Chao Wang,
Gary D. Hachtel,
Fabio Somenzi:
The Compositional Far Side of Image Computation.
ICCAD 2003: 334-341 |
| 7 | EE | Chao 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 |
| 6 | EE | Matthew Eric Otey,
Chao Wang,
Srinivasan Parthasarathy,
Adriano Veloso,
Wagner Meira Jr.:
Mining Frequent Itemsets in Distributed and Dynamic Databases.
ICDM 2003: 617-620 |
| 5 | EE | Danny 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 |
| 4 | EE | Bing 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 |
| 2 | EE | Chao Wang,
Gary D. Hachtel:
Sharp Disjunctive Decomposition for Language Emptiness Checking.
FMCAD 2002: 106-122 |
| 2001 |
|---|
| 1 | EE | Chao Wang,
Roderick Bloem,
Gary D. Hachtel,
Kavita Ravi,
Fabio Somenzi:
Divide and Compose: SCC Refinement for Language Emptiness.
CONCUR 2001: 456-471 |
