![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Wei Li 0022
Person information
- affiliation: Beihang University, State Key Laboratory of Software Development Environment, Beijing, China
- affiliation (PhD 1983): University of Edinburgh, UK
Other persons with the same name
- Wei Li — disambiguation page
- Wei Li 0001 — Swedish Royal Institute of Technology (KISTA), Department of Computer and Systems Sciences, Sweden
- Wei Li 0002
— Huawei Canada, Human-Machine Interaction Lab, Markham, Canada (and 3 more)
- Wei Li 0003 — NetBAse Solutions Inc.
- Wei Li 0004 — Stony Brook University, Stony Brook, NY, USA (and 1 more)
- Wei Li 0005
— Central Queensland University, School of Engineering and Technology, Rockhampton, Australia (and 1 more)
- Wei Li 0006
— Tianjin University, School of Electrical Engineering and Automation, Tianjin, China (and 5 more)
- Wei Li 0007
— Northern Illinois University, Department of Electrical Engineering, DeKalb, IL, USA (and 3 more)
- Wei Li 0008
— Chinese Academy of Sciences, Institute of Computing Technology, Beijing
- Wei Li 0009 — University of Cambridge, Computer Laboratory, Cambridge, UK
- Wei Li 0010 — InMobi (and 3 more)
- Wei Li 0011 — IBM Silicon Valley Lab, San Jose, USA
- Wei Li 0012
— Fudan University, School of Computer Science, Shanghai Key Laboratory of Intelligent Information Processing, China
- Wei Li 0013
— Donghua University, School of Computer Science and Technology, Shanghai, China (and 1 more)
- Wei Li 0014 — University of Alabama, Huntsville, USA
- Wei Li 0015 — Intel Corporation, Santa Clara, CA, USA (and 2 more)
- Wei Li 0016 — Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, China (and 2 more)
- Wei Li 0017 — Southeast University, School of Computer Science and Engineering, Nanjing, China
- Wei Li 0018 — Zhongkai University of Agriculture and Engineering, Guangzhou, China
- Wei Li 0019
— China University of Mining and Technology, School of Mechatronic Engineering, Jiangsu Key Laboratory of Mine Mechanical and Electrical Equipment, Xuzhou, China (and 1 more)
- Wei Li 0020 — Rether Networks (and 1 more)
- Wei Li 0021 — Concordia Institute for Information Systems Engineering, Montreal, QC, Canada
- Wei Li 0023 — University of Iowa, Department of ECE, Iowa City, IA, USA
- Wei Li 0024 — University of California, Berkeley, USA
- Wei Li 0025 — Nova Southeastern University, Fort Lauderdale, FL, USA (and 1 more)
- Wei Li 0026 — Tsinghua University, Department of Computer Science and Technology, State Key Lab of Intelligent Technology and Systems, Beijing, China
- Wei Li 0027 — University of Wisconsin-Platteville, Department of Chemical & Engineering Physics, Platteville, WI, USA
- Wei Li 0028 — Broadcom Communications Finland Oy, Oulu, Finland (and 2 more)
- Wei Li 0029 — Xi'an Jiao Tong University, MOE Key Lab for Intelligent Networks and Network Security, China
- Wei Li 0030 — University of Cincinnati, Department of Electrical Computer Engineering and Computer Science, Cincinnati, OH, USA
- Wei Li 0031 — University of Pennsylvania, Perelman School of Medicine, Philadelphia, PA, USA
- Wei Li 0032
— Beijing Institute of Technology, School of Information and Electronics, Beijing, China (and 3 more)
- Wei Li 0033 — MathWorks, Natick, MA, USA (and 1 more)
- Wei Li 0034 — Taobao (China) Software Company Limited, Hangzhou, China (and 1 more)
- Wei Li 0035
— George Washington University, Genomics and Precision Medicine, Washington, DC, USA (and 4 more)
- Wei Li 0036
— University of California Irvine, College of Medicine, Department of Biological Chemistry, Irvine, CA, USA (and 2 more)
- Wei Li 0037
— Communications Research Centre Canada, Ottawa, ON, Canada
- Wei Li 0038
— Fudan University, State Key Lab of ASIC & System, Shanghai, China (and 1 more)
- Wei Li 0039 (aka: Wei Victor Li) — Imperial College London, UK
- Wei Wayne Li
(aka: Wei Li 0040) — Texas Southern University, Houston, TX, USA
- Wei Li 0041 — USAA, San Antonio, TX, USA (and 2 more)
- Wei Li 0042 — Citigroup, London, UK (and 1 more)
- Wei Li 0043 — Stevens Institute of Technology, Hoboken, NJ, USA
- Wei Li 0044
— NewsBreak, Seattle, WA, USA (and 2 more)
- Wei Li 0045 — Dalian Maritime University, College of Environmental Science and Engineering, China
- Wei Li 0046 — Swiss Federal Institute of Technology, Lausanne, Switzerland
- Wei Li 0047 — State University of New York at Buffalo, Computer Vision Research Group, NY, USA (and 1 more)
- Wei Li 0048
— State Radio Monitoring Center, Beijing, China (and 1 more)
- Wei Li 0049
— Southeast University, School of Instrument Science and Engineering, Nanjing, China (and 1 more)
- Wei Li 0050 — National University of Singapore, Department of Mathematics, Singapore (and 2 more)
- Wei Li 0051 — Tsinghua University, Department of Computer Science and Technology, China (and 1 more)
- Wei Li 0052 — RWTH Aachen, Institute of Imaging and Computer Vision, Aachen, Germany
- Wei Li 0053 — University of British Columbia, Vancouver School of Economics, Vancouver, Canada
- Wei Li 0054 — Dublin City University, Ireland
- Wei Li 0055
— Fudan University, Academy for Engineering and Technology, Shanghai, China (and 2 more)
- Wei Li 0056 — Chinese Academy of Sciences, Academy of Mathematics and Systems Science, Key Lab of Mathematics Mechanization, Beijing, China
- Wei Li 0057 — Tsinghua University, Department of Electronic Engineering, Beijing, China (and 1 more)
- Wei Li 0058
— University of Sydney, School of Computer Science, Centre for Distributed and High Performance Computing, Sydney, Australia
- Wei Li 0059
(aka: Wei (Lisa) Li) — Georgia State University, Department of Computer Science, Atlanta, GA, USA (and 2 more)
- Wei Li 0060 — Chinese Academy of Sciences, Beijing Key Laboratory of Space Environment Exploration, Beijing, China
- Wei Li 0061 — Huazhong University of Science and Technology, School of Computer Science and Technology, Embedded and Pervasive Computing (EPIC) Lab, Wuhan, China (and 1 more)
- Wei Li 0062
— Nanjing University, Department of Control and Systems Engineering, China (and 2 more)
- Wei Li 0063
— Northwestern Polytechnical University, Department of Applied Mathematics, Xi'an, China (and 1 more)
- Wei Li 0064
— Hohai University, Department of Information and Communication Systems, Changzhou, China (and 1 more)
- Wei Li 0065
— North China Electric Power University, Department of Business Administration, Baoding, China (and 1 more)
- Wei Li 0066
— Nanjing University, Department of Chemistry, China
- Wei Li 0067
— Chang'an University, School of Information Engineering, Xi'an, China (and 2 more)
- Wei Li 0068
— Xi'an University of Technology, School of Computer Science and Engineering, China
- Wei Li 0069
— Xiamen University of Technology, School of Computer and Information Engineering, Xiamen, China (and 1 more)
- Wei Li 0070
— Wenzhou Medical University, Zhejiang Key Laboratory of Medical Genetics, China (and 1 more)
- Wei Li 0071
— Shanghai Jiao Tong University, Department of Electronic Engineering, China
- Wei Li 0072
— China University of Petroleum (East China), Center for Offshore Engineering and Safety Technology, Huangdao, China
- Wei Li 0073
— University of Texas, Department of Mechanical Engineering, TX, USA
- Wei Li 0074
— National University of Defense Technology, School of Electronic Science and Engineering, Changsha, China
- Wei Li 0075
— Sichuan University, School of Aeronautics and Astronautics, Chengdu, China
- Wei Li 0076
— University of Chinese Academy of Sciences, School of Economics and Management, Beijing, China (and 2 more)
- Wei Li 0077
— City University of New York, CUNY City College, Department of Electrical Engineering, NY, USA
- Wei Li 0078
— Jiangxi University of Science and Technology, School of Information Engineering, Guangzhou, China (and 1 more)
- Wei Li 0079
— KTH Royal Institute of Technology, Department of Electric Power and Energy Systems, Stockholm, Sweden
- Wei Li 0080
— Peking University, Academy for Advanced Interdisciplinary Studies, Beijing, China
- Wei Li 0081 — Massachusetts Institute of Technology, Cambridge, MA, USA
- Wei Li 0082
— University of Electronic Science and Technology of China, School of Electronic Science and Engineering, Chengdu, China (and 1 more)
- Wei Li 0084
— Shanghai Jiao Tong University, Department of Electronic Engineering, Institute of Image Communication and Information Processing, China
- Wei Li 0085
— Beijing University of Civil Engineering and Architecture, School of Geomatics and Urban Spatial Information, China
- Wei Li 0086
— Huazhong University of Science and Technology, School of Automation, Wuhan, China
- Wei Li 0087
— Xi'an Jiaotong University, School of Electronics and Information Engineering, Institute of Integrated Automation, MOE KLINNS Lab, China
- Wei Li 0088
— Northeastern University, Department of Electrical and Computer Engineering, Boston, MA, USA
- Wei Li 0089
— Chinese Academy of Sciences, Institute of Geodesy and Geophysics, State Key Laboratory of Geodesy and Earth's Dynamics, Wuhan, China (and 1 more)
- Wei Li 0090 — University of Electronic Science and Technology of China, Department of Microwave Engineering, Chengdu, China
- Wei Li 0091 — Heilongjiang University of Science and Technology, Mining Engineering Institute, Harbin, China
- Wei Li 0092
— Waseda University, Department of Computer Science and Communications Engineering, Tokyo, Japan (and 1 more)
- Wei Li 0093
— East China Jiaotong University, School of Software, Nanchang, China
- Wei Li 0094
— Eindhoven University of Technology, Department of Industrial Design, The Netherlands
- Wei Li 0095
— Chinese Academy of Sciences, Academy of Opto-Electronics, Key Laboratory of Quantitative Remote Sensing Information Technology, Beijing, China
- Wei Li 0096
— Huazhong University of Science and Technology, Wuhan National Laboratory for Optoelectronics, China (and 1 more)
- Wei Li 0097
— Opal-RT Technologies, Montréal, QC, Canada (and 1 more)
- Wei Li 0098
— Southeast University, School of Electrical Engineering, Nanjing, China
- Wei Li 0099
— Huazhong University of Science and Technology, Wuhan National Laboratory for Optoelectronics, China
- Wei Li 0100 — North China Electric Power University, School of Control and Computer Engineering, State Key Laboratory for Alternate Electrical Power System with Renewable Energy Sources, Beijing, China
- Wei Li 0101 — Peking University, School of EECS, MOE Key Lab of Computational Linguistics, Beijing, China
- Wei Li 0102
— University of Kentucky, Department of Mechanical Engineering, Lexington, KY, USA (and 1 more)
- Wei Li 0103
— Huazhong University of Science and Technology, School of Naval Architecture and Ocean Engineering, Wuhan, China
- Wei Li 0104
— Tianjin University, School of Microelectronics, Tianjin Key Laboratory of Imaging and Sensing Microelectronic Technology, China
- Wei Li 0105
— Imperial College London, Hamlyn Centre for Robotic Surgery, UK
- Wei Li 0106
— University of Electronic Science and Technology of China, National Key Laboratory of Science and Technology, Chengdu, China
- Wei Li 0108 — North China Electric Power University, Beijing, China (and 2 more)
- Wei Li 0109
— Harbin Engineering University, College of Computer Science and Technology, China (and 2 more)
- Wei Li 0110
— Southwest Jiaotong University, School of Information Science and Technology, Chengdu, China (and 2 more)
- Wei Li 0111
— Inceptio, Shanghai, China (and 4 more)
- Wei Li 0112
— ShanghaiTech University, School of Information Science and Technology, China
- Wei Li 0113
— Lanzhou University of Technology, College of Electrical and Information Engineering, China
- Wei Li 0114
— Zhejiang University, College of Electrical Engineering, Hangzhou, China
- Wei Li 0115
— Zhejiang University, School of Control Science and Engineering, Hangzhou, China
- Wei Li 0116
— Army Engineering University of PLA, College of Command and Control Engineering, Nanjing, China
- Wei Li 0117
— Northeastern University, School of Computer Science and Engineering / MoE Key Laboratory of Intelligent Computing in Medical Image, Shenyang, China
- Wei Li 0118
— Beijing University of Posts and Telecommunications, Information Security Center, China
- Wei Li 0119
— ByteDance AI-Lab (and 2 more)
- Wei Li 0120
— Chang'an University, School of Information Engineering, Xi'an, China
- Wei Li 0121
— Jiangnan University, School of Artificial Intelligence and Computer Science, Science Center for Future Foods, Wuxi, China (and 1 more)
- Wei Li 0122
— Shenzhen Technology University, College of Urban Transportation and Logistics, China (and 1 more)
- Wei Li 0123
— Zhejiang University, School of Aeronautics and Astronautics, Hangzhou, China
- Wei Li 0124
— China Agricultural University, College of Engineering, Beijing, China
- Wei Li 0125
— Beihang University, School of Computer Science and Engineering, Beijing, China
- Wei Li 0126
— Chinese Academy of Sciences, Changchun Institute of Optics, Fine Mechanics and Physics, State Key Laboratory of Applied Optics, China
- Wei Li 0127
— Shanghai Maritime University, School of Logistical Engineering, China (and 1 more)
- Wei Li 0128
— Hefei University of Technology, School of Computer Science and Information Engineering, China
- Wei Li 0129
— Central South University, College of Civil Engineering, Changsha, China (and 2 more)
- Wei Li 0130
— Hebei University of Technology, State Key Laboratory of Reliability and Intelligence of Electrical Equipment, Tianjin, China
- Wei Li 0131
— PLA Information Engineering University (Zhengzhou Institute of Information Science and Technology), Department of Microelectronics, Zhengzhou, China (and 2 more)
- Wei Li 0132 — Queen Mary University of London, School of Electronic Engineering and Computer Science, UK
- Wei Li 0133 — Google Inc., Mountain View, CA, USA
- Wei Li 0134 — Fudan University, Center for Intelligent Medical Electronics, School of Information Science and Technology, Shanghai, China
- Wei Li 0135 — Cobham Wireless, Hertfordshire, UK (and 1 more)
- Wei Li 0136
— Beihang University, Department of Instrumentation Science and Opto-electronics Engineering, Beijing, China
- Wei Li 0137
— Toho University, Faculty of Pharmaceutical Sciences, Miyama, Japan (and 1 more)
- Wei Li 0138
— Hangzhou Dianzi University, School of Computer Science and Technology, China
- Wei Li 0139
— National University of Singapore, Department of Electrical and Computer Engineering, Singapore (and 1 more)
- Wei Li 0141
— Hunan University, State Key Laboratory of Advanced Design and Manufacturing for Vehicle Body, Changsha, China
- Wei Li 0142
— Southeast University, School of Civil Engineering, Nanjing, China
- Wei Li 0143
— Shandong University, School of Software, Jinan, China
- Wei Li 0144
— Qilu University of Technology (Shandong Academy of Sciences), School of Mathematics and Statistics, Jinan, China
- Wei Li 0145
— Chongqing University of Posts and Telecommunications, School of Communication and Information Engineering, Chongqing Key Lab of Mobile Communications Technology, China
- Wei Li 0146
— Nanjing University of Posts and Telecommunications, School of Science, China
- Wei Li 0147
— Huazhong University of Science and Technology, School of Optical and Electronic Information, Wuhan, China (and 2 more)
- Wei Li 0148
— Shanghai Lixin University of Accounting and Finance, School of Finance, China
- Wei Li 0149
— Beijing Jiaotong University, State Key Laboratory of Rail Traffic Control and Safety, China
- Wei Li 0150
— Dalian Minzu University (Dalian Nationalities University), School of Computer Science and Engineering, Dalian, China (and 1 more)
- Wei Li 0151 — Xiamen University, School of Informatics, Fujian Key Laboratory of Sensing and Computing for Smart Cities, Xiamen, China (and 1 more)
- Wei Li 0152 — Tsinghua University, Department of Computer Science and Technology, State Key Lab of Intelligent Technology and Systems, TNList, Beijing, China
- Wei Li 0154 — Harbin Institute of Technology, Control and Simulation Center, Harbin, China
- Wei Li 0155 — Tsinghua University, Department of Mathematical Sciences, Beijing, China
- Wei Li 0156
— Zhejiang University of Technology, College of Computer Science and Technology, Hangzhou, China
- Wei Li 0157
— Chongqing University, College of Automotive Engineering, Chongqing, China
- Wei Li 0158 — Hangzhou Dianzi University, School of Science, Institute of Operational Research and Cybernetics, Hangzhou, China
- Wei Li 0159
— Chinese University of Hong Kong, Department of Computer Science and Engineering, Hong Kong
- Wei Li 0160 (aka: Wei (Ruth) Li) — Semiconductor Manufacturing International Corporation (SMIC), Shanghai, China
- Wei Li 0161 — Konkuk University, Department of Electronic Engineering, Seoul, South Korea
- Wei Li 0162 — Beijing Jiaotong University, Institute of Information Science, Beijing, China
- Wei Li 0165
— Beijing University of Technology, Faculty of Information Technology, Key Laboratory of Computational Intelligence and Intelligent System, Beijing, China
- Wei Li 0166 — Xi'an University of Technology, Department of Digital Media Technology, Xi'an, China
- Wei Li 0167
— George Washington University, Department of Computer Science, Washington, DC, USA
- Wei Li 0168 — Nanjing Agricultural University, National Engineering and Technology Center for Information Agriculture, Nanjing, China
- Wei Li 0169 — Hohai University, Business School, Nanjing, China
- Wei Li 0170 — University of Auckland, Department of Civil and Environmental Engineering, Auckland, New Zealand
- Wei Li 0171
— Anhui University of Finance and Economics, School of Finance, Bengbu, China (and 1 more)
- Wei Li 0172 — Xi'an Jiaotong University, School of Electronics and Information Engineering, Key Laboratory of Intelligent Networks and Network Security, Xi'an, China
- Wei Li 0173
— Chongqing University, China (and 1 more)
- Wei Li 0174 — Technical University of Braunschweig, Institute for Communications Technology, Braunschweig, Germany
- Wei Li 0175 — China Jiliang University, College of Information Engineering, Key Laboratory of Electromagnetic Wave Information Technology and Metrology of Zhejiang Province, Hangzhou, China
- Wei Li 0176
— Baidu Inc., Natural Language Processing Department, Beijing, China (and 1 more)
- Wei Li 0177 — Beijing University of Posts and Telecommunications, State Key Laboratory of Information Photonics and Optical Communications, China
- Wei Li 0178 — Chinese Academy of Sciences, Science and Technology on Micro-system Laboratory, Shanghai, China
- Wei Li 0179 — Chinese Academy of Sciences, Dalian Institute of Chemical Physics, Laboratory of Pharmaceutical Resource Discovery, China
- Wei Li 0180
— University of Tennessee Health Science Center, Memphis, TN, USA
- Wei Li 0181
— Chinese Academy of Sciences, Shenzhen Institutes of Advanced Technology, Shenzhen Key Laboratory of Precision Engineering, China (and 1 more)
- Wei Li 0182
— Dalian University of Technology, Faculty of Infrastructure Engineering, China
- Wei Li 0183
— Zhejiang University, College of Computer Science and Technology, Hangzhou, China (and 1 more)
- Wei Li 0184
— Nankai University, College of Artificial Intelligence, Tianjin, China
- Wei Li 0185
— China Academy of Machinery Science and Technology, Beijing, China
- Wei Li 0186
— Chinese Academy of Sciences, Institute of Zoology, Beijing, China (and 1 more)
- Wei Li 0187
— Shandong University, School of Electrical Engineering, Jinan, China
- Wei Li 0188
— University of Electronic Science and Technology of China, School of Computer Science and Engineering, Chengdu, China
- Wei Li 0189 — Auburn University, Department of Computer Science and Software Engineering, AL, USA
- Wei Li 0190
— Dalian Maritime University, Marine Engineering College, China
- Wei Li 0191
— Hunan University, College of Mechanical and Vehicle Engineering, Changsha, China
- Wei Li 0192
— Xidian University, School of Mathematics and Statistics, Xi'an, China
- Wei Li 0193
— Yancheng First People's Hospital, Department of Equipment, China
- Wei Li 0194
— DePaul University, Department of Mathematical Sciences, Chicago, IL, USA (and 4 more)
- Wei Li 0197
— Tsinghua University, Department of Mechanical Engineering, Division of Intelligent and Biomechanical System, Beijing, China
- Wei Li 0198
— NARI Group Corporation (State Grid Electric Power Research Institute), Nanjing, China (and 1 more)
- Wei Li 0199
— Harbin Institute of Technology, Shenzhen, China (and 2 more)
- Wei Li 0201
— Hohai University, College of Internet of Things Engineering, Changzhou, China
- Wei Li 0202
— Henan Agricultural University, College of Mechanical and Electrical Engineering, Zhengzhou, China
- Wei Li 0203
— Tianjin University, School of Marine Science and Technology, Tianjin Key Laboratory for Oceanic Meteorology, China
- Wei Li 0204
— Southwestern University of Finance and Economics, School of Business Administration, Chengdu, China (and 1 more)
- Wei Li 0205 — Miao Health, Singapore
- Wei Li 0206 — Sichuan University, School of Aeronautics and Astronautics, Chengdu, China (and 3 more)
- Wei Li 0207 — Shanghai Institute of Satellite Engineering, China (and 2 more)
- Wei Li 0208 — University of Science and Technology Beijing, Institute of Artificial Intelligence, Beijing, China (and 2 more)
- Wei Li 0209 — Beihang University, School of Computer Science and Engineering, Digital Media Laboratory, Beijing, China
- Wei Li 0210 — Southwest Forestry University, School of Mechanics and Transportation, Kunming, China
- Wei Li 0211
— Tongji University, Department of Electrical Engineering, Shanghai, China (and 1 more)
- Wei Li 0212
— Jiangsu Food and Pharmaceutical Science College, Huai'an, China
- Wei Li 0213
— Northeast Agricultural University, College of Electronic and Information, Harbin, China
- Wei Li 0214
— Jiangxi Normal University, School of Mathematics and Statistics, Nanchang, China
- Wei Li 0215
— Nanjing University, National Laboratory of Solid State Microstructures, Nanjing, China (and 1 more)
- Wei Li 0216
— University of Electronic Science and Technology of China, School of Electronic Science and Engineering, State Key Laboratory of Electronic Thin Films and Integrated Devices, Chengdu, China
- Wei Li 0217
— University of Electronic Science and Technology of China, School of Optoelectronic Science and Engineering, State Key Laboratory of Electronic Thin Films and Integrated Devices, Chengdu, China
- Wei Li 0218
— Lanzhou Jiaotong University, Faculty of Geomatics, Lanzhou, China
- Wei Li 0219 — Northwestern Polytechnical University, School of Computer Science, Shaanxi Provincial Key Laboratory of Speech and Image Information Processing, Xian, China
- Wei Li 0220 — South China Normal University, Guangzhou, China
- Wei Li 0221
— Anhui University, School of Computer Science and Technology, Hefei, China (and 1 more)
- Wei Li 0222 — University of Iowa, Department of Finance, Iowa City, IA, USA
- Wei Li 0223
— China University of Mining and Technology, School of Mechatronic Engineering, Xuzhou, China (and 1 more)
- Wei Li 0224
— Nankai University, College of Cyber Science, Tianjin, China
- Wei Li 0225 — University of Hong Kong
- Wei Li 0226
— Alibaba Group, Hangzhou, China
- Wei Li 0227
— Fujian University of Technology, School of Computer Science and Mathematics, , China
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [b5]Wei Li, Yuefei Sui:
R-Calculus, II: Many-Valued Logics. Springer 2022, ISBN 978-981-16-9293-2, pp. 1-271 - [j60]Wei Li, Yuefei Sui:
Monotonicity and nonmonotonicity in L3-valued propositional logic. Frontiers Comput. Sci. 16(4): 164315 (2022) - [j59]Yi Xu
, Yongxin Tong
, Yexuan Shi
, Qian Tao
, Ke Xu, Wei Li:
An Efficient Insertion Operator in Dynamic Ridesharing Services. IEEE Trans. Knowl. Data Eng. 34(8): 3583-3596 (2022) - [c31]Xingrun Xing, Yangguang Li, Wei Li, Wenrui Ding, Yalong Jiang, Yufeng Wang, Jing Shao, Chunlei Liu, Xianglong Liu:
Towards Accurate Binary Neural Networks via Modeling Contextual Dependencies. ECCV (11) 2022: 536-552 - [i9]Xingrun Xing, Yangguang Li, Wei Li, Wenrui Ding, Yalong Jiang, Yufeng Wang, Jing Shao, Chunlei Liu, Xianglong Liu:
Towards Accurate Binary Neural Networks via Modeling Contextual Dependencies. CoRR abs/2209.01404 (2022) - 2021
- [b4]Wei Li, Yuefei Sui:
R-CALCULUS: A Logic of Belief Revision. Springer 2021, ISBN 978-981-16-2943-3, pp. 1-198 - [j58]Deguo Mu
, Wei Sun, Guoliang Xu, Wei Li:
Random Blur Data Augmentation for Scene Text Recognition. IEEE Access 9: 136636-136646 (2021) - [j57]Wei Li, Yuefei Sui:
Variant quantifiers in L3-valued first-order logic. Frontiers Comput. Sci. 15(5): 155403 (2021) - [j56]Hao Sheng
, Kai Lv
, Yang Liu
, Wei Ke
, Weifeng Lyu
, Zhang Xiong, Wei Li:
Combining Pose Invariant and Discriminative Features for Vehicle Reidentification. IEEE Internet Things J. 8(5): 3189-3200 (2021) - [j55]Kai Lv
, Hao Sheng
, Zhang Xiong, Wei Li, Liang Zheng
:
Improving Driver Gaze Prediction With Reinforced Attention. IEEE Trans. Multim. 23: 4198-4207 (2021) - 2020
- [j54]Deguo Mu
, Wei Sun, Guoliang Xu, Wei Li:
Japanese Pronunciation Evaluation Based on DDNN. IEEE Access 8: 218644-218657 (2020) - [j53]Kai Lv
, Hao Sheng
, Zhang Xiong, Wei Li, Liang Zheng
:
Pose-Based View Synthesis for Vehicles: A Perspective Aware Method. IEEE Trans. Image Process. 29: 5163-5174 (2020) - [j52]Wencong Xiao
, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou
:
Distributed Graph Computation Meets Machine Learning. IEEE Trans. Parallel Distributed Syst. 31(7): 1588-1604 (2020)
2010 – 2019
- 2019
- [j51]Rui Wang, Wei Li, Liang Zhang:
Blur image identification with ensemble convolution neural networks. Signal Process. 155: 73-82 (2019) - [j50]Rui Wang
, Wei Li, Rui Li, Liang Zhang:
Automatic blur type classification via ensemble SVM. Signal Process. Image Commun. 71: 24-35 (2019) - [c30]Yi Xu, Yongxin Tong
, Yexuan Shi
, Qian Tao, Ke Xu, Wei Li:
An Efficient Insertion Operator in Dynamic Ridesharing Services. ICDE 2019: 1022-1033 - 2018
- [j49]Wei Li, Yuefei Sui:
Multisequent Gentzen Deduction Systems For B22-Valued First-Order Logic. Artif. Intell. Res. 7(1): 53- (2018) - [j48]Dongchen Jiang, Wei Li:
The verification of conversion algorithms between finite automata. Sci. China Inf. Sci. 61(2): 028101:1-028101:3 (2018) - [j47]Wei Li, Yuefei Sui:
A computational framework for Karl Popper's logic of scientific discovery. Sci. China Inf. Sci. 61(4): 042101:1-042101:10 (2018) - 2017
- [j46]Wei Li, Yuefei Sui, Yuhui Wang:
The propositional normal default logic and the finite/infinite injury priority method. Sci. China Inf. Sci. 60(9): 092107:1-092107:10 (2017) - [j45]Wei Li, Yuefei Sui, Jie Luo, Bo Chen:
Contrary description logic: Gentzen deduction system. Sci. China Inf. Sci. 60(11): 112103:1-112103:9 (2017) - [j44]Wei Li, Yuefei Sui:
The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬. Frontiers Comput. Sci. 11(5): 887-894 (2017) - [j43]Tudor Jebelean, Wei Li, Dongming Wang:
Special Issue on Program Verification, Automated Debugging and Symbolic Computation. J. Symb. Comput. 80: 1-3 (2017) - [j42]Dongchen Jiang, Wei Li:
Revision with probability. J. Symb. Comput. 80: 87-100 (2017) - [j41]Wei Li, Wenjun Wu, Huaimin Wang, Xueqi Cheng, Huajun Chen, Zhi-Hua Zhou, Rong Ding:
Crowd intelligence in AI 2.0 era. Frontiers Inf. Technol. Electron. Eng. 18(1): 15-43 (2017) - [c29]Wencong Xiao, Jilong Xue, Youshan Miao, Zhen Li, Cheng Chen, Ming Wu, Wei Li, Lidong Zhou:
Tux2: Distributed Graph Computation for Machine Learning. NSDI 2017: 669-682 - [c28]Kai Lv, Hao Sheng, Yanwei Zheng, Zhang Xiong, Wei Li, Wei Ke
:
Task-Specific Neural Networks for Pose Estimation in Person Re-identification Task. PCM (1) 2017: 792-801 - 2016
- [j40]Zeyu Sun, Yunxing Shu, Xiaofei Xing, Wei Wei, Houbing Song, Wei Li:
LPOCS: A Novel Linear Programming Optimization Coverage Scheme in Wireless Sensor Networks. Ad Hoc Sens. Wirel. Networks 33(1-4): 173-197 (2016) - [c27]Hao Sheng, Kai Lv, Jiahui Chen, Wei Li:
Robust visual tracking using correlation response map. ICIP 2016: 1689-1693 - 2015
- [j39]Wei Li, Yuefei Sui, Meiying Sun:
The sound and complete R-calculus for revising propositional theories. Sci. China Inf. Sci. 58(9): 1-12 (2015) - 2014
- [b3]Wei Li:
Mathematical Logic - Foundations for Information Science, Second Revised Edition. Progress in Computer Science and Applied Logic 25, Springer 2014, ISBN 978-3-03480-861-3, pp. I-XIV, 1-301 - [j38]He Li, Jie Luo, Wei Li:
A formal semantics for debugging synchronous message passing-based concurrent programs. Sci. China Inf. Sci. 57(12): 1-18 (2014) - [j37]Wei Li, Yuefei Sui:
A sound and complete R-calculi with respect to contraction and minimal change. Frontiers Comput. Sci. 8(2): 184-191 (2014) - 2013
- [j36]Dongchen Jiang, Yihua Lou, Yi Jin, Jie Luo, Wei Li:
A representative model based algorithm for maximal contractions. Sci. China Inf. Sci. 56(1): 1-13 (2013) - [j35]Wenjun Wu, Wei-Tek Tsai, Wei Li:
An evaluation framework for software crowdsourcing. Frontiers Comput. Sci. 7(5): 694-709 (2013) - [j34]Dongchen Jiang, Wei Li, Jie Luo, Yihua Lou, Zhengzhong Liao:
A decomposition based algorithm for maximal contractions. Frontiers Comput. Sci. 7(6): 801-811 (2013) - [j33]Wenjun Wu, Wei-Tek Tsai, Wei Li:
Creative software crowdsourcing: from components and algorithm development to project concept formations. Int. J. Creative Comput. 1(1): 57-91 (2013) - [c26]Wei Li:
A Semantic Framework for Program Debugging. SCSS 2013: 2 - [i8]Michael N. Huhns, Wei Li, Wei-Tek Tsai:
Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362). Dagstuhl Reports 3(9): 34-58 (2013) - 2012
- [j32]Wei Li, Ning Li:
A formal semantics for program debugging. Sci. China Inf. Sci. 55(1): 133-148 (2012) - [j31]Xiao Zhang, Wei Li, Zhiming Zheng, BingHui Guo:
Optimized statistical analysis of software trustworthiness attributes. Sci. China Inf. Sci. 55(11): 2508-2520 (2012) - [c25]Xiaoyu Chen, Wei Li, Jie Luo, Dongming Wang:
Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). AISC/MKM/Calculemus 2012: 432-437 - [c24]Wei Li:
R-Calculus: A Logical Inference System for Scientific Discovery. TAMC 2012: 27 - 2011
- [j30]Jie Luo, Wei Li:
An algorithm to compute maximal contractions for Horn clauses. Sci. China Inf. Sci. 54(2): 244-257 (2011) - [j29]Jie Luo, Wei Li:
R-calculus without the cut rule. Sci. China Inf. Sci. 54(12): 2530-2543 (2011) - 2010
- [b2]Wei Li:
Mathematical logic - foundations for information science. Progress in computer science and applied logic 25, Birkhäuser 2010, ISBN 978-3-7643-9976-4, pp. I-XII, 1-261 - [j28]Wei Li, Wenqi Huang, Dongchen Jiang, Xianglong Liu
:
A heuristic algorithm for cube packing with time schedule. Sci. China Inf. Sci. 53(1): 18-29 (2010) - [j27]Wei Li:
Logical verification of scientific discovery. Sci. China Inf. Sci. 53(4): 677-684 (2010) - [j26]Wei Li, Bo Lang:
A tetrahedral data model for unstructured data management. Sci. China Inf. Sci. 53(8): 1497-1510 (2010) - [j25]Qiang Yang, Zhi-Hua Zhou, Wenji Mao, Wei Li, Nathan Nan Liu:
Social Learning. IEEE Intell. Syst. 25(4): 9-11 (2010)
2000 – 2009
- 2009
- [j24]Zhiming Zheng, Shilong Ma, Wei Li, Wei Wei, Xin Jiang, ZhanLi Zhang, BingHui Guo:
Dynamical characteristics of software trustworthiness and their evolutionary complexity. Sci. China Ser. F Inf. Sci. 52(8): 1328-1334 (2009) - [j23]Zhiming Zheng, Shilong Ma, Wei Li, Xin Jiang, Wei Wei, LiLi Ma, Shaoting Tang:
Complexity of software trustworthiness and its dynamical statistical analysis methods. Sci. China Ser. F Inf. Sci. 52(9): 1651-1657 (2009) - 2008
- [c23]Wei Li:
A Logical Framework for Software Testing. TASE 2008: 11 - 2007
- [j22]Wei Li:
R-Calculus: An Inference System for Belief Revision. Comput. J. 50(4): 378-390 (2007) - 2006
- [j21]Ke Xu, Wei Li:
Many hard examples in exact phase transitions. Theor. Comput. Sci. 355(3): 291-302 (2006) - [c22]Wei Li:
An Inductive Inference System and Its Rationality. AISC 2006: 3-17 - 2005
- [j20]Shangmin Luan, Guozhong Dai, Wei Li:
A programmable approach to revising knowledge bases. Sci. China Ser. F Inf. Sci. 48(6): 681-692 (2005) - 2004
- [j19]Wei Li, Shilong Ma:
Limits of theory sequences over algebraically closed fields and applications. Discret. Appl. Math. 136(1): 23-43 (2004) - [j18]Ke Xu, Wei Li:
On the average similarity degree between solutions of random k-SAT and random CSPs. Discret. Appl. Math. 136(1): 125-149 (2004) - 2003
- [j17]Wei Li:
A development calculus for specifications. Sci. China Ser. F Inf. Sci. 46(5): 390-400 (2003) - [j16]Shangmin Luan, Guozhong Dai, Wei Li:
A Programmable Approach to Maintenance of a Finite Knowledge Base. J. Comput. Sci. Technol. 18(1): 102-108 (2003) - [i7]Ke Xu, Wei Li:
Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances. CoRR cs.CC/0302001 (2003) - [i6]Wei Li:
A Development Calculus for Specifications. CoRR cs.LO/0303021 (2003) - 2002
- [c21]Wei Li:
What Is the Right Logical Framework for Evolution of Knowledge. APLAS 2002: 84-94 - 2001
- [j15]Ke Xu, Wei Li:
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. Ann. Math. Artif. Intell. 33(1): 21-37 (2001) - [i5]Wei Li, Shilong Ma, Yuefei Sui, Ke Xu:
A Logical Framework for Convergent Infinite Computations. CoRR cs.LO/0105020 (2001) - 2000
- [j14]Ke Xu, Wei Li:
Exact Phase Transitions in Random Constraint Satisfaction Problems. J. Artif. Intell. Res. 12: 93-103 (2000) - [j13]Wei Li, Shangmin Luan:
Operational and Complete Approaches to Belief Revision. J. Comput. Sci. Technol. 15(3): 202-212 (2000) - [c20]Wei Li:
A Computational Framework for Convergent Agents. IDEAL 2000: 295-300 - [i4]Ke Xu, Wei Li:
Exact Phase Transitions in Random Constraint Satisfaction Problems. CoRR cs.AI/0004005 (2000) - [i3]Ke Xu, Wei Li:
The SAT Phase Transition. CoRR cs.AI/0005024 (2000) - [i2]Ke Xu, Wei Li:
On the Average Similarity Degree between Solutions of Random k-SAT and Random CSPs. CoRR cs.AI/0008008 (2000) - [i1]Ke Xu, Wei Li:
An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. CoRR cs.CC/0005011 (2000)
1990 – 1999
- 1999
- [j12]Kaile Su
, Wei Li:
Computation of Extensions of Seminormal Default Theories. Fundam. Informaticae 40(1): 79-102 (1999) - [j11]Xiong Huang, Wei Li:
On k -positive satisfiability problem. J. Comput. Sci. Technol. 14(4): 309-313 (1999) - [j10]Shangmin Luan, Wei Li:
An incremental approach to automatic algorithm design. J. Comput. Sci. Technol. 14(4): 314-319 (1999) - [c19]Wei Li:
A Logical Framework for Inductive Inference and Its Rationality. Australian Joint Conference on Artificial Intelligence 1999: 304-315 - 1998
- [j9]Wenqi Huang, Wei Li:
A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation. J. Comput. Sci. Technol. 13(1): 9-12 (1998) - [j8]Xingfu Wu, Wei Li:
Performance models for scalable cluster computing. J. Syst. Archit. 44(3-4): 189-205 (1998) - [c18]D. Liang, Wei Li:
Multi-strategy Local Search for SAT Problem. ECAI 1998: 234-238 - 1997
- [j7]Ningchuan Shen, Wei Li:
R-calculus for ELP: An operational approach to knowledge base maintenance. J. Comput. Sci. Technol. 12(1): 17-28 (1997) - 1996
- [j6]Yuping Zhang, Wei Li:
An operational approach to belief revision. J. Comput. Sci. Technol. 11(2): 97-107 (1996) - [c17]Xingfu Wu, Wei Li:
Scalability of Parallel Algorithm Implementation. ISPAN 1996: 559-561 - 1995
- [j5]Wei Li, Ningchuan Shen, Ju Wang:
R-Calculus: a Logical Approach for Knowledge Base Maintenance. Int. J. Artif. Intell. Tools 4(1-2): 177-200 (1995) - [j4]Wei Li:
A logical framework for knowledge base maintenance. J. Comput. Sci. Technol. 10(3): 193-205 (1995) - [c16]Wenqui Huang, Wei Li, Weifeng Lu, Yuping Zhang:
A Physical Model for the Satisfiability Problem. COCOON 1995: 591-596 - [c15]Zuoquan Lin, Wei Li:
On Logic of Paradox. ISMVL 1995: 248-255 - 1994
- [c14]Wei Li:
A Logical Framework for Evolution of Specifications. ESOP 1994: 394-408 - [c13]Wei Li, Ningchuan Shen, Ju Wang:
R-calculus: A Logical Approach for Knowledge Base Maintenance. ICTAI 1994: 375-381 - [c12]Zuoquan Lin, Wei Li:
A Note on Tableaux of Logic of Paradox. KI 1994: 296-307 - 1993
- [j3]Wei Li:
A comparative study of default reasoning and epistemic processes. J. Comput. Sci. Technol. 8(3): 193-204 (1993) - [c11]Wei Li:
An Interactive Consistency Maintenance System and Its Logical Framework. ICTAI 1993: 100-107 - [c10]Xianchang Wang, Huowang Chen, Quingping Zhao, Wei Li:
W - A Logic System Based on the Shared Common Knowledge Views. IJCAI 1993: 410-415 - [c9]Wei Li:
A Theory of Requirements Capture and Its Applications. TAPSOFT 1993: 406-420 - 1992
- [j2]Zijian Zheng, Wei Li:
A Hybrid Knowledge Engineering Development Environment (Kede). Int. J. Artif. Intell. Tools 1(4): 463-502 (1992) - [c8]Wei Li:
Towards a Theory of Epistemic Processes. IWAR 1992: 33-46 - 1991
- [c7]Wei Li:
A logic theory of learning from experience. ICTAI 1991: 540-541 - 1990
- [j1]Wei Li:
A type-theoretic approach for program development. Future Gener. Comput. Syst. 6(1): 49-63 (1990) - [c6]Zijian Zheng, Wei Li:
An introduction to KEDE-A hybrid knowledge engineering development environment. TAI 1990: 63-69
1980 – 1989
- 1989
- [c5]Wei Li:
A Type-Theoretic Approach to Program Development. IFIP Congress 1989: 1133-1138 - 1988
- [c4]Wei Li:
Implementing first order logic in Modula-2 using an intuitionistic approach. ACM Conference on Computer Science 1988: 27-36 - 1983
- [b1]Wei Li:
An operational approach to semantics and translation for programming languages. University of Edinburgh, UK, 1983 - 1982
- [c3]Wei Li:
An operational semantics of multitasking and exception handling in Ada. AdaTEC Conference on Ada 1982: 138-151 - [c2]Matthew C. B. Hennessy, Wei Li:
Translating a Subset of Ada into CCS. Formal Description of Programming Concepts 1982: 227-250 - 1981
- [c1]Matthew Hennessy, Wei Li, Gordon D. Plotkin:
A First Attempt at Translating CSP into CCS. ICDCS 1981: 105-115
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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-08-23 19:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint