dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Yuxin Deng (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Wenjie Du: Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation CoRR abs/1103.4577: (2011)
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Wenjie Du: The Kantorovich Metric in Computer Science: A Brief Survey. Electr. Notes Theor. Comput. Sci. 253(3): 73-82 (2009)
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWenjie Du, Yuxin Deng: On Mobility and Communication. Electr. Notes Theor. Comput. Sci. 257: 19-33 (2009)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYuxin Deng, Wenjie Du: Probabilistic Barbed Congruence. Electr. Notes Theor. Comput. Sci. 190(3): 185-203 (2007)

Selection of 4 from 38 records - Yuxin Deng has 20 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page