Hengyang Wu

Orcid: 0000-0001-6342-663X

According to our database1, Hengyang Wu authored at least 29 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Similarity propagation based semi-supervised entity alignment.
Eng. Appl. Artif. Intell., 2024

2023
On divergence-sensitive weak probabilistic bisimilarity.
Inf. Comput., June, 2023

Cultural Heritage Triple Information Extraction Based on Span Pointer Network.
Proceedings of the 2023 7th International Conference on Computer Science and Artificial Intelligence, 2023

2022
Theoretical and empirical validation of software trustworthiness measure based on the decomposition of attributes.
Connect. Sci., 2022

Quantitative BAN Logic Based on Belief Degree.
Proceedings of the Artificial Intelligence Logic and Applications, 2022

2021
A clock-based dynamic logic for the verification of CCSL specifications in synchronous systems.
Sci. Comput. Program., 2021

2020
Connection models for the Internet-of-Things.
Frontiers Comput. Sci., 2020

Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches.
Proceedings of the 20th IEEE International Conference on Software Quality, 2020

2019
A Process Algebra With Qualitative Calculus for Modeling Spatio-Temporal Behaviour.
IEEE Access, 2019

Updating Model of Software Component Trustworthiness Based on Users Feedback.
IEEE Access, 2019

A Hybrid Clock Logic System for CPS.
Proceedings of the 14th IEEE International Conference on Intelligent Systems and Knowledge Engineering, 2019

2018
Distribution-Based Behavioral Distance for Nondeterministic Fuzzy Transition Systems.
IEEE Trans. Fuzzy Syst., 2018

Bisimulations for fuzzy transition systems revisited.
Int. J. Approx. Reason., 2018

Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems.
Fuzzy Sets Syst., 2018

Embedding CCSL into Dynamic Logic: A Logical Approach for the Verification of CCSL Specifications.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2018

2017
Computing behavioural distance for fuzzy transition systems.
Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

2016
Logical characterizations of simulation and bisimulation for fuzzy transition systems.
Fuzzy Sets Syst., 2016

2014
Quantitative Analysis of Lattice-valued Kripke Structures.
Fundam. Informaticae, 2014

Modal Characterisations of Probabilistic and Fuzzy Bisimulations.
Proceedings of the Formal Methods and Software Engineering, 2014

2013
Coalgebras for Fuzzy Transition Systems.
Proceedings of the 6th International Symposium on Domain Theory and Its Applications, 2013

On Denotational Semantics of Spatial-Temporal Consistency Language - STeC.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

2012
Semantics of non-deterministic possibility computation.
Fuzzy Sets Syst., 2012

The Partial Correctness Semantics of Imperative fuzzy Programming Language.
Proceedings of the Quantitative Logic and Soft Computing, 2012

2011
Approximate Bisimulation for Metric Doubly Labeled Transition System.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

The Semantics of <i>wlp</i> and <i>slp</i> of Fuzzy Imperative Programming Languages.
Proceedings of the Nonlinear Mathematics for Uncertainty and its Applications, 2011

2009
Measurement of refinement and correctness.
Frontiers Comput. Sci. China, 2009

A Duality Theorem for Quantitative Semantics.
Proceedings of the Fifth International Symposium on Domain Theory, 2009

2008
Domain semantics of possibility computations.
Inf. Sci., 2008

Semantics of sub-probabilistic programs.
Frontiers Comput. Sci. China, 2008


  Loading...