The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yuxin Deng: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Yuxin Deng, Catuscia Palamidessi
    Axiomatizations for Probabilistic Finite-State Behaviors. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:110-124 [Conf]
  3. Yuxin Deng, Davide Sangiorgi
    Towards an Algebraic Theory of Typed Mobile Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:445-456 [Conf]
  4. Yuxin Deng, Davide Sangiorgi
    Ensuring Termination by Typability. [Citation Graph (0, 0)][DBLP]
    IFIP TCS, 2004, pp:619-632 [Conf]
  5. 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]
  6. 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]
  7. Yuxin Deng, Davide Sangiorgi
    Ensuring termination by typability. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2006, v:204, n:7, pp:1045-1082 [Journal]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]

  16. Game Characterizations of Process Equivalences. [Citation Graph (, )][DBLP]


  17. Verifying Anonymous Credential Systems in Applied Pi Calculus. [Citation Graph (, )][DBLP]


  18. Testing Finitary Probabilistic Processes. [Citation Graph (, )][DBLP]


  19. Towards Automatic Measurement of Probabilistic Processes. [Citation Graph (, )][DBLP]


  20. Verifying Self-stabilizing Population Protocols with Coq. [Citation Graph (, )][DBLP]


  21. On Automatic Verification of Self-Stabilizing Population Protocols. [Citation Graph (, )][DBLP]


  22. A Simpler Framework Based on the Applied Pi Calculus and Its Application to Electronic Cash Protocol. [Citation Graph (, )][DBLP]


  23. Characterising Testing Preorders for Finite Probabilistic Processes [Citation Graph (, )][DBLP]


  24. Characterising Probabilistic Processes Logically [Citation Graph (, )][DBLP]


  25. The Kantorovich Metric in Computer Science: A Brief Survey. [Citation Graph (, )][DBLP]


  26. On Mobility and Communication. [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.017secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002