Edit Profile Deng, Yuxin Compute Distance To: Compute Author ID: 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 all top 5 Co-Authors 2 single-authored 7 Hennessy, Matthew C. B. 7 van Glabbeek, Robert Jan 5 Morgan, Carroll C. 4 Feng, Yuan 4 Palamidessi, Catuscia 4 Sangiorgi, Davide 3 Du, Wenjie 3 Pang, Jun 2 Cervesato, Iliano 2 Simmons, Robert jun. 2 Wu, Hengyang 2 Zhang, Chenyi 2 Zhang, Yu 1 Bliudze, Simon 1 Bu, Tianming 1 Cai, Xiaojuan 1 Chen, Yixiang 1 Dal Lago, Ugo 1 Deng, Xiaojie 1 Fu, Yuxi 1 Gebler, Daniel E. 1 Hennessy, Matthew G. 1 Hou, Zechen 1 Li, Yanan 1 Liu, Jing 1 Luo, Zhengqin 1 Madelaine, Eric 1 Morgan, Carroll 1 Qin, Xudong 1 Song, Lei 1 Tiu, Alwen Fernanto 1 Xu, Ming 1 Yang, Wei-Zhong 1 Ying, Mingsheng 1 Zhang, Min 1 Zhong, Farong all top 5 Serials 4 Theoretical Computer Science 4 Information and Computation 2 Fuzzy Sets and Systems 2 Journal of Shanghai Jiaotong University (Science) 1 Acta Informatica 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Shanghai Jiaotong University (English Edition) 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Software 1 ACM Transactions on Computational Logic 1 Logical Methods in Computer Science Fields 41 Computer science (68-XX) 6 Mathematical logic and foundations (03-XX) 3 Quantum theory (81-XX) 2 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications 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.68035Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C. 29 2008 Unbounded norm convergence in Banach lattices. Zbl 1407.46016Deng, Y.; O’Brien, M.; Troitsky, V. G. 22 2017 Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll 18 2009 Logical characterizations of simulation and bisimulation for fuzzy transition systems. Zbl 1378.68121Wu, Hengyang; Deng, Yuxin 11 2016 Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun 11 2005 On the semantics of Markov automata. Zbl 1286.68362Deng, Yuxin; Hennessy, Matthew 10 2013 Characterising probabilistic processes logically (extended abstract). Zbl 1306.68122Deng, Yuxin; van Glabbeek, Rob 9 2010 Remarks on testing probabilistic processes. Zbl 1277.68121Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi 9 2007 Open bisimulation for quantum processes. Zbl 1362.68210Deng, Yuxin; Feng, Yuan 7 2012 Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi 7 2007 Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081Deng, Yuxin; Palamidessi, Catuscia 7 2007 Ensuring termination by typability. Zbl 1110.68084Deng, Yuxin; Sangiorgi, Davide 7 2006 On the semantics of Markov automata. Zbl 1333.68162Deng, Yuxin; Hennessy, Matthew 6 2011 Axiomatizations for probabilistic finite-state behaviors. Zbl 1119.68125Deng, Yuxin; Palamidessi, Catuscia 6 2005 Probabilistic barbed congruence. Zbl 1279.68255Deng, Yuxin; Du, Wenjie 5 2007 Weak probabilistic anonymity. Zbl 1277.68027Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun 5 2007 A new vector valued similarity measure for intuitionistic fuzzy sets based on OWA operators. Zbl 1429.03167Fei, L.; Wang, H.; Chen, L.; Deng, Y. 3 2019 Symbolic bisimulation for quantum processes. Zbl 1291.68237Feng, Yuan; Deng, Yuxin; Ying, Mingsheng 3 2014 Towards an algebraic theory of typed mobile processes. Zbl 1086.68090Deng, Yuxin; Sangiorgi, Davide 3 2006 Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Zbl 1380.68302Wu, Hengyang; Chen, Yixiang; Bu, Tianming; Deng, Yuxin 2 2018 Semantics of probabilistic processes. An operational approach. Zbl 1315.68002Deng, Yuxin 2 2014 Real-reward testing for probabilistic processes. Zbl 1359.68218Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll 2 2014 Ensuring termination by typability. Zbl 1088.68661Deng, Yuxin; Sangiorgi, Davide 2 2004 Algorithm for verifying strong open bisimulation in full \(\Pi\)-calculus. Zbl 1007.68135Deng, Yuxin; Fu, Yuxi 2 2001 Behavioural pseudometrics for nondeterministic probabilistic systems. Zbl 1393.68114Du, 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.81057Deng, Y. X.; Yan, X. H.; Xiao, Y.; Tang, N. S. 1 2010 Finite axiomatization for symbolic probabilistic \(\pi \)-calculus. Zbl 1202.68267Song, Lei; Deng, Yu-Xin 1 2009 A simple completeness proof for the axiomatisations of weak behavioural equivalences. Zbl 1169.68539Deng, Yuxin 1 2007 Analyzing an electronic cash protocol using applied pi calculus. Zbl 1214.68154Luo, 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.03167Fei, L.; Wang, H.; Chen, L.; Deng, Y. 3 2019 Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Zbl 1380.68302Wu, Hengyang; Chen, Yixiang; Bu, Tianming; Deng, Yuxin 2 2018 Unbounded norm convergence in Banach lattices. Zbl 1407.46016Deng, Y.; O’Brien, M.; Troitsky, V. G. 22 2017 Logical characterizations of simulation and bisimulation for fuzzy transition systems. Zbl 1378.68121Wu, Hengyang; Deng, Yuxin 11 2016 Behavioural pseudometrics for nondeterministic probabilistic systems. Zbl 1393.68114Du, Wenjie; Deng, Yuxin; Gebler, Daniel 1 2016 Symbolic bisimulation for quantum processes. Zbl 1291.68237Feng, Yuan; Deng, Yuxin; Ying, Mingsheng 3 2014 Semantics of probabilistic processes. An operational approach. Zbl 1315.68002Deng, Yuxin 2 2014 Real-reward testing for probabilistic processes. Zbl 1359.68218Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll 2 2014 On the semantics of Markov automata. Zbl 1286.68362Deng, Yuxin; Hennessy, Matthew 10 2013 Open bisimulation for quantum processes. Zbl 1362.68210Deng, Yuxin; Feng, Yuan 7 2012 On the semantics of Markov automata. Zbl 1333.68162Deng, Yuxin; Hennessy, Matthew 6 2011 Characterising probabilistic processes logically (extended abstract). Zbl 1306.68122Deng, 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.81057Deng, Y. X.; Yan, X. H.; Xiao, Y.; Tang, N. S. 1 2010 Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll 18 2009 Finite axiomatization for symbolic probabilistic \(\pi \)-calculus. Zbl 1202.68267Song, Lei; Deng, Yu-Xin 1 2009 Characterising testing preorders for finite probabilistic processes. Zbl 1161.68035Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C. 29 2008 Remarks on testing probabilistic processes. Zbl 1277.68121Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi 9 2007 Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi 7 2007 Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081Deng, Yuxin; Palamidessi, Catuscia 7 2007 Probabilistic barbed congruence. Zbl 1279.68255Deng, Yuxin; Du, Wenjie 5 2007 Weak probabilistic anonymity. Zbl 1277.68027Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun 5 2007 A simple completeness proof for the axiomatisations of weak behavioural equivalences. Zbl 1169.68539Deng, Yuxin 1 2007 Analyzing an electronic cash protocol using applied pi calculus. Zbl 1214.68154Luo, Zhengqin; Cai, Xiaojuan; Pang, Jun; Deng, Yuxin 1 2007 Ensuring termination by typability. Zbl 1110.68084Deng, Yuxin; Sangiorgi, Davide 7 2006 Towards an algebraic theory of typed mobile processes. Zbl 1086.68090Deng, Yuxin; Sangiorgi, Davide 3 2006 Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun 11 2005 Axiomatizations for probabilistic finite-state behaviors. Zbl 1119.68125Deng, Yuxin; Palamidessi, Catuscia 6 2005 Ensuring termination by typability. Zbl 1088.68661Deng, Yuxin; Sangiorgi, Davide 2 2004 Algorithm for verifying strong open bisimulation in full \(\Pi\)-calculus. Zbl 1007.68135Deng, Yuxin; Fu, Yuxi 2 2001 all cited Publications top 5 cited Publications 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 all top 5 Cited in 37 Serials 15 Theoretical Computer Science 14 Information and Computation 8 Formal Aspects of Computing 8 Positivity 6 Logical Methods in Computer Science 5 International Journal of Theoretical Physics 5 Journal of Logical and Algebraic Methods in Programming 4 Acta Informatica 3 Journal of Mathematical Analysis and Applications 3 Fuzzy Sets and Systems 3 Information Sciences 3 International Journal of Approximate Reasoning 2 Journal of Computer and System Sciences 2 MSCS. Mathematical Structures in Computer Science 2 Mathematical Problems in Engineering 2 The Journal of Logic and Algebraic Programming 2 Vladikavkazskiĭ Matematicheskiĭ Zhurnal 2 ACM Transactions on Computational Logic 2 Journal of Shanghai Jiaotong University (Science) 1 Information Processing Letters 1 Archiv der Mathematik 1 Journal of the Korean Mathematical Society 1 Matematički Vesnik 1 Proceedings of the American Mathematical Society 1 Acta Mathematica Hungarica 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 Siberian Advances in Mathematics 1 Indagationes Mathematicae. New Series 1 Turkish Journal of Mathematics 1 Soft Computing 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Iranian Journal of Fuzzy Systems 1 Applications and Applied Mathematics 1 Communications in Theoretical Physics 1 Afrika Matematika 1 Journal of Mathematics all top 5 Cited in 15 Fields 106 Computer science (68-XX) 21 Functional analysis (46-XX) 20 Mathematical logic and foundations (03-XX) 6 Quantum theory (81-XX) 5 Operator theory (47-XX) 5 General topology (54-XX) 4 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Category theory; homological algebra (18-XX) 3 Probability theory and stochastic processes (60-XX) 3 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Several complex variables and analytic spaces (32-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) Citations by Year