default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWei Chen 0094
Person information
- affiliation: VMware Inc., Palo Alto, CA, USA
- affiliation (PhD 1992): Washington University, Department of Computer Science, St. Louis, MO, USA
Other persons with the same name
- Wei Chen — disambiguation page
- Wei Chen 0001
![[0000-0002-8365-4741]](https://dblp.uni-trier.de./img/orcid-mark.12x12.png "0000-0002-8365-4741")
— Zhejiang University, The State Key Laboratory of CAD and CG, Hangzhou, China - Wei Chen 0002 — Tsinghua University, Beijing National Research Center for Information Science and Technology, BNRist, Beijing, China (and 2 more)
- Wei Chen 0003 — Tennessee State University, Department of Computer Science, Nashville, TN, USA (and 3 more)
- Wei Chen 0004 — City University of Hong Kong
- Wei Chen 0005 — Zhejiang University, College of Computer Science, Key Laboratory of Service Robot, Hangzhou, China
- Wei Chen 0006 — Nanjing University of Posts and Telecommunications, School of Computer, China (and 1 more)
- Wei Chen 0008 — Intelligent Automation Inc.
- Wei Chen 0009 — National University of Defense Technology, State Key Laboratory of High Performance Computing, College of Computer, Changsha, China
- Wei Chen 0010 — Xi'an Jiatong University, First Teaching Hospital of Medical School, China
- Wei Chen 0011 — Intel, Santa, Clara, CA, USA (and 1 more)
- Wei Chen 0012 — Chinese Academy of Sciences, Institute of Automation, National Laboratory of Pattern Recognition, China
- Wei Chen 0013 — Microsoft Research Asia, Beijing, China (and 4 more)
- Wei Chen 0014 — Jilin University, Institute of Theoretical Chemistry, China
- Wei Chen 0015 — Fudan University, Human Phenome Institute, Shanghai, China (and 3 more)
- Wei Chen 0016 — Beijing Jiaotong University, State Key Laboratory of Rail Traffic Control and Safety, China (and 2 more)
- Wei Chen 0017 — Shanghai Jiao Tong University
- Wei Chen 0018 — Chinese Academy of Sciences, Institute of Software, China
- Wei Chen 0019 — Carnegie Mellon University, Language Technologies Institute, Pittsburgh, PA, USA
- Wei Chen 0020 — University of Illinois, Department of Electrical and Computer Engineering, IL, USA
- Wei Chen 0021 — Peking University, School of EECS, Key Laboratory of High Confidence Software Technologies, Beijing, China
- Wei Chen 0022 — University of Nebraska at Omaha
- Wei Chen 0023 — Huawei Technologies, Cambridge, UK (and 2 more)
- Wei Chen 0024 — Naval Research Laboratory, Remote Sensing Division, Washington, DC, USA (and 1 more)
- Wei Chen 0025 — Agency for Science, Technology and Research (A*STAR), Singapore
- Wei Chen 0026 — China University of Mining & Technology, College of Geoscience and Surveying Engineering, Beijing, China (and 2 more)
- Wei Chen 0027 — National University of Defense Technology, College of Information Systems and Management, Changsha, China
- Wei Chen 0028 — Hefei University of Technology, School of Food Science & Engineering, China
- Wei Chen 0029 — Max Planck Institute for Molecular Genetics, Berlin, Germany
- Wei Chen 0030 — Beijing University of Posts and Telecommunications, Pattern Recognition and Intelligent System Laboratory, China
- Wei Chen 0031 — Yangtze University, Wuhan, China
- Wei Chen 0032 — Sichuan University, West China Hospital, Department of Radiology, Chengdu, China
- Wei Chen 0033 — Chinese Academy of Sciences, Computer Network Information Center, Beijing, China
- Wei Chen 0034 — Chinese Academy of Sciences, Institute Of Computing Technology, Beijing, China (and 3 more)
- Wei Chen 0035 — Wuhan University of Technology, School of Automation, China (and 1 more)
- Wei Chen 0036 — China University of Mining and Technology, Department of Computer Science and Technology, Xuzhou, China
- Wei Chen 0037 — University of Hong Kong, Department of Electrical and Electronic Engineering, Hong Kong
- Wei Chen 0038 — Automotive Vehicle Group, Nvidia, Santa Clara, CA, USA (and 1 more)
- Wei Chen 0039 — Shandong University, School of Control Science and Engineering, Department of Biomedical Engineering, China
- Wei Chen 0040 — Chinese Academy of Sciences, Institute of Remote Sensing and Digital Earth, State Key Laboratory of Remote Sensing Science, Beijing, China (and 1 more)
- Wei Chen 0041 — Northwestern University, Department of Mechanical Engineering, Evanston, IL, USA (and 2 more)
- Wei Chen 0042 — Chinese Academy of Agricultural Sciences, Beijing, China
- Wei Chen 0043 — Illinois Institute of Technology, Chicago, IL, USA (and 1 more)
- Wei Chen 0044 — University of Illinois at Urbana-Champaign, Department of Physics, Urbana, IL, USA
- Wei Chen 0045 — Nantong University, School of Electronics and Information, China
- Wei Chen 0046 — Tianjin University, School of Electrical and Information Engineering, China
- Wei Chen 0047 — Peking University, Beijing, China (and 4 more)
- Wei Chen 0048 — Chinese Academy of Sciences, Institute of Automation, Beijing, China
- Wei Chen 0049 — Chengdu University of Information Technology, School of Control Engineering, China
- Wei Chen 0050 — Fujian Medical University, Faculty of Pharmacy, Department of Pharmaceutical Analysis, Fuzhou, China
- Wei Chen 0051 — Xi'an University of Science and Technology, College of Geology and Environment, China
- Wei Chen 0052 — Xiamen University, Department of Mechanical and Electrical Engineering, China
- Wei Chen 0053 — Northumbria University, Newcastle upon Tyne, UK
- Wei Chen 0054 — University of Nantes, France
- Wei Chen 0055 — University of Arizona, Eller College of Management, Tucson, AZ, USA (and 2 more)
- Wei Chen 0056 — Chinese University of Hong Kong, Hong Kong
- Wei Chen 0057 — Wake Forest Baptist Medical Center, Center for Bioinformatics and Systems Biology, Winston-Salem, NC, USA
- Wei Chen 0058 — Huazhong University of Science and Technology, School of Computer Science and Technology, China
- Wei Chen 0059 — University of Arizona, Eller College of Management, Tucson, AZ, USA
- Wei Chen 0060 — Mayo Clinic, Department of Management Engineering and Internal Consulting, Rochester, USA
- Wei Chen 0061 — Capital University of Economics and Business, School of Information, Beijing, China
- Wei Chen 0062 — Southwest University of Science and Technology, Mianyang, China
- Wei Chen 0063 — Nanjing Tech University, College of Electrical Engineering and Control Science, China (and 1 more)
- Wei Chen 0064 — Chengdu University of Traditional Chinese Medicine, Innovative Institute of Chinese Medicine and Pharmacy, China (and 4 more)
- Wei Chen 0065 — Beijing University of Technology, Beijing, China
- Wei Chen 0066 — Harbin Engineering University, School of Economics and Management, China
- Wei Chen 0067 — Chongqing Technology and Business University, Research Center for Enterprise Management, China
- Wei Chen 0068 — Chinese University of Hong Kong, Stone Robotics Institute and Department of Mechanical and Automation Engineering
- Wei Chen 0069 — Catholic University of Louvain, Belgium
- Wei Chen 0070 — Soochow University, School of Computer Science and Technology, Jiangsu, China
- Wei Chen 0071 — Sogou Corporation, Voice Interaction Technology Center, Beijing, China (and 1 more)
- Wei Chen 0072 — Leiden University, Leiden Institute of Advanced Computer Science, The Netherlands
- Wei Chen 0073 — Beijing University of Posts and Telecommunications, School of Science, China
- Wei Chen 0074 — University of Pittsburgh, UPMC Children's Hospital, School of Medicine, Department of Pediatrics, Pittsburgh, PA, USA (and 2 more)
- Wei Chen 0075 — Jilin University, School of Mechanical and Aerospace Engineering, Changchun, China
- Wei Chen 0076 — Qiqihar University, College of Computer and Control Engineering, China
- Wei Chen 0077 — Nanjing Institute of Technology, Industrial Center, China
- Wei Chen 0078 — Jimei University, Navigation Institute, Xiamen, China
- Wei Chen 0079 — Fujian University of Technology, School of Information Science and Engineering, Fuzhou, China
- Wei Chen 0080 — Wenzhou University, College of Electrical and Electronic Engineering, China
- Wei Chen 0081 — Lanzhou University of Technology, School of Computer and Communication, China
- Wei Chen 0082 — Tiangong University, School of Life Sciences, Tianjin, China
- Wei Chen 0083 — University of Paris-Saclay, France (and 1 more)
- Wei Chen 0084 — University of Kansas, School of Business, Lawrence, KS, USA (and 1 more)
- Wei Chen 0085 — University of Bordeaux, LaBRI, France (and 1 more)
- Wei Chen 0086 — University of Minnesota, Center for Magnetic Resonance Research, MN, USA (and 1 more)
- Wei Chen 0087 — Wuhan Textile University, School of Mechanical Engineering and Automation, China (and 1 more)
- Wei Chen 0088 — Huazhong University of Science and Technology, Wuhan, China (and 1 more)
- Wei Chen 0089 — Wuhan University, School of Remote Sensing and Information Engineering, China
- Wei Chen 0090 — Chongqing University, School of Big Data and Software Engineering, China
- Wei Chen 0091 — Southern University of Science and Technology, Center for Control Science and Technology, Shenzhen, China (and 2 more)
- Wei Chen 0092 — University of Birmingham, School of Computer Science, Birmingham, UK
- Wei Chen 0093 — Anhui University, School of Electrical Engineering and Automation, Hefei, China
- Wei Chen 0095 — Fuzhou University, School of Electrical Engineering and Automation, Fuzhou, China
- Wei Chen 0096 — Xi'an University of Science and Technology, School of Communication and Information Engineering, Xi'an, China
- Wei Chen 0097 — Zhejiang University, College of Optical Science and Engineering, Hangzhou, China
- Wei Chen 0098 — National Yang Ming Chiao Tung University, Institute of Education, Taiwan
- Wei Chen 0099 — Renmin University of China, School of Agricultural Economics and Rural Development, Beijing, China
- Wei Chen 0100 — Hainan University, School of Information and Communication Engineering, Haikou, China
- Wei Chen 0101 — Chongqing University, College of Computer Science, Chongqing, China
- Wei Chen 0102 — Chinese Academy of Sciences and China National Center for Bioinformation, CAS Key Laboratory of Genomic and Precision Medicine, Beijing, China (and 1 more)
- Wei Chen 0103 — Guangdong University of Technology, School of Computer Science, Guangzhou, China
- Wei Chen 0104 — Nanchang Institute of Technology, Academy of Art & Design, Nanchang, China (and 1 more)
- Wei Chen 0105 — Beijing Jiaotong University, School of Computer and Information Technology, Beijing, China (and 2 more)
- Wei Chen 0106 — Wuhan University, School of Electronic Information, Wuhan, China
- Wei Chen 0107 — Beijing Institute of Technology, Laboratory of Photonics Information Technology, Beijing, China
- Wei Chen 0108 — University of Science and Technology of China, Department of Automation, Hefei, China
- Wei Chen 0109 — Beihang University, School of Computer Science and Engineering, State Key Laboratory of Virtual Reality Technology and Systems, Beijing, China
- Wei Chen 0110 — Tsinghua University, Department of Automation, Beijing, China (and 1 more)
- Wei Wayne Chen (aka: Wei Chen 0111) — Northwestern University, Department of Mechanical Engineering, Evanston, IL, USA (and 2 more)
- Wei Chen 0112 — Chinese Academy of Sciences, Institute of Geographic Sciences and Natural Resources Research, Key Laboratory of Regional Sustainable Development Modeling, Beijing, China
- Wei Chen 0113 — Fuzhou University, College of Electrical Engineering and Automation, Fuzhou, China (and 1 more)
- Wei Chen 0114 — Qiqihar University, College of Chemistry and Chemical Engineering, Qiqihar, China
- Wei Chen 0115 — Zhejiang University, School of Medicine, Department of Psychiatry, Collaborative Innovation Center for Brain Science, Hangzhou, China
- Wei Chen 0116 — Wuhan University, School of Geodesy and Geomatics, Key Laboratory of Geospace Environment and Geodesy, Wuhan, China
- Wei Chen 0117 — University of Auckland, New Zealand (and 1 more)
- Wei Chen 0118 — Hong Kong Polytechnic University, Institute of Textiles and Clothing, Hong Kong (and 1 more)
- Wei Chen 0119 — Linyi University, School of Mathematics and Statistics, Linyi, China (and 1 more)
- Wei Chen 0120 — Kunming University of Science and Technology, Faculty of Information Engineering and Automation, Kunming, China
- Wei Chen 0121 — Xi'an Jiaotong University, School of Aerospace, State Key Laboratory for Strength & Vibration of Mechanical Structures, Xi'an, China (and 1 more)
- Wei Chen 0122 — University of California Berkeley, Department of Physics, Berkeley, CA, USA (and 1 more)
- Wei Chen 0123 — Iowa State University, Department of Geological and Atmospheric Sciences, Ames, IA, USA (and 1 more)
- Wei Chen 0124 — Purdue University, West Lafayette, IN, USA (and 1 more)
- Wei Chen 0125 — Harvard University, Department of Physics and Department of Chemistry and Chemical Biology, Cambridge, MA, USA
- Wei Chen 0126 — Tencent Corp., Shenzhen, China
- Wei Chen 0127 — University of Massachusetts Medical School, Department of Psychiatry, Center for Comparative Neuroimaging, Worcester, MA, USA
- Wei Chen 0128 — University of Michigan, Department of Biostatistics, Ann Arbor, MI, USA
- Wei Chen 0129 — Intel, Santa Clara, CA, USA
- Wei Chen 0130 — Dalian University of Technology, International School of Information Science and Engineering, Dalian, China
- Wei Chen 0131 — Beijing University of Technology, Information Department, China
- Wei Chen 0132 — University of Science and Technology of China, CAS Key Laboratory of Quantum Information, CAS Center for Excellence in Quantum Information and Quantum Physics, Hefei, China (and 1 more)
- Wei Chen 0133 — Alibaba Group, Hangzhou, China
- Wei Chen 0134 — SUNY at Buffalo, Computer Science and Engineering, Buffalo, NY, USA
- Wei Chen 0135 — Nanjing Audit University, Department of Information Management, Nanjing, China
- Wei Chen 0136 — Powerchina Huadong Engineering Corporation Ltd., Hangzhou, China (and 2 more)
- Wei Chen 0137 — Huazhong University of Science and Technology, School of Electrical and Electronic Engineering, Wuhan, China
- Wei Chen 0138 — Jiangsu Normal University, School of Electrical Engineering & Automation, Xuzhou, China
- Wei Chen 0139 — Nanjing University of Aeronautics and Astronautics, Department of Electrical Engineering, Nanjing, China
- Wei Chen 0140 — Xi'an Jiaotong University, School of Electrical Engineering, Xi'an, China (and 1 more)
- Wei Chen 0141 — Southwest Jiaotong University, School of Computing and Artificial Intelligence, Chengdu, China
- Wei Chen 0142 — China Nanhu Academy of Electronics and Information Technology, JiaXing, China
- Wei Chen 0143 — Henan Polytechnic University, School of Software, Jiaozuo, China (and 1 more)
- Wei Chen 0144 — Dongguan University of Technology, School of Computer Science and Network Security, Dongguan, China (and 1 more)
- Wei Chen 0145 — Yale University, Department of Biostatistics, New Haven, CT, USA (and 1 more)
- Wei Chen 0146 — Nanjing University of Science and Technology, School of Energy and Power Engineering, Nanjing, China (and 1 more)
- Wei Chen 0147 — Hangzhou Normal University, School of Information Science and Technology, Hangzhou, China
- Wei Chen 0148 — Tianjin University of Technology, School of Mechanical Engineering, Tianjin Key Laboratory for Advanced Mechatronic System Design and Intelligent Contro, Tianjin, China
- Wei Chen 0150 — China University of Geosciences (Beijing), School of Land Science and Technology, Beijing, China
- Wei Chen 0151 — Northeastern University, School of Business Administration, Shenyang, China
- Wei Chen 0152 — Chinese Academy of Sciences, Shenzhen Institute of Advanced Technology, Shenzhen, China (and 1 more)
- Wei Chen 0153 — Northwest Institute of Nuclear Technology, State Key Laboratory of Intense Pulsed Radiation Simulation and Effect, Xi'an, China
- Wei Chen 0154 — Hubei Normal University, College of Computer and Information Engineering, Huangshi, China (and 1 more)
- Wei Chen 0155 — Xi'an University of Technology, School of Computer Science and Engineering, Xi'an, China
- Wei Chen 0156 — University of Science and Technology of China, Hefei, China
- Wei Chen 0157 — Hebei Agricultural University, Baoding, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j3]Wei Chen:
Weakest preconditioned goto axiom. Inf. Process. Lett. 180: 106329 (2023)- 2021
- [j2]Wei Chen:
Loop invariance with break and continue. Sci. Comput. Program. 209: 102679 (2021) - [c5]Wei Chen:
A wp Characterization of Jump Statements. TASE 2021: 15-22 - [c4]Wei Chen:
Behind Clint and Hoare's goto Proof Rule. TASE 2021: 23-30
1990 – 1999
- 1990
- [j1]Wei Chen, Jan Tijmen Udding:
Program Inversion: More than Fun! Sci. Comput. Program. 15(1): 1-13 (1990) - [c3]Wei Chen:
A Formal Approach to Program Inversion. ACM Conference on Computer Science 1990: 398-403
1980 – 1989
- 1989
- [c2]Wei Chen, Jan Tijmen Udding, Tom Verhoeff:
Networks of Communicating Processes and Their (De-)Composition. MPC 1989: 174-196 - [c1]Wei Chen, Jan Tijmen Udding:
Towards a Calculus of Data Refinement. MPC 1989: 197-218
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 2024-12-23 20:33 CET 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:
