Concepedia

Yuxin Deng

YD

24

Publications

898

Citations

17

H-Index

2005

Active since

Affiliations

Shanghai Jiao Tong University(Current)

East China Normal University

Shanghai Key Laboratory of Trustworthy Computing

Laboratoire d'Informatique de l'École Polytechnique

UNSW Sydney

Yuxin Deng is an author at Shanghai Jiao Tong University specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsFormal VerificationProbabilityAutomated ReasoningSystems EngineeringVerificationStatisticsFuzzy Logic

Publications per year

2005–2022

24

Publications

24

Surface plasmon-enhanced electroluminescence in organic light-emitting diodes incorporating Au nanoparticles

Yan Xiao, Junfei Yang, Peihong Cheng et al. · Applied Physics Letters · 2012 · 150 citations

Optical Materials, Engineering, Organic Electronics +19

Metrics for Action-labelled Quantitative Transition Systems

Yuxin Deng, Tom Chothia, Catuscia Palamidessi et al. · Electronic Notes in Theoretical Computer Science · 2006 · 79 citations · Full text

Engineering, Verification, Non-quantitative Systems +16

Characterising Testing Preorders for Finite Probabilistic Processes

Yuxin Deng, Robert van Glabbeek, Matthew Hennessy et al. · Logical Methods in Computer Science · 2008 · 74 citations · Full text

Engineering, Probabilistic Computation, Higher-order Logic +16

On the semantics of Markov automata

Yuxin Deng, Matthew Hennessy · Information and Computation · 2012 · 69 citations

Logical Automaton, Engineering, Automated Reasoning +9

Logical characterizations of simulation and bisimulation for fuzzy transition systems

Hengyang Wu, Yuxin Deng · Fuzzy Sets and Systems · 2015 · 58 citations

Fuzzy Logic, Fuzzy Systems, Logical Characterizations +14

Rows per page

1–5 of 24