| 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 |
| Strong consistency of nearest neighbor estimator of density function for NSD sequences | 2020-08-12 | Paper |
| \(L\)-valued alternating tree automata | 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 Tsallis \(q\)-entropy | 2018-11-21 | Paper |
| Entropic cohering power in quantum operations | 2018-11-07 | Paper |
| Consistency of the kernel estimator of the density function for NSD sequence | 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 \(\alpha\)-relative entropy | 2017-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5277334 | 2017-07-14 | Paper |
| Exogenous quantum Markov chains and reachability analysis | 2017-07-14 | Paper |
| Temporal normal form for linear temporal logic formulae | 2017-05-19 | Paper |
| Lattice and metric completions of the classical logic metric space and a comparison | 2017-05-18 | Paper |
| Computation tree logic model checking based on possibility measures | 2017-05-18 | Paper |
| Model checking fuzzy computation tree logic | 2017-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2983949 | 2017-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2984655 | 2017-05-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2984653 | 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 |
| The asympotic properties of the sample quantile estimator of VaR under positive associated samples | 2016-10-06 | Paper |
| A central limit theorem for strong mixing sequence and its application in regression model | 2016-10-06 | Paper |
| Similarity degree via logic equivalence of fuzzy sets | 2016-10-06 | Paper |
| Monogamy of \(\alpha\)th power entanglement measurement in qubit systems | 2016-09-02 | Paper |
| Finite automata with membership values in lattices and monadic second-order lattice-valued logic | 2016-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2992569 | 2016-08-10 | Paper |
| Quantitative approach for linear temporal logic based on DTMC | 2016-08-10 | Paper |
| Pointwise strong consistency of recursive kernel estimator for probability density and failure rate function under WOD sequence | 2016-08-10 | Paper |
| Minimal-determinization of weighted automaton | 2016-08-10 | Paper |
| On a condition for semirings to induce compact information algebras. | 2016-05-03 | Paper |
| Pasting of lattice-ordered effect algebras | 2016-05-02 | Paper |
| The universal fuzzy automaton | 2016-04-28 | Paper |
| Approximate reasoning in quantitative logic | 2016-03-17 | Paper |
| Relations of some kinds of lattice-valued finite automata | 2016-03-15 | Paper |
| Congruences and homomorphisms of lattice-valued Mealy-type machines | 2016-03-15 | Paper |
| Decomposition and resolution of \(\theta\)-fuzzy relation equations | 2016-03-15 | Paper |
| A solution configuration and its algorithm of valuation algebras induced by a constraint semiring | 2016-01-15 | Paper |
| Fixed-point semantics of computation tree logic based on generalized possibility measures | 2016-01-15 | Paper |
| A domain-free information algebraic model and an algorithm based on soft set | 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 |
| Model checking of reachability problems based on generalized possibility measures | 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 |
| Uniformly asymptotic normality of quantile estimates for a kind of mixing random variable | 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 |
| Quantum Müller automata and monadic second-order quantum logic | 2014-11-03 | Paper |
| Soft subsets and soft product operations | 2014-08-01 | Paper |
| Finite automata with membership values in lattices and monadic second-order lattice-valued logic | 2014-06-30 | Paper |
| Some properties of computation tree logic under possibility measures | 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 |
| Fuzzy residual finite automata | 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 |
| Relationships between pseudo-weighted Mealy machines and pseudo-weighted Moore machines | 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 |
| Note about fixed points of Scott continuous self-mappings | 2012-01-27 | Paper |
| On homomorphism of valuation algebras. | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3113911 | 2012-01-27 | Paper |
| Relationships among several types of finite automata based on quantum logic | 2012-01-27 | Paper |
| The upper bound and continuity of quantum discord | 2011-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090193 | 2011-08-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090176 | 2011-08-28 | Paper |
| Pushdown automata and context-free grammars based on quantum logic | 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 |
| An algorithm of adaptive kernel-bandwidth for mean-shift based on boundary force | 2010-11-05 | Paper |
| A necessary and sufficient condition for left-continuity of interval-valued triangular norms | 2010-07-08 | Paper |
| Linguistic quantifiers based on Choquet integrals | 2010-03-18 | Paper |
| Approximation and robustness of fuzzy finite automata | 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 |
| On agreement of Isbell and Scott topologies on domain function spaces | 2009-11-11 | Paper |
| Intuitionistic fuzzy recognizers and intuitionistic fuzzy finite automata | 2009-09-18 | Paper |
| The \(n\)-valued logic system \(G_n\) based on a derived operator of the Gödel implication operator | 2009-07-22 | Paper |
| Construction of scale generalized effect algebras and scale effect algebras | 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 |
| On a restricted universal fuzzy Turing machine | 2008-06-03 | Paper |
| Generalization of the LexiT ordering method | 2007-10-23 | Paper |
| Robustness of fuzzy reasoning via logically equivalence measure | 2007-10-18 | Paper |
| Property of lattice-valued regular languages | 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/Q5698580 | 2005-10-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5698578 | 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/Q3154151 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778300 | 2002-11-14 | Paper |
| Top is a reflective and coreflective subcategory of fuzzy topological spaces | 2002-04-11 | Paper |
| Noncommutative linear logic and its quantale semantics | 2002-02-28 | Paper |
| Dual quantales and their properties | 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 |
