| Publication | Date of Publication | Type |
|---|
| On divergence-sensitive weak probabilistic bisimilarity | 2023-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5064961 | 2022-03-17 | Paper |
| Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material | 2020-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5112616 | 2020-06-02 | Paper |
| Excitation control for three-dimensional Peregrine solution and combined breather of a partially nonlocal variable-coefficient nonlinear Schrödinger equation | 2020-03-25 | Paper |
| Excitation manipulation of three-dimensional completely localized rogue waves in a partially nonlocal and inhomogeneous nonlinear medium | 2020-02-18 | Paper |
| Timed-pNets: a communication behavioural semantic model for distributed systems | 2018-12-19 | Paper |
| A new dcpo whose Scott topology is well-filtered but not sober | 2018-12-17 | Paper |
| Bisimulations for fuzzy transition systems revisited | 2018-06-27 | Paper |
| Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems | 2018-02-21 | Paper |
| Spatiotemporal soliton structures in \((3+1)\)-dimensional \(\mathcal{PT}\)-symmetric nonlinear couplers with gain and loss | 2016-10-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2994226 | 2016-08-10 | Paper |
| A Duality Theorem for Quantitative Semantics | 2016-08-01 | Paper |
| Coalgebras for fuzzy transition systems | 2016-05-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791061 | 2016-03-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2791292 | 2016-03-15 | Paper |
| Stable 2D localized modes in anisotropic media with harmonic and \(\mathcal{PT}\)-symmetric potentials | 2016-01-26 | Paper |
| (2+1)-Dimensional Spatial Localized Modes in Cubic-Quintic Nonlinear Media with the -Symmetric Potentials* | 2015-08-26 | Paper |
| Simulation for lattice-valued doubly labeled transition systems | 2015-07-10 | Paper |
| Quantitative Analysis of Lattice-valued Kripke Structures | 2015-06-26 | Paper |
| A Proof System in PADS | 2013-10-04 | Paper |
| The Semantics of wlp and slp of Fuzzy Imperative Programming Languages | 2013-07-10 | Paper |
| Two-thirds simulation indexes and modal logic characterization | 2013-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4926926 | 2013-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4925498 | 2013-06-12 | Paper |
| Spatiotemporal Similaritons in (3+1)-Dimensional Inhomogeneous Nonlinear Medium with Cubic-Quintic Nonlinearity | 2013-06-07 | Paper |
| Spatiotemporal similariton interactions in a linear potential | 2013-04-18 | Paper |
| Multi-random Relation and Its Applications | 2012-12-14 | Paper |
| Semantics of non-deterministic possibility computation | 2012-11-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3109772 | 2012-01-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3169454 | 2011-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3090198 | 2011-08-28 | Paper |
| Domain semantics of possibility computations | 2009-10-30 | Paper |
| Maximality and totality of stable functions in the category of stable bifinite domains | 2008-03-11 | Paper |
| A logical approach to stable domains | 2007-01-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3154015 | 2002-11-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2731754 | 2002-06-06 | Paper |
| Domains via graphs | 2002-02-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2705224 | 2001-07-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4244996 | 1999-10-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264878 | 1999-10-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4231012 | 1999-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4248724 | 1999-06-10 | Paper |
| On compactness of induced \(I(L)\)-fuzzy topological spaces | 1999-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4392101 | 1999-02-09 | Paper |
| Convergence in topological molecular lattices | 1999-01-19 | Paper |
| Stone duality and representation of stable domain | 1998-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3124952 | 1997-06-22 | Paper |
| Paracompactness on \(L\)-fuzzy topological spaces | 1994-01-27 | Paper |
