Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Yuxin Deng
Map detail
Yuxin Deng11 visible / 11 total nodes / 10 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipYuxin DengAYuxin DengResearcherReDFeat: Recoupling Detection and Description for Multimodal Feature LearningWReDFeat: Recoupling Det...preprint / 2022Real-Reward Testing for Probabilistic Processes (Extended Abstract)WReal-Reward Testing for...preprint / 2011Logical, Metric, and Algorithmic Characterisations of Probabilistic BisimulationWLogical, Metric, and Al...preprint / 2011Open Bisimulation for Quantum ProcessesWOpen Bisimulation for Q...preprint / 2012Program Equivalence in Linear ContextsWProgram Equivalence in ...preprint / 2011Characterising Probabilistic Processes LogicallyWCharacterising Probabil...preprint / 2010Characterising Testing Preorders for Finite Probabilistic ProcessesWCharacterising Testing ...preprint / 2008Modal Characterisations of Behavioural PseudometricsWModal Characterisations...preprint / 2015Symbolic bisimulation for quantum processesWSymbolic bisimulation f...preprint / 2012The Buffered π-Calculus: A Model for Concurrent LanguagesWThe Buffered π-Calculus...preprint / 2012
Person10 links

Yuxin Deng

Researcher