| 2009 |
|---|
| 135 | EE | Hao Wang,
Vladimir D. Tonchev:
An algorithm for optimal comma free codes with isomorphism rejection.
SAC 2009: 1007-1008 |
| 2008 |
|---|
| 134 | EE | Lei Xu,
Yingfei Liu,
Kongqiao Wang,
Hao Wang:
Automatic text discovering through stroke-based segmentation and text string combination.
ACM Multimedia 2008: 805-808 |
| 133 | EE | Hao Wang,
Haiqing Wang,
Hefei Zhang:
Software Productivity Analysis with CSBSG Data Set.
CSSE (2) 2008: 587-593 |
| 132 | EE | Liqiang Geng,
Hao Wang,
Xin Wang,
Larry Korba:
Adapting LDA Model to Discover Author-Topic Relations for Email Analysis.
DaWaK 2008: 337-346 |
| 131 | EE | 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 |
| 130 | EE | Li Ping,
Peng Wang,
Hao Wang,
Xiaokang Lin:
On Cellular Capacity with Base Station Cooperation.
GLOBECOM 2008: 3761-3765 |
| 129 | EE | Hao Wang,
David I. Laurenson,
Jane Hillston:
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra.
ICC 2008: 192-197 |
| 128 | EE | 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 |
| 127 | EE | Zhengwei Qi,
Liang Liu,
Alei Liang,
Hao Wang,
Ying Chen:
An Online Model Checking Tool for Safety and Liveness Bugs.
ICPADS 2008: 493-500 |
| 126 | EE | Bo Yang,
Hao Wang,
Ying Chen:
Management as a Service for IT Service Management.
ICSOC 2008: 664-677 |
| 125 | EE | Qian Ma,
Hao Wang,
Ying Li,
Guotong Xie,
Feng Liu:
A Semantic QoS-Aware Discovery Framework for Web Services.
ICWS 2008: 129-136 |
| 124 | EE | Zhile Zou,
Ru Fang,
Liang Liu,
Qing Bo Wang,
Hao Wang:
On Synchronizing with Web Service Evolution.
ICWS 2008: 329-336 |
| 123 | EE | Xiuqin Wang,
Hao Wang,
Guangsheng Ma:
Hybrid SAT Solver Considering Circuit Observability.
ICYCS 2008: 65-70 |
| 122 | EE | Hao Wang:
A Hierarchical Queueing Model for Streaming Video over Multi-Hop Wireless Networks.
ITNG 2008: 1065-1070 |
| 121 | EE | Liang Liu,
Ying Li,
Qian Ma,
Kewei Sun,
Ying Chen,
Hao Wang:
Automatic model-based service hosting environment migration.
NOMS 2008: 682-685 |
| 120 | EE | Wei Wang,
Hao Wang,
Bo Yang,
Liang Liu,
Peini Liu,
Guosun Zeng:
A Bayesian knowledge engineering framework for service management.
NOMS 2008: 771-774 |
| 119 | EE | 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 |
| 118 | EE | Xiaofei Liao,
Hao Wang,
Song Wu,
Hai Jin:
A Data Storage Mechanism for P2P VoD Based on Multi-channel Overlay.
NPC 2008: 127-137 |
| 117 | EE | Hao Wang,
Xing Zhang,
Guoqing Chen:
Mining a Complete Set of Both Positive and Negative Association Rules from Large Databases.
PAKDD 2008: 777-784 |
| 116 | EE | Hao Wang,
Wenzhen Sun,
Xiangang Luo:
The Design of a Nanometer Biosensor and Its Microfluidic Integration.
RAM 2008: 625-628 |
| 115 | EE | Xiuqin Wang,
Guangsheng Ma,
Hao Wang:
A Novel Method for All Solutions SAT Problem.
SNPD 2008: 41-45 |
| 114 | EE | Hao Wang,
Carlos Eduardo Scheidegger,
Cláudio T. Silva:
Optimal bandwidth selection for MLS surfaces.
Shape Modeling International 2008: 111-120 |
| 113 | | Xiujuan Chai,
Kongqiao Wang,
Luosi Wei,
Hao Wang:
Hand Gesture Tracking for Wearable Computing Systems.
VISAPP (2) 2008: 651-654 |
| 112 | EE | Hao Wang,
Shi Chen,
Xiaokang Lin:
Structure Analysis and SNR-Variance Evolution for Parallel Concatenated Coded IDMA Systems.
VTC Fall 2008: 1-5 |
| 111 | EE | David Brumley,
James Newsome,
D. 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) |
| 110 | EE | Xuezheng Fu,
Hao Wang,
Robert W. Harrison,
William L. Harrison:
A rule-based approach for RNA pseudoknot prediction.
IJDMB 2(1): 78-93 (2008) |
| 109 | EE | Hao Wang,
Kongqiao Wang:
Affective interaction based on person-independent facial expression space.
Neurocomputing 71(10-12): 1889-1901 (2008) |
| 2007 |
|---|
| 108 | EE | Hae-Jin Hu,
Hao Wang,
Robert Harrison,
Phang C. Tai,
Yi Pan:
Understanding the Prediction of Transmembrane Proteins by Support Vector Machine using Association Rule Mining.
CIBCB 2007: 418-425 |
| 107 | EE | David Brumley,
Hao Wang,
Somesh Jha,
Dawn Xiaodong Song:
Creating Vulnerability Signatures Using Weakest Preconditions.
CSF 2007: 311-325 |
| 106 | EE | Hao Wang,
Yuyi Ou,
Jie Ling,
Xiang Xu,
Heqing Guo:
A New Certified Email Protocol.
DEXA Workshops 2007: 683-687 |
| 105 | EE | 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 |
| 104 | EE | Yanglan Gan,
Jihong Guan,
Hao Wang:
A Fast Subspace Clustering Algorithm Based on Pattern Similarity.
FSKD (3) 2007: 253-257 |
| 103 | EE | Hao Wang,
Yuyi Ou,
Jie Ling,
Lu Liang,
Xiang Xu:
Certified Email Delivery with Offline TTP.
IAS 2007: 15-20 |
| 102 | EE | Hao Wang,
Bo Yang,
Liang Liu,
Qian Ma,
Kewei Sun,
Ying Chen:
Knowledge Enhanced IT Service Management.
ICEBE 2007: 173-180 |
| 101 | EE | 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 |
| 100 | EE | Bo Yang,
Hao Wang,
Liang Liu,
Qian Ma,
Ying Chen,
Hui Lei:
Research and Implementation of Knowledge-Enhanced Information Services.
ICSOC 2007: 462-473 |
| 99 | | Hao Wang,
Chong-wei Xu:
A New Lightweight and Scalable Encryption Algorithm for Streaming Video over Wireless Networks.
ICWN 2007: 180-185 |
| 98 | EE | Hao Wang,
Bill Lin:
Pipelined van Emde Boas Tree: Algorithms, Analysis, and Applications.
INFOCOM 2007: 2471-2475 |
| 97 | EE | 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 |
| 96 | EE | Hao Wang,
David I. Laurenson,
Jane Hillston:
PEPA Analysis of MAP Effects in Hierarchical Mobile IPv6.
MASCOTS 2007: 337-342 |
| 95 | EE | Edward Y. Chang,
Kaihua Zhu,
Hao Wang,
Hongjie Bai,
Jian Li,
Zhihuan Qiu,
Hang Cui:
Parallelizing Support Vector Machines on Distributed Computers.
NIPS 2007 |
| 94 | EE | Kui Yu,
Hao Wang,
Xindong Wu:
A Parallel Algorithm for Learning Bayesian Networks.
PAKDD 2007: 1055-1063 |
| 93 | EE | 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 |
| 92 | EE | Hao Wang,
Yang Richard Yang,
Paul H. Liu,
Jia Wang,
Alexandre Gerber,
Albert G. Greenberg:
Reliability as an interdomain service.
SIGCOMM 2007: 229-240 |
| 91 | EE | Sergey Bereg,
Hao Wang:
Wiener indices of balanced binary trees.
Discrete Applied Mathematics 155(4): 457-467 (2007) |
| 90 | EE | Kongqiao Wang,
Yanming Zou,
Hao Wang:
1D Bar Code Reading on Camera Phones.
Int. J. Image Graphics 7(3): 529-550 (2007) |
| 89 | EE | Vladimir D. Tonchev,
Hao Wang:
An algorithm for optimal difference systems of sets.
J. Comb. Optim. 14(2-3): 165-175 (2007) |
| 88 | EE | Shaoying Liu,
Hao Wang:
An automated approach to specification animation for validation.
Journal of Systems and Software 80(8): 1271-1285 (2007) |
| 87 | EE | 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) |
| 86 | EE | 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 |
|---|
| 85 | EE | Hao Wang,
Somesh Jha,
Vinod Ganapathy:
NetSpy: Automatic Generation of Spyware Signatures for NIDS.
ACSAC 2006: 99-108 |
| 84 | EE | Wen Yang,
Hao Wang,
Yongfeng Cao,
Haijian Zhang:
Classification of Polarimetric SAR Data Based on Multidimensional Watershed Clustering.
ADMA 2006: 157-164 |
| 83 | EE | Guang-Sheng Ma,
Xiuqin Wang,
Hao Wang:
Web-Based Cooperative Design for SoC and Improved Architecture Exploration Algorithm.
APWeb Workshops 2006: 1021-1028 |
| 82 | EE | Hao Wang,
Changcheng Huang,
James Yan:
Efficient Multiple-Link Adaptive Bandwidth Provisioning for End-to-End Quality of Service Guarantee.
CCECE 2006: 127-131 |
| 81 | EE | Hao Wang,
Yizhu Tong,
Hong Liu,
Taoying Liu:
Application-aware Interface for SOAP Communication in Web Services.
CLUSTER 2006 |
| 80 | EE | Vladimir D. Tonchev,
Hao Wang:
Optimal Difference Systems of Sets with Multipliers.
CSR 2006: 612-618 |
| 79 | | Hao Wang,
Andras Farago:
On-line Algorithm for Server Selection of Video Streaming over P2P Networks.
Communications in Computing 2006: 121-127 |
| 78 | | Xuezheng Fu,
Feng Tan,
Hao Wang,
Yanqing Zhang,
Robert W. Harrison:
Feature Similarity Based Redundancy Reduction for Gene Selection.
DMIN 2006: 357-360 |
| 77 | EE | Hao Wang,
Somesh Jha,
Thomas W. Reps,
Stefan Schwoon,
Stuart G. Stubblebine:
Reducing the Dependence of SPKI/SDSI on PKI.
ESORICS 2006: 156-173 |
| 76 | EE | Hao Wang,
Changcheng Huang,
James Yan:
Adaptive Network Resource Management in IEEE 802.11 Wireless Random Access MAC.
GLOBECOM 2006 |
| 75 | EE | Hao Wang,
Bill Lin:
On the Efficient Implementation of Pipelined Heaps for Network Processing.
GLOBECOM 2006 |
| 74 | EE | Ronny Ramzi Dakdouk,
Semih Salihoglu,
Hao Wang,
Haiyong Xie,
Yang Richard Yang:
Interdomain Routing as Social Choice.
ICDCS Workshops 2006: 38 |
| 73 | EE | Hao Wang,
Yao Zhao,
Anhong Wang:
Performance Comparisons of Different Channel Codes in Distributed Video Coding.
ICICIC (2) 2006: 225-228 |
| 72 | EE | Hao Wang,
Yanming Zou:
Camera Readable 2D Bar Codes Design and Decoding for Mobile Phones.
ICIP 2006: 469-472 |
| 71 | EE | 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 |
| 70 | EE | 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 | EE | 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 | EE | Hao Wang,
Kui Yu,
Xindong Wu,
Hongliang Yao:
Triangulation of Bayesian Networks Using an Adaptive Genetic Algorithm.
ISMIS 2006: 127-136 |
| 67 | EE | 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 | EE | 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 | EE | Anhong Wang,
Yao Zhao,
Hao Wang:
LVQ Based Distributed Video Coding with LDPC in Pixel Domain.
PRICAI 2006: 1248-1252 |
| 64 | EE | Hao Wang,
Fei Peng,
Chao Zhang,
Andrej Pietschker:
Software Project Level Estimation Model Framework based on Bayesian Belief Networks.
QSIC 2006: 209-218 |
| 63 | EE | 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 | EE | Somesh Jha,
Stefan Schwoon,
Hao Wang,
Thomas W. Reps:
Weighted Pushdown Systems and Trust-Management Systems.
TACAS 2006: 1-26 |
| 60 | EE | 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 | EE | 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 | EE | 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 | EE | Xuezheng Fu,
Hao Wang,
William L. Harrison,
Robert W. Harrison:
RNA Pseudoknot Prediction Using Term Rewriting.
BIBE 2005: 169-176 |
| 56 | EE | Manshan Lin,
Jianshan Xie,
Heqing Guo,
Hao Wang:
Solving Qos-Driven Web Service Dynamic Composition as Fuzzy Constraint Satisfaction.
EEE 2005: 9-14 |
| 55 | EE | Heng Xu,
Hao Wang,
Hock-Hai Teo:
Predicting the Usage of P2P Sharing Software: The Role of Trust and Perceived Risk.
HICSS 2005 |
| 54 | EE | Hao Wang,
Heqing Guo,
Manshan Lin,
Jianfei Yin,
Qi He,
Jun Zhang:
Dependable Transaction for Electronic Commerce.
ICCSA (3) 2005: 691-700 |
| 53 | EE | Hao Wang,
Heqing Guo,
Jianfei Yin,
Qi He,
Manshan Lin,
Jun Zhang:
Abuse-Free Item Exchange.
ICCSA (4) 2005: 1028-1035 |
| 52 | EE | Hao Wang,
Heqing Guo,
Manshan Lin,
Jianfei Yin:
A Fair Item-Item Exchange Protocol Satisfying Newly Introduced Requirements.
ICITA (2) 2005: 502-507 |
| 51 | EE | 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 | EE | 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 | EE | 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 | EE | Hao Wang,
Andras Farago,
Subbarayan Venkatesan:
Video Streaming Over Multi-hop Wireless Networks.
ISM 2005: 624-629 |
| 47 | EE | Sergey Bereg,
Hao Wang:
Wiener Indices of Balanced Binary Trees.
International Conference on Computational Science (2) 2005: 851-859 |
| 46 | EE | YongBo Gai,
Hao Wang,
Kongqiao Wang:
A virtual mouse system for mobile device.
MUM 2005: 127-131 |
| 45 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Hao Wang,
Somesh Jha,
Miron Livny,
Patrick Drew McDaniel:
Security Policy Reconciliation in Distributed Computing Environments.
POLICY 2004: 137- |
| 37 | EE | 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 | EE | Hao Wang,
Twee-Hee Ong,
Beng Chin Ooi,
Kian-Lee Tan:
BLAST++ : A Tool for BLASTing Queries in Batches.
APBC 2003: 71-79 |
| 35 | EE | Hao Wang,
Zhiwei Xu,
Yili Gong,
Wei Li:
Agora: Grid Community in Vega Grid.
GCC (1) 2003: 685-691 |
| 34 | EE | 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 | EE | 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 | EE | Hao Wang,
Heng Xu,
Hock Chuan Chan,
Ling Chen:
Critical Success Factors for Web-Based Organizational IT Training Systems.
ICWL 2002: 142-153 |
| 28 | EE | Beng Chin Ooi,
HweeHwa Pang,
Hao Wang,
Limsoon Wong,
Cui Yu:
Fast Filter-and-Refine Algorithms for Subsequence Selection.
IDEAS 2002: 243-255 |
| 27 | EE | 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 | EE | Hao Wang,
Jari Kangas:
Character-Like Region Verification for Extracting Text in Scene Images.
ICDAR 2001: 957- |
| 25 | EE | 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 | EE | Hao Wang,
Xiaoyan Xie,
Zhiyong Huang:
Collaborative and Interactive Room Design on the Web.
ISPAN 2000: 238-245 |
| 21 | EE | 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 | EE | 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 | EE | 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 | EE | Hao Wang:
A Variant to Turing's Theory of Computing Machines.
J. ACM 4(1): 63-92 (1957) |
| 14 | EE | Arthur W. Burks,
Hao Wang:
The Logic of Automata - Part I.
J. ACM 4(2): 193-218 (1957) |
| 13 | EE | 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) |
