Yuxin Deng

	2012
38		Yuxin Deng, Yuan Feng: Open Bisimulation for Quantum Processes CoRR abs/1201.0416: (2012)
37		Yuan Feng, Yuxin Deng, Mingsheng Ying: Symbolic bisimulation for quantum processes CoRR abs/1202.3484: (2012)
	2011
36		Yuxin Deng, Stéphane Grumbach, Jean-François Monin: A Framework for Verifying Data-Centric Protocols. FMOODS/FORTE 2011: 106-120
35		Yuxin Deng, Matthew Hennessy: Compositional Reasoning for Markov Decision Processes - (Extended Abstract). FSEN 2011: 143-157
34		Yuxin Deng, Matthew Hennessy: On the Semantics of Markov Automata. ICALP (2) 2011: 307-318
33		Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Real-Reward Testing for Probabilistic Processes (Extended Abstract) QAPL 2011: 61-73
32		Yuxin Deng, Wenjie Du: Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation CoRR abs/1103.4577: (2011)
31		Yuxin Deng, Yu Zhang: Program Equivalence in Linear Contexts CoRR abs/1106.2872: (2011)
	2010
30		Yuxin Deng, Rob J. van Glabbeek: Characterising Probabilistic Processes Logically - (Extended Abstract). LPAR (Yogyakarta) 2010: 278-293
29		Yuxin Deng, Rob J. van Glabbeek: Characterising Probabilistic Processes Logically CoRR abs/1007.5188: (2010)
	2009
28		Xiangxi Li, Yu Zhang, Yuxin Deng: Verifying Anonymous Credential Systems in Applied Pi Calculus. CANS 2009: 209-225
27		Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Testing Finitary Probabilistic Processes. CONCUR 2009: 274-288
26		Yuxin Deng, Jean-François Monin: Verifying Self-stabilizing Population Protocols with Coq. TASE 2009: 201-208
25		Yuxin Deng, Wenjie Du: The Kantorovich Metric in Computer Science: A Brief Survey. Electr. Notes Theor. Comput. Sci. 253(3): 73-82 (2009)
24		Wenjie Du, Yuxin Deng: On Mobility and Communication. Electr. Notes Theor. Comput. Sci. 257: 19-33 (2009)
	2008
23		Xin Chen, Yuxin Deng: Game Characterizations of Process Equivalences. APLAS 2008: 107-121
22		Xiaojuan Cai, Yuxin Deng: A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol. ISCSCT (2) 2008: 87-90
21		Jun Pang, Zhengqin Luo, Yuxin Deng: On Automatic Verification of Self-Stabilizing Population Protocols. TASE 2008: 185-192
20		Yuxin Deng, Matthew Hennessy, Rob J. van Glabbeek, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes CoRR abs/0810.3708: (2008)
19		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)
18		Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan: Characterising Testing Preorders for Finite Probabilistic Processes. Logical Methods in Computer Science 4(4): (2008)
	2007
17		Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng: Analyzing an Electronic Cash Protocol Using Applied Pi Calculus. ACNS 2007: 87-103
16		Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang: Scalar Outcomes Suffice for Finitary Probabilistic Testing. ESOP 2007: 363-378
15		Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang: Characterising Testing Preorders for Finite Probabilistic Processes. LICS 2007: 313-325
14		Lin Song, Yuxin Deng, Xiaojuan Cai: Towards Automatic Measurement of Probabilistic Processes. QSIC 2007: 50-59
13		Yuxin Deng: A Simple Completeness Proof for the Axiomatisations of Weak Behavioural Equivalences. Bulletin of the EATCS 93: 207-219 (2007)
12		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		Yuxin Deng, Catuscia Palamidessi, Jun Pang: Weak Probabilistic Anonymity. Electr. Notes Theor. Comput. Sci. 180(1): 55-76 (2007)
10		Yuxin Deng, Wenjie Du: Probabilistic Barbed Congruence. Electr. Notes Theor. Comput. Sci. 190(3): 185-203 (2007)
9		Yuxin Deng, Catuscia Palamidessi: Axiomatizations for probabilistic finite-state behaviors. Theor. Comput. Sci. 373(1-2): 92-114 (2007)
	2006
8		Yuxin Deng, Jun Pang, Peng Wu: Measuring Anonymity with Relative Entropy. Formal Aspects in Security and Trust 2006: 65-79
7		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		Yuxin Deng, Davide Sangiorgi: Ensuring termination by typability. Inf. Comput. 204(7): 1045-1082 (2006)
5		Yuxin Deng, Davide Sangiorgi: Towards an algebraic theory of typed mobile processes. Theor. Comput. Sci. 350(2-3): 188-212 (2006)
	2005
4		Yuxin Deng, Catuscia Palamidessi: Axiomatizations for Probabilistic Finite-State Behaviors. FoSSaCS 2005: 110-124
3		Yuxin Deng, Catuscia Palamidessi, Jun Pang: Compositional Reasoning for Probabilistic Finite-State Behaviors. Processes, Terms and Cycles 2005: 309-337
	2004
2		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	[14] [17] [22]
2	Xin Chen	[23]
3	Tom Chothia	[7]
4	Wenjie Du	[10] [24] [25] [32]
5	Yuan Feng	[37] [38]
6	Rob J. van Glabbeek	[12] [15] [16] [18] [20] [27] [29] [30] [33]
7	Stéphane Grumbach	[36]
8	Matthew Hennessy	[12] [15] [18] [20] [27] [33] [34] [35]
9	Xiangxi Li	[28]
10	Zhengqin Luo	[17] [19] [21]
11	Jean-François Monin	[26] [36]
12	Carroll Morgan (Carroll C. Morgan)	[12] [15] [16] [18] [20] [27] [33]
13	Catuscia Palamidessi	[3] [4] [7] [9] [11]
14	Jun Pang	[3] [7] [8] [11] [17] [19] [21]
15	Davide Sangiorgi	[1] [2] [5] [6]
16	Lin Song	[14]
17	Peng Wu	[8]
18	Mingsheng Ying	[37]
19	Chenyi Zhang	[12] [15] [16]
20	Yu Zhang	[28] [31]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page