Hengyang Wu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2011–2020
Best venue rank
National
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | QRS | Decomposition of Attributes Oriented Software Trustworthiness Measure Based on Axiomatic Approaches. | Hongwei Tao, Yixiang Chen, Hengyang Wu |
| 2019 | ISKE | A Hybrid Clock Logic System for CPS. | Peifen Wang, Yixiang Chen, Hengyang Wu |
| 2017 | TASE | Computing behavioural distance for fuzzy transition systems. | Tian-Ming Bu, Hengyang Wu, Yixiang Chen |
| 2014 | ICFEM | Modal Characterisations of Probabilistic and Fuzzy Bisimulations. | Yuxin Deng, Hengyang Wu |
| 2013 | TASE | On Denotational Semantics of Spatial-Temporal Consistency Language - STeC. | Hengyang Wu, Yixiang Chen, Min Zhang |
| 2011 | TASE | Approximate Bisimulation for Metric Doubly Labeled Transition System. | Haiyu Pan, Min Zhang, Yixiang Chen, Hengyang Wu |