| Publication | Date of Publication | Type |
|---|
On divergence-sensitive weak probabilistic bisimilarity
Information and Computation | 2023-05-19 | Paper |
| scientific article; zbMATH DE number 7491763 (Why is no real title available?) | 2022-03-17 | Paper |
Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material
Computers & Mathematics with Applications | 2020-10-01 | Paper |
| Topologies generated by families of sets and strong poset models | 2020-06-02 | Paper |
Excitation control for three-dimensional Peregrine solution and combined breather of a partially nonlocal variable-coefficient nonlinear Schrödinger equation
Nonlinear Dynamics | 2020-03-25 | Paper |
Excitation manipulation of three-dimensional completely localized rogue waves in a partially nonlocal and inhomogeneous nonlinear medium
Nonlinear Dynamics | 2020-02-18 | Paper |
Timed-pNets: a communication behavioural semantic model for distributed systems
Frontiers of Computer Science | 2018-12-19 | Paper |
A new dcpo whose Scott topology is well-filtered but not sober
Topology and its Applications | 2018-12-17 | Paper |
Bisimulations for fuzzy transition systems revisited
International Journal of Approximate Reasoning | 2018-06-27 | Paper |
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
Fuzzy Sets and Systems | 2018-02-21 | Paper |
Spatiotemporal soliton structures in \((3+1)\)-dimensional \(\mathcal{PT}\)-symmetric nonlinear couplers with gain and loss
Nonlinear Dynamics | 2016-10-26 | Paper |
| Fuzzy semantics of programming languages | 2016-08-10 | Paper |
A duality theorem for quantitative semantics
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
| Coalgebras for fuzzy transition systems | 2016-05-03 | Paper |
Functions in domain theory
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
Two kinds of reasoning with credibility
Fuzzy Systems and Mathematics | 2016-03-15 | Paper |
Stable 2D localized modes in anisotropic media with harmonic and \(\mathcal{PT}\)-symmetric potentials
Communications in Nonlinear Science and Numerical Simulation | 2016-01-26 | Paper |
(2+1)-Dimensional Spatial Localized Modes in Cubic-Quintic Nonlinear Media with the -Symmetric Potentials*
Communications in Theoretical Physics | 2015-08-26 | Paper |
Simulation for lattice-valued doubly labeled transition systems
International Journal of Approximate Reasoning | 2015-07-10 | Paper |
Quantitative analysis of lattice-valued Kripke structures
Fundamenta Informaticae | 2015-06-26 | Paper |
A proof system in PADS
Theoretical Aspects of Computing – ICTAC 2013 | 2013-10-04 | Paper |
The semantics of \(wlp\) and \(slp\) of fuzzy imperative programming languages
Advances in Intelligent and Soft Computing | 2013-07-10 | Paper |
Two-thirds simulation indexes and modal logic characterization
Frontiers of Computer Science in China | 2013-07-04 | Paper |
| Doubly labeled transition systems based on complete residuated lattices | 2013-06-20 | Paper |
| scientific article; zbMATH DE number 6174528 (Why is no real title available?) | 2013-06-12 | Paper |
Spatiotemporal similaritons in \((3+1)\)-dimensional inhomogeneous nonlinear medium with cubic-quintic nonlinearity
Communications in Theoretical Physics | 2013-06-07 | Paper |
Spatiotemporal similariton interactions in a linear potential
Physica Scripta | 2013-04-18 | Paper |
Multi-random relation and its applications
Quantitative Logic and Soft Computing 2010 | 2012-12-14 | Paper |
Semantics of non-deterministic possibility computation
Fuzzy Sets and Systems | 2012-11-22 | Paper |
| scientific article; zbMATH DE number 6002376 (Why is no real title available?) | 2012-01-27 | Paper |
| Interval type-2 fuzzy relation and its application | 2011-09-29 | Paper |
| Fuzzy concept study based on the \(R_0\)-operator | 2011-08-28 | Paper |
Domain semantics of possibility computations
Information Sciences | 2009-10-30 | Paper |
Maximality and totality of stable functions in the category of stable bifinite domains
Computers & Mathematics with Applications | 2008-03-11 | Paper |
A logical approach to stable domains
Theoretical Computer Science | 2007-01-22 | Paper |
| scientific article; zbMATH DE number 1829243 (Why is no real title available?) | 2002-11-14 | Paper |
Fuzzy membership and topological system
The Journal of Fuzzy Mathematics | 2002-06-06 | Paper |
Domains via graphs
Journal of Computer Science and Technology | 2002-02-28 | Paper |
A note of regularity on completely distributive lattices
Chinese Quarterly Journal of Mathematics | 2001-07-03 | Paper |
| scientific article; zbMATH DE number 1296793 (Why is no real title available?) | 1999-10-19 | Paper |
| scientific article; zbMATH DE number 1348879 (Why is no real title available?) | 1999-10-07 | Paper |
| scientific article; zbMATH DE number 1251542 (Why is no real title available?) | 1999-09-15 | Paper |
| scientific article; zbMATH DE number 1300183 (Why is no real title available?) | 1999-06-10 | Paper |
On compactness of induced \(I(L)\)-fuzzy topological spaces
Fuzzy Sets and Systems | 1999-05-18 | Paper |
| scientific article; zbMATH DE number 1159734 (Why is no real title available?) | 1999-02-09 | Paper |
Convergence in topological molecular lattices
Fuzzy Sets and Systems | 1999-01-19 | Paper |
Stone duality and representation of stable domain
Computers & Mathematics with Applications | 1998-03-09 | Paper |
| scientific article; zbMATH DE number 991630 (Why is no real title available?) | 1997-06-22 | Paper |
Paracompactness on \(L\)-fuzzy topological spaces
Fuzzy Sets and Systems | 1994-01-27 | Paper |
