2010 | ||
---|---|---|
170 | Hao Wang, Shi Pu, Gabriel Knezek, Jyh-Charn Liu: A modular NFA architecture for regular expression matching. FPGA 2010: 209-218 | |
169 | Ju An Wang, Linfeng Zhou, Minzhe Guo, Hao Wang, Jairo Camargo: Measuring Similarity for Security Vulnerabilities. HICSS 2010: 1-10 | |
168 | Ju An Wang, Hao Wang, Minzhe Guo, Linfeng Zhou, Jairo Camargo: Ranking Attacks Based on Vulnerability Analysis. HICSS 2010: 1-10 | |
167 | I. P. L. Png, Hao Wang: Buyer Uncertainty and Two-Part Pricing: Theory and Applications. Management Science 56(2): 334-342 (2010) | |
2009 | ||
166 | Ju An Wang, Hao Wang, Minzhe Guo, Min Xia: Security metrics for software systems. ACM Southeast Regional Conference 2009 | |
165 | Yizhu Tong, Hao Wang, Taoying Liu: Exploiting Request Characteristics to Improve Performance of Web Services Based Business Applications. AINA 2009: 386-393 | |
164 | Kun Yu, Hao Wang, Chang Liu, Jianwei Niu: Interactive Storyboard: Animated Story Creation on Touch Interfaces. AMT 2009: 93-103 | |
163 | Hao Wang, Wei Wang: General Approach for Simulating Heterogeneity of Car-Following Behaviors. CSIE (3) 2009: 210-215 | |
162 | Hongliang Yao, Jian Chang, Caizi Jiang, Hao Wang: Junction Tree Factored Particle Inference Algorithm for Multi-Agent Dynamic Influence Diagrams. FAW 2009: 228-236 | |
161 | Hao Wang, Xin-ning Su, Fang Liu: Semantic Annotation for CSSCI Academic Resources Based on Ontology. FSKD (2) 2009: 374-385 | |
160 | Hao Wang, Ruey Cheu, Der-Horng Lee: En-route Security Monitoring Based on an Incident Detection Algorithm for Commercial Vehicles. FSKD (3) 2009: 276-281 | |
159 | Hao Wang, Haiyan Hu: The Neuro-fuzzy Identification of MR Damper. FSKD (6) 2009: 464-468 | |
158 | Xingguo Chen, Hao Wang, Weiwei Wang, Yinghuan Shi, Yang Gao: Apply ant colony optimization to Tetris. GECCO 2009: 1741-1742 | |
157 | Hao Wang, Peng Wang, Li Ping, Xiaokang Lin: How Does Correlation Affect the Capacity of MIMO Systems with Rate Constraints? GLOBECOM 2009: 1-5 | |
156 | Baoyan Song, Pengfei Qin, Hao Wang, Weihong Xuan, Ge Yu: bSpace: A Data Cleaning Approach for RFID Data Streams Based on Virtual Spatial Granularity. HIS (3) 2009: 252-256 | |
155 | Hao Wang, Der-Horng Lee, Ruey Cheu: PDPTW Based Taxi Dispatch Modeling for Booking Service. ICNC (1) 2009: 242-247 | |
154 | Yanfeng Tan, Xizhong Qin, Zhenhong Jia, Chun Chang, Hao Wang: An Improved Method of Traffic Forecasting Based on Tariff-SASVR. ICNC (1) 2009: 463-467 | |
153 | Rui Han, Zhenhong Jia, Xizhong Qin, Chun Chang, Hao Wang: Application of Support Vector Machine to Mobile Communications in Telephone Traffic Load of Monthly Busy Hour Prediction. ICNC (3) 2009: 349-353 | |
152 | Bo Yang, Hao Wang, Fred Douglis: Applying Knowledge Sharing for Business Intelligence Collaboration. ICWS 2009: 311-318 | |
151 | Qian Ma, Nianjun Zhou, Yanfeng Zhu, Hao Wang: Evaluating Service Identification with Design Metrics on Business Process Decomposition. IEEE SCC 2009: 160-167 | |
150 | Hao Wang, Yi Xu, Xiaokang Yang, Li Song, Wenjun Zhang: Spatiotemporal Phase Congruency Based Invariant Features for Human Behavior Classification. PCM 2009: 100-109 | |
149 | Xiaosong Li, Hao Wang, Taoying Liu, Wei Li: Key Elements Tracing Method for Parallel XML Parsing in Multi-Core System. PDCAT 2009: 439-444 | |
148 | Hao Wang, Vladimir D. Tonchev: An algorithm for optimal comma free codes with isomorphism rejection. SAC 2009: 1007-1008 | |
147 | Zhengwei Qi, Liang Liu, Fuyuan Zhang, Haibing Guan, Hao Wang, Ying Chen: FLTL-MC: Online High Level Program Analysis for Web Services. SERVICES I 2009: 171-178 | |
146 | Yang Ji, Nan Lin, Fan Zhang, Yangyi Wen, Kui Zhang, ZhuoHong Zhu, Chunlei Fan, Hao Wang, Kun Yu: Requirement and Design Analysis for the Post-Trauma Mobile Psychology Service. SSME 2009: 270-273 | |
145 | Hao Wang, Wendy MacCaull: Verifying Real-Time Systems using Explicit-time Description Methods CoRR abs/0912.1903: (2009) | |
144 | Hao Wang, Wendy MacCaull: An Efficient Explicit-time Description Method for Timed Model Checking CoRR abs/0912.2553: (2009) | |
143 | Hao Wang, Carlos Eduardo Scheidegger, Cláudio T. Silva: Bandwidth Selection and Reconstruction Quality in Point-Based Surfaces. IEEE Trans. Vis. Comput. Graph. 15(4): 572-582 (2009) | |
142 | Jihong Guan, Yanglan Gan, Hao Wang: Discovering pattern-based subspace clusters by pattern tree. Knowl.-Based Syst. 22(8): 569-579 (2009) | |
2008 | ||
141 | Lei Xu, Yingfei Liu, Kongqiao Wang, Hao Wang: Automatic text discovering through stroke-based segmentation and text string combination. ACM Multimedia 2008: 805-808 | |
140 | Hao Wang, Haiqing Wang, Hefei Zhang: Software Productivity Analysis with CSBSG Data Set. CSSE (2) 2008: 587-593 | |
139 | Tongqing Qiu, Jian Ni, Hao Wang, Nan Hua, Yang Richard Yang, Jun Jim Xu: Packet doppler: network monitoring using packet shift detection. CoNEXT 2008: 3 | |
138 | Liqiang Geng, Hao Wang, Xin Wang, Larry Korba: Adapting LDA Model to Discover Author-Topic Relations for Email Analysis. DaWaK 2008: 337-346 | |
137 | Hao Wang, Furong Wang, Xu Xie, Laurence Tianruo Yang: An Auxiliary Ground Station Based Traffic Load Balancing Scheme for LEO Satellite Systems. FGCN (2) 2008: 289-292 | |
136 | Xu Xie, Furong Wang, Hao Wang, Kewei Li: Adaptive Multi-channel MAC Protocol for Dense VANET Using Directional Antennas. FGCN (2) 2008: 398-401 | |
135 | Yanqing Yang, Zhenhong Jia, Chun Chang, Xizhong Qin, Tao Li, Hao Wang, Junkai Zhao: An Efficient Fuzzy Kohonen Clustering Network Algorithm. FSKD (1) 2008: 510-513 | |
134 | Li Ping, Peng Wang, Hao Wang, Xiaokang Lin: On Cellular Capacity with Base Station Cooperation. GLOBECOM 2008: 3761-3765 | |
133 | Anbang Yao, Guijin Wang, Xinggang Lin, Hao Wang: Kernel based articulated object tracking with scale adaptation and model update. ICASSP 2008: 945-948 | |
132 | Hao Wang, David I. Laurenson, Jane Hillston: Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra. ICC 2008: 192-197 | |
131 | Genliang Chen, Hao Wang, Zhongqin Lin, Guimin Liu: Performance Analysis of a Forging Manipulator Based on the Composite Modeling Method. ICIRA (1) 2008: 152-160 | |
130 | Zhengwei Qi, Liang Liu, Alei Liang, Hao Wang, Ying Chen: An Online Model Checking Tool for Safety and Liveness Bugs. ICPADS 2008: 493-500 | |
129 | Bo Yang, Hao Wang, Ying Chen: Management as a Service for IT Service Management. ICSOC 2008: 664-677 | |
128 | Qian Ma, Hao Wang, Ying Li, Guotong Xie, Feng Liu: A Semantic QoS-Aware Discovery Framework for Web Services. ICWS 2008: 129-136 | |
127 | Zhile Zou, Ru Fang, Liang Liu, Qingbo Wang, Hao Wang: On Synchronizing with Web Service Evolution. ICWS 2008: 329-336 | |
126 | Xiuqin Wang, Hao Wang, Guangsheng Ma: Hybrid SAT Solver Considering Circuit Observability. ICYCS 2008: 65-70 | |
125 | Hao Wang: A Hierarchical Queueing Model for Streaming Video over Multi-Hop Wireless Networks. ITNG 2008: 1065-1070 | |
124 | Liang Liu, Ying Li, Qian Ma, Kewei Sun, Ying Chen, Hao Wang: Automatic model-based service hosting environment migration. NOMS 2008: 682-685 | |
123 | Wei Wang, Hao Wang, Bo Yang, Liang Liu, Peini Liu, Guosun Zeng: A Bayesian knowledge engineering framework for service management. NOMS 2008: 771-774 | |
122 | Chong Wang, Zhile Zou, Qian Ma, Ru Fang, Hao Wang: A comprehensive semantic-based resource allocation framework for workflow management systems. NOMS 2008: 831-834 | |
121 | Xiaofei Liao, Hao Wang, Song Wu, Hai Jin: A Data Storage Mechanism for P2P VoD Based on Multi-channel Overlay. NPC 2008: 127-137 | |
120 | Hao Wang, Xing Zhang, Guoqing Chen: Mining a Complete Set of Both Positive and Negative Association Rules from Large Databases. PAKDD 2008: 777-784 | |
119 | Hao Wang, David I. Laurenson, Jane Hillston: An SMR based advance resource reservation scheme for combined mobility and QoS Provisioning. PIMRC 2008: 1-5 | |
118 | Hao Wang, Wenzhen Sun, Xiangang Luo: The Design of a Nanometer Biosensor and Its Microfluidic Integration. RAM 2008: 625-628 | |
117 | Xiuqin Wang, Guangsheng Ma, Hao Wang: A Novel Method for All Solutions SAT Problem. SNPD 2008: 41-45 | |
116 | Hao Wang, Carlos Eduardo Scheidegger, Cláudio T. Silva: Optimal bandwidth selection for MLS surfaces. Shape Modeling International 2008: 111-120 | |
115 | Xiujuan Chai, Kongqiao Wang, Luosi Wei, Hao Wang: Hand Gesture Tracking for Wearable Computing Systems. VISAPP (2) 2008: 651-654 | |
114 | Hao Wang, Shi Chen, Xiaokang Lin: Structure Analysis and SNR-Variance Evolution for Parallel Concatenated Coded IDMA Systems. VTC Fall 2008: 1-5 | |
113 | David Brumley, James Newsome, Dawn Song, Hao Wang, Somesh Jha: Theory and Techniques for Automatic Generation of Vulnerability-Based Signatures. IEEE Trans. Dependable Sec. Comput. 5(4): 224-241 (2008) | |
112 | Xuezheng Fu, Hao Wang, Robert W. Harrison, William L. Harrison: A rule-based approach for RNA pseudoknot prediction. IJDMB 2(1): 78-93 (2008) | |
111 | Hao Wang, Kongqiao Wang: Affective interaction based on person-independent facial expression space. Neurocomputing 71(10-12): 1889-1901 (2008) | |
2007 | ||
110 | Hae-Jin Hu, Hao Wang, Robert W. Harrison, Phang C. Tai, Yi Pan: Understanding the Prediction of Transmembrane Proteins by Support Vector Machine using Association Rule Mining. CIBCB 2007: 418-425 | |
109 | David Brumley, Hao Wang, Somesh Jha, Dawn Xiaodong Song: Creating Vulnerability Signatures Using Weakest Preconditions. CSF 2007: 311-325 | |
108 | Hao Wang, Yuyi Ou, Jie Ling, Xiang Xu, Heqing Guo: A New Certified Email Protocol. DEXA Workshops 2007: 683-687 | |
107 | Hao Wang, Shiqin Yang, Wenbo Xu, Jun Sun: Scalability of Hybrid Fuzzy C-Means Algorithm Based on Quantum-Behaved PSO. FSKD (2) 2007: 261-265 | |
106 | Yanglan Gan, Jihong Guan, Hao Wang: A Fast Subspace Clustering Algorithm Based on Pattern Similarity. FSKD (3) 2007: 253-257 | |
105 | Hao Wang, Yuyi Ou, Jie Ling, Lu Liang, Xiang Xu: Certified Email Delivery with Offline TTP. IAS 2007: 15-20 | |
104 | Hao Wang, Bo Yang, Liang Liu, Qian Ma, Kewei Sun, Ying Chen: Knowledge Enhanced IT Service Management. ICEBE 2007: 173-180 | |
103 | Kaihua Zhu, Hang Cui, Hongjie Bai, Jian Li, Zhihuan Qiu, Hao Wang, Hui Xu, Edward Y. Chang: Parallel Approximate Matrix Factorization for Kernel Methods. ICME 2007: 1275-1278 | |
102 | Bo Yang, Hao Wang, Liang Liu, Qian Ma, Ying Chen, Hui Lei: Research and Implementation of Knowledge-Enhanced Information Services. ICSOC 2007: 462-473 | |
101 | Hao Wang, Chong-wei Xu: A New Lightweight and Scalable Encryption Algorithm for Streaming Video over Wireless Networks. ICWN 2007: 180-185 | |
100 | Hao Wang, Bill Lin: Pipelined van Emde Boas Tree: Algorithms, Analysis, and Applications. INFOCOM 2007: 2471-2475 | |
99 | Anna Wang, Junfang Liu, Hao Wang, Ran Tao: A Novel Fault Diagnosis of Analog Circuit Algorithm Based on Incomplete Wavelet Packet Transform and Improved Balanced Binary-Tree SVMs. LSMS (1) 2007: 482-493 | |
98 | Hao Wang, David I. Laurenson, Jane Hillston: PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6. MASCOTS 2007: 337-342 | |
97 | Edward Y. Chang, Kaihua Zhu, Hao Wang, Hongjie Bai, Jian Li, Zhihuan Qiu, Hang Cui: Parallelizing Support Vector Machines on Distributed Computers. NIPS 2007 | |
96 | Kui Yu, Hao Wang, Xindong Wu: A Parallel Algorithm for Learning Bayesian Networks. PAKDD 2007: 1055-1063 | |
95 | Deyu Zhou, Yulan He, Chee Keong Kwoh, Hao Wang: Ant-MST: An Ant-Based Minimum Spanning Tree for Gene Expression Data Clustering. PRIB 2007: 198-205 | |
94 | Hao Wang, Yang Richard Yang, Paul H. Liu, Jia Wang, Alexandre Gerber, Albert G. Greenberg: Reliability as an interdomain service. SIGCOMM 2007: 229-240 | |
93 | Hao Wang: Facial Expression Synthesis and Recognition with Intensity Alignment. SIGMAP 2007: 45-52 | |
92 | Sergey Bereg, Hao Wang: Wiener indices of balanced binary trees. Discrete Applied Mathematics 155(4): 457-467 (2007) | |
91 | Kongqiao Wang, Yanming Zou, Hao Wang: 1D Bar Code Reading on Camera Phones. Int. J. Image Graphics 7(3): 529-550 (2007) | |
90 | Vladimir D. Tonchev, Hao Wang: An algorithm for optimal difference systems of sets. J. Comb. Optim. 14(2-3): 165-175 (2007) | |
89 | Shaoying Liu, Hao Wang: An automated approach to specification animation for validation. Journal of Systems and Software 80(8): 1271-1285 (2007) | |
88 | Zhao Xu, Hao Wang: LTR_FINDER: an efficient tool for the prediction of full-length LTR retrotransposons. Nucleic Acids Research 35(Web-Server-Issue): 265-268 (2007) | |
87 | Hao Wang, Hal L. Smith, Yang Kuang, James J. Elser: Dynamics of Stoichiometric Bacteria-Algae Interactions in the Epilimnion. SIAM Journal of Applied Mathematics 68(2): 503-522 (2007) | |
2006 | ||
86 | Hao Wang, Somesh Jha, Vinod Ganapathy: NetSpy: Automatic Generation of Spyware Signatures for NIDS. ACSAC 2006: 99-108 | |
85 | Wen Yang, Hao Wang, Yongfeng Cao, Haijian Zhang: Classification of Polarimetric SAR Data Based on Multidimensional Watershed Clustering. ADMA 2006: 157-164 | |
84 | Guang-Sheng Ma, Xiuqin Wang, Hao Wang: Web-Based Cooperative Design for SoC and Improved Architecture Exploration Algorithm. APWeb Workshops 2006: 1021-1028 | |
83 | Hao Wang, Changcheng Huang, James Yan: Efficient Multiple-Link Adaptive Bandwidth Provisioning for End-to-End Quality of Service Guarantee. CCECE 2006: 127-131 | |
82 | Hao Wang, Yizhu Tong, Hong Liu, Taoying Liu: Application-aware Interface for SOAP Communication in Web Services. CLUSTER 2006 | |
81 | Vladimir D. Tonchev, Hao Wang: Optimal Difference Systems of Sets with Multipliers. CSR 2006: 612-618 | |
80 | Hao Wang, Andras Farago: On-line Algorithm for Server Selection of Video Streaming over P2P Networks. Communications in Computing 2006: 121-127 | |
79 | Xuezheng Fu, Feng Tan, Hao Wang, Yanqing Zhang, Robert W. Harrison: Feature Similarity Based Redundancy Reduction for Gene Selection. DMIN 2006: 357-360 | |
78 | Hao Wang, Somesh Jha, Thomas W. Reps, Stefan Schwoon, Stuart G. Stubblebine: Reducing the Dependence of SPKI/SDSI on PKI. ESORICS 2006: 156-173 | |
77 | Hao Wang, Changcheng Huang, James Yan: Adaptive Network Resource Management in IEEE 802.11 Wireless Random Access MAC. GLOBECOM 2006 | |
76 | Hao Wang, Bill Lin: On the Efficient Implementation of Pipelined Heaps for Network Processing. GLOBECOM 2006 | |
75 | Ronny Ramzi Dakdouk, Semih Salihoglu, Hao Wang, Haiyong Xie, Yang Richard Yang: Interdomain Routing as Social Choice. ICDCS Workshops 2006: 38 | |
74 | Hao Wang, Yao Zhao, Anhong Wang: Performance Comparisons of Different Channel Codes in Distributed Video Coding. ICICIC (2) 2006: 225-228 | |
73 | Hao Wang, Yanming Zou: Camera Readable 2D Bar Codes Design and Decoding for Mobile Phones. ICIP 2006: 469-472 | |
72 | Guozhen Tan, Ningning Han, Yi Liu, Jialin Li, Hao Wang: Wireless Network Dynamic Topology Routing Protocol Based on Aggregation Tree Model. ICN/ICONS/MCL 2006: 128 | |
71 | Qiang Yue, Hao Wang, Li Zha, Li Wei, Zhiwei Xu: An Approach to Exception Handling for Service-Oriented Systems. ICWS 2006: 727-734 | |
70 | David Brumley, James Newsome, Dawn Xiaodong Song, Hao Wang, Somesh Jha: Towards Automatic Generation of Vulnerability-Based Signatures. IEEE Symposium on Security and Privacy 2006: 2-16 | |
69 | Hao Wang, Yanying Wang, Jikun Guo, Dianwu Gao: Evaluation of Signal Processing Effect in Media Gateway Based on Cross Correlation. IIH-MSP 2006: 274-277 | |
68 | Hao Wang, Kui Yu, Xindong Wu, Hongliang Yao: Triangulation of Bayesian Networks Using an Adaptive Genetic Algorithm. ISMIS 2006: 127-136 | |
67 | Feng Tan, Xuezheng Fu, Hao Wang, Yanqing Zhang, Anu G. Bourgeois: A Hybrid Feature Selection Approach for Microarray Gene Expression Data. International Conference on Computational Science (2) 2006: 678-685 | |
66 | Jing Tian, Yafei Dai, Hao Wang, Mao Yang: Understanding the Session Durability in Peer-to-Peer Storage System. International Conference on Computational Science (4) 2006: 428-435 | |
65 | Anhong Wang, Yao Zhao, Hao Wang: LVQ Based Distributed Video Coding with LDPC in Pixel Domain. PRICAI 2006: 1248-1252 | |
64 | Hao Wang, Fei Peng, Chao Zhang, Andrej Pietschker: Software Project Level Estimation Model Framework based on Bayesian Belief Networks. QSIC 2006: 209-218 | |
63 | Hao Wang, Haiyong Xie, Lili Qiu, Yang Richard Yang, Yin Zhang, Albert G. Greenberg: COPE: traffic engineering in dynamic networks. SIGCOMM 2006: 99-110 | |
62 | Hao Wang, Zhongfu Wu, Xin Tan: A New Secure Authentication Scheme Based Threshold ECDSA For Wireless Sensor Network. Security and Management 2006: 129-133 | |
61 | Somesh Jha, Stefan Schwoon, Hao Wang, Thomas W. Reps: Weighted Pushdown Systems and Trust-Management Systems. TACAS 2006: 1-26 | |
60 | Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin, Qi He, Jun Zhang: A new dependable exchange protocol. Computer Communications 29(15): 2770-2780 (2006) | |
2005 | ||
59 | Shai Rubin, Mihai Christodorescu, Vinod Ganapathy, Jonathon T. Giffin, Louis Kruger, Hao Wang, Nicholas Kidd: An auctioning reputation system based on anomaly. ACM Conference on Computer and Communications Security 2005: 270-279 | |
58 | Jin Zhou, Li Tang, Kai Li, Hao Wang, Zhizhi Zhou: A Low-Latency Peer-to-Peer Approach for Massively Multiplayer Games. AP2PC 2005: 120-131 | |
57 | Xuezheng Fu, Hao Wang, William L. Harrison, Robert W. Harrison: RNA Pseudoknot Prediction Using Term Rewriting. BIBE 2005: 169-176 | |
56 | Manshan Lin, Jianshan Xie, Heqing Guo, Hao Wang: Solving Qos-Driven Web Service Dynamic Composition as Fuzzy Constraint Satisfaction. EEE 2005: 9-14 | |
55 | Heng Xu, Hao Wang, Hock-Hai Teo: Predicting the Usage of P2P Sharing Software: The Role of Trust and Perceived Risk. HICSS 2005 | |
54 | Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin, Qi He, Jun Zhang: Dependable Transaction for Electronic Commerce. ICCSA (3) 2005: 691-700 | |
53 | Hao Wang, Heqing Guo, Jianfei Yin, Qi He, Manshan Lin, Jun Zhang: Abuse-Free Item Exchange. ICCSA (4) 2005: 1028-1035 | |
52 | Hao Wang, Heqing Guo, Manshan Lin, Jianfei Yin: A Fair Item-Item Exchange Protocol Satisfying Newly Introduced Requirements. ICITA (2) 2005: 502-507 | |
51 | Hao Wang, Haiyong Xie, Yang Richard Yang, Avi Silberschatz, Erran L. Li, Yanbin Liu: Stable Egress Route Selection for Interdomain Traffic Engineering: Model and Analysis. ICNP 2005: 16-29 | |
50 | Hao Wang, Haiyong Xie, Yang Richard Yang, Avi Silberschatz, Erran L. Li, Yanbin Liu: On the Stability of Rational, Heterogeneous Interdomain Route Selection. ICNP 2005: 40-52 | |
49 | Hao Wang, Haiyong Xie, Lili Qiu, Abraham Silberschatz, Yang Richard Yang: Optimal ISP subscription for Internet multihoming: algorithm design and implication analysis. INFOCOM 2005: 2360-2371 | |
48 | Hao Wang, Andras Farago, Subbarayan Venkatesan: Video Streaming Over Multi-hop Wireless Networks. ISM 2005: 624-629 | |
47 | Sergey Bereg, Hao Wang: Wiener Indices of Balanced Binary Trees. International Conference on Computational Science (2) 2005: 851-859 | |
46 | YongBo Gai, Hao Wang, Kongqiao Wang: A virtual mouse system for mobile device. MUM 2005: 127-131 | |
45 | Li Tang, Jun Li, Jin Zhou, Zhizhi Zhou, Hao Wang, Kai Li: FreeRank: implementing independent ranking service for multiplayer online games. NETGAMES 2005: 1-7 | |
44 | Yang Richard Yang, Haiyong Xie, Hao Wang, Abraham Silberschatz, Arvind Krishnamurthy, Yanbin Liu, Erran L. Li: On route selection for interdomain traffic engineering. IEEE Network 19(6): 20-27 (2005) | |
43 | Hao Wang, Guanlong Chen, Zhongqin Lin, Haihua Wang: Algorithm of integrating QFD and TRIZ for the innovative design process. IJCAT 23(1): 41-52 (2005) | |
2004 | ||
42 | Han Wang, Hao Wang, Jinmei Shen: Architectural Design and Implementation of Highly Available and Scalable Medical System with IBM WebSphere Middleware. CBMS 2004: 174-179 | |
41 | Hao Wang, Heqing Guo: Fair Payment Protocols for E-Commerce. I3E 2004: 227-245 | |
40 | Hao Wang, Heqing Guo, Manshan Lin: New Fair Payment Protocols. ICETE (1) 2004: 199-203 | |
39 | Hai Jin, Zuoning Yin, Xudong Yang, Fucheng Wang, Jie Ma, Hao Wang, Jiangpei Yin: APPLE: A Novel P2P Based e-Learning Environment. IWDC 2004: 52-62 | |
38 | Hao Wang, Somesh Jha, Miron Livny, Patrick Drew McDaniel: Security Policy Reconciliation in Distributed Computing Environments. POLICY 2004: 137- | |
37 | Zhe Xiang, Song Song, Jin Chen, Hao Wang, Jian Huang, Xingxin (Grace) Gao: A wireless LAN-based indoor positioning technology. IBM Journal of Research and Development 48(5-6): 617-626 (2004) | |
2003 | ||
36 | Hao Wang, Twee-Hee Ong, Beng Chin Ooi, Kian-Lee Tan: BLAST++ : A Tool for BLASTing Queries in Batches. APBC 2003: 71-79 | |
35 | Hao Wang, Zhiwei Xu, Yili Gong, Wei Li: Agora: Grid Community in Vega Grid. GCC (1) 2003: 685-691 | |
34 | Heng Xu, Hock-Hai Teo, Hao Wang: Foundations of SMS Commerce Success: Lessons from SMS Messaging and Co-Opetition. HICSS 2003: 90 | |
33 | Han Wang, Hao Wang, Jinmei Shen: Performance Modeling and Practical Parallel Algorithms of Cluster Computing with Applications on Distributed Platforms. PDPTA 2003: 208-214 | |
32 | Hao Wang, Beng Chin Ooi, Kian-Lee Tan, Twee-Hee Ong, Lei Zhou: BLAST++: BLASTing queries in batches. Bioinformatics 19(17): 2323-2324 (2003) | |
2002 | ||
31 | Twee-Hee Ong, Kian-Lee Tan, Hao Wang: Indexing Genomic Databases for Fast Homology Searching. DEXA 2002: 871-880 | |
30 | Hao Wang, Guobin Shen, Shipeng Li, Yuzhuo Zhong: Enhancing multimedia streaming performance through peer-paired collaboration. ICIP (3) 2002: 205-208 | |
29 | Hao Wang, Heng Xu, Hock Chuan Chan, Ling Chen: Critical Success Factors for Web-Based Organizational IT Training Systems. ICWL 2002: 142-153 | |
28 | Beng Chin Ooi, HweeHwa Pang, Hao Wang, Limsoon Wong, Cui Yu: Fast Filter-and-Refine Algorithms for Subsequence Selection. IDEAS 2002: 243-255 | |
27 | Hao Wang, Guobin Shen, Shipeng Li, Yuzhuo Zhong: Efficient error recovery techniques in a novel multimedia streaming framework with peer-paired collaboration. ISCAS (3) 2002: 393-396 | |
2001 | ||
26 | Hao Wang, Jari Kangas: Character-Like Region Verification for Extracting Text in Scene Images. ICDAR 2001: 957- | |
25 | Hao Wang: Automatic Character Location and Segmentation in Color Scene Images. ICIAP 2001: 2-7 | |
24 | Guojun Wang, Hao Wang: Non-fuzzy versions of fuzzy reasoning in classical logics. Inf. Sci. 138(1-4): 211-236 (2001) | |
2000 | ||
23 | Zhiying Zhou, Jie Zhang, Hao Wang: The algorithms for dynamic scheduling. Computers and Their Applications 2000: 280-283 | |
22 | Hao Wang, Xiaoyan Xie, Zhiyong Huang: Collaborative and Interactive Room Design on the Web. ISPAN 2000: 238-245 | |
21 | Xiaoyan Xie, Hao Wang, Zhiyong Huang: Implementation of a Graphics Design Framework on the Web. Pacific Conference on Computer Graphics and Applications 2000: 421-422 | |
1981 | ||
20 | Hao Wang: Some Facts About Kurt Godel. J. Symb. Log. 46(3): 653-659 (1981) | |
1966 | ||
19 | Kenneth R. Brown, Hao Wang: Short Definitions of the Ordinals. J. Symb. Log. 31(3): 409-414 (1966) | |
1963 | ||
18 | Michael O. Rabin, Hao Wang: Words in the History of a Turing Machine with a Fixed Input. J. ACM 10(4): 526-527 (1963) | |
1960 | ||
17 | Hao Wang: Proving Theorems by Pattern Recognition I. Commun. ACM 3(4): 220-234 (1960) | |
1958 | ||
16 | Hao Wang: Alternative Proof of a Theorem of Kleene. J. Symb. Log. 23(3): 250 (1958) | |
1957 | ||
15 | Hao Wang: A Variant to Turing's Theory of Computing Machines. J. ACM 4(1): 63-92 (1957) | |
14 | Arthur W. Burks, Hao Wang: The Logic of Automata - Part I. J. ACM 4(2): 193-218 (1957) | |
13 | Arthur W. Burks, Hao Wang: The Logic of Automata - Part II. J. ACM 4(3): 279-297 (1957) | |
12 | Hao Wang: The Axiomatization of Arithmetic. J. Symb. Log. 22(2): 145-158 (1957) | |
1955 | ||
11 | Hao Wang: Undecidable Sentences Generated by Semantic Paradoxes. J. Symb. Log. 20(1): 31-43 (1955) | |
1954 | ||
10 | Hao Wang: The Formalization of Mathematics. J. Symb. Log. 19(4): 241-266 (1954) | |
1953 | ||
9 | Hao Wang: Certain Predicates Defined by Induction Schemata. J. Symb. Log. 18(1): 49-59 (1953) | |
8 | Hao Wang: Problems. J. Symb. Log. 18(2): 186 (1953) | |
1952 | ||
7 | Hao Wang: Logic of Many-Sorted Theories. J. Symb. Log. 17(2): 105-116 (1952) | |
1950 | ||
6 | Hao Wang: A Formal System of Logic. J. Symb. Log. 15(1): 25-32 (1950) | |
5 | Hao Wang: Existence of Classes and Value Specification of Variables. J. Symb. Log. 15(2): 103-112 (1950) | |
4 | J. Barkley Rosser, Hao Wang: Non-Standard Models for Formal Logics. J. Symb. Log. 15(2): 113-129 (1950) | |
3 | Hao Wang: Set-Theoretical Basis for Real Numbers. J. Symb. Log. 15(4): 241-247 (1950) | |
1948 | ||
2 | Hao Wang: A New Theory of Element and Number. J. Symb. Log. 13(3): 129-137 (1948) | |
1947 | ||
1 | Hao Wang: A Note on Quine's Principles of Quantification. J. Symb. Log. 12(4): 130-132 (1947) |