Hengyang Wu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On divergence-sensitive weak probabilistic bisimilarity Information and Computation	2023-05-19	Paper
Bisimulations for fuzzy transition systems revisited International Journal of Approximate Reasoning	2018-06-27	Paper
Dualities for lower semicontinuous maps in the framework of interior spaces	2018-02-23	Paper
Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems Fuzzy Sets and Systems	2018-02-21	Paper
Logical characterizations of simulation and bisimulation for fuzzy transition systems Fuzzy Sets and Systems	2018-01-22	Paper
scientific article; zbMATH DE number 6612705 (Why is no real title available?)	2016-08-10	Paper
Fuzzy semantics of programming languages	2016-08-10	Paper
A duality theorem for quantitative semantics Electronic Notes in Theoretical Computer Science	2016-08-01	Paper
Coalgebras for fuzzy transition systems	2016-05-03	Paper
Quantitative analysis of lattice-valued Kripke structures Fundamenta Informaticae	2015-06-26	Paper
The semantics of \(wlp\) and \(slp\) of fuzzy imperative programming languages Advances in Intelligent and Soft Computing	2013-07-10	Paper
Semantics of non-deterministic possibility computation Fuzzy Sets and Systems	2012-11-22	Paper
Domain semantics of possibility computations Information Sciences	2009-10-30	Paper
Structure of non-totally ordered \(R_0\)-algebras	2007-09-11	Paper
scientific article; zbMATH DE number 2147602 (Why is no real title available?)	2005-03-21	Paper

Research outcomes over time

This page was built for person: Hengyang Wu