Hengyang Wu

Available identifiers

Publication	Date of Publication	Type
On divergence-sensitive weak probabilistic bisimilarity	2023-05-19	Paper
Bisimulations for fuzzy transition systems revisited	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	2018-02-21	Paper
Logical characterizations of simulation and bisimulation for fuzzy transition systems	2018-01-22	Paper
https://portal.mardi4nfdi.de/entity/Q2994262	2016-08-10	Paper
Fuzzy semantics of programming languages	2016-08-10	Paper
A duality theorem for quantitative semantics	2016-08-01	Paper
Coalgebras for fuzzy transition systems	2016-05-03	Paper
Quantitative analysis of lattice-valued Kripke structures	2015-06-26	Paper
The semantics of \(wlp\) and \(slp\) of fuzzy imperative programming languages	2013-07-10	Paper
Semantics of non-deterministic possibility computation	2012-11-22	Paper
Domain semantics of possibility computations	2009-10-30	Paper
Structure of non-totally ordered \(R_0\)-algebras	2007-09-11	Paper
https://portal.mardi4nfdi.de/entity/Q4659257	2005-03-21	Paper

This page was built for person: Hengyang Wu