| Publication | Date of Publication | Type |
|---|
| Generalized possibility computation tree logic with frequency and its model checking | 2024-09-02 | Paper |
| Multiplicative consistency of hesitant-intuitionistic fuzzy preference relations and its multi-criteria decision-making method | 2024-07-02 | Paper |
| The standard symmetrized skew information and its applications | 2024-06-25 | Paper |
| Relative approximate bisimulations for fuzzy picture automata | 2024-06-21 | Paper |
| Quantifying correlations relative to channels via metric-adjusted skew information | 2024-04-25 | Paper |
| Imaginaring and deimaginaring power of quantum channels and the trade-off between imaginarity and entanglement | 2024-01-16 | Paper |
| Quantifying channel coherence via the norm distance | 2024-01-12 | Paper |
| Distillability for non-full-rank coherent states in the probabilistic framework | 2023-02-16 | Paper |
| Coherence-breaking superchannels | 2022-12-05 | Paper |
| An approach to construct entropies on interval-valued intuitionistic fuzzy sets by their distance functions | 2022-11-18 | Paper |
| Geometric block-coherence and quantum state discrimination | 2022-11-11 | Paper |
| Coherence weight of quantum channels | 2022-07-22 | Paper |
| On quotients of formal power series | 2022-06-08 | Paper |
| Distance measures on intuitionistic hesitant fuzzy set and its application in decision-making | 2021-09-10 | Paper |
| Sufficient Conditions of the Same State Order Induced by Coherence | 2021-01-12 | Paper |
| Computation tree logic model checking based on multi-valued possibility measures | 2020-11-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3306921 | 2020-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3307213 | 2020-08-12 | Paper |
| Fuzzy alternating automata over distributive lattices | 2020-07-16 | Paper |
| The relationships among several forms of weighted finite automata over strong bimonoids | 2020-02-07 | Paper |
| Model checking of linear-time properties in multi-valued systems | 2020-01-07 | Paper |
| Hierarchical Polygamy Inequality for Entanglement of Tsallisq-Entropy | 2018-11-21 | Paper |
| Entropic cohering power in quantum operations | 2018-11-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4690564 | 2018-10-22 | Paper |
| Multiparty quantum direct secret sharing of classical information with Bell states and Bell measurements | 2018-06-13 | Paper |
| Dynamics of Cohering and Decohering Power under Markovian Channels | 2018-03-13 | Paper |
| Quantitative model checking of linear-time properties based on generalized possibility measures | 2018-02-20 | Paper |
| On tree-preserving constraints | 2018-01-11 | Paper |
| The Tsallis relative 2-entropy of coherence for qubit system | 2017-12-19 | Paper |
| Fuzzy alternating Büchi automata over distributive lattices | 2017-11-17 | Paper |
| Ordering states with Tsallis relative \(\alpha \)-entropies of coherence | 2017-10-24 | Paper |
| Quantum Coherence Quantifiers Based on Rényi α -Relative Entropy | 2017-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277334 | 2017-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277422 | 2017-07-14 | Paper |
| Temporal normal form for Linear Temporal Logic formulae1 | 2017-05-19 | Paper |
| Computation tree logic model checking based on possibility measures | 2017-05-18 | Paper |
| Model checking fuzzy computation tree logic | 2017-05-18 | Paper |
| Lattice and metric completions of the classical logic metric space and a comparison1 | 2017-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2983949 | 2017-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2984653 | 2017-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2984655 | 2017-05-17 | Paper |
| On conditions for semirings to induce compact information algebras | 2017-04-04 | Paper |
| Nondeterministic fuzzy automata with membership values in complete residuated lattices | 2017-02-22 | Paper |
| Ideal access structures based on a class of minimal linear codes | 2017-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2824051 | 2016-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2824216 | 2016-10-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2824782 | 2016-10-06 | Paper |
| Monogamy of \(\alpha\)th power entanglement measurement in qubit systems | 2016-09-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992569 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992583 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992835 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2993083 | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2994260 | 2016-08-10 | Paper |
| On a condition for semirings to induce compact information algebras. | 2016-05-03 | Paper |
| The universal fuzzy automaton | 2016-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791150 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791319 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791565 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3462740 | 2016-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3463106 | 2016-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3461727 | 2016-01-15 | Paper |
| Model checking computation tree logic over finite lattices | 2015-12-15 | Paper |
| Robustness analysis of logic metrics on \(F(X)\) | 2015-11-17 | Paper |
| Exponentials in a Cartesian closed category which contains all algebraic domains | 2015-10-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3194065 | 2015-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5260158 | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5260751 | 2015-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5497793 | 2015-02-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5498161 | 2015-02-11 | Paper |
| Monogamy of Measurement-Induced Nonlocality Based on Relative Entropy | 2015-01-23 | Paper |
| On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras | 2014-12-12 | Paper |
| Lattice-valued simulations for quantitative transition systems | 2014-11-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2926855 | 2014-11-03 | Paper |
| Soft subsets and soft product operations | 2014-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4980236 | 2014-06-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5167649 | 2014-06-30 | Paper |
| Algebraic properties of \(L\)-fuzzy finite automata | 2014-04-16 | Paper |
| Commutativity of Quantum Weakest Liberal Precondition and Its Properties | 2014-02-28 | Paper |
| Quantum and classical correlations in quantum measurement | 2013-08-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4926922 | 2013-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4926934 | 2013-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925589 | 2013-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925608 | 2013-06-12 | Paper |
| A new order relation on fuzzy soft sets and its application | 2013-06-11 | Paper |
| Remark on the One-Way Quantum Deficit for General Two-Qubit States | 2013-06-10 | Paper |
| ON TWO TYPES OF CONTINUOUS INFORMATION ALGEBRAS | 2012-11-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2918223 | 2012-10-05 | Paper |
| Pairwise Quantum Correlations for Superpositions of Dicke States | 2012-09-26 | Paper |
| A new algorithm for testing diagnosability of fuzzy discrete event systems | 2012-06-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3109248 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3109313 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3113911 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3114013 | 2012-01-27 | Paper |
| The upper bound and continuity of quantum discord | 2011-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090176 | 2011-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090193 | 2011-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3014303 | 2011-07-19 | Paper |
| Homomorphisms, separable extensions, and Morita maps for weak module algebras. | 2011-05-19 | Paper |
| Finite automata theory with membership values in lattices | 2011-03-25 | Paper |
| Application of level soft sets in decision making based on interval-valued fuzzy soft sets | 2010-12-27 | Paper |
| Algorithm of Adaptive Kernel-Bandwidth for Mean-Shift Based on Boundary Force | 2010-11-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571848 | 2010-07-08 | Paper |
| Approximation and robustness of fuzzy finite automata | 2010-03-18 | Paper |
| Linguistic quantifiers based on Choquet integrals | 2010-03-18 | Paper |
| Approximation of fuzzy context-free grammars | 2010-01-28 | Paper |
| Lattice-valued fuzzy Turing machines: computing power, universality and efficiency | 2009-12-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3641840 | 2009-11-11 | Paper |
| Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata | 2009-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5318478 | 2009-07-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5319538 | 2009-07-22 | Paper |
| Weakly regular quantum grammars and asynchronous quantum automata | 2009-04-21 | Paper |
| Some algebraic properties of measure-once two-way quantum finite automata | 2009-03-27 | Paper |
| The relationship of controllability between classical and fuzzy discrete-event systems | 2008-11-20 | Paper |
| Approximation and universality of fuzzy Turing machines | 2008-11-10 | Paper |
| Algebraic properties on the cuts of lattice-valued regular languages | 2008-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3501145 | 2008-06-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5423353 | 2007-10-23 | Paper |
| Robustness of fuzzy reasoning via logically equivalence measure | 2007-10-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3591171 | 2007-09-10 | Paper |
| Minimization of states in automata theory based on finite lattice-ordered monoids | 2007-02-20 | Paper |
| AI 2005: Advances in Artificial Intelligence | 2006-11-14 | Paper |
| Algebraic properties of \(LA\)-languages | 2006-10-19 | Paper |
| The relationships among several types of fuzzy automata | 2006-08-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5472862 | 2006-06-19 | Paper |
| A categorical approach to lattice-valued fuzzy automata | 2006-06-09 | Paper |
| On the complemented disk algebra | 2006-03-16 | Paper |
| Regular grammars with truth values in lattice-ordered monoid and their languages | 2006-03-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698578 | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698580 | 2005-10-27 | Paper |
| Constructions of some quantum structures and fuzzy effect space | 2005-03-15 | Paper |
| Anti-\(BZ\)-structure in effect algebras | 2005-01-19 | Paper |
| Decomposition and resolution of min-implication fuzzy relation equations based on S-implications | 2005-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4809448 | 2004-08-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4464227 | 2004-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4459739 | 2004-05-18 | Paper |
| Generalized ideals in orthoalgebras | 2004-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4434322 | 2003-11-06 | Paper |
| Constructive insertion theorems and extension theorems on extremally disconnected frames | 2003-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778300 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3154151 | 2002-11-14 | Paper |
| Top is a reflective and coreflective subcategory of fuzzy topological spaces | 2002-04-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2774267 | 2002-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2748250 | 2002-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264788 | 1999-10-07 | Paper |
| Generalized \((S,I)\)-complete free completely distributive lattices generated by posets | 1999-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4388296 | 1998-09-14 | Paper |
| Weak locale quotient morphisms and locally connected frames | 1996-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4306359 | 1995-02-01 | Paper |
