A logical approach to stable domains. Zbl 1105.03026
Chen, Yi-Xiang; Jung, Achim |
|
2006
|
Simulation for lattice-valued doubly labeled transition systems. Zbl 1316.68063
Pan, Haiyu; Cao, Yongzhi; Zhang, Min; Chen, Yixiang |
|
2014
|
Bisimulations for fuzzy transition systems revisited. Zbl 1451.68195
Wu, Hengyang; Chen, Taolue; Han, Tingting; Chen, Yixiang |
|
2018
|
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Zbl 1380.68302
Wu, Hengyang; Chen, Yixiang; Bu, Tianming; Deng, Yuxin |
|
2018
|
Stone duality and representation of stable domain. Zbl 0883.06008
Chen, Yixiang |
|
1997
|
Paracompactness on \(L\)-fuzzy topological spaces. Zbl 0785.54006
Chen, Yixiang |
|
1993
|
Excitation control for three-dimensional Peregrine solution and combined breather of a partially nonlocal variable-coefficient nonlinear Schrödinger equation. Zbl 1432.35183
Chen, Yi-Xiang; Xu, Fang-Qian; Hu, Yi-Liang |
|
2019
|
Convergence in topological molecular lattices. Zbl 0904.06006
Chen, Yixiang |
|
1996
|
Quantitative analysis of lattice-valued Kripke structures. Zbl 1354.03028
Pan, Haiyu; Zhang, Min; Wu, Hengyang; Chen, Yixiang |
|
2014
|
Stable 2D localized modes in anisotropic media with harmonic and \(\mathcal{PT}\)-symmetric potentials. Zbl 1341.78016
Chen, Yi-Xiang |
|
2015
|
On compactness of induced \(I(L)\)-fuzzy topological spaces. Zbl 0912.54006
Chen, Yixiang |
|
1997
|
Domain semantics of possibility computations. Zbl 1185.68403
Chen, Yixiang; Wu, Hengyang |
|
2008
|
Cartesian closedness of category stable functions and locally algebraic lattices. Zbl 0905.06005
Chen, Yixiang |
|
1997
|
A new dcpo whose Scott topology is well-filtered but not sober. Zbl 1507.06010
Zhao, Dongsheng; Xi, Xiaoyong; Chen, Yixiang |
|
2019
|
Spatiotemporal soliton structures in \((3+1)\)-dimensional \(\mathcal{PT}\)-symmetric nonlinear couplers with gain and loss. Zbl 1348.35229
Chen, Yi-Xiang; Xu, Fang-Qian; Jiang, Yan-Bing |
|
2015
|
Coalgebras for fuzzy transition systems. Zbl 1337.68194
Wu, Hengyang; Chen, Yixiang |
|
2014
|
Excitation manipulation of three-dimensional completely localized rogue waves in a partially nonlocal and inhomogeneous nonlinear medium. Zbl 1430.74072
Chen, Yi-Xiang |
|
2019
|
Maximality and totality of stable functions in the category of stable bifinite domains. Zbl 1134.06005
Chen, Yixiang; Zhang, Guo-Qiang |
|
2006
|
\((2+1)\)-dimensional spatial localized modes in cubic-quintic nonlinear media with the \(\mathcal{PT}\)-symmetric potentials. Zbl 1319.35235
Chen, Yi-Xiang; Xu, Zhou-Xiang; Jiang, Yun-Feng; Shi, Jin; Xu, Fang-Qian |
|
2015
|
Response ability of fuzzy systems based on the triple I method. Zbl 1240.68389
Pan, Haiyu; Pei, Daowu; Chen, Yixiang |
|
2011
|
Topologies generated by families of sets and strong poset models. Zbl 1481.54028
Zhao, Dongsheng; Xi, Xiaoyong; Chen, Yixiang |
|
2020
|
Spatiotemporal similaritons in \((3+1)\)-dimensional inhomogeneous nonlinear medium with cubic-quintic nonlinearity. Zbl 1264.78032
Chen, Yi-Xiang; Lu, Xuan-Hui |
|
2011
|
Timed-pNets: a communication behavioural semantic model for distributed systems. Zbl 1403.68138
Chen, Yanwen; Chen, Yixiang; Madelaine, Eric |
|
2015
|
Spatiotemporal similariton interactions in a linear potential. Zbl 1264.78031
Chen, Yi-Xiang; Lu, Xuan-Hui |
|
2012
|
Two-thirds simulation indexes and modal logic characterization. Zbl 1267.68157
Ma, Yanfang; Zhang, Min; Chen, Yixiang; Chen, Liang |
|
2011
|
The semantics of \(wlp\) and \(slp\) of fuzzy imperative programming languages. Zbl 1267.68092
Wu, Hengyang; Chen, Yixiang |
|
2011
|
Extreme disconnectedness and \(S\)-closedness of topological molecular lattice. Zbl 0864.54032
Chen, Yixiang |
|
1996
|
Semantics of non-deterministic possibility computation. Zbl 1253.68217
Wu, Hengyang; Chen, Yixiang |
|
2012
|
Topologies generated by families of sets and strong poset models. Zbl 1481.54028
Zhao, Dongsheng; Xi, Xiaoyong; Chen, Yixiang |
|
2020
|
Excitation control for three-dimensional Peregrine solution and combined breather of a partially nonlocal variable-coefficient nonlinear Schrödinger equation. Zbl 1432.35183
Chen, Yi-Xiang; Xu, Fang-Qian; Hu, Yi-Liang |
|
2019
|
A new dcpo whose Scott topology is well-filtered but not sober. Zbl 1507.06010
Zhao, Dongsheng; Xi, Xiaoyong; Chen, Yixiang |
|
2019
|
Excitation manipulation of three-dimensional completely localized rogue waves in a partially nonlocal and inhomogeneous nonlinear medium. Zbl 1430.74072
Chen, Yi-Xiang |
|
2019
|
Bisimulations for fuzzy transition systems revisited. Zbl 1451.68195
Wu, Hengyang; Chen, Taolue; Han, Tingting; Chen, Yixiang |
|
2018
|
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Zbl 1380.68302
Wu, Hengyang; Chen, Yixiang; Bu, Tianming; Deng, Yuxin |
|
2018
|
Stable 2D localized modes in anisotropic media with harmonic and \(\mathcal{PT}\)-symmetric potentials. Zbl 1341.78016
Chen, Yi-Xiang |
|
2015
|
Spatiotemporal soliton structures in \((3+1)\)-dimensional \(\mathcal{PT}\)-symmetric nonlinear couplers with gain and loss. Zbl 1348.35229
Chen, Yi-Xiang; Xu, Fang-Qian; Jiang, Yan-Bing |
|
2015
|
\((2+1)\)-dimensional spatial localized modes in cubic-quintic nonlinear media with the \(\mathcal{PT}\)-symmetric potentials. Zbl 1319.35235
Chen, Yi-Xiang; Xu, Zhou-Xiang; Jiang, Yun-Feng; Shi, Jin; Xu, Fang-Qian |
|
2015
|
Timed-pNets: a communication behavioural semantic model for distributed systems. Zbl 1403.68138
Chen, Yanwen; Chen, Yixiang; Madelaine, Eric |
|
2015
|
Simulation for lattice-valued doubly labeled transition systems. Zbl 1316.68063
Pan, Haiyu; Cao, Yongzhi; Zhang, Min; Chen, Yixiang |
|
2014
|
Quantitative analysis of lattice-valued Kripke structures. Zbl 1354.03028
Pan, Haiyu; Zhang, Min; Wu, Hengyang; Chen, Yixiang |
|
2014
|
Coalgebras for fuzzy transition systems. Zbl 1337.68194
Wu, Hengyang; Chen, Yixiang |
|
2014
|
Spatiotemporal similariton interactions in a linear potential. Zbl 1264.78031
Chen, Yi-Xiang; Lu, Xuan-Hui |
|
2012
|
Semantics of non-deterministic possibility computation. Zbl 1253.68217
Wu, Hengyang; Chen, Yixiang |
|
2012
|
Response ability of fuzzy systems based on the triple I method. Zbl 1240.68389
Pan, Haiyu; Pei, Daowu; Chen, Yixiang |
|
2011
|
Spatiotemporal similaritons in \((3+1)\)-dimensional inhomogeneous nonlinear medium with cubic-quintic nonlinearity. Zbl 1264.78032
Chen, Yi-Xiang; Lu, Xuan-Hui |
|
2011
|
Two-thirds simulation indexes and modal logic characterization. Zbl 1267.68157
Ma, Yanfang; Zhang, Min; Chen, Yixiang; Chen, Liang |
|
2011
|
The semantics of \(wlp\) and \(slp\) of fuzzy imperative programming languages. Zbl 1267.68092
Wu, Hengyang; Chen, Yixiang |
|
2011
|
Domain semantics of possibility computations. Zbl 1185.68403
Chen, Yixiang; Wu, Hengyang |
|
2008
|
A logical approach to stable domains. Zbl 1105.03026
Chen, Yi-Xiang; Jung, Achim |
|
2006
|
Maximality and totality of stable functions in the category of stable bifinite domains. Zbl 1134.06005
Chen, Yixiang; Zhang, Guo-Qiang |
|
2006
|
Stone duality and representation of stable domain. Zbl 0883.06008
Chen, Yixiang |
|
1997
|
On compactness of induced \(I(L)\)-fuzzy topological spaces. Zbl 0912.54006
Chen, Yixiang |
|
1997
|
Cartesian closedness of category stable functions and locally algebraic lattices. Zbl 0905.06005
Chen, Yixiang |
|
1997
|
Convergence in topological molecular lattices. Zbl 0904.06006
Chen, Yixiang |
|
1996
|
Extreme disconnectedness and \(S\)-closedness of topological molecular lattice. Zbl 0864.54032
Chen, Yixiang |
|
1996
|
Paracompactness on \(L\)-fuzzy topological spaces. Zbl 0785.54006
Chen, Yixiang |
|
1993
|