Hengyang Wu

29 papers C 1Misc 4Journal 16Unranked 8
YearRankTypeTitle / Venue / Authors
2024 J jnl
Similarity propagation based semi-supervised entity alignment.
Eng. Appl. Artif. Intell.
Zhihuan Yan, Rong Peng, Hengyang Wu
2023 — conf
Cultural Heritage Triple Information Extraction Based on Span Pointer Network.
CSAI
Na Wang, Rongqiang Zhang, Hengyang Wu
2023 J jnl
On divergence-sensitive weak probabilistic bisimilarity.
Inf. Comput.
Kangli He, Hengyang Wu, Yixiang Chen
2022 — conf
Quantitative BAN Logic Based on Belief Degree.
AILA
Kaixuan Li, Hengyang Wu, Jinyi Xu, Yixiang Chen
2022 J jnl
Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes.
Connect. Sci.
Hongwei Tao, Yixiang Chen, Hengyang Wu
2021 J jnl
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
Sci. Comput. Program.
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
2020 J jnl
Connection models for the Internet-of-Things.
Frontiers Comput. Sci.
Kangli He, Holger Hermanns, Hengyang Wu, Yixiang Chen
2020 — conf
Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches.
QRS Companion
Hongwei Tao, Yixiang Chen, Hengyang Wu
2019 Misc conf
A Hybrid Clock Logic System for CPS.
ISKE
Peifen Wang, Yixiang Chen, Hengyang Wu
2019 J jnl
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.
IEEE Access
Yuanrui Zhang, Yixiang Chen, Hengyang Wu
2019 J jnl
Updating Model of Software Component Trustworthiness Based on Users Feedback.
IEEE Access
Baohua Wang, Yixiang Chen, Shun Zhang, Hengyang Wu
2018 J jnl
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.
Fuzzy Sets Syst.
Hengyang Wu, Yixiang Chen, Tian-Ming Bu, Yuxin Deng
2018 J jnl
Bisimulations for fuzzy transition systems revisited.
Int. J. Approx. Reason.
Hengyang Wu, Taolue Chen, Tingting Han, Yixiang Chen
2018 J jnl
Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems.
IEEE Trans. Fuzzy Syst.
Hengyang Wu, Yuxin Deng
2018 — conf
Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.
FTSCS
Yuanrui Zhang, Hengyang Wu, Yixiang Chen, Frédéric Mallet
2017 Misc conf
Computing behavioural distance for fuzzy transition systems.
TASE
Tian-Ming Bu, Hengyang Wu, Yixiang Chen
2016 J jnl
Logical characterizations of simulation and bisimulation for fuzzy transition systems.
Fuzzy Sets Syst.
Hengyang Wu, Yuxin Deng
2014 C conf
Modal Characterisations of Probabilistic and Fuzzy Bisimulations.
ICFEM
Yuxin Deng, Hengyang Wu
2014 J jnl
Quantitative Analysis of Lattice-valued Kripke Structures.
Fundam. Informaticae
Haiyu Pan, Min Zhang, Hengyang Wu, Yixiang Chen
2013 — conf
Coalgebras for Fuzzy Transition Systems.
ISDT
Hengyang Wu, Yixiang Chen
2013 Misc conf
On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.
TASE
Hengyang Wu, Yixiang Chen, Min Zhang
2012 J jnl
Semantics of non-deterministic possibility computation.
Fuzzy Sets Syst.
Hengyang Wu, Yixiang Chen
2012 — conf
The Partial Correctness Semantics of Imperative fuzzy Programming Language.
QLSC
Hengyang Wu, Yixiang Chen
2011 Misc conf
Approximate Bisimulation for Metric Doubly Labeled Transition System.
TASE
Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu
2011 — conf
The Semantics of
NL-MUA
Hengyang Wu, Yixiang Chen
2009 — conf
A Duality Theorem for Quantitative Semantics.
ISDT
Hengyang Wu, Yixiang Chen
2009 J jnl
Measurement of refinement and correctness.
Frontiers Comput. Sci. China
Hengyang Wu
2008 J jnl
Domain semantics of possibility computations.
Inf. Sci.
Yixiang Chen, Hengyang Wu
2008 J jnl
Semantics of sub-probabilistic programs.
Frontiers Comput. Sci. China
Yixiang Chen, Hengyang Wu