Yuxin Deng - Concepedia

Author

Yuxin Deng

Also Known As

Deng, Yuxin, Wu, Huiling, Y. Deng, Y. H. Deng, YUXIN DENG, Yu-Xin Deng, Yu-Xin 玉欣 Deng 邓, Yu-xin Deng, Yuxin Deng, Yuxin Deng

151

Publications

1.4K

Citations

H-Index

Concepts

All Affiliations

Shanghai Jiao Tong University East China Normal University Shanghai Key Laboratory of Trustworthy Computing Laboratoire d'Informatique de l'École Polytechnique UNSW Sydney

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	20	818
2	Business	1	1	17
3	Language Studies	1	1	69
4	Natural Sciences	1	1	24
5	Social Sciences	1	1	17

Yuxin Deng

Publications

898

Citations

H-Index

Page 1

	Year	Citations
Surface plasmon-enhanced electroluminescence in organic light-emitting diodes incorporating Au nanoparticles Yan Xiao, Junfei Yang, Peihong Cheng, Applied Physics Letters Optical MaterialsEngineeringOrganic ElectronicsOptoelectronic DevicesPlasmon-enhanced Photovoltaics	2012	150
Metrics for Action-labelled Quantitative Transition Systems Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Electronic Notes in Theoretical Computer Science EngineeringVerificationNon-quantitative SystemsAction LanguageWeighted Automaton	2006	79
Characterising Testing Preorders for Finite Probabilistic Processes Yuxin Deng, Robert van Glabbeek, Matthew Hennessy, Logical Methods in Computer Science EngineeringProbabilistic ComputationHigher-order LogicFormal VerificationComputational Logic	2008	74
On the semantics of Markov automata Yuxin Deng, Matthew Hennessy Information and Computation Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	2012	69
Logical characterizations of simulation and bisimulation for fuzzy transition systems Hengyang Wu, Yuxin Deng Fuzzy Sets and Systems Fuzzy LogicFuzzy SystemsLogical CharacterizationsEngineeringFuzzy Computing	2015	58
The Kantorovich Metric in Computer Science: A Brief Survey Yuxin Deng, Wenjie Du Electronic Notes in Theoretical Computer Science EngineeringSimilarity MeasureComputational ComplexityProbabilistic ComputationSystem Metric	2009	50
Characterising Testing Preorders for Finite Probabilistic Processes Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, EngineeringProbabilistic ComputationHigher-order LogicFormal VerificationComputational Logic	2007	46
Remarks on Testing Probabilistic Processes Yuxin Deng, Rob van Glabbeek, Matthew Hennessy, Electronic Notes in Theoretical Computer Science	2007	39
Symbolic Bisimulation for Quantum Processes Yuan Feng, Yuxin Deng, Mingsheng Ying ACM Transactions on Computational Logic Quantum ScienceQuantum LogicEngineeringQuantum ComputingAutomated Reasoning	2014	37
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Fuzzy Sets and Systems Fuzzy LogicFuzzy SystemsLogical CharacterizationsEngineeringFuzzy Computing	2017	36

Page 1