Browsing by Author Feng, Y

Showing results 1 to 20 of 85  next >
Issue DateTitleAuthor(s)
1-Jun-2018Comparing the UK EQ-5D-3L and English EQ-5D-5L Value SetsMulhern, B; Feng, Y; Shah, K; Janssen, MF; Herdman, M; van Hout, B; Devlin, N
1-May-2018Valuing EQ-5D-5L health states ‘in context’ using a discrete choice experimentCole, A; Shah, K; Mulhern, B; Feng, Y; Devlin, N
7-Feb-2018Bisimulations for probabilistic linear lambda calculiDeng, Y; Feng, Y
1-Jan-2018New methods for modelling EQ-5D-5L value sets: An application to English dataFeng, Y; Devlin, NJ; Shah, KK; Mulhern, B; van Hout, B
1-Jan-2018Valuing health-related quality of life: An EQ-5D-5L value set for EnglandDevlin, NJ; Shah, KK; Feng, Y; Mulhern, B; van Hout, B
1-Dec-2017Probabilistic bisimilarity as testing equivalenceDeng, Y; Feng, Y
1-Nov-2017Precisely deciding CSL formulas through approximate model checking for CTMCsFeng, Y; Zhang, L
1-Aug-2017Model checking ω-regular properties for quantum Markov chainsFeng, Y; Hahn, EM; Turrini, A; Ying, S
19-Jul-2017ProEva: Runtime proactive performance evaluation based on continuous-time markov chainsSu, G; Chen, T; Feng, Y; Rosenblum, DS
5-Dec-2016Verify LTL with Fairness Assumptions EfficientlyLi, Y; Song, L; Feng, Y; Zhang, L
1-Jul-2016Asymptotic Perturbation Bounds for Probabilistic Model Checking with Empirically Determined Probability ParametersSu, G; Feng, Y; Chen, T; Rosenblum, DS
1-May-2016Critical review on PPP Research - A search from the Chinese and International JournalsZhang, S; Chan, APC; Feng, Y; Duan, H; Ke, Y
1-May-2016Critical review on PPP Research - A search from the Chinese and International JournalsZhang, S; Chan, APC; Feng, Y; Duan, H; Ke, Y
1-Jan-2016Multi-label learning with label relevance in advertising videoHou, S; Zhou, S; Chen, L; Feng, Y; Awudu, K
1-Nov-2015Variation of phytoplankton functional groups modulated by hydraulic controls in Hongze Lake, ChinaTian, C; Pei, H; Hu, W; Hao, D; Doblin, MA; Ren, Y; Wei, J; Feng, Y
1-Aug-2015On coinduction and quantum lambda calculiDeng, Y; Feng, Y; Dal Lago, U
1-May-2015Sunburst with ordered nodes based on hierarchical clustering: a visual analyzing method for associated hierarchical pesticide residue dataChen, Y; Zhang, X; Feng, Y; Liang, J; Chen, H
1-Jan-2015Decentralized bisimulation for multiagent systemsSong, L; Feng, Y; Zhang, L
1-Jan-2015Extend transferable belief models with probabilistic priorsZhou, C; Feng, Y
2015Toward Automatic Verification of Quantum Cryptographic Protocols.Feng, Y; Ying, M; Aceto, L; Frutos-Escrig, DD