We stand with Ukraine

We stand with Ukraine

Wei Li

Orcid: 0009-0008-0600-3794

Affiliations:

Beihang University, State Key Laboratory of Software Development Environment, Beijing, China
University of Edinburgh, UK (PhD 1983)

According to our database¹, Wei Li authored at least 99 papers between 1981 and 2023.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

Online presence:

On csauthors.net:

Bibliography

2023

Neural operator search.

[BibT_eX]

[DOI]

,

,

Pattern Recognit., April, 2023

2022

An Efficient Insertion Operator in Dynamic Ridesharing Services.

[BibT_eX]

[DOI]

,

,

,

,

,

IEEE Trans. Knowl. Data Eng., 2022

Monotonicity and nonmonotonicity in L<sub>3</sub>-valued propositional logic.

[BibT_eX]

[DOI]

,

Frontiers Comput. Sci., 2022

Towards Accurate Binary Neural Networks via Modeling Contextual Dependencies.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

,

Proceedings of the Computer Vision - ECCV 2022, 2022

R-Calculus, II: Many-Valued Logics

[BibT_eX]

[DOI]

,

Springer, ISBN: 978-981-16-9293-2, 2022

2021

Improving Driver Gaze Prediction With Reinforced Attention.

[BibT_eX]

[DOI]

,

,

,

,

IEEE Trans. Multim., 2021

Combining Pose Invariant and Discriminative Features for Vehicle Reidentification.

[BibT_eX]

[DOI]

,

,

,

,

,

,

IEEE Internet Things J., 2021

Variant quantifiers in L<sub>3</sub>-valued first-order logic.

[BibT_eX]

[DOI]

,

Frontiers Comput. Sci., 2021

Random Blur Data Augmentation for Scene Text Recognition.

[BibT_eX]

[DOI]

,

,

,

IEEE Access, 2021

R-CALCULUS: A Logic of Belief Revision

[BibT_eX]

[DOI]

,

Springer, ISBN: 978-981-16-2943-3, 2021

2020

Distributed Graph Computation Meets Machine Learning.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

IEEE Trans. Parallel Distributed Syst., 2020

Pose-Based View Synthesis for Vehicles: A Perspective Aware Method.

[BibT_eX]

[DOI]

,

,

,

,

IEEE Trans. Image Process., 2020

Japanese Pronunciation Evaluation Based on DDNN.

[BibT_eX]

[DOI]

,

,

,

IEEE Access, 2020

2019

Automatic blur type classification via ensemble SVM.

[BibT_eX]

[DOI]

,

,

,

Signal Process. Image Commun., 2019

Blur image identification with ensemble convolution neural networks.

[BibT_eX]

[DOI]

,

,

Signal Process., 2019

2018

A computational framework for Karl Popper's logic of scientific discovery.

[BibT_eX]

[DOI]

,

Sci. China Inf. Sci., 2018

The verification of conversion algorithms between finite automata.

[BibT_eX]

[DOI]

,

Sci. China Inf. Sci., 2018

Multisequent Gentzen Deduction Systems For B<sub>2</sub><sup>2</sup>-Valued First-Order Logic.

[BibT_eX]

[DOI]

,

Artif. Intell. Res., 2018

2017

Crowd intelligence in AI 2.0 era.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Frontiers Inf. Technol. Electron. Eng., 2017

Revision with probability.

[BibT_eX]

[DOI]

,

J. Symb. Comput., 2017

Special Issue on Program Verification, Automated Debugging and Symbolic Computation.

[BibT_eX]

[DOI]

,

,

J. Symb. Comput., 2017

The B4-valued propositional logic with unary logical connectives ~1 / ~2 /¬.

[BibT_eX]

[DOI]

,

Frontiers Comput. Sci., 2017

The propositional normal default logic and the finite/infinite injury priority method.

[BibT_eX]

[DOI]

,

,

Sci. China Inf. Sci., 2017

Contrary description logic: Gentzen deduction system.

[BibT_eX]

[DOI]

,

,

,

Sci. China Inf. Sci., 2017

Task-Specific Neural Networks for Pose Estimation in Person Re-identification Task.

[BibT_eX]

[DOI]

,

,

,

,

,

Proceedings of the Advances in Multimedia Information Processing - PCM 2017, 2017

Tux<sup>2</sup>: Distributed Graph Computation for Machine Learning.

[BibT_eX]

[DOI]

,

,

,

,

,

,

,

Proceedings of the 14th USENIX Symposium on Networked Systems Design and Implementation, 2017

2016

LPOCS: A Novel Linear Programming Optimization Coverage Scheme in Wireless Sensor Networks.

[BibT_eX]

[DOI]

,

,

,

,

,

Ad Hoc Sens. Wirel. Networks, 2016

Robust visual tracking using correlation response map.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 2016 IEEE International Conference on Image Processing, 2016

2015

The sound and complete R-calculus for revising propositional theories.

[BibT_eX]

[DOI]

,

,

Sci. China Inf. Sci., 2015

2014

A sound and complete R-calculi with respect to contraction and minimal change.

[BibT_eX]

[DOI]

,

Frontiers Comput. Sci., 2014

A formal semantics for debugging synchronous message passing-based concurrent programs.

[BibT_eX]

[DOI]

,

,

Sci. China Inf. Sci., 2014

Mathematical Logic - Foundations for Information Science, Second Revised Edition.

[BibT_eX]

[DOI]

Progress in Computer Science and Applied Logic 25, Springer, ISBN: 978-3-0348-0862-0, 2014

2013

Creative software crowdsourcing: from components and algorithm development to project concept formations.

[BibT_eX]

[DOI]

,

,

Int. J. Creative Comput., 2013

A decomposition based algorithm for maximal contractions.

[BibT_eX]

[DOI]

,

,

,

,

Zhengzhong Liao

Frontiers Comput. Sci., 2013

An evaluation framework for software crowdsourcing.

[BibT_eX]

[DOI]

,

,

Frontiers Comput. Sci., 2013

Cloud-based Software Crowdsourcing (Dagstuhl Seminar 13362).

[BibT_eX]

[DOI]

Michael N. Huhns

,

,

Dagstuhl Reports, 2013

A representative model based algorithm for maximal contractions.

[BibT_eX]

[DOI]

,

,

,

,

Sci. China Inf. Sci., 2013

A Semantic Framework for Program Debugging.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

2012

Optimized statistical analysis of software trustworthiness attributes.

[BibT_eX]

[DOI]

,

,

,

Sci. China Inf. Sci., 2012

A formal semantics for program debugging.

[BibT_eX]

[DOI]

,

Sci. China Inf. Sci., 2012

R-Calculus: A Logical Inference System for Scientific Discovery.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Models of Computation, 2012

Open Geometry Textbook: A Case Study of Knowledge Acquisition via Collective Intelligence - (Project Description).

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Intelligent Computer Mathematics - 11th International Conference, 2012

2011

R-calculus without the cut rule.

[BibT_eX]

[DOI]

,

Sci. China Inf. Sci., 2011

An algorithm to compute maximal contractions for Horn clauses.

[BibT_eX]

[DOI]

,

Sci. China Inf. Sci., 2011

2010

Social Learning.

[BibT_eX]

[DOI]

,

,

,

,

IEEE Intell. Syst., 2010

A tetrahedral data model for unstructured data management.

[BibT_eX]

[DOI]

,

Sci. China Inf. Sci., 2010

A heuristic algorithm for cube packing with time schedule.

[BibT_eX]

[DOI]

,

,

,

Sci. China Inf. Sci., 2010

Logical verification of scientific discovery.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2010

Mathematical logic - foundations for information science.

[BibT_eX]

Progress in computer science and applied logic 25, Birkhäuser, ISBN: 978-3-7643-9976-4, 2010

2009

Dynamical characteristics of software trustworthiness and their evolutionary complexity.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Sci. China Ser. F Inf. Sci., 2009

Complexity of software trustworthiness and its dynamical statistical analysis methods.

[BibT_eX]

[DOI]

,

,

,

,

,

,

Sci. China Ser. F Inf. Sci., 2009

2008

A Logical Framework for Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

2007

R-Calculus: An Inference System for Belief Revision.

[BibT_eX]

[DOI]

Comput. J., 2007

2006

Many hard examples in exact phase transitions.

[BibT_eX]

[DOI]

,

Theor. Comput. Sci., 2006

An Inductive Inference System and Its Rationality.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence and Symbolic Computation, 2006

2005

A programmable approach to revising knowledge bases.

[BibT_eX]

[DOI]

,

,

Sci. China Ser. F Inf. Sci., 2005

2004

On the average similarity degree between solutions of random k-SAT and random CSPs.

[BibT_eX]

[DOI]

,

Discret. Appl. Math., 2004

Limits of theory sequences over algebraically closed fields and applications.

[BibT_eX]

[DOI]

,

Discret. Appl. Math., 2004

2003

A Programmable Approach to Maintenance of a Finite Knowledge Base.

[BibT_eX]

[DOI]

,

,

J. Comput. Sci. Technol., 2003

Many Hard Examples in Exact Phase Transitions with Application to Generating Hard Satisfiable Instances

[BibT_eX]

[DOI]

,

CoRR, 2003

A development calculus for specifications.

[BibT_eX]

[DOI]

Sci. China Ser. F Inf. Sci., 2003

2002

What Is the Right Logical Framework for Evolution of Knowledge.

[BibT_eX]

Proceedings of the Third Asian Workshop on Programming Languages and Systems, 2002

2001

A Logical Framework for Convergent Infinite Computations

[BibT_eX]

[DOI]

,

,

,

CoRR, 2001

An Average Analysis of Backtracking on Random Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

,

Ann. Math. Artif. Intell., 2001

2000

Operational and Complete Approaches to Belief Revision.

[BibT_eX]

[DOI]

,

J. Comput. Sci. Technol., 2000

Exact Phase Transitions in Random Constraint Satisfaction Problems.

[BibT_eX]

[DOI]

,

J. Artif. Intell. Res., 2000

The SAT Phase Transition

[BibT_eX]

[DOI]

,

CoRR, 2000

A Computational Framework for Convergent Agents.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Data Engineering and Automated Learning, 2000

1999

An incremental approach to automatic algorithm design.

[BibT_eX]

[DOI]

,

J. Comput. Sci. Technol., 1999

On <i>k</i> -positive satisfiability problem.

[BibT_eX]

[DOI]

,

J. Comput. Sci. Technol., 1999

Computation of Extensions of Seminormal Default Theories.

[BibT_eX]

[DOI]

,

Fundam. Informaticae, 1999

A Logical Framework for Inductive Inference and Its Rationality.

[BibT_eX]

[DOI]

Proceedings of the Advanced Topics in Artificial Intelligence, 1999

1998

Performance models for scalable cluster computing.

[BibT_eX]

[DOI]

,

J. Syst. Archit., 1998

A hopeful CNF-SAT algorithm - Its high efficiency, industrial application and limitation.

[BibT_eX]

[DOI]

,

J. Comput. Sci. Technol., 1998

Multi-strategy Local Search for SAT Problem.

[BibT_eX]

,

Proceedings of the 13th European Conference on Artificial Intelligence, 1998

1997

R-calculus for ELP: An operational approach to knowledge base maintenance.

[BibT_eX]

[DOI]

,

J. Comput. Sci. Technol., 1997

1996

An operational approach to belief revision.

[BibT_eX]

[DOI]

,

J. Comput. Sci. Technol., 1996

Scalability of Parallel Algorithm Implementation.

[BibT_eX]

[DOI]

,

Proceedings of the 1996 International Symposium on Parallel Architectures, 1996

1995

A logical framework for knowledge base maintenance.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1995

R-Calculus: a Logical Approach for Knowledge Base Maintenance.

[BibT_eX]

[DOI]

,

,

Int. J. Artif. Intell. Tools, 1995

On Logic of Paradox.

[BibT_eX]

[DOI]

,

Proceedings of the 25th IEEE International Symposium on Multiple-Valued Logic, 1995

A Physical Model for the Satisfiability Problem.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the Computing and Combinatorics, First Annual International Conference, 1995

1994

A Note on Tableaux of Logic of Paradox.

[BibT_eX]

[DOI]

,

Proceedings of the KI-94: Advances in Artificial Intelligence, 1994

A Logical Framework for Evolution of Specifications.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1994

1993

A comparative study of default reasoning and epistemic processes.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 1993

A Theory of Requirements Capture and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'93: Theory and Practice of Software Development, 1993

W - A Logic System Based on the Shared Common Knowledge Views.

[BibT_eX]

[DOI]

,

,

,

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

An Interactive Consistency Maintenance System and Its Logical Framework.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Tools with Artificial Intelligence, 1993

1992

A Hybrid Knowledge Engineering Development Environment (Kede).

[BibT_eX]

[DOI]

,

Int. J. Artif. Intell. Tools, 1992

Towards a Theory of Epistemic Processes.

[BibT_eX]

Proceedings of the Automated Reasoning, 1992

1991

A logic theory of learning from experience.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Tools for Artificial Intelligence, 1991

1990

A type-theoretic approach for program development.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 1990

An introduction to KEDE-A hybrid knowledge engineering development environment.

[BibT_eX]

[DOI]

,

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990

1989

A Type-Theoretic Approach to Program Development.

[BibT_eX]

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1988

Implementing first order logic in Modula-2 using an intuitionistic approach.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth ACM Annual Conference on Computer Science, 1988

1983

An operational approach to semantics and translation for programming languages.

[BibT_eX]

[DOI]

PhD thesis, 1983

1982

Translating a Subset of Ada into CCS.

[BibT_eX]

Matthew C. B. Hennessy

,

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982

An operational semantics of multitasking and exception handling in Ada.

[BibT_eX]

[DOI]

Proceedings of the AdaTEC Conference on Ada, 1982

1981

A First Attempt at Translating CSP into CCS.

[BibT_eX]

Matthew Hennessy

,

,

Gordon D. Plotkin

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

Loading...