Semantics of sub-probabilistic programs. - Yixiang Chen 001; Hengyang Wu (Frontiers Comput. Sci. China, 2008)

Domain semantics of possibility computations. - Yixiang Chen 001; Hengyang Wu (Inf. Sci., 2008)

A Duality Theorem for Quantitative Semantics. - Hengyang Wu; Yixiang Chen 001 (ISDT, 2009)

Measurement of refinement and correctness. - Hengyang Wu (Frontiers Comput. Sci. China, 2009)

The Semantics of wlp and slp of Fuzzy Imperative Programming Languages. - Hengyang Wu; Yixiang Chen 001 (NL-MUA, 2011)

Approximate Bisimulation for Metric Doubly Labeled Transition System. - Haiyu Pan; Min Zhang 007; Yixiang Chen 001; Hengyang Wu (TASE, 2011)

The Partial Correctness Semantics of Imperative fuzzy Programming Language. - Hengyang Wu; Yixiang Chen 001 (QLSC, 2012)

Semantics of non-deterministic possibility computation. - Hengyang Wu; Yixiang Chen 001 (Fuzzy Sets Syst., 2012)

On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. - Hengyang Wu; Yixiang Chen 001; Min Zhang 007 (TASE, 2013)

Coalgebras for Fuzzy Transition Systems. - Hengyang Wu; Yixiang Chen 001 (ISDT, 2013)

Modal Characterisations of Probabilistic and Fuzzy Bisimulations. - Yuxin Deng; Hengyang Wu (ICFEM, 2014)

Quantitative Analysis of Lattice-valued Kripke Structures. - Haiyu Pan; Min Zhang 007; Hengyang Wu; Yixiang Chen 001 (Fundam. Informaticae, 2014)

Logical characterizations of simulation and bisimulation for fuzzy transition systems. - Hengyang Wu; Yuxin Deng (Fuzzy Sets Syst., 2016)

Computing behavioural distance for fuzzy transition systems. - Tian-Ming Bu; Hengyang Wu; Yixiang Chen 001 (TASE, 2017)

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications. - Yuanrui Zhang; Hengyang Wu; Yixiang Chen 001; Frédéric Mallet (FTSCS, 2018)

Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems. - Hengyang Wu; Yixiang Chen 001; Tian-Ming Bu; Yuxin Deng (Fuzzy Sets Syst., 2018)

Bisimulations for fuzzy transition systems revisited. - Hengyang Wu; Taolue Chen 001; Tingting Han 001; Yixiang Chen 001 (Int. J. Approx. Reason., 2018)

Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems. - Hengyang Wu; Yuxin Deng (IEEE Trans. Fuzzy Syst., 2018)

A Hybrid Clock Logic System for CPS. - Peifen Wang; Yixiang Chen 001; Hengyang Wu (ISKE, 2019)

Updating Model of Software Component Trustworthiness Based on Users Feedback. - Baohua Wang; Yixiang Chen 001; Shun Zhang; Hengyang Wu (IEEE Access, 2019)

A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour. - Yuanrui Zhang; Yixiang Chen 001; Hengyang Wu (IEEE Access, 2019)

Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. - Hongwei Tao; Yixiang Chen 001; Hengyang Wu (QRS Companion, 2020)

Connection models for the Internet-of-Things. - Kangli He; Holger Hermanns; Hengyang Wu; Yixiang Chen 001 (Frontiers Comput. Sci., 2020)

A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems. - Yuanrui Zhang; Hengyang Wu; Yixiang Chen 001; Frédéric Mallet (Sci. Comput. Program., 2021)

Quantitative BAN Logic Based on Belief Degree. - Kaixuan Li 002; Hengyang Wu; Jinyi Xu; Yixiang Chen 001 (AILA, 2022)

Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes. - Hongwei Tao; Yixiang Chen 001; Hengyang Wu (Connect. Sci., 2022)

Cultural Heritage Triple Information Extraction Based on Span Pointer Network. - Na Wang 007; Rongqiang Zhang; Hengyang Wu (CSAI, 2023)

On divergence-sensitive weak probabilistic bisimilarity. - Kangli He; Hengyang Wu; Yixiang Chen 001 (Inf. Comput., 2023)

Similarity propagation based semi-supervised entity alignment. - Zhihuan Yan; Rong Peng; Hengyang Wu (Eng. Appl. Artif. Intell., 2024)