Hengyang Wu - Concepedia

Author

Hengyang Wu

East China Normal University ORCID

Also Known As

HENGYANG WU, Heng-Yang WU, Hengyang Wu

Publications

296

Citations

H-Index

Concepts

All Affiliations

East China Normal University Shanghai Key Laboratory of Trustworthy Computing Hangzhou Dianzi University Zhengzhou University of Light Industry Shanghai Polytechnic University

About

Hengyang Wu is an author at East China Normal University specializing in engineering, formal methods, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	10	237
2	Computer Science	7	7	159
3	Computer Engineering	3	3	93
4	Language Studies	1	1	14
5	Linguistics	1	1	14

Hengyang Wu

Publications

247

Citations

H-Index

Page 1

	Year	Citations
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
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
Bisimulations for fuzzy transition systems revisited Hengyang Wu, Taolue Chen, Tingting Han, International Journal of Approximate Reasoning Fuzzy LogicFuzzy SystemsEngineeringFuzzy ComputingFuzzy Modeling	2018	31
Updating Model of Software Component Trustworthiness Based on Users Feedback Baohua Wang, Yixiang Chen, Shun Zhang, IEEE Access Software MaintenanceEngineeringTrust Management ArchitectureVerificationSoftware Engineering	2019	26
An Approach of Trustworthy Measurement Allocation Based on Sub-Attributes of Software Hongwei Tao, Hengyang Wu, Yixiang Chen Mathematics Software MaintenanceMathematical ProgrammingEngineeringInformation SecurityVerification	2019	20
Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems Hengyang Wu, Yuxin Deng IEEE Transactions on Fuzzy Systems Fuzzy Modal LogicFuzzy SystemsEngineeringFuzzy ModelingVerification	2017	16
A Reallocation Approach for Software Trustworthiness Based on Trustworthy Attributes Hongwei Tao, Yixiang Chen, Hengyang Wu Mathematics Software MaintenanceMathematical ProgrammingEngineeringInformation SecurityTrust Management Architecture	2019	15
On Denotational Semantics of Spatial-Temporal Consistency Language -- STeC Hengyang Wu, Yixiang Chen, Min Zhang EngineeringVerificationSemanticsSoftware AnalysisFormal Verification	2013	14
Domain semantics of possibility computations Yixiang Chen, Hengyang Wu Information Sciences Possibility TheoryProbabilistic OntologyProbability LogicEngineeringDomain Semantics	2008	11
Quantitative Analysis of Lattice-valued Kripke Structures Haiyu Pan, Min Zhang, Hengyang Wu, Fundamenta Informaticae Applied LogicQuantum Lattice SystemEngineeringHigher-order LogicFormal Verification	2014	10

Page 1