A First Attempt at Translating CSP into CCS. - Matthew Hennessy; Wei Li 022; Gordon D. Plotkin (ICDCS, 1981)

An operational semantics of multitasking and exception handling in Ada. - Wei Li 022 (AdaTEC Conference on Ada, 1982)

Translating a Subset of Ada into CCS. - Matthew C. B. Hennessy; Wei Li 022 (Formal Description of Programming Concepts, 1982)

An operational approach to semantics and translation for programming languages. - Wei Li 022 (1983)

Implementing first order logic in Modula-2 using an intuitionistic approach. - Wei Li 022 (ACM Conference on Computer Science, 1988)

A Type-Theoretic Approach to Program Development. - Wei Li 022 (IFIP Congress, 1989)

An introduction to KEDE-A hybrid knowledge engineering development environment. - Zijian Zheng; Wei Li 022 (TAI, 1990)

A type-theoretic approach for program development. - Wei Li 022 (Future Gener. Comput. Syst., 1990)

A logic theory of learning from experience. - Wei Li 022 (ICTAI, 1991)

Towards a Theory of Epistemic Processes. - Wei Li 022 (IWAR, 1992)

A Hybrid Knowledge Engineering Development Environment (Kede). - Zijian Zheng; Wei Li 022 (Int. J. Artif. Intell. Tools, 1992)

An Interactive Consistency Maintenance System and Its Logical Framework. - Wei Li 022 (ICTAI, 1993)

W - A Logic System Based on the Shared Common Knowledge Views. - Xianchang Wang; Huowang Chen; Quingping Zhao; Wei Li 022 (IJCAI, 1993)

A Theory of Requirements Capture and Its Applications. - Wei Li 022 (TAPSOFT, 1993)

A comparative study of default reasoning and epistemic processes. - Wei Li 022 (J. Comput. Sci. Technol., 1993)

A Logical Framework for Evolution of Specifications. - Wei Li 022 (ESOP, 1994)

A Note on Tableaux of Logic of Paradox. - Zuoquan Lin; Wei Li 022 (KI, 1994)

A Physical Model for the Satisfiability Problem. - Wenqui Huang; Wei Li 022; Weifeng Lu; Yuping Zhang (COCOON, 1995)

On Logic of Paradox. - Zuoquan Lin; Wei Li 022 (ISMVL, 1995)

R-Calculus: a Logical Approach for Knowledge Base Maintenance. - Wei Li 022; Ningchuan Shen; Ju Wang (Int. J. Artif. Intell. Tools, 1995)

A logical framework for knowledge base maintenance. - Wei Li 022 (J. Comput. Sci. Technol., 1995)

Scalability of Parallel Algorithm Implementation. - Xingfu Wu; Wei Li 022 (ISPAN, 1996)

An operational approach to belief revision. - Yuping Zhang; Wei Li 022 (J. Comput. Sci. Technol., 1996)

R-calculus for ELP: An operational approach to knowledge base maintenance. - Ningchuan Shen; Wei Li 022 (J. Comput. Sci. Technol., 1997)

Multi-strategy Local Search for SAT Problem. - D. Liang; Wei Li 022 (ECAI, 1998)

A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation. - Wenqi Huang 001; Wei Li 022 (J. Comput. Sci. Technol., 1998)

Performance models for scalable cluster computing. - Xingfu Wu; Wei Li 022 (J. Syst. Archit., 1998)

A Logical Framework for Inductive Inference and Its Rationality. - Wei Li 022 (Australian Joint Conference on Artificial Intelligence, 1999)

Computation of Extensions of Seminormal Default Theories. - Kaile Su; Wei Li 022 (Fundam. Informaticae, 1999)

On k -positive satisfiability problem. - Xiong Huang; Wei Li 022 (J. Comput. Sci. Technol., 1999)

An incremental approach to automatic algorithm design. - Shangmin Luan; Wei Li 022 (J. Comput. Sci. Technol., 1999)

A Computational Framework for Convergent Agents. - Wei Li 022 (IDEAL, 2000)

The SAT Phase Transition - Ke Xu 001; Wei Li 022 (CoRR, 2000)

Exact Phase Transitions in Random Constraint Satisfaction Problems. - Ke Xu 001; Wei Li 022 (J. Artif. Intell. Res., 2000)

Operational and Complete Approaches to Belief Revision. - Wei Li 022; Shangmin Luan (J. Comput. Sci. Technol., 2000)

An Average Analysis of Backtracking on Random Constraint Satisfaction Problems. - Ke Xu 001; Wei Li 022 (Ann. Math. Artif. Intell., 2001)

A Logical Framework for Convergent Infinite Computations - Wei Li 022; Shilong Ma; Yuefei Sui; Ke Xu 001 (CoRR, 2001)

What Is the Right Logical Framework for Evolution of Knowledge. - Wei Li 022 (APLAS, 2002)

A development calculus for specifications. - Wei Li 022 (Sci. China Ser. F Inf. Sci., 2003)

Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances - Ke Xu 001; Wei Li 022 (CoRR, 2003)

A Programmable Approach to Maintenance of a Finite Knowledge Base. - Shangmin Luan; Guozhong Dai; Wei Li 022 (J. Comput. Sci. Technol., 2003)

Limits of theory sequences over algebraically closed fields and applications. - Wei Li 022; Shilong Ma (Discret. Appl. Math., 2004)

On the average similarity degree between solutions of random k-SAT and random CSPs. - Ke Xu 001; Wei Li 022 (Discret. Appl. Math., 2004)

A programmable approach to revising knowledge bases. - Shangmin Luan; Guozhong Dai; Wei Li 022 (Sci. China Ser. F Inf. Sci., 2005)

An Inductive Inference System and Its Rationality. - Wei Li 022 (AISC, 2006)

Many hard examples in exact phase transitions. - Ke Xu 001; Wei Li 022 (Theor. Comput. Sci., 2006)

R-Calculus: An Inference System for Belief Revision. - Wei Li 022 (Comput. J., 2007)

A Logical Framework for Software Testing. - Wei Li 022 (TASE, 2008)

Complexity of software trustworthiness and its dynamical statistical analysis methods. - Zhiming Zheng 001; Shilong Ma; Wei Li 022; Xin Jiang 008; Wei Wei 020; LiLi Ma; Shaoting Tang (Sci. China Ser. F Inf. Sci., 2009)

Dynamical characteristics of software trustworthiness and their evolutionary complexity. - Zhiming Zheng 001; Shilong Ma; Wei Li 022; Wei Wei 020; Xin Jiang 008; ZhanLi Zhang; Binghui Guo (Sci. China Ser. F Inf. Sci., 2009)

Mathematical logic - foundations for information science. - Wei Li 022 (Birkhäuser, 2010)

Logical verification of scientific discovery. - Wei Li 022 (Sci. China Inf. Sci., 2010)

A heuristic algorithm for cube packing with time schedule. - Wei Li 022; WenQi Huang 001; Dongchen Jiang; Xianglong Liu 001 (Sci. China Inf. Sci., 2010)

A tetrahedral data model for unstructured data management. - Wei Li 022; Bo Lang (Sci. China Inf. Sci., 2010)

Social Learning. - Qiang Yang 001; Zhi-Hua Zhou; Wenji Mao; Wei Li 022; Nathan Nan Liu (IEEE Intell. Syst., 2010)

An algorithm to compute maximal contractions for Horn clauses. - Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2011)

R-calculus without the cut rule. - Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2011)

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description). - Xiaoyu Chen 001; Wei Li 022; Jie Luo 004; Dongming Wang 001 (AISC/MKM/Calculemus, 2012)

R-Calculus: A Logical Inference System for Scientific Discovery. - Wei Li 022 (TAMC, 2012)

A formal semantics for program debugging. - Wei Li 022; Ning Li (Sci. China Inf. Sci., 2012)

Optimized statistical analysis of software trustworthiness attributes. - Xiao Zhang 004; Wei Li 022; Zhiming Zheng 001; Binghui Guo (Sci. China Inf. Sci., 2012)

A Semantic Framework for Program Debugging. - Wei Li 022 (SCSS, 2013)

A representative model based algorithm for maximal contractions. - Dongchen Jiang; Yihua Lou; Yi Jin; Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2013)

Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362). - Michael N. Huhns; Wei Li 022; Wei-Tek Tsai (Dagstuhl Reports, 2013)

An evaluation framework for software crowdsourcing. - Wenjun Wu 001; Wei-Tek Tsai; Wei Li 022 (Frontiers Comput. Sci., 2013)

A decomposition based algorithm for maximal contractions. - Dongchen Jiang; Wei Li 022; Jie Luo 004; Yihua Lou; Zhengzhong Liao (Frontiers Comput. Sci., 2013)

Creative software crowdsourcing: from components and algorithm development to project concept formations. - Wenjun Wu 001; Wei-Tek Tsai; Wei Li 022 (Int. J. Creative Comput., 2013)

Mathematical Logic - Foundations for Information Science, Second Revised Edition. - Wei Li 022 (Springer, 2014)

A formal semantics for debugging synchronous message passing-based concurrent programs. - He Li; Jie Luo 004; Wei Li 022 (Sci. China Inf. Sci., 2014)

A sound and complete R-calculi with respect to contraction and minimal change. - Wei Li 022; Yuefei Sui (Frontiers Comput. Sci., 2014)

The sound and complete R-calculus for revising propositional theories. - Wei Li 022; Yuefei Sui; Meiying Sun (Sci. China Inf. Sci., 2015)

Robust visual tracking using correlation response map. - Hao Sheng 001; Kai Lv 002; Jiahui Chen 001; Wei Li 022 (ICIP, 2016)

LPOCS: A Novel Linear Programming Optimization Coverage Scheme in Wireless Sensor Networks. - Zeyu Sun 002; Yunxing Shu; Xiaofei Xing; Wei Wei 006; Houbing Song; Wei Li 022 (Ad Hoc Sens. Wirel. Networks, 2016)

Tux2: Distributed Graph Computation for Machine Learning. - Wencong Xiao; Jilong Xue; Youshan Miao; Zhen Li; Cheng Chen; Ming Wu 007; Wei Li 022; Lidong Zhou (NSDI, 2017)

Task-Specific Neural Networks for Pose Estimation in Person Re-identification Task. - Kai Lv 002; Hao Sheng 001; Yanwei Zheng; Zhang Xiong 001; Wei Li 022; Wei Ke 001 (PCM (1), 2017)

Contrary description logic: Gentzen deduction system. - Wei Li 022; Yuefei Sui; Jie Luo 004; Bo Chen (Sci. China Inf. Sci., 2017)

The propositional normal default logic and the finite/infinite injury priority method. - Wei Li 022; Yuefei Sui; Yuhui Wang (Sci. China Inf. Sci., 2017)

The B4-valued propositional logic with unary logical connectives 1 / 2 /¬. - Wei Li 022; Yuefei Sui (Frontiers Comput. Sci., 2017)

Special Issue on Program Verification, Automated Debugging and Symbolic Computation. - Tudor Jebelean; Wei Li 022; Dongming Wang 001 (J. Symb. Comput., 2017)

Revision with probability. - Dongchen Jiang; Wei Li 022 (J. Symb. Comput., 2017)

Crowd intelligence in AI 2.0 era. - Wei Li 022; Wenjun Wu 001; Huaimin Wang; Xueqi Cheng; Huajun Chen; Zhi-Hua Zhou; Rong Ding (Frontiers Inf. Technol. Electron. Eng., 2017)

Multisequent Gentzen Deduction Systems For B22-Valued First-Order Logic. - Wei Li 022; Yuefei Sui (Artif. Intell. Res., 2018)

The verification of conversion algorithms between finite automata. - Dongchen Jiang; Wei Li 022 (Sci. China Inf. Sci., 2018)

A computational framework for Karl Popper's logic of scientific discovery. - Wei Li 022; Yuefei Sui (Sci. China Inf. Sci., 2018)

Blur image identification with ensemble convolution neural networks. - Rui Wang 039; Wei Li 022; Liang Zhang 025 (Signal Process., 2019)

Automatic blur type classification via ensemble SVM. - Rui Wang 039; Wei Li 022; Rui Li; Liang Zhang 025 (Signal Process. Image Commun., 2019)

Japanese Pronunciation Evaluation Based on DDNN. - Deguo Mu; Wei Sun; Guoliang Xu; Wei Li 022 (IEEE Access, 2020)

Pose-Based View Synthesis for Vehicles: A Perspective Aware Method. - Kai Lv 002; Hao Sheng 001; Zhang Xiong 001; Wei Li 022; Liang Zheng 001 (IEEE Trans. Image Process., 2020)

Distributed Graph Computation Meets Machine Learning. - Wencong Xiao; Jilong Xue; Youshan Miao; Zhen Li; Cheng Chen; Ming Wu 007; Wei Li 022; Lidong Zhou (IEEE Trans. Parallel Distributed Syst., 2020)

R-CALCULUS: A Logic of Belief Revision - Wei Li 022; Yuefei Sui (Springer, 2021)

Random Blur Data Augmentation for Scene Text Recognition. - Deguo Mu; Wei Sun; Guoliang Xu; Wei Li 022 (IEEE Access, 2021)

Variant quantifiers in L3-valued first-order logic. - Wei Li 022; Yuefei Sui (Frontiers Comput. Sci., 2021)

Combining Pose Invariant and Discriminative Features for Vehicle Reidentification. - Hao Sheng 001; Kai Lv 002; Yang Liu 088; Wei Ke 001; Weifeng Lyu; Zhang Xiong 001; Wei Li 022 (IEEE Internet Things J., 2021)

Improving Driver Gaze Prediction With Reinforced Attention. - Kai Lv 002; Hao Sheng 001; Zhang Xiong 001; Wei Li 022; Liang Zheng 001 (IEEE Trans. Multim., 2021)

R-Calculus, II: Many-Valued Logics - Wei Li 022; Yuefei Sui (Springer, 2022)

Towards Accurate Binary Neural Networks via Modeling Contextual Dependencies. - Xingrun Xing; Yangguang Li 001; Wei Li 022; Wenrui Ding; Yalong Jiang; Yufeng Wang 004; Jing Shao; Chunlei Liu 001; Xianglong Liu 001 (ECCV (11), 2022)

Monotonicity and nonmonotonicity in L3-valued propositional logic. - Wei Li 022; Yuefei Sui (Frontiers Comput. Sci., 2022)

An Efficient Insertion Operator in Dynamic Ridesharing Services. - Yi Xu 013; Yongxin Tong; Yexuan Shi; Qian Tao; Ke Xu 001; Wei Li 022 (IEEE Trans. Knowl. Data Eng., 2022)

Neural operator search. - Wei Li 022; Shaogang Gong; Xiatian Zhu (Pattern Recognit., 2023)

Binary Lightweight Neural Networks for Arbitrary Scale Super-Resolution of Remote Sensing Images. - Yufeng Wang 004; Huayu Zhang; Xianlin Zeng; Bowen Wang; Wei Li 022; Wenrui Ding (IEEE Trans. Geosci. Remote. Sens., 2025)