×

zbMATH — the first resource for mathematics

Deng, Yuxin

Compute Distance To:
Author ID: deng.yuxin Recent zbMATH articles by "Deng, Yuxin"
Published as: Deng, Y.; Deng, Y. X.; Deng, Yu-Xin; Deng, Yu-xin; Deng, Yuxin
Documents Indexed: 49 Publications since 2001, including 1 Book

Publications by Year

Citations contained in zbMATH Open

29 Publications have been cited 193 times in 134 Documents Cited by Year
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
29
2008
Unbounded norm convergence in Banach lattices. Zbl 1407.46016
Deng, Y.; O’Brien, M.; Troitsky, V. G.
22
2017
Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
18
2009
Logical characterizations of simulation and bisimulation for fuzzy transition systems. Zbl 1378.68121
Wu, Hengyang; Deng, Yuxin
11
2016
Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
11
2005
On the semantics of Markov automata. Zbl 1286.68362
Deng, Yuxin; Hennessy, Matthew
10
2013
Characterising probabilistic processes logically (extended abstract). Zbl 1306.68122
Deng, Yuxin; van Glabbeek, Rob
9
2010
Remarks on testing probabilistic processes. Zbl 1277.68121
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi
9
2007
Open bisimulation for quantum processes. Zbl 1362.68210
Deng, Yuxin; Feng, Yuan
7
2012
Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148
Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi
7
2007
Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081
Deng, Yuxin; Palamidessi, Catuscia
7
2007
Ensuring termination by typability. Zbl 1110.68084
Deng, Yuxin; Sangiorgi, Davide
7
2006
On the semantics of Markov automata. Zbl 1333.68162
Deng, Yuxin; Hennessy, Matthew
6
2011
Axiomatizations for probabilistic finite-state behaviors. Zbl 1119.68125
Deng, Yuxin; Palamidessi, Catuscia
6
2005
Probabilistic barbed congruence. Zbl 1279.68255
Deng, Yuxin; Du, Wenjie
5
2007
Weak probabilistic anonymity. Zbl 1277.68027
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
5
2007
A new vector valued similarity measure for intuitionistic fuzzy sets based on OWA operators. Zbl 1429.03167
Fei, L.; Wang, H.; Chen, L.; Deng, Y.
3
2019
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
3
2014
Towards an algebraic theory of typed mobile processes. Zbl 1086.68090
Deng, Yuxin; Sangiorgi, Davide
3
2006
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Zbl 1380.68302
Wu, Hengyang; Chen, Yixiang; Bu, Tianming; Deng, Yuxin
2
2018
Semantics of probabilistic processes. An operational approach. Zbl 1315.68002
Deng, Yuxin
2
2014
Real-reward testing for probabilistic processes. Zbl 1359.68218
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
2
2014
Ensuring termination by typability. Zbl 1088.68661
Deng, Yuxin; Sangiorgi, Davide
2
2004
Algorithm for verifying strong open bisimulation in full \(\Pi\)-calculus. Zbl 1007.68135
Deng, Yuxin; Fu, Yuxi
2
2001
Behavioural pseudometrics for nondeterministic probabilistic systems. Zbl 1393.68114
Du, Wenjie; Deng, Yuxin; Gebler, Daniel
1
2016
The circulating current in an Aharonov-Bohm ring with a quantum dot: role of transport current and phonons. Zbl 1248.81057
Deng, Y. X.; Yan, X. H.; Xiao, Y.; Tang, N. S.
1
2010
Finite axiomatization for symbolic probabilistic \(\pi \)-calculus. Zbl 1202.68267
Song, Lei; Deng, Yu-Xin
1
2009
A simple completeness proof for the axiomatisations of weak behavioural equivalences. Zbl 1169.68539
Deng, Yuxin
1
2007
Analyzing an electronic cash protocol using applied pi calculus. Zbl 1214.68154
Luo, Zhengqin; Cai, Xiaojuan; Pang, Jun; Deng, Yuxin
1
2007
A new vector valued similarity measure for intuitionistic fuzzy sets based on OWA operators. Zbl 1429.03167
Fei, L.; Wang, H.; Chen, L.; Deng, Y.
3
2019
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Zbl 1380.68302
Wu, Hengyang; Chen, Yixiang; Bu, Tianming; Deng, Yuxin
2
2018
Unbounded norm convergence in Banach lattices. Zbl 1407.46016
Deng, Y.; O’Brien, M.; Troitsky, V. G.
22
2017
Logical characterizations of simulation and bisimulation for fuzzy transition systems. Zbl 1378.68121
Wu, Hengyang; Deng, Yuxin
11
2016
Behavioural pseudometrics for nondeterministic probabilistic systems. Zbl 1393.68114
Du, Wenjie; Deng, Yuxin; Gebler, Daniel
1
2016
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
3
2014
Semantics of probabilistic processes. An operational approach. Zbl 1315.68002
Deng, Yuxin
2
2014
Real-reward testing for probabilistic processes. Zbl 1359.68218
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
2
2014
On the semantics of Markov automata. Zbl 1286.68362
Deng, Yuxin; Hennessy, Matthew
10
2013
Open bisimulation for quantum processes. Zbl 1362.68210
Deng, Yuxin; Feng, Yuan
7
2012
On the semantics of Markov automata. Zbl 1333.68162
Deng, Yuxin; Hennessy, Matthew
6
2011
Characterising probabilistic processes logically (extended abstract). Zbl 1306.68122
Deng, Yuxin; van Glabbeek, Rob
9
2010
The circulating current in an Aharonov-Bohm ring with a quantum dot: role of transport current and phonons. Zbl 1248.81057
Deng, Y. X.; Yan, X. H.; Xiao, Y.; Tang, N. S.
1
2010
Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
18
2009
Finite axiomatization for symbolic probabilistic \(\pi \)-calculus. Zbl 1202.68267
Song, Lei; Deng, Yu-Xin
1
2009
Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035
Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C.
29
2008
Remarks on testing probabilistic processes. Zbl 1277.68121
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi
9
2007
Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148
Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi
7
2007
Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081
Deng, Yuxin; Palamidessi, Catuscia
7
2007
Probabilistic barbed congruence. Zbl 1279.68255
Deng, Yuxin; Du, Wenjie
5
2007
Weak probabilistic anonymity. Zbl 1277.68027
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
5
2007
A simple completeness proof for the axiomatisations of weak behavioural equivalences. Zbl 1169.68539
Deng, Yuxin
1
2007
Analyzing an electronic cash protocol using applied pi calculus. Zbl 1214.68154
Luo, Zhengqin; Cai, Xiaojuan; Pang, Jun; Deng, Yuxin
1
2007
Ensuring termination by typability. Zbl 1110.68084
Deng, Yuxin; Sangiorgi, Davide
7
2006
Towards an algebraic theory of typed mobile processes. Zbl 1086.68090
Deng, Yuxin; Sangiorgi, Davide
3
2006
Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
11
2005
Axiomatizations for probabilistic finite-state behaviors. Zbl 1119.68125
Deng, Yuxin; Palamidessi, Catuscia
6
2005
Ensuring termination by typability. Zbl 1088.68661
Deng, Yuxin; Sangiorgi, Davide
2
2004
Algorithm for verifying strong open bisimulation in full \(\Pi\)-calculus. Zbl 1007.68135
Deng, Yuxin; Fu, Yuxi
2
2001
all top 5

Cited by 192 Authors

16 Deng, Yuxin
12 Tini, Simone
8 Emel’yanov, Èduard Yur’evich
6 Erkurşun Özcan, Nazife
6 Hirschkoff, Daniel
6 Marabeh, Mohammed A. A.
5 Castiglioni, Valentina
5 Hennessy, Matthew C. B.
5 van Glabbeek, Robert Jan
5 Zhang, Lijun
4 Gebler, Daniel E.
4 Hermanns, Holger
4 Kandić, Marko
4 Lanotte, Ruggero
4 Loreti, Michele
4 Palamidessi, Catuscia
4 Sangiorgi, Davide
4 Silva, Alexandra
3 Andova, Suzana
3 Aydin, Abdullah
3 Bernardo, Marco
3 Bonchi, Filippo
3 Cao, Yongzhi
3 Chatzikokolakis, Konstantinos
3 Dabboorasad, Yousef Atef Mohammed
3 De Nicola, Rocco
3 Georgievska, Sonja
3 Gezer, Niyazi Anıl
3 Larsen, Kim Guldstrand
3 Li, Yongming
3 Ma, Yanfang
3 Merro, Massimo
3 Morgan, Carroll C.
3 Sokolova, Ana
3 Turrini, Andrea
3 Zabeti, Omid
2 Bonsangue, Marcello Maria
2 Boreale, Michele
2 Chen, Yixiang
2 Crafa, Silvia
2 Dai, Guiping
2 Demangeon, Romain
2 Eisentraut, Christian
2 Feng, Yuan
2 Gorokhova, Svetlana G.
2 Jansen, David N.
2 Madeira, Alexandre
2 Madelaine, Eric
2 Madiot, Jean-Marie
2 Martins, Manuel António
2 Ranzato, Francesco
2 Rutten, Jan J. M. M.
2 Schuster, Johann Christoph
2 Song, Lei
2 Stanimirović, Stefan
2 Stoelinga, Mariëlle
2 Taylor, Mitchell A.
2 Troitskij, V. G.
2 Wang, Hanpin
2 Wang, Yong
2 Wu, Hengyang
2 Zhang, Min
1 Acciai, Lucia
1 Bacci, Giorgio
1 Bacci, Giovanni
1 Baier, Christel
1 Benevides, Mario R. F.
1 Bisping, Benjamin
1 Bliudze, Simon
1 Bravetti, Mario
1 Bu, Tianming
1 Caires, Luís
1 Calabuig, José Manuel
1 Camacho, Carlos J.
1 Cervesato, Iliano
1 Chen, Liang
1 Chen, Taolue
1 Chen, Weien
1 Chen, Yong
1 Chen, Zili
1 Chi, Feng
1 Chothia, Tom
1 Ćirić, Miroslav D.
1 Cristescu, Ioana Domnina
1 D’Argenio, Pedro Rubén
1 Delahaye, Benoît
1 D’Osualdo, Emanuele
1 Du, Wenjie
1 Du, Yibin
1 Durier, Adrien
1 Ésik, Zoltán
1 Farahani, Hadi
1 Fearnley, John
1 Fernández-Unzueta, Maite
1 Fischer, Nick
1 Fu, Yuxi
1 Galaz-Fontes, Fernando
1 Gao, Niushan
1 Geng, Shengling
1 Gerhold, Marcus
...and 92 more Authors

Citations by Year