Yongming Li

According to our database1, Yongming Li authored at least 119 papers between 1999 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Computation tree logic model checking based on multi-valued possibility measures.
Inf. Sci., 2019

Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights.
CoRR, 2019

Weighted Two-Dimensional Finite Automata.
Proceedings of the Algorithmic Aspects in Information and Management, 2019

2018
ε-Bisimulation Relations for Fuzzy Automata.
IEEE Trans. Fuzzy Systems, 2018

Approximate bisimulation relations for fuzzy automata.
Soft Comput., 2018

Entropic cohering power in quantum operations.
Quantum Information Processing, 2018

A dynamic multiparty quantum direct secret sharing based on generalized GHZ states.
Quantum Information Processing, 2018

Minimization of lattice multiset finite automata.
Journal of Intelligent and Fuzzy Systems, 2018

Fuzzy alternating automata over distributive lattices.
Inf. Sci., 2018

Jumping restarting automata.
Proceedings of the Tenth Workshop on Non-Classical Models of Automata and Applications, 2018

2017
Reachability in Fuzzy Game Graphs.
IEEE Trans. Fuzzy Systems, 2017

A novel table look-up scheme based on GFScom and its application.
Soft Comput., 2017

Ordering states with Tsallis relative α-entropies of coherence.
Quantum Information Processing, 2017

Quantum secret sharing using the d-dimensional GHZ state.
Quantum Information Processing, 2017

Quantum secret sharing using orthogonal multiqudit entangled states.
Quantum Information Processing, 2017

On conditions for semirings to induce compact information algebras.
Mathematical Structures in Computer Science, 2017

Attribute-based signcryption scheme based on linear codes.
Inf. Sci., 2017

The relationships among several forms of weighted finite automata over strong bimonoids.
Inf. Sci., 2017

Model checking of linear-time properties in multi-valued systems.
Inf. Sci., 2017

Fuzzy alternating Büchi automata over distributive lattices.
Int. J. Approx. Reasoning, 2017

Nondeterministic fuzzy automata with membership values in complete residuated lattices.
Int. J. Approx. Reasoning, 2017

Quantitative model checking of linear-time properties based on generalized possibility measures.
Fuzzy Sets and Systems, 2017

0-1 Linear programming methods for optimal normal and pseudo parameter reductions of soft sets.
Appl. Soft Comput., 2017

On tree-preserving constraints.
Ann. Math. Artif. Intell., 2017

2016
Model checking computation tree logic over finite lattices.
Theor. Comput. Sci., 2016

Lattice and metric completions of the classical logic metric space and a comparison.
Journal of Intelligent and Fuzzy Systems, 2016

Temporal normal form for Linear Temporal Logic formulae.
Journal of Intelligent and Fuzzy Systems, 2016

Ideal access structures based on a class of minimal linear codes.
Int. J. Comput. Math., 2016

Fuzzy alternating Büchi automata over distributive lattices.
CoRR, 2016

Quantitative Model Checking of Linear-Time Properties Based on Generalized Possibility Measures.
CoRR, 2016

Expressive power of linear-temporal logic based on generalized possibility measures.
Proceedings of the 2016 IEEE International Conference on Fuzzy Systems, 2016

2015
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures.
IEEE Trans. Fuzzy Systems, 2015

On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras.
Theor. Comput. Sci., 2015

A new multi-use multi-secret sharing scheme based on the duals of minimal linear codes.
Security and Communication Networks, 2015

Lattice-valued simulations for quantitative transition systems.
Int. J. Approx. Reasoning, 2015

Robustness analysis of logic metrics on F(X).
Int. J. Approx. Reasoning, 2015

Pasting of lattice-ordered effect algebras.
Fuzzy Sets and Systems, 2015

Model checking fuzzy computation tree logic.
Fuzzy Sets and Systems, 2015

Computation tree logic model checking based on possibility measures.
Fuzzy Sets and Systems, 2015

The optimal information rate for graph access structures of nine participants.
Frontiers Comput. Sci., 2015

Exogenous Quantum Operator Logic Based on Density Operators.
CoRR, 2015

Exponentials in a Cartesian Closed Category Which Contains all Algebraic Domains.
Applied Categorical Structures, 2015

Weighted Turing machines over strong bimonoids.
Proceedings of the 12th International Conference on Fuzzy Systems and Knowledge Discovery, 2015

On Tree-Preserving Constraints.
Proceedings of the Principles and Practice of Constraint Programming, 2015

2014
Elicitation criterions for restricted intersection of two incomplete soft sets.
Knowl.-Based Syst., 2014

The universal fuzzy automaton.
Fuzzy Sets and Systems, 2014

On a Condition for Semirings to Induce Compact Information Algebras.
Electr. Notes Theor. Comput. Sci., 2014

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures.
CoRR, 2014

Computation Tree Logic Model Checking Based on Possibility Measures.
CoRR, 2014

Lattice-valued fuzzy residual finite automata.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

Hierarchy of lattice-valued fuzzy automata and decidability of their languages.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

The realization problems related to weighted transducers over strong bimonoids.
Proceedings of the IEEE International Conference on Fuzzy Systems, 2014

2013
Model Checking of Linear-Time Properties Based on Possibility Measure.
IEEE Trans. Fuzzy Systems, 2013

A new order relation on fuzzy soft sets and its application.
Soft Comput., 2013

Algebraic properties of L-fuzzy finite automata.
Inf. Sci., 2013

Soft subsets and soft product operations.
Inf. Sci., 2013

Intuitionistic fuzzy Choquet integrals and their application in modeling linguistic quantifiers.
Proceedings of the Joint IFSA World Congress and NAFIPS Annual Meeting, 2013

2012
E-perfect effect algebras.
Soft Comput., 2012

A new algorithm for testing diagnosability of fuzzy discrete event systems.
Inf. Sci., 2012

On Two Types of continuous Information Algebras.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2012

Algebraic structures of interval-valued fuzzy (S, N)-implications.
Int. J. Approx. Reasoning, 2012

Generalized uni-int decision making schemes based on choice value soft sets.
European Journal of Operational Research, 2012

Model-Checking of Linear-Time Properties in Multi-Valued Systems
CoRR, 2012

Model-Checking of Linear-Time Properties Based on Possibility Measure
CoRR, 2012

On Quotients of Formal Power Series
CoRR, 2012

The one-way unlocalizable quantum discord
CoRR, 2012

Information algebra system of soft sets
CoRR, 2012

Continuity in Information Algebras
CoRR, 2012

2011
Robustness of interval-valued fuzzy inference.
Inf. Sci., 2011

Finite automata theory with membership values in lattices.
Inf. Sci., 2011

Measurement-induced nonlocality based on the relative entropy
CoRR, 2011

Necessary and sufficient condition for achieving the upper bound of quantum discord
CoRR, 2011

Generalized intuitionistic fuzzy soft sets and multiattribute decision making.
Proceedings of the 4th International Conference on Biomedical Engineering and Informatics, 2011

2010
Riesz ideals in generalized pseudo effect algebras and in their unitizations.
Soft Comput., 2010

The pasting constructions of lattice ordered effect algebras.
Inf. Sci., 2010

Application of level soft sets in decision making based on interval-valued fuzzy soft sets.
Computers & Mathematics with Applications, 2010

Finite automata based on quantum logic and monadic second-order quantum logic.
SCIENCE CHINA Information Sciences, 2010

2009
Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata.
Soft Comput., 2009

Approximation of fuzzy context-free grammars.
Inf. Sci., 2009

Intuitionistic Fuzzy Linguistic Quantifiers Based on Intuitionistic Fuzzy-Valued Fuzzy Measures and integrals.
International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems, 2009

Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency.
Fuzzy Sets and Systems, 2009

Lattice-valued fuzzy turing machines and their computing power.
Proceedings of the FUZZ-IEEE 2009, 2009

2008
Fuzzy Turing Machines: Variants and Universality.
IEEE Trans. Fuzzy Systems, 2008

Algebraic properties on the cuts of lattice-valued regular languages.
Soft Comput., 2008

Some algebraic properties of measure-once two-way quantum finite automata.
Quantum Information Processing, 2008

The relationship of controllability between classical and fuzzy discrete-event systems.
Inf. Sci., 2008

Sufficient and necessary conditions for Boolean fuzzy systems as universal approximators.
Inf. Sci., 2008

Approximation and robustness of fuzzy finite automata.
Int. J. Approx. Reasoning, 2008

Linguistic quantifiers based on Choquet integrals.
Int. J. Approx. Reasoning, 2008

Approximation and universality of fuzzy Turing machines.
Science in China Series F: Information Sciences, 2008

Fuzzy finite automata and fuzzy monadic second-order logic.
Proceedings of the FUZZ-IEEE 2008, 2008

2007
Generalized Ideals and Supports in Pseudo Effect Algebras.
Soft Comput., 2007

Minimization of states in automata theory based on finite lattice-ordered monoids.
Inf. Sci., 2007

Robustness of fuzzy reasoning via logically equivalence measure.
Inf. Sci., 2007

Minimization of lattice finite automata and its application to the decomposition of lattice languages.
Fuzzy Sets and Systems, 2007

Finite Automata Based on Quantum Logic and Their Determinization
CoRR, 2007

Approximation Property of Fuzzy Finite Automata.
Proceedings of the Advances in Intelligent Web Mastering, Proceedings of the 5th Atlantic Web Intelligence Conference - AWIC 2007, Fontainebleau, France, June 25, 2007

2006
Regular grammars with truth values in lattice-ordered monoid and their languages.
Soft Comput., 2006

The equivalence between fuzzy Mealy and fuzzy Moore machines.
Soft Comput., 2006

On the complemented disk algebra.
J. Log. Algebr. Program., 2006

The relationships among several types of fuzzy automata.
Inf. Sci., 2006

Algebraic properties of LA-languages.
Inf. Sci., 2006

A categorical approach to lattice-valued fuzzy automata.
Fuzzy Sets and Systems, 2006

2005
An approach to measure the robustness of fuzzy reasoning.
Int. J. Intell. Syst., 2005

On countable RCC models.
Fundam. Inform., 2005

Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids.
Fuzzy Sets and Systems, 2005

Relational reasoning in the region connection calculus
CoRR, 2005

New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition.
Proceedings of the Advances in Natural Computation, First International Conference, 2005

Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications.
Proceedings of the AI 2005: Advances in Artificial Intelligence, 2005

2004
A fuzzy sets theoretic approach to approximate spatial reasoning.
IEEE Trans. Fuzzy Systems, 2004

Decomposition and resolution of min-implication fuzzy relation equations based on S-implications.
Fuzzy Sets and Systems, 2004

2003
On the order conditions of fuzzy convergence classes.
Fuzzy Sets and Systems, 2003

2002
Approximation theory of fuzzy systems based upon genuine many-valued implications - MIMO cases.
Fuzzy Sets and Systems, 2002

Approximation theory of fuzzy systems based upon genuine many-valued implications - SISO cases.
Fuzzy Sets and Systems, 2002

Limit structures over completely distributive lattices.
Fuzzy Sets and Systems, 2002

2000
Weak uninorm aggregation operators.
Inf. Sci., 2000

Remarks on uninorm aggregation operators.
Fuzzy Sets and Systems, 2000

Top is a reflective and coreflective subcategory of fuzzy topological spaces.
Fuzzy Sets and Systems, 2000

1999
Exponentiable objects in the category of topological molecular lattices.
Fuzzy Sets and Systems, 1999


  Loading...