Yongming Li

Affiliations:
  • Shaanxi Normal University, College of Computer Science, Xi'an, China
  • Sichuan University, Chengdu, China (PhD 1996)


According to our database1, Yongming Li authored at least 150 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Self-Learning Modeling in Possibilistic Model Checking.
IEEE Trans. Emerg. Top. Comput. Intell., February, 2024

2023
Stabilizer Rényi entropy on qudits.
Quantum Inf. Process., December, 2023

Optimal Strategy Model Checking in Possibilistic Decision Processes.
IEEE Trans. Syst. Man Cybern. Syst., October, 2023

Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes.
IEEE Trans. Fuzzy Syst., October, 2023

Granular Computing Approach to Evaluate Spatio-Temporal Events in Intuitionistic Fuzzy Sets Data through Formal Concept Analysis.
Axioms, May, 2023

Complex objective optimization in fuzzy environments.
J. Intell. Fuzzy Syst., 2023

Granular computing approach for the ordinal semantic weighted multiscale values for the attributes in formal concept analysis algorithm.
J. Intell. Fuzzy Syst., 2023

2022
Coherence-breaking superchannels.
Quantum Inf. Process., 2022

On quotients of formal power series.
Inf. Comput., 2022

A new approach to compute deficiency number of Mahjong configurations.
Entertain. Comput., 2022

Coherence of Quantum States Based on Mutually Unbiased Bases in $\mathbb {C}^4$.
Proceedings of the Theoretical Computer Science - 40th National Conference, 2022

2021
Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking.
IEEE Trans. Fuzzy Syst., 2021

A series of information measures of hesitant fuzzy soft sets and their application in decision making.
Soft Comput., 2021

An approach to construct entropies on interval-valued intuitionistic fuzzy sets by their distance functions.
Soft Comput., 2021

Operational characterization of weight-based resource quantifiers via exclusion tasks in general probabilistic theories.
Quantum Inf. Process., 2021

Quantification of resource theory of imaginarity.
Quantum Inf. Process., 2021

Width-based distance measures on interval-valued intuitionistic fuzzy sets.
J. Intell. Fuzzy Syst., 2021

Fuzzy <i>ϵ</i>-approximate regular languages and minimal deterministic fuzzy automata <i>ϵ</i>-accepting them.
Fuzzy Sets Syst., 2021

On <i>n</i>-polygonal interval-valued fuzzy sets.
Fuzzy Sets Syst., 2021

A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand.
CoRR, 2021

Distance measures on intuitionistic hesitant fuzzy set and its application in decision-making.
Comput. Appl. Math., 2021

Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler.
Proceedings of the Theoretical Computer Science, 2021

2020
Distillability for non-full-rank coherent states in the probabilistic framework.
Quantum Inf. Process., 2020

Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures.
Fuzzy Sets Syst., 2020

An (R, S)-norm information measure for hesitant fuzzy sets and its application in decision-making.
Comput. Appl. Math., 2020

Alternation of Restarting Automata.
Proceedings of the MLMI 2020: The 3rd International Conference on Machine Learning and Machine Intelligence, 2020

A Mahjong-Strategy based on Weighted Restarting Automata.
Proceedings of the MLMI 2020: The 3rd International Conference on Machine Learning and Machine Intelligence, 2020

2019
The sum of observables on a $$\sigma $$ σ -distributive lattice effect algebra.
Soft Comput., 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 Syst., 2018

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

Entropic cohering power in quantum operations.
Quantum Inf. Process., 2018

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

Restricted (<i>k</i>, <i>n</i>)-threshold quantum secret sharing scheme based on local distinguishability of orthogonal multiqudit entangled states.
Quantum Inf. Process., 2018

Minimization of lattice multiset finite automata.
J. Intell. Fuzzy Syst., 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 Syst., 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 Inf. Process., 2017

Quantum secret sharing using the d-dimensional GHZ state.
Quantum Inf. Process., 2017

Quantum secret sharing using orthogonal multiqudit entangled states.
Quantum Inf. Process., 2017

On conditions for semirings to induce compact information algebras.
Math. Struct. Comput. Sci., 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. Reason., 2017

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

Quantitative model checking of linear-time properties based on generalized possibility measures.
Fuzzy Sets Syst., 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

信道噪声对量子信息分离的影响 (Effect of Channel Noise on Quantum Information Splitting).
计算机科学, 2016

Lattice and metric completions of the classical logic metric space and a comparison.
J. Intell. Fuzzy Syst., 2016

Temporal normal form for Linear Temporal Logic formulae.
J. Intell. Fuzzy Syst., 2016

Ideal access structures based on a class of minimal linear codes.
Int. J. Comput. Math., 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 Syst., 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.
Secur. Commun. Networks, 2015

广义模糊集GFScom在模糊综合评判中的应用 (Application of Generalized Fuzzy Sets GFScom to Fuzzy Comprehensive Evaluation).
计算机科学, 2015

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

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

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

Model checking fuzzy computation tree logic.
Fuzzy Sets Syst., 2015

Computation tree logic model checking based on possibility measures.
Fuzzy Sets Syst., 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.
Appl. Categorical Struct., 2015

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

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

The universal fuzzy automaton.
Fuzzy Sets Syst., 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 Syst., 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

On a Condition for Semirings to Induce Compact Information Algebras.
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 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.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2012

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

Generalized uni-int decision making schemes based on choice value soft sets.
Eur. J. Oper. Res., 2012

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

The one-way unlocalizable quantum discord
CoRR, 2012

Information algebra system of soft sets
CoRR, 2012

Continuity in Information Algebras
CoRR, 2012

Possibilistic Kripke Structure Decision Processes.
Proceedings of the Quantitative Logic and Soft Computing, 2012

Theory of γ-fuzzy Truth degree Relative to finite Theory in Logic System Rn.
Proceedings of the Quantitative Logic and Soft Computing, 2012

The Representation of the Universal fuzzy Automaton.
Proceedings of the Quantitative Logic and Soft Computing, 2012

On Reversible fuzzy Automata.
Proceedings of the Quantitative Logic and Soft Computing, 2012

Model-Checking of linear-Time Properties in Possibilistic Kripke Structure.
Proceedings of the Quantitative Logic and Soft Computing, 2012

Level Soft Sets based on fuzzy Sets.
Proceedings of the Quantitative Logic and Soft Computing, 2012

The Representation of Semiring-based Constraint Satisfaction Problems using fuzzy finite Automata.
Proceedings of the Quantitative Logic and Soft Computing, 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.
Comput. Math. Appl., 2010

Finite automata based on quantum logic and monadic second-order quantum logic.
Sci. China Inf. Sci., 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.
Int. J. Uncertain. Fuzziness Knowl. Based Syst., 2009

Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency.
Fuzzy Sets Syst., 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 Syst., 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 Inf. Process., 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. Reason., 2008

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

Approximation and universality of fuzzy Turing machines.
Sci. China Ser. F Inf. Sci., 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 Syst., 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. Algebraic Methods Program., 2006

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

Algebraic properties of <i>LA</i>-languages.
Inf. Sci., 2006

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

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

On countable RCC models.
Fundam. Informaticae, 2005

Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids.
Fuzzy Sets Syst., 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 Syst., 2004

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

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

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

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

Limit structures over completely distributive lattices.
Fuzzy Sets Syst., 2002

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

Remarks on uninorm aggregation operators.
Fuzzy Sets Syst., 2000

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

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


  Loading...