Yi-Xiang Chen

From MaRDI portal
Person:330998

Available identifiers

zbMath Open chen.yixiangMaRDI QIDQ330998

List of research outcomes

PublicationDate of PublicationType
On divergence-sensitive weak probabilistic bisimilarity2023-05-19Paper
https://portal.mardi4nfdi.de/entity/Q50649612022-03-17Paper
Vortex and multipole coupled solitons in the spatially modulated cubic-quintic-septimal nonlinear material2020-10-01Paper
https://portal.mardi4nfdi.de/entity/Q51126162020-06-02Paper
Excitation control for three-dimensional Peregrine solution and combined breather of a partially nonlocal variable-coefficient nonlinear Schrödinger equation2020-03-25Paper
Excitation manipulation of three-dimensional completely localized rogue waves in a partially nonlocal and inhomogeneous nonlinear medium2020-02-18Paper
Timed-pNets: a communication behavioural semantic model for distributed systems2018-12-19Paper
A new dcpo whose Scott topology is well-filtered but not sober2018-12-17Paper
Bisimulations for fuzzy transition systems revisited2018-06-27Paper
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems2018-02-21Paper
Spatiotemporal soliton structures in \((3+1)\)-dimensional \(\mathcal{PT}\)-symmetric nonlinear couplers with gain and loss2016-10-26Paper
https://portal.mardi4nfdi.de/entity/Q29942262016-08-10Paper
A Duality Theorem for Quantitative Semantics2016-08-01Paper
Coalgebras for fuzzy transition systems2016-05-03Paper
https://portal.mardi4nfdi.de/entity/Q27910612016-03-15Paper
https://portal.mardi4nfdi.de/entity/Q27912922016-03-15Paper
Stable 2D localized modes in anisotropic media with harmonic and \(\mathcal{PT}\)-symmetric potentials2016-01-26Paper
(2+1)-Dimensional Spatial Localized Modes in Cubic-Quintic Nonlinear Media with the -Symmetric Potentials*2015-08-26Paper
Simulation for lattice-valued doubly labeled transition systems2015-07-10Paper
Quantitative Analysis of Lattice-valued Kripke Structures2015-06-26Paper
A Proof System in PADS2013-10-04Paper
The Semantics of wlp and slp of Fuzzy Imperative Programming Languages2013-07-10Paper
Two-thirds simulation indexes and modal logic characterization2013-07-04Paper
https://portal.mardi4nfdi.de/entity/Q49269262013-06-20Paper
https://portal.mardi4nfdi.de/entity/Q49254982013-06-12Paper
Spatiotemporal Similaritons in (3+1)-Dimensional Inhomogeneous Nonlinear Medium with Cubic-Quintic Nonlinearity2013-06-07Paper
Spatiotemporal similariton interactions in a linear potential2013-04-18Paper
Multi-random Relation and Its Applications2012-12-14Paper
Semantics of non-deterministic possibility computation2012-11-22Paper
https://portal.mardi4nfdi.de/entity/Q31097722012-01-27Paper
https://portal.mardi4nfdi.de/entity/Q31694542011-09-29Paper
https://portal.mardi4nfdi.de/entity/Q30901982011-08-28Paper
Domain semantics of possibility computations2009-10-30Paper
Maximality and totality of stable functions in the category of stable bifinite domains2008-03-11Paper
A logical approach to stable domains2007-01-22Paper
https://portal.mardi4nfdi.de/entity/Q31540152002-11-14Paper
https://portal.mardi4nfdi.de/entity/Q27317542002-06-06Paper
Domains via graphs2002-02-28Paper
https://portal.mardi4nfdi.de/entity/Q27052242001-07-03Paper
https://portal.mardi4nfdi.de/entity/Q42449961999-10-19Paper
https://portal.mardi4nfdi.de/entity/Q42648781999-10-07Paper
https://portal.mardi4nfdi.de/entity/Q42310121999-09-15Paper
https://portal.mardi4nfdi.de/entity/Q42487241999-06-10Paper
On compactness of induced \(I(L)\)-fuzzy topological spaces1999-05-18Paper
https://portal.mardi4nfdi.de/entity/Q43921011999-02-09Paper
Convergence in topological molecular lattices1999-01-19Paper
Stone duality and representation of stable domain1998-03-09Paper
https://portal.mardi4nfdi.de/entity/Q31249521997-06-22Paper
Paracompactness on \(L\)-fuzzy topological spaces1994-01-27Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Yi-Xiang Chen