The SCEAS System
| |||||||

## Search the dblp DataBase
Yuxin Deng:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Yuxin Deng, Catuscia Palamidessi, Jun Pang
**Compositional Reasoning for Probabilistic Finite-State Behaviors.**[Citation Graph (0, 0)][DBLP] Processes, Terms and Cycles, 2005, pp:309-337 [Conf] - Yuxin Deng, Catuscia Palamidessi
**Axiomatizations for Probabilistic Finite-State Behaviors.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2005, pp:110-124 [Conf] - Yuxin Deng, Davide Sangiorgi
**Towards an Algebraic Theory of Typed Mobile Processes.**[Citation Graph (0, 0)][DBLP] ICALP, 2004, pp:445-456 [Conf] - Yuxin Deng, Davide Sangiorgi
**Ensuring Termination by Typability.**[Citation Graph (0, 0)][DBLP] IFIP TCS, 2004, pp:619-632 [Conf] - Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
**Metrics for Action-labelled Quantitative Transition Systems.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:79-96 [Journal] - Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
**Remarks on Testing Probabilistic Processes.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:359-397 [Journal] - Yuxin Deng, Davide Sangiorgi
**Ensuring termination by typability.**[Citation Graph (0, 0)][DBLP] Inf. Comput., 2006, v:204, n:7, pp:1045-1082 [Journal] - Yuxin Deng, Davide Sangiorgi
**Towards an algebraic theory of typed mobile processes.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2006, v:350, n:2-3, pp:188-212 [Journal] - Yuxin Deng, Catuscia Palamidessi
**Axiomatizations for probabilistic finite-state behaviors.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2007, v:373, n:1-2, pp:92-114 [Journal] - Zhengqin Luo, Xiaojuan Cai, Jun Pang, Yuxin Deng
**Analyzing an Electronic Cash Protocol Using Applied Pi Calculus.**[Citation Graph (0, 0)][DBLP] ACNS, 2007, pp:87-103 [Conf] - Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, Chenyi Zhang
**Scalar Outcomes Suffice for Finitary Probabilistic Testing.**[Citation Graph (0, 0)][DBLP] ESOP, 2007, pp:363-378 [Conf] - Yuxin Deng, Jun Pang, Peng Wu
**Measuring Anonymity with Relative Entropy.**[Citation Graph (0, 0)][DBLP] Formal Aspects in Security and Trust, 2006, pp:65-79 [Conf] - Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
**Characterising Testing Preorders for Finite Probabilistic Processes.**[Citation Graph (0, 0)][DBLP] LICS, 2007, pp:313-325 [Conf] - Yuxin Deng, Catuscia Palamidessi, Jun Pang
**Weak Probabilistic Anonymity.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:180, n:1, pp:55-76 [Journal] - Yuxin Deng, Wenjie Du
**Probabilistic Barbed Congruence.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:185-203 [Journal] **Game Characterizations of Process Equivalences.**[Citation Graph (, )][DBLP]**Verifying Anonymous Credential Systems in Applied Pi Calculus.**[Citation Graph (, )][DBLP]**Testing Finitary Probabilistic Processes.**[Citation Graph (, )][DBLP]**Towards Automatic Measurement of Probabilistic Processes.**[Citation Graph (, )][DBLP]**Verifying Self-stabilizing Population Protocols with Coq.**[Citation Graph (, )][DBLP]**On Automatic Verification of Self-Stabilizing Population Protocols.**[Citation Graph (, )][DBLP]**A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol.**[Citation Graph (, )][DBLP]**Characterising Testing Preorders for Finite Probabilistic Processes**[Citation Graph (, )][DBLP]**Characterising Probabilistic Processes Logically**[Citation Graph (, )][DBLP]**The Kantorovich Metric in Computer Science: A Brief Survey.**[Citation Graph (, )][DBLP]**On Mobility and Communication.**[Citation Graph (, )][DBLP]
Search in 0.016secs, Finished in 0.017secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |