The following pages link to Yi-Xiang Chen (Q330998):
Displayed 50 items.
- Item:Q330998 (redirect page) (← links)
- Coalgebras for fuzzy transition systems (Q276401) (← links)
- Spatiotemporal soliton structures in \((3+1)\)-dimensional \(\mathcal{PT}\)-symmetric nonlinear couplers with gain and loss (Q331001) (← links)
- Two-thirds simulation indexes and modal logic characterization (Q352098) (← links)
- A logical approach to stable domains (Q859843) (← links)
- Stable 2D localized modes in anisotropic media with harmonic and \(\mathcal{PT}\)-symmetric potentials (Q907693) (← links)
- Domain semantics of possibility computations (Q1031684) (← links)
- Convergence in topological molecular lattices (Q1267488) (← links)
- On compactness of induced \(I(L)\)-fuzzy topological spaces (Q1277860) (← links)
- Paracompactness on \(L\)-fuzzy topological spaces (Q1311847) (← links)
- Stone duality and representation of stable domain (Q1368465) (← links)
- A new dcpo whose Scott topology is well-filtered but not sober (Q1632746) (← links)
- Timed-pNets: a communication behavioural semantic model for distributed systems (Q1633067) (← links)
- Bisimulations for fuzzy transition systems revisited (Q1648774) (← links)
- Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems (Q1697986) (← links)
- Semantics of non-deterministic possibility computation (Q1759727) (← links)
- Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material (Q2202985) (← links)
- Excitation manipulation of three-dimensional completely localized rogue waves in a partially nonlocal and inhomogeneous nonlinear medium (Q2296952) (← links)
- Excitation control for three-dimensional Peregrine solution and combined breather of a partially nonlocal variable-coefficient nonlinear Schrödinger equation (Q2308128) (← links)
- Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
- Maximality and totality of stable functions in the category of stable bifinite domains (Q2475889) (← links)
- (Q2705224) (← links)
- (Q2731754) (← links)
- (Q2791061) (← links)
- (Q2791292) (← links)
- The Semantics of wlp and slp of Fuzzy Imperative Programming Languages (Q2838684) (← links)
- A Proof System in PADS (Q2851921) (← links)
- (2+1)-Dimensional Spatial Localized Modes in Cubic-Quintic Nonlinear Media with the -Symmetric Potentials* (Q2942093) (← links)
- (Q2994226) (← links)
- A Duality Theorem for Quantitative Semantics (Q2994481) (← links)
- (Q3090198) (← links)
- (Q3109772) (← links)
- (Q3124952) (← links)
- Multi-random Relation and Its Applications (Q3145810) (← links)
- (Q3154015) (← links)
- (Q3169454) (← links)
- (Q4231012) (← links)
- (Q4244996) (← links)
- (Q4248724) (← links)
- (Q4264878) (← links)
- (Q4392101) (← links)
- Spatiotemporal similariton interactions in a linear potential (Q4914157) (← links)
- Spatiotemporal Similaritons in (3+1)-Dimensional Inhomogeneous Nonlinear Medium with Cubic-Quintic Nonlinearity (Q4924574) (← links)
- (Q4925498) (← links)
- (Q4926926) (← links)
- (Q5064961) (← links)
- (Q5112616) (← links)
- Quantitative Analysis of Lattice-valued Kripke Structures (Q5259293) (← links)
- Domains via graphs (Q5956841) (← links)
- On divergence-sensitive weak probabilistic bisimilarity (Q6040671) (← links)