Yuxin Deng

2008
20	EE	Xin Chen, Yuxin Deng: Game Characterizations of Process Equivalences. APLAS 2008: 107-121
19	EE	Jun Pang, Zhengqin Luo, Yuxin Deng: On Automatic Verification of Self-Stabilizing Population Protocols. TASE 2008: 185-192
18	EE	Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes CoRR abs/0810.3708: (2008)
17	EE	Jun Pang, Zhengqin Luo, Yuxin Deng: On automatic verification of self-stabilizing population protocols. Frontiers of Computer Science in China 2(4): 357-367 (2008)
2007
16	EE	Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng: Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS 2007: 87-103
15	EE	Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang: Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP 2007: 363-378
14	EE	Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Characterising Testing Preorders for Finite Probabilistic Processes. LICS 2007: 313-325
13	EE	Lin Song, Yuxin Deng, Xiaojuan Cai: Towards Automatic Measurement of Probabilistic Processes. QSIC 2007: 50-59
12	EE	Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Remarks on Testing Probabilistic Processes. Electr. Notes Theor. Comput. Sci. 172: 359-397 (2007)
11	EE	Yuxin Deng, Catuscia Palamidessi, Jun Pang: Weak Probabilistic Anonymity. Electr. Notes Theor. Comput. Sci. 180(1): 55-76 (2007)
10	EE	Yuxin Deng, Wenjie Du: Probabilistic Barbed Congruence. Electr. Notes Theor. Comput. Sci. 190(3): 185-203 (2007)
9	EE	Yuxin Deng, Catuscia Palamidessi: Axiomatizations for probabilistic finite-state behaviors. Theor. Comput. Sci. 373(1-2): 92-114 (2007)
2006
8	EE	Yuxin Deng, Jun Pang, Peng Wu: Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79
7	EE	Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang: Metrics for Action-labelled Quantitative Transition Systems. Electr. Notes Theor. Comput. Sci. 153(2): 79-96 (2006)
6	EE	Yuxin Deng, Davide Sangiorgi: Ensuring termination by typability. Inf. Comput. 204(7): 1045-1082 (2006)
5	EE	Yuxin Deng, Davide Sangiorgi: Towards an algebraic theory of typed mobile processes. Theor. Comput. Sci. 350(2-3): 188-212 (2006)
2005
4	EE	Yuxin Deng, Catuscia Palamidessi: Axiomatizations for Probabilistic Finite-State Behaviors. FoSSaCS 2005: 110-124
3	EE	Yuxin Deng, Catuscia Palamidessi, Jun Pang: Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles 2005: 309-337
2004
2	EE	Yuxin Deng, Davide Sangiorgi: Towards an Algebraic Theory of Typed Mobile Processes. ICALP 2004: 445-456
1		Yuxin Deng, Davide Sangiorgi: Ensuring Termination by Typability. IFIP TCS 2004: 619-632

Coauthor Index

1	Xiaojuan Cai	[13] [16]
2	Xin Chen	[20]
3	Tom Chothia	[7]
4	Wenjie Du	[10]
5	Rob J. van Glabbeek	[12] [14] [15] [18]
6	Matthew Hennessy	[12] [14] [18]
7	Zhengqin Luo	[16] [17] [19]
8	Carroll Morgan	[12] [14] [15] [18]
9	Catuscia Palamidessi	[3] [4] [7] [9] [11]
10	Jun Pang	[3] [7] [8] [11] [16] [17] [19]
11	Davide Sangiorgi	[1] [2] [5] [6]
12	Lin Song	[13]
13	Peng Wu	[8]
14	Chenyi Zhang	[12] [14] [15]

Colors in the list of coauthors