Yongming Li

146 papers A 1B 6C 1Journal 119Unranked 19
YearRankTypeTitle / Venue / Authors
2025 — conf
Accelerating Possibilistic Model Checking: Sparse Engine for Large-Scale Models.
ICIC (19)
Wuniu Liu, Zhihui Li, Yongming Li
2025 J jnl
Algebraic properties of approximate bisimulation relations for fuzzy automata.
Fuzzy Sets Syst.
Ping Li, Jufang Yang, Yongming Li, Chao Yang, Wenyu Xue
2024 J jnl
A hierarchy of jumping restarting automata.
Inf. Sci.
Qichao Wang, Yongming Li
2024 J jnl
Deterministic fuzzy two-dimensional on-line tessellation automata and their languages.
Fuzzy Sets Syst.
Chao Yang, Xiaobing Sun, Qingyu He, Qichao Wang, Yongming Li
2024 J jnl
Differential evolution with proration-based mutation strategy and multi-segment mixed parameter setting for numerical optimization.
Inf. Sci.
Xueqing Yan, Mengnan Tian, Yongming Li
2024 J jnl
Quantifying correlations relative to channels via metric-adjusted skew information.
Quantum Inf. Process.
Ruonan Ren, Yu Luo, Yongming Li
2024 J jnl
Relative approximate bisimulations for fuzzy picture automata.
Inf. Comput.
Chao Yang, Ruiling Wu, Xiaobing Sun, Qichao Wang, Yongming Li
2024 J jnl
Self-Learning Modeling in Possibilistic Model Checking.
IEEE Trans. Emerg. Top. Comput. Intell.
Wuniu Liu, Qing He, Zhihui Li, Yongming Li
2023 J jnl
Complex objective optimization in fuzzy environments.
J. Intell. Fuzzy Syst.
Wuniu Liu, Zhihui Li, Yongming Li
2023 J jnl
Granular Computing Approach to Evaluate Spatio-Temporal Events in Intuitionistic Fuzzy Sets Data through Formal Concept Analysis.
Axioms
Imran Ali, Yongming Li, Witold Pedrycz
2023 J jnl
Model Checking of Possibilistic Linear-Time Properties Based on Generalized Possibilistic Decision Processes.
IEEE Trans. Fuzzy Syst.
Yongming Li, Wuniu Liu, Junmei Wang, Xianfeng Yu, Chao Li
2023 J jnl
Optimal Strategy Model Checking in Possibilistic Decision Processes.
IEEE Trans. Syst. Man Cybern. Syst.
Wuniu Liu, Yongming Li
2023 J jnl
Stabilizer Rényi entropy on qudits.
Quantum Inf. Process.
Yiran Wang, Yongming Li
2022 J jnl
A new approach to compute deficiency number of Mahjong configurations.
Entertain. Comput.
Qichao Wang, Yang Zhou, Dongyi Zhu, Yongming Li
2022 — conf
Coherence of Quantum States Based on Mutually Unbiased Bases in $\mathbb {C}^4$.
NCTCS
Xudong Ma, Yongming Li
2022 J jnl
Coherence-breaking superchannels.
Quantum Inf. Process.
Yu Luo, Yongming Li, Zhengjun Xi
2022 J jnl
On quotients of formal power series.
Inf. Comput.
Yongming Li, Qian Wang, Sanjiang Li
2021 J jnl
A Fast Algorithm for Computing the Deficiency Number of a Mahjong Hand.
CoRR
Xueqing Yan, Yongming Li, Sanjiang Li
2021 J jnl
A series of information measures of hesitant fuzzy soft sets and their application in decision making.
Soft Comput.
Chunfeng Suo, Yongming Li, Zhihui Li
2021 J jnl
An approach to construct entropies on interval-valued intuitionistic fuzzy sets by their distance functions.
Soft Comput.
Renqing Che, Chunfeng Suo, Yongming Li
2021 — conf
Computation Tree Logic Model Checking over Possibilistic Decision Processes Under Finite-Memory Scheduler.
NCTCS
Wuniu Liu, Qing He, Yongming Li
2021 J jnl
Distance measures on intuitionistic hesitant fuzzy set and its application in decision-making.
Comput. Appl. Math.
Xiang Chen, Chunfeng Suo, Yongming Li
2021 J jnl
Fuzzy
Fuzzy Sets Syst.
Chao Yang, Yongming Li
2021 J jnl
On
Fuzzy Sets Syst.
Chunfeng Suo, Yongming Li, Zhihui Li
2021 J jnl
Operational characterization of weight-based resource quantifiers via exclusion tasks in general probabilistic theories.
Quantum Inf. Process.
Mingfei Ye, Yongming Li, Zhihui Li
2021 J jnl
Possibilistic Fuzzy Linear Temporal Logic and Its Model Checking.
IEEE Trans. Fuzzy Syst.
Yongming Li, Jielin Wei
2021 J jnl
Quantification of resource theory of imaginarity.
Quantum Inf. Process.
Shengnan Xue, Jiansheng Guo, Ping Li, Mingfei Ye, Yongming Li
2021 J jnl
Width-based distance measures on interval-valued intuitionistic fuzzy sets.
J. Intell. Fuzzy Syst.
Xi Li, Chunfeng Suo, Yongming Li
2020 — conf
A Mahjong-Strategy based on Weighted Restarting Automata.
MLMI
Qichao Wang, Yongming Li, Xiaoyin Chen
2020 — conf
Alternation of Restarting Automata.
MLMI
Qichao Wang, Yongming Li, Xiaoyin Chen
2020 J jnl
An (R, S)-norm information measure for hesitant fuzzy sets and its application in decision-making.
Comput. Appl. Math.
Chunfeng Suo, Yongming Li, Zhihui Li
2020 J jnl
Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures.
Fuzzy Sets Syst.
Chao Yang, Yongming Li
2019 J jnl
Computation tree logic model checking based on multi-valued possibility measures.
Inf. Sci.
Yongming Li, Lihui Lei, Sanjiang Li
2019 J jnl
Semi-dynamic shortest-path tree algorithms for directed graphs with arbitrary weights.
CoRR
Sanjiang Li, Yongming Li
2019 J jnl
The sum of observables on a $$\sigma $$ σ -distributive lattice effect algebra.
Soft Comput.
Jirí Janda, Yongming Li
2019 C conf
Weighted Two-Dimensional Finite Automata.
AAIM
Qichao Wang, Yongming Li, Wei Zhou
2018 J jnl
A dynamic multiparty quantum direct secret sharing based on generalized GHZ states.
Quantum Inf. Process.
Yun Song, Zhihui Li, Yongming Li
2018 J jnl
Approximate bisimulation relations for fuzzy automata.
Soft Comput.
Chao Yang, Yongming Li
2018 J jnl
Entropic cohering power in quantum operations.
Quantum Inf. Process.
Zhengjun Xi, Ming-Liang Hu, Yongming Li, Heng Fan
2018 J jnl
Fuzzy alternating automata over distributive lattices.
Inf. Sci.
Xiujuan Wei, Yongming Li
2018 — conf
Jumping restarting automata.
NCMA
Qichao Wang, Yongming Li
2018 J jnl
Minimization of lattice multiset finite automata.
J. Intell. Fuzzy Syst.
Yongbing Wang, Yongming Li
2018 J jnl
ε-Bisimulation Relations for Fuzzy Automata.
IEEE Trans. Fuzzy Syst.
Chao Yang, Yongming Li
2017 J jnl
0-1 Linear programming methods for optimal normal and pseudo parameter reductions of soft sets.
Appl. Soft Comput.
Bang-He Han, Yongming Li, Shengling Geng
2017 J jnl
A novel table look-up scheme based on GFScom and its application.
Soft Comput.
Shengli Zhang, Yongming Li
2017 J jnl
Attribute-based signcryption scheme based on linear codes.
Inf. Sci.
Yun Song, Zhihui Li, Yongming Li, Jing Li
2017 J jnl
Fuzzy alternating Büchi automata over distributive lattices.
Int. J. Approx. Reason.
Xiujuan Wei, Yongming Li
2017 J jnl
Model checking of linear-time properties in multi-valued systems.
Inf. Sci.
Yongming Li, Manfred Droste, Lihui Lei
2017 J jnl
Nondeterministic fuzzy automata with membership values in complete residuated lattices.
Int. J. Approx. Reason.
Haiyu Pan, Yongming Li, Yongzhi Cao, Ping Li
2017 J jnl
On conditions for semirings to induce compact information algebras.
Math. Struct. Comput. Sci.
Xuechong Guan, Yongming Li, Jürg Kohlas
2017 J jnl
On tree-preserving constraints.
Ann. Math. Artif. Intell.
Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
2017 J jnl
Ordering states with Tsallis relative α-entropies of coherence.
Quantum Inf. Process.
Fugang Zhang, Lian-He Shao, Yu Luo, Yongming Li
2017 J jnl
Quantitative model checking of linear-time properties based on generalized possibility measures.
Fuzzy Sets Syst.
Yongming Li
2017 J jnl
Reachability in Fuzzy Game Graphs.
IEEE Trans. Fuzzy Syst.
Haiyu Pan, Yongming Li, Yongzhi Cao, Dechao Li
2017 J jnl
The relationships among several forms of weighted finite automata over strong bimonoids.
Inf. Sci.
Ping Li, Yongming Li, Shengling Geng
2016 B conf
Expressive power of linear-temporal logic based on generalized possibility measures.
FUZZ-IEEE
Shengli Zhang, Yongming Li
2016 J jnl
Fuzzy alternating Büchi automata over distributive lattices.
CoRR
Xiujuan Wei, Yongming Li
2016 J jnl
Ideal access structures based on a class of minimal linear codes.
Int. J. Comput. Math.
Zhihui Li, Yun Song, Yongming Li
2016 J jnl
Model checking computation tree logic over finite lattices.
Theor. Comput. Sci.
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
2016 J jnl
Quantitative Model Checking of Linear-Time Properties Based on Generalized Possibility Measures.
CoRR
Yongming Li
2015 J jnl
A new multi-use multi-secret sharing scheme based on the duals of minimal linear codes.
Secur. Commun. Networks
Yun Song, Zhihui Li, Yongming Li, Jing Li
2015 J jnl
Computation tree logic model checking based on possibility measures.
Fuzzy Sets Syst.
Yongming Li, Yali Li, Zhanyou Ma
2015 J jnl
Exogenous Quantum Operator Logic Based on Density Operators.
CoRR
Yunguo Lin, Yongming Li
2015 J jnl
Exponentials in a Cartesian Closed Category Which Contains all Algebraic Domains.
Appl. Categorical Struct.
Xiaoyong Xi, Yongming Li
2015 J jnl
Lattice-valued simulations for quantitative transition systems.
Int. J. Approx. Reason.
Haiyu Pan, Yongming Li, Yongzhi Cao
2015 J jnl
Model checking fuzzy computation tree logic.
Fuzzy Sets Syst.
Haiyu Pan, Yongming Li, Yongzhi Cao, Zhanyou Ma
2015 A conf
On Tree-Preserving Constraints.
CP
Shufeng Kong, Sanjiang Li, Yongming Li, Zhiguo Long
2015 J jnl
On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras.
Theor. Comput. Sci.
Xuechong Guan, Yongming Li
2015 J jnl
Pasting of lattice-ordered effect algebras.
Fuzzy Sets Syst.
Yongjian Xie, Yongming Li, Aili Yang
2015 J jnl
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures.
IEEE Trans. Fuzzy Syst.
Yongming Li, Zhanyou Ma
2015 J jnl
Robustness analysis of logic metrics on F(X).
Int. J. Approx. Reason.
Jingyao Duan, Yongming Li
2015 J jnl
The optimal information rate for graph access structures of nine participants.
Frontiers Comput. Sci.
Yun Song, Zhihui Li, Yongming Li, Ren Xin
2015 — conf
Weighted Turing machines over strong bimonoids.
FSKD
Ping Li, Yongming Li, Shengling Geng
2015 J jnl
广义模糊集GFScom在模糊综合评判中的应用 (Application of Generalized Fuzzy Sets GFScom to Fuzzy Comprehensive Evaluation).
计算机科学
Shengli Zhang, Yongming Li
2014 J jnl
Computation Tree Logic Model Checking Based on Possibility Measures.
CoRR
Yongming Li, Yali Li, Zhanyou Ma
2014 J jnl
Elicitation criterions for restricted intersection of two incomplete soft sets.
Knowl. Based Syst.
Bang-He Han, Yongming Li, Jie Liu, Sheng-Ling Geng, Hou-Yi Li
2014 B conf
Hierarchy of lattice-valued fuzzy automata and decidability of their languages.
FUZZ-IEEE
Qianqian Xue, Lei Li, Yongming Li
2014 B conf
Lattice-valued fuzzy residual finite automata.
FUZZ-IEEE
Fugang Zhang, Yongming Li
2014 J jnl
Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures.
CoRR
Yongming Li, Zhanyou Ma
2014 B conf
The realization problems related to weighted transducers over strong bimonoids.
FUZZ-IEEE
Ping Li, Yongming Li, Shengling Geng
2014 J jnl
The universal fuzzy automaton.
Fuzzy Sets Syst.
Yongming Li, Qian Wang
2013 J jnl
A new order relation on fuzzy soft sets and its application.
Soft Comput.
Xuechong Guan, Yongming Li, Feng Feng
2013 J jnl
Algebraic properties of L-fuzzy finite automata.
Inf. Sci.
Jianhua Jin, Qingguo Li, Yongming Li
2013 — conf
Intuitionistic fuzzy Choquet integrals and their application in modeling linguistic quantifiers.
IFSA/NAFIPS
Yongming Li, Lu Li
2013 J jnl
Model Checking of Linear-Time Properties Based on Possibility Measure.
IEEE Trans. Fuzzy Syst.
Yongming Li, Lijun Li
2013 — conf
On a Condition for Semirings to Induce Compact Information Algebras.
ISDT
Xuechong Guan, Yongming Li
2013 J jnl
Soft subsets and soft product operations.
Inf. Sci.
Feng Feng, Yongming Li
2012 J jnl
A new algorithm for testing diagnosability of fuzzy discrete event systems.
Inf. Sci.
Minnan Luo, Yongming Li, Fuchun Sun, Huaping Liu
2012 J jnl
Algebraic structures of interval-valued fuzzy (S, N)-implications.
Int. J. Approx. Reason.
Dechao Li, Yongming Li
2012 J jnl
Continuity in Information Algebras
CoRR
Xuechong Guan, Yongming Li
2012 J jnl
E-perfect effect algebras.
Soft Comput.
Yongjian Xie, Yongming Li, Aili Yang
2012 J jnl
Generalized uni-int decision making schemes based on choice value soft sets.
Eur. J. Oper. Res.
Feng Feng, Yongming Li, Naim Çagman
2012 J jnl
Information algebra system of soft sets
CoRR
Xuechong Guan, Yongming Li
2012 — conf
Level Soft Sets based on fuzzy Sets.
QLSC
Feng Feng, Yongming Li, Hongxuan Lei
2012 J jnl
Model-Checking of Linear-Time Properties Based on Possibility Measure
CoRR
Yongming Li, Lijun Li
2012 J jnl
Model-Checking of Linear-Time Properties in Multi-Valued Systems
CoRR
Yongming Li, Lihui Lei
2012 — conf
Model-Checking of linear-Time Properties in Possibilistic Kripke Structure.
QLSC
Lijun Li, Yongming Li
2012 J jnl
On Quotients of Formal Power Series
CoRR
Yongming Li, Qian Wang, Sanjiang Li
2012 — conf
On Reversible fuzzy Automata.
QLSC
Lin Li, Yongming Li
2012 J jnl
On Two Types of continuous Information Algebras.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Xuechong Guan, Yongming Li
2012 — conf
Possibilistic Kripke Structure Decision Processes.
QLSC
Yan Xue, Hongxuan Lei, Yongming Li
2012 — conf
The Representation of Semiring-based Constraint Satisfaction Problems using fuzzy finite Automata.
QLSC
Yongming Li
2012 — conf
The Representation of the Universal fuzzy Automaton.
QLSC
Qian Wang, Yongming Li
2012 J jnl
The one-way unlocalizable quantum discord
CoRR
Zhengjun Xi, Heng Fan, Yongming Li
2011 J jnl
Finite automata theory with membership values in lattices.
Inf. Sci.
Yongming Li
2011 — conf
Generalized intuitionistic fuzzy soft sets and multiattribute decision making.
BMEI
Shengling Geng, Yongming Li, Feng Feng, Xin Wang
2011 J jnl
Measurement-induced nonlocality based on the relative entropy
CoRR
Zhengjun Xi, Xiaoguang Wang, Yongming Li
2011 J jnl
Necessary and sufficient condition for achieving the upper bound of quantum discord
CoRR
Zhengjun Xi, Xiao-Ming Lu, Xiaoguang Wang, Yongming Li
2010 J jnl
Application of level soft sets in decision making based on interval-valued fuzzy soft sets.
Comput. Math. Appl.
Feng Feng, Yongming Li, Violeta Leoreanu Fotea
2010 J jnl
Finite automata based on quantum logic and monadic second-order quantum logic.
Sci. China Inf. Sci.
Yongming Li
2010 J jnl
Riesz ideals in generalized pseudo effect algebras and in their unitizations.
Soft Comput.
Yongjian Xie, Yongming Li
2010 J jnl
The pasting constructions of lattice ordered effect algebras.
Inf. Sci.
Yongjian Xie, Yongming Li, Aili Yang
2009 J jnl
Approximation of fuzzy context-free grammars.
Inf. Sci.
Yongbing Wang, Yongming Li
2009 J jnl
Intuitionistic Fuzzy Linguistic Quantifiers Based on Intuitionistic Fuzzy-Valued Fuzzy Measures and integrals.
Int. J. Uncertain. Fuzziness Knowl. Based Syst.
Licong Cui, Yongming Li, Xiaohong Zhang
2009 J jnl
Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata.
Soft Comput.
Xiaowei Zhang, Yongming Li
2009 J jnl
Lattice-valued fuzzy Turing machines: Computing power, universality and efficiency.
Fuzzy Sets Syst.
Yongming Li
2009 B conf
Lattice-valued fuzzy turing machines and their computing power.
FUZZ-IEEE
Yongming Li
2008 J jnl
Algebraic properties on the cuts of lattice-valued regular languages.
Soft Comput.
Changjian Liang, Yongming Li
2008 J jnl
Approximation and robustness of fuzzy finite automata.
Int. J. Approx. Reason.
Yongming Li
2008 J jnl
Approximation and universality of fuzzy Turing machines.
Sci. China Ser. F Inf. Sci.
Yongming Li
2008 J jnl
Fuzzy Turing Machines: Variants and Universality.
IEEE Trans. Fuzzy Syst.
Yongming Li
2008 B conf
Fuzzy finite automata and fuzzy monadic second-order logic.
FUZZ-IEEE
Yongming Li
2008 J jnl
Linguistic quantifiers based on Choquet integrals.
Int. J. Approx. Reason.
Licong Cui, Yongming Li
2008 J jnl
Some algebraic properties of measure-once two-way quantum finite automata.
Quantum Inf. Process.
Zhengjun Xi, Xin Wang, Yongming Li
2008 J jnl
Sufficient and necessary conditions for Boolean fuzzy systems as universal approximators.
Inf. Sci.
Dechao Li, Zhong-ke Shi, Yongming Li
2008 J jnl
The relationship of controllability between classical and fuzzy discrete-event systems.
Inf. Sci.
Junping Liu, Yongming Li
2007 — conf
Approximation Property of Fuzzy Finite Automata.
AWIC
Yongming Li
2007 J jnl
Finite Automata Based on Quantum Logic and Their Determinization
CoRR
Yongming Li
2007 J jnl
Generalized Ideals and Supports in Pseudo Effect Algebras.
Soft Comput.
Yun Shang, Yongming Li
2007 J jnl
Minimization of lattice finite automata and its application to the decomposition of lattice languages.
Fuzzy Sets Syst.
Yongming Li, Witold Pedrycz
2007 J jnl
Minimization of states in automata theory based on finite lattice-ordered monoids.
Inf. Sci.
Hongxuan Lei, Yongming Li
2007 J jnl
Robustness of fuzzy reasoning via logically equivalence measure.
Inf. Sci.
Jianhua Jin, Yongming Li, Chunquan Li
2006 J jnl
A categorical approach to lattice-valued fuzzy automata.
Fuzzy Sets Syst.
Yongming Li
2006 J jnl
Algebraic properties of
Inf. Sci.
Ping Li, Yongming Li
2006 J jnl
On the complemented disk algebra.
J. Log. Algebraic Methods Program.
Sanjiang Li, Yongming Li
2006 J jnl
Regular grammars with truth values in lattice-ordered monoid and their languages.
Soft Comput.
Li Sheng, Yongming Li
2006 J jnl
The equivalence between fuzzy Mealy and fuzzy Moore machines.
Soft Comput.
Yongming Li, Witold Pedrycz
2006 J jnl
The relationships among several types of fuzzy automata.
Inf. Sci.
Zhihui Li, Ping Li, Yongming Li
2005 J jnl
An approach to measure the robustness of fuzzy reasoning.
Int. J. Intell. Syst.
Yongming Li, Dechao Li, Witold Pedrycz, Jingjie Wu
2005 — conf
Decomposition and Resolution of Fuzzy Relation Equations (II) Based on Boolean-Type Implications.
Australian Conference on Artificial Intelligence
Yanbin Luo, Chunjie Yang, Yongming Li, Daoying Pi
2005 J jnl
Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids.
Fuzzy Sets Syst.
Yongming Li, Witold Pedrycz
2005 — conf
New Algorithms of Neural Fuzzy Relation Systems with Min-implication Composition.
ICNC (3)
Yanbin Luo, Kannappan Palaniappan, Yongming Li
2005 J jnl
On countable RCC models.
Fundam. Informaticae
Sanjiang Li, Mingsheng Ying, Yongming Li
2005 J jnl
Relational reasoning in the region connection calculus
CoRR
Yongming Li, Sanjiang Li, Mingsheng Ying
2004 J jnl
A fuzzy sets theoretic approach to approximate spatial reasoning.
IEEE Trans. Fuzzy Syst.
Yongming Li, Sanjiang Li
2004 J jnl
Decomposition and resolution of min-implication fuzzy relation equations based on S-implications.
Fuzzy Sets Syst.
Yanbin Luo, Yongming Li