Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDHao Wang 0001
Person information
- affiliation: Rockefeller University, New York City, NY, USA
- affiliation: Harvard University, Cambridge, MA, USA
- affiliation: Oxford University, UK
Other persons with the same name
- Hao Wang — disambiguation page
- Hao Wang 0002
![[0000-0003-3557-6301]](https://dblp1.uni-trier.de/img/orcid-mark.12x12.png "0000-0003-3557-6301")
— Ohio State University, Columbus, OH, USA (and 1 more) - Hao Wang 0003 — Norwegian University of Science and Technology, Alesund, Norway
- Hao Wang 0004 — Hangzhou Dianzi University, School of Communication Engineering, China (and 1 more)
- Hao Wang 0005 — Qihoo 360 Inc., Beijing, China (and 2 more)
- Hao Wang 0006 — University of California, San Diego, CA. USA
- Hao Wang 0007 — Shandong University, Jinan, China
- Hao Wang 0008 — Hefei University of Technology, School of Computer Science and Information Engineering, MoE Key Laboratory of Knowledge Engineering with Big Data, China
- Hao Wang 0009 — Dalian Maritime University, Dalian, China
- Hao Wang 0010 — Google, Mountain View, CA, USA (and 1 more)
- Hao Wang 0011 — University of Wisconsin-Madison, Madison, WI, USA
- Hao Wang 0012 — China Institute of Water Resources and Hydropower Research, Beijing, China
- Hao Wang 0013 — Nanjing University, Nanjing, China
- Hao Wang 0014 — Rutgers University, Department of Computer Science, NJ, USA (and 2 more)
- Hao Wang 0015 — Shanghai Jiao Tong University, State Key Laboratory of Mechanical Systems and Vibration, Shanghai, China (and 1 more)
- Hao Wang 0016 — Monash University, Faculty of Information Technology, Melbourne, VIC, Australia (and 4 more)
- Hao Wang 0018 — North China University of Technology, School of Computer Science and Technology, Beijing, China (and 1 more)
- Hao Wang 0019 — Babytree Inc., Beijing, China (and 2 more)
- Hao Wang 0020 — Nokia Research Center, Beijing, China (and 1 more)
- Hao Wang 0021 — Helsinki University of Technology, Finland (and 2 more)
- Hao Wang 0022 — Louisiana State University, Baton Rouge, USA (and 2 more)
- Hao Wang 0023 — University of Kaiserslautern, Germany
- Hao Wang 0024 — Carnegie Mellon University, Pittsburgh, PA, USA
- Hao Wang 0025 — Sorbonne University, CNRS, LIP6, Paris, France (and 1 more)
- Hao Wang 0026 — Michigan State University, East Lansing, MI, USA
- Hao Wang 0027 — University of Alberta, Edmonton, Canada
- Hao Wang 0028 — Tech Mahindra, Shanghai, China (and 1 more)
- Hao Wang 0029 — IBM Silicon Valley Lab, San Jose, CA, USA
- Hao Wang 0030 — CUHK, Department of Electronic Engineering, Hong Kong
- Hao Wang 0031 — University of Georgia, Athens, GA, USA (and 1 more)
- Hao Wang 0032 — University of Melbourne, Australia (and 1 more)
- Hao Wang 0033 — Wuhan University, State Key Laboratory of Information Engineering in Surveying, Mapping and Remote Sensing, China
- Hao Wang 0034 — Sichuan University, School of Computer Science, Chengdu, China
- Hao Wang 0035 — Peking University, Key Laboratory of High Confidence Software Technologies, Beijing, China
- Hao Wang 0036 — Shanghai University, Key Laboratory of Specialty Fiber Optics and Optical Access Network, China
- Hao Wang 0037 — Harbin Institute of Technology, Department of Computer Science, China
- Hao Wang 0038 — China Earthquake Administration, Key Laboratory of Earthquake Geodesy, Wuhan, China
- Hao Wang 0039 — Shanghai Jiao Tong University, Department of Electronic Engineering, Shanghai, China (and 1 more)
- Hao Wang 0040 — Southeast University, School of Civil Engineering, Nanjing, China
- Hao Wang 0041 — Tsinghua University, Department of Electrical Engineering, State Key Laboratory of Power Systems, Beijing, China
- Hao Wang 0042 — Rensselaer Polytechnic Institute, Department of Electrical, Computer and System Engineering, Troy, NY, USA
- Hao Wang 0043 — National University of Defense Technology, College of Electronic Science and Engineering, Changsha, China
- Hao Wang 0044 — University of California at Davis, Department of Electrical and Computer Engineering, CA, USA (and 1 more)
- Hao Wang 0045 — ShanghaiTech University, School of Information Science and Technology, China (and 1 more)
- Hao Wang 0046 — Wuhan University, School of Physics and Technology, China
- Hao Wang 0047 — Hohai University, Department of Internet of Things Engineering, Changzhou, China
- Hao Wang 0048 — National University of Singapore, Department of Mechanical Engineering, Singapore
- Hao Wang 0049 — Nanjing University, Department of Computer Science and Technology, State Key Laboratory for Novel Software Technology, China (and 1 more)
- Hao Wang 0050 — Tencent AI Lab, Beijing, China
- Hao Wang 0051 — Sichuan University, School of Mathematics, Chengdu, China (and 1 more)
- Hao Wang 0052 — Tsinghua University, Department of Automation, Bejing, China
- Hao Wang 0053 — Queen's University Belfast, School of Natural and Built Environment, UK
- Hao Wang 0054 — Aalborg University, Department of Energy Technology, Denmark
- Hao Wang 0055 — City University of Hong Kong, Department of Electronic Engineering, Hong Kong
- Hao Wang 0056 — University of Michigan, Department of Naval Architecture and Marine Engineering, Ann Arbor, MI, USA
- Hao Wang 0057 — Huawei Technologies Co Ltd, Riemann Lab, Wuhan, China (and 2 more)
- Hao Wang 0058 — Fujian University of Technology, School of Information Science and Engineering, Fuzhou, China
- Hao Wang 0059 — Southeast University, School of Transportation, Nanjing, China
- Hao Wang 0060 — Nanjing University of Information Science and Technology, School of Automation, Department of Computer and Software, China
- Hao Wang 0061 — Qingdao University of Science and Technology, College of Automation and Electronic Engineering, China
- Hao Wang 0062 — Xidian University, Xi'an, Shaanxi, China
- Hao Wang 0063 — Harvard University, Cambridge, MA, USA
- Hao Wang 0064 — University of Oregon, Eugene, OR, USA
- Hao Wang 0065 — University College London, Computer Science Departmen, UK
- Hao Wang 0066 — Jiangsu University, School of Electrical and Information Engineering, Zhenjiang, China
- Hao Wang 0067 — Fujian Normal University, Key Laboratory of Optoelectronic Science and Technology for Medicine, Fujian, China
- Hao Wang 0068 — Nanyang Technological University, Singapore (and 1 more)
- Hao Wang 0069 — Central South University, School of Geosciences and InfoPhysics, Changsha, China
- Hao Wang 0070 — Beijing University of Posts and Telecommunications, Beijing Key Laboratory of Intelligent Telecommunications Software and Multimedia, Beijing, China
- Hao Wang 0071 — Nanjing University of Aeronautics and Astronautics, College of Electronic and Information Engineering, Nanjing, China
- Hao Wang 0072 — Tianjin University, School of Electronic Information Engineering, Tianjin, China
- Hao Wang 0073 — Northeastern University, College of Information Science and Engineering, Shenyang, China (and 1 more)
- Hao Wang 0074 — Center for Biometrics and Security Research & National Laboratory of Pattern Recognition, Institute of Automation, Chinese Academy of Sciences, China
- Hao Wang 0075 — Shenzhen University, Guangdong Multimedia Information Service Engineering Technology Research Center, China (and 1 more)
- Hao Wang 0076 — University of Science and Technology of China, School of Computer Science and Technology, Anhui Province Key Laboratory of Big Data Analysis and Application, Hefei, China
- Hao Wang 0077 — Chinese University of Hong Kong, Department of Systems Engineering and Engineering Management, Hong Kong
- Hao Wang 0078 — Chalmers University of Technology, Department of Biology and Biological Engineering, Gothenburg, Sweden (and 1 more)
- Hao Wang 0079 — University of California Davis, CA, USA (and 1 more)
- Hao Wang 0080 — Jiangxi Normal University, School of Software, Nanchang, China
- Hao Wang 0081 — Hefei University of Technology, School of Management, MoE Key Laboratory of Process Optimization and Intelligent Decision-Making, China
- Hao Wang 0082 — Beihang University, School of Electronic and Information Engineering, Beijing, China
- Hao Wang 0083 — Beijing Institute of Remote Sensing Equipment, China (and 1 more)
- Hao Wang 0084 — Zhejiang University, School of Aeronautics and Astronautics, Hangzhou, China
- Hao Wang 0085 — Air Force Engineering University, Aeronautical Engineering Department, Xi'an, China
- Hao Wang 0086 — Tiangong University, School of Electrical Engineering and Automation, Tianjin Key Laboratory of Advanced Technology of Electrical Engineering and Energy, Tianjin, China
- Hao Wang 0087 — Chinese Academy of Sciences, Aerospace Information Research Institute, State Key Laboratory of Transducer Technology, Beijing, China (and 1 more)
- Hao Wang 0088 — Nanchang Hangkong University, MoE Key Laboratory of Nondestructive Test, China Jiangxi Engineering Laboratory for Optoelectronics Testing Technology, China
- Hao Wang 0089 — Beijing Sport University, China Swimming Sports College, China
- Hao Wang 0090 — Nanjing University of Aeronautics and Astronautics, College of Civil Aviation, China
- Hao Wang 0091 — Qilu University of Technology (Shandong Academy of Sciences), School of Computer Science and Technology, Jinan, China
- Hao Wang 0092 — Hefei University of Technology, School of Computer Science and Information Engineering, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2009
[r1]Jens Erik Fenstad, Hao Wang:
Thoralf Albert Skolem. Logic from Russell to Church 2009: 127-194
1990 – 1999
- 1995
- [j22]Hao Wang:
Time in philosophy and in physics: From Kant and Einstein to Gödel. Synth. 102(2): 215-234 (1995)
1980 – 1989
- 1981
- [j21]Hao Wang:
Some Facts About Kurt Godel. J. Symb. Log. 46(3): 653-659 (1981)
1960 – 1969
- 1966
- [j20]Kenneth R. Brown, Hao Wang:
Short Definitions of the Ordinals. J. Symb. Log. 31(3): 409-414 (1966) - 1963
- [j19]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
- [j18]Hao Wang:
Proving Theorems by Pattern Recognition I. Commun. ACM 3(4): 220-234 (1960) - [j17]Hao Wang:
Toward Mechanical Mathematics. IBM J. Res. Dev. 4(1): 2-22 (1960)
1950 – 1959
- 1958
- [j16]Hao Wang:
Alternative Proof of a Theorem of Kleene. J. Symb. Log. 23(3): 250 (1958) - 1957
- [j15]Hao Wang:
A Variant to Turing's Theory of Computing Machines. J. ACM 4(1): 63-92 (1957) - [j14]Arthur W. Burks, Hao Wang:
The Logic of Automata - Part I. J. ACM 4(2): 193-218 (1957) - [j13]Arthur W. Burks, Hao Wang:
The Logic of Automata - Part II. J. ACM 4(3): 279-297 (1957) - [j12]Hao Wang:
The Axiomatization of Arithmetic. J. Symb. Log. 22(2): 145-158 (1957) - 1955
- [j11]Hao Wang:
Undecidable Sentences Generated by Semantic Paradoxes. J. Symb. Log. 20(1): 31-43 (1955) - 1954
- [j10]Hao Wang:
The Formalization of Mathematics. J. Symb. Log. 19(4): 241-266 (1954) - 1953
- [j9]Hao Wang:
Certain Predicates Defined by Induction Schemata. J. Symb. Log. 18(1): 49-59 (1953) - [j8]Hao Wang:
Problems. J. Symb. Log. 18(2): 186 (1953) - 1952
- [j7]Hao Wang:
Logic of Many-Sorted Theories. J. Symb. Log. 17(2): 105-116 (1952) - 1950
- [j6]Hao Wang:
A Formal System of Logic. J. Symb. Log. 15(1): 25-32 (1950) - [j5]Hao Wang:
Existence of Classes and Value Specification of Variables. J. Symb. Log. 15(2): 103-112 (1950) - [j4]J. Barkley Rosser, Hao Wang:
Non-Standard Models for Formal Logics. J. Symb. Log. 15(2): 113-129 (1950) - [j3]Hao Wang:
Set-Theoretical Basis for Real Numbers. J. Symb. Log. 15(4): 241-247 (1950)
1940 – 1949
- 1948
- [j2]Hao Wang:
A New Theory of Element and Number. J. Symb. Log. 13(3): 129-137 (1948) - 1947
- [j1]Hao Wang:
A Note on Quine's Principles of Quantification. J. Symb. Log. 12(4): 130-132 (1947)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-10-04 01:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
