Edit Profile (opens in new tab) Deng, Yuxin Compute Distance To: Compute Author ID: deng.yuxin Published as: Deng, Yuxin; Deng, Yu-xin; Deng, Yu-Xin more...less Documents Indexed: 55 Publications since 2001, including 1 Book Co-Authors: 36 Co-Authors with 43 Joint Publications 1,423 Co-Co-Authors all top 5 Co-Authors 3 single-authored 7 Hennessy, Matthew C. B. 7 van Glabbeek, Robert Jan 6 Morgan, Carroll C. 5 Du, Wenjie 5 Feng, Yuan 4 Palamidessi, Catuscia 4 Sangiorgi, Davide 3 Pang, Jun 3 Xu, Ming 2 Cervesato, Iliano 2 Qin, Xudong 2 Simmons, Robert jun. 2 Wu, Hengyang 2 Zhang, Chenyi 2 Zhang, Yu 1 Bezold, Alexander 1 Bliudze, Simon 1 Broeckmann, Christoph 1 Bu, Tianming 1 Cai, Xiaojuan 1 Chen, Yixiang 1 Curry, D. R. 1 Dal Lago, Ugo 1 Deng, Xiaojie 1 Fu, Jianling 1 Fu, Yuxi 1 Gebler, Daniel E. 1 Hennessy, Matthew G. 1 Hou, Zechen 1 Li, Yanan 1 Luo, Zhengqin 1 Madelaine, Eric 1 Mei, Jingyi 1 Nguyen, Chuong Van 1 Song, Lei 1 Tang, Niansheng 1 Tiu, Alwen Fernanto 1 Troitsky, Vladimir G. 1 Wu, Hua 1 Yang, Wei-Zhong 1 Ying, Mingsheng 1 Zhong, Farong all top 5 Serials 6 Theoretical Computer Science 4 Information and Computation 2 International Journal of Theoretical Physics 2 Fuzzy Sets and Systems 2 Journal of Shanghai Jiaotong University (Science) 1 Acta Informatica 1 Computer Methods in Applied Mechanics and Engineering 1 Physics Letters. A 1 Acta Mathematica Hungarica 1 Formal Aspects of Computing 1 MSCS. Mathematical Structures in Computer Science 1 Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences 1 Journal of Shanghai Jiaotong University (English Edition) 1 Positivity 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 Journal of Software 1 ACM Transactions on Computational Logic 1 Iranian Journal of Fuzzy Systems 1 Logical Methods in Computer Science all top 5 Fields 48 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 9 Quantum theory (81-XX) 2 Functional analysis (46-XX) 2 Mechanics of deformable solids (74-XX) 2 Information and communication theory, circuits (94-XX) 1 Partial differential equations (35-XX) 1 Harmonic analysis on Euclidean spaces (42-XX) 1 Operator theory (47-XX) 1 Probability theory and stochastic processes (60-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications 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.68035Deng, Yuxin; van Glabbeek, Robert J.; Hennessy, Matthew; Morgan, Carroll C. 32 2008 Unbounded norm convergence in Banach lattices. Zbl 1407.46016Deng, Y.; O’Brien, M.; Troitsky, V. G. 29 2017 Testing finitary probabilistic processes (extended abstract). Zbl 1254.68166Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll 20 2009 On the semantics of Markov automata. Zbl 1286.68362Deng, Yuxin; Hennessy, Matthew 15 2013 Logical characterizations of simulation and bisimulation for fuzzy transition systems. Zbl 1378.68121Wu, Hengyang; Deng, Yuxin 14 2016 Compositional reasoning for probabilistic finite-state behaviors. Zbl 1171.68570Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun 11 2005 Characterising probabilistic processes logically (extended abstract). Zbl 1306.68122Deng, Yuxin; van Glabbeek, Rob 10 2010 Open bisimulation for quantum processes. Zbl 1362.68210Deng, Yuxin; Feng, Yuan 10 2012 Remarks on testing probabilistic processes. Zbl 1277.68121Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi 9 2007 Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081Deng, Yuxin; Palamidessi, Catuscia 8 2007 Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi 8 2007 Ensuring termination by typability. Zbl 1110.68084Deng, Yuxin; Sangiorgi, Davide 7 2006 Axiomatizations for probabilistic finite-state behaviors. Zbl 1119.68125Deng, Yuxin; Palamidessi, Catuscia 6 2005 On the semantics of Markov automata. Zbl 1333.68162Deng, Yuxin; Hennessy, Matthew 6 2011 Probabilistic barbed congruence. Zbl 1279.68255Deng, Yuxin; Du, Wenjie 5 2007 Weak probabilistic anonymity. Zbl 1277.68027Deng, Yuxin; Palamidessi, Catuscia; Pang, Jun 5 2007 Semantics of probabilistic processes. An operational approach. Zbl 1315.68002Deng, Yuxin 4 2014 A new vector valued similarity measure for intuitionistic fuzzy sets based on OWA operators. Zbl 1429.03167Fei, L.; Wang, H.; Chen, L.; Deng, Y. 4 2019 Symbolic bisimulation for quantum processes. Zbl 1291.68237Feng, Yuan; Deng, Yuxin; Ying, Mingsheng 4 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 3 2018 Behavioural pseudometrics for nondeterministic probabilistic systems. Zbl 1393.68114Du, Wenjie; Deng, Yuxin; Gebler, Daniel 3 2016 Algorithm for verifying strong open bisimulation in full \(\Pi\)-calculus. Zbl 1007.68135Deng, Yuxin; Fu, Yuxi 2 2001 On coinduction and quantum lambda calculi. Zbl 1374.68097Deng, Yuxin; Feng, Yuan; Dal Lago, Ugo 2 2015 Ensuring termination by typability. Zbl 1088.68661Deng, Yuxin; Sangiorgi, Davide 2 2004 Relating reasoning methodologies in linear logic and process algebra. Zbl 1361.68166Deng, Yuxin; Simmons, Robert J.; Cervesato, Iliano 1 2016 Real-reward testing for probabilistic processes. Zbl 1359.68218Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll 1 2014 Probabilistic bisimilarity as testing equivalence. Zbl 1380.68293Deng, Yuxin; Feng, Yuan 1 2017 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 Maximal and generalized fractional integral operators in grand Morrey martingale spaces. Zbl 1438.60054Deng, 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.81057Deng, Y. X.; Yan, X. H.; Xiao, Y.; Tang, N. S. 1 2010 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. 4 2019 Maximal and generalized fractional integral operators in grand Morrey martingale spaces. Zbl 1438.60054Deng, Y.; Li, L. 1 2019 Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. Zbl 1380.68302Wu, Hengyang; Chen, Yixiang; Bu, Tianming; Deng, Yuxin 3 2018 Unbounded norm convergence in Banach lattices. Zbl 1407.46016Deng, Y.; O’Brien, M.; Troitsky, V. G. 29 2017 Probabilistic bisimilarity as testing equivalence. Zbl 1380.68293Deng, Yuxin; Feng, Yuan 1 2017 Logical characterizations of simulation and bisimulation for fuzzy transition systems. Zbl 1378.68121Wu, Hengyang; Deng, Yuxin 14 2016 Behavioural pseudometrics for nondeterministic probabilistic systems. Zbl 1393.68114Du, Wenjie; Deng, Yuxin; Gebler, Daniel 3 2016 Relating reasoning methodologies in linear logic and process algebra. Zbl 1361.68166Deng, Yuxin; Simmons, Robert J.; Cervesato, Iliano 1 2016 On coinduction and quantum lambda calculi. Zbl 1374.68097Deng, Yuxin; Feng, Yuan; Dal Lago, Ugo 2 2015 Semantics of probabilistic processes. An operational approach. Zbl 1315.68002Deng, Yuxin 4 2014 Symbolic bisimulation for quantum processes. Zbl 1291.68237Feng, Yuan; Deng, Yuxin; Ying, Mingsheng 4 2014 Real-reward testing for probabilistic processes. Zbl 1359.68218Deng, Yuxin; van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll 1 2014 On the semantics of Markov automata. Zbl 1286.68362Deng, Yuxin; Hennessy, Matthew 15 2013 Open bisimulation for quantum processes. Zbl 1362.68210Deng, Yuxin; Feng, Yuan 10 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 10 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 20 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. 32 2008 Remarks on testing probabilistic processes. Zbl 1277.68121Deng, Yuxin; Van Glabbeek, Rob; Hennessy, Matthew; Morgan, Carroll; Zhang, Chenyi 9 2007 Axiomatizations for probabilistic finite-state behaviors. Zbl 1111.68081Deng, Yuxin; Palamidessi, Catuscia 8 2007 Scalar outcomes suffice for finitary probabilistic testing. Zbl 1187.68148Deng, Yuxin; van Glabbeek, Rob; Morgan, Carroll; Zhang, Chenyi 8 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 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 all top 5 Cited in 24 Serials 17 Theoretical Computer Science 15 Information and Computation 8 Formal Aspects of Computing 8 Logical Methods in Computer Science 5 International Journal of Theoretical Physics 5 International Journal of Approximate Reasoning 5 Journal of Logical and Algebraic Methods in Programming 4 Acta Informatica 3 Fuzzy Sets and Systems 3 Information Sciences 2 Journal of Computer and System Sciences 2 MSCS. Mathematical Structures in Computer Science 2 The Journal of Logic and Algebraic Programming 2 ACM Transactions on Computational Logic 2 Journal of Shanghai Jiaotong University (Science) 1 Information Processing Letters 1 Journal of Symbolic Computation 1 Journal of Computer Science and Technology 1 Filomat 1 Mathematical Problems in Engineering 1 Soft Computing 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 Fundamenta Informaticae 1 Afrika Matematika all top 5 Cited in 13 Fields 121 Computer science (68-XX) 22 Mathematical logic and foundations (03-XX) 9 Quantum theory (81-XX) 5 Category theory; homological algebra (18-XX) 3 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Systems theory; control (93-XX) Citations by Year