Yuxin Deng
with Du · 2011
A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 1 researcher here, as inferred from the citation graph.
Whom Yuxin Deng trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
Who trusts Yuxin Deng overall
Papers from Yuxin Deng's perspective
Ordered by how strongly the researchers Yuxin Deng trusts endorse each paper. Same corpus, a different order for every researcher.
- Bisimulation through Probabilistic Testing
- Modeling and verification of randomized distributed real-time systems
- On Choosing and Bounding Probability Metrics
- Metrics for labelled Markov processes (Theoretical Computer Science)
- Probabilistic Extensions of Process Algebras
- The Collected Mathematical Papers: On Monge's “Mémoire sur la théorie des déblais et des remblais”
- Kantorovich Metric: Initial History and Little-Known Applications
- Real analysis and probability
- Information Theory: 1948-1998 - Guest Editorial
- A Probabilistic Theory of Pattern Recognition
Their papers
- Logical, Metric, and Algorithmic Characterisations of Probabilistic Bisimulation (2011) — 34 citations