Yuxin Deng

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	Tom Chothia	[7]
3	Wenjie Du	[10]
4	Rob J. van Glabbeek	[12] [14] [15]
5	Matthew Hennessy	[12] [14]
6	Zhengqin Luo	[16]
7	Carroll Morgan	[12] [14] [15]
8	Catuscia Palamidessi	[3] [4] [7] [9] [11]
9	Jun Pang	[3] [7] [8] [11] [16]
10	Davide Sangiorgi	[1] [2] [5] [6]
11	Lin Song	[13]
12	Peng Wu	[8]
13	Chenyi Zhang	[12] [14] [15]

Colors in the list of coauthors