×
Compute Distance To:
Author ID: deng.yuxin Recent zbMATH articles by "Deng, Yuxin"
Published as: Deng, Yuxin; Deng, Yu-xin; Deng, Yu-Xin
Documents Indexed: 55 Publications since 2001, including 1 Book
Co-Authors: 36 Co-Authors with 43 Joint Publications
1,423 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 230 times in 127 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.
32
2008
Unbounded norm convergence in Banach lattices. Zbl 1407.46016
Deng, Y.; O’Brien, M.; Troitsky, V. G.
29
2017
Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
20
2009
On the semantics of Markov automata. Zbl 1286.68362
Deng, Yuxin; Hennessy, Matthew
15
2013
Logical characterizations of simulation and bisimulation for fuzzy transition systems. Zbl 1378.68121
Wu, Hengyang; Deng, Yuxin
14
2016
Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570
Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun
11
2005
Characterising probabilistic processes logically (extended abstract). Zbl 1306.68122
Deng, Yuxin; van Glabbeek, Rob
10
2010
Open bisimulation for quantum processes. Zbl 1362.68210
Deng, Yuxin; Feng, Yuan
10
2012
Remarks on testing probabilistic processes. Zbl 1277.68121
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi
9
2007
Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081
Deng, Yuxin; Palamidessi, Catuscia
8
2007
Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148
Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi
8
2007
Ensuring termination by typability. Zbl 1110.68084
Deng, Yuxin; Sangiorgi, Davide
7
2006
Axiomatizations for probabilistic finite-state behaviors. Zbl 1119.68125
Deng, Yuxin; Palamidessi, Catuscia
6
2005
On the semantics of Markov automata. Zbl 1333.68162
Deng, Yuxin; Hennessy, Matthew
6
2011
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
Semantics of probabilistic processes. An operational approach. Zbl 1315.68002
Deng, Yuxin
4
2014
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.
4
2019
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
4
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
3
2018
Behavioural pseudometrics for nondeterministic probabilistic systems. Zbl 1393.68114
Du, Wenjie; Deng, Yuxin; Gebler, Daniel
3
2016
Algorithm for verifying strong open bisimulation in full \(\Pi\)-calculus. Zbl 1007.68135
Deng, Yuxin; Fu, Yuxi
2
2001
On coinduction and quantum lambda calculi. Zbl 1374.68097
Deng, Yuxin; Feng, Yuan; Dal Lago, Ugo
2
2015
Ensuring termination by typability. Zbl 1088.68661
Deng, Yuxin; Sangiorgi, Davide
2
2004
Relating reasoning methodologies in linear logic and process algebra. Zbl 1361.68166
Deng, Yuxin; Simmons, Robert J.; Cervesato, Iliano
1
2016
Real-reward testing for probabilistic processes. Zbl 1359.68218
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
1
2014
Probabilistic bisimilarity as testing equivalence. Zbl 1380.68293
Deng, Yuxin; Feng, Yuan
1
2017
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
Maximal and generalized fractional integral operators in grand Morrey martingale spaces. Zbl 1438.60054
Deng, Y.; Li, L.
1
2019
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
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.
4
2019
Maximal and generalized fractional integral operators in grand Morrey martingale spaces. Zbl 1438.60054
Deng, Y.; Li, L.
1
2019
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Zbl 1380.68302
Wu, Hengyang; Chen, Yixiang; Bu, Tianming; Deng, Yuxin
3
2018
Unbounded norm convergence in Banach lattices. Zbl 1407.46016
Deng, Y.; O’Brien, M.; Troitsky, V. G.
29
2017
Probabilistic bisimilarity as testing equivalence. Zbl 1380.68293
Deng, Yuxin; Feng, Yuan
1
2017
Logical characterizations of simulation and bisimulation for fuzzy transition systems. Zbl 1378.68121
Wu, Hengyang; Deng, Yuxin
14
2016
Behavioural pseudometrics for nondeterministic probabilistic systems. Zbl 1393.68114
Du, Wenjie; Deng, Yuxin; Gebler, Daniel
3
2016
Relating reasoning methodologies in linear logic and process algebra. Zbl 1361.68166
Deng, Yuxin; Simmons, Robert J.; Cervesato, Iliano
1
2016
On coinduction and quantum lambda calculi. Zbl 1374.68097
Deng, Yuxin; Feng, Yuan; Dal Lago, Ugo
2
2015
Semantics of probabilistic processes. An operational approach. Zbl 1315.68002
Deng, Yuxin
4
2014
Symbolic bisimulation for quantum processes. Zbl 1291.68237
Feng, Yuan; Deng, Yuxin; Ying, Mingsheng
4
2014
Real-reward testing for probabilistic processes. Zbl 1359.68218
Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll
1
2014
On the semantics of Markov automata. Zbl 1286.68362
Deng, Yuxin; Hennessy, Matthew
15
2013
Open bisimulation for quantum processes. Zbl 1362.68210
Deng, Yuxin; Feng, Yuan
10
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
10
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
20
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.
32
2008
Remarks on testing probabilistic processes. Zbl 1277.68121
Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi
9
2007
Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081
Deng, Yuxin; Palamidessi, Catuscia
8
2007
Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148
Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi
8
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 169 Authors

18 Deng, Yuxin
13 Tini, Simone
6 Castiglioni, Valentina
6 Hirschkoff, Daniel
5 Hennessy, Matthew C. B.
5 Lanotte, Ruggero
5 Silva, Alexandra
5 van Glabbeek, Robert Jan
5 Zhang, Lijun
4 Bernardo, Marco
4 Bonchi, Filippo
4 Gebler, Daniel E.
4 Hermanns, Holger
4 Larsen, Kim Guldstrand
4 Loreti, Michele
4 Merro, Massimo
4 Palamidessi, Catuscia
4 Sangiorgi, Davide
4 Sokolova, Ana
3 Andova, Suzana
3 Cao, Yongzhi
3 Chatzikokolakis, Konstantinos
3 De Nicola, Rocco
3 Georgievska, Sonja
3 Ma, Yanfang
3 Morgan, Carroll C.
3 Stanimirović, Stefan
3 Turrini, Andrea
2 Bacci, Giorgio
2 Bacci, Giovanni
2 Bonsangue, Marcello Maria
2 Boreale, Michele
2 Chen, Yixiang
2 Ćirić, Miroslav D.
2 Crafa, Silvia
2 Dai, Guiping
2 Demangeon, Romain
2 Du, Wenjie
2 Eisentraut, Christian
2 Feng, Yuan
2 Hillston, Jane
2 Jansen, David N.
2 Katoen, Joost-Pieter
2 Li, Yongming
2 Madeira, Alexandre
2 Madelaine, Eric
2 Madiot, Jean-Marie
2 Mardare, Radu
2 Martins, Manuel António
2 Pfenning, Frank
2 Piazza, Carla
2 Qin, Xudong
2 Ranzato, Francesco
2 Rossi, Sabina
2 Rutten, Jan J. M. M.
2 Schuster, Johann Christoph
2 Song, Lei
2 Stoelinga, Mariëlle
2 Toninho, Bernardo
2 Wang, Hanpin
2 Wu, Hengyang
2 Zhu, Ping
1 Acciai, Lucia
1 Adámek, Jiří
1 Baier, Christel
1 Balzer, Stephanie
1 Benevides, Mario R. F.
1 Bisping, Benjamin
1 Bliudze, Simon
1 Bowler, Nathan
1 Bravetti, Mario
1 Bu, Tianming
1 Caires, Luís
1 Camacho, Carlos J.
1 Cervesato, Iliano
1 Chen, Liang
1 Chen, Taolue
1 Chen, Weien
1 Chothia, Tom
1 Cristescu, Ioana Domnina
1 Dal Lago, Ugo
1 D’Argenio, Pedro Rubén
1 Delahaye, Benoît
1 D’Osualdo, Emanuele
1 Du, Yibin
1 Durier, Adrien
1 Ésik, Zoltán
1 Farahani, Hadi
1 Fearnley, John
1 Fischer, Nick
1 Fu, Yuxi
1 Gavazzo, Francesco
1 Geng, Shengling
1 Gerhold, Marcus
1 Gibbons, Jeremy
1 Godskesen, Jens Chr.
1 Han, Tingting
1 Hashemi, Vahid
1 Hayes, Ian J.
1 Henrio, Ludovic
...and 69 more Authors

Citations by Year