| Issue Date | Title | Author(s) |
| 2016 | Reward-Bounded Reachability Probability for Uncertain Weighted MDPs | Hashemi, V; Hermanns, H; Song, L; Jobstmann, B; Leino, KRM |
| 2019-02-01 | Gated-GAN: Adversarial gated networks for multi-collection style transfer | Chen, X; Xu, C; Yang, X; Song, L; Tao, D |
| 2015-01-01 | Decentralized bisimulation for multiagent systems | Song, L; Feng, Y; Zhang, L |
| 2003-01 | Enhancing the Quality of e-Service in Consulting Industry Using Case-Reference-Net CBR Technique | Lin, L; Lu, J; Song, L; Huang, W; Ling, H; Fang, H |
| 2018-01-01 | Nonlocal patch based T-SVD for image inpainting: Algorithm and error analysis | Song, L; Du, B; Zhang, L; Wu, J; Li, X |
| 2012-08-14 | Single-cell sequencing analysis characterizes common and cell-lineage-specific mutations in a muscle-invasive bladder cancer | Li, Y; Xu, X; Song, L; Hou, Y; Li, Z; Tsang, S; Li, F; Im, KM; Wu, K; Wu, H; Ye, X; Li, G; Wang, L; Zhang, B; Liang, J; Xie, W; Wu, R; Jiang, H; Liu, X; Yu, C; Zheng, H; Jian, M; Nie, L; Wan, L; Shi, M; Sun, X; Tang, A; Guo, G; Gui, Y; Cai, Z; Li, J; Wang, W; Lu, Z; Zhang, X; Bolund, L; Kristiansen, K; Wang, J; Yang, H; Dean, M |
| 2015-01-01 | Planning for stochastic games with Co-safe objectives | Song, L; Feng, Y; Zhang, L |
| 2015-01-01 | Comparison of variations detection between whole-genome amplification methods used in single-cell resequencing | Hou, Y; Wu, K; Shi, X; Li, F; Song, L; Wu, H; Dean, M; Li, G; Tsang, S; Jiang, R; Zhang, X; Li, B; Liu, G; Bedekar, N; Lu, N; Xie, G; Liang, H; Chang, L; Wang, T; Chen, J; Li, Y; Yang, H; Xu, X; Wang, L; Wang, J |
| 2018-01-01 | Model checking probabilistic epistemic logic for probabilistic multiagent systems | Fu, C; Turrini, A; Huang, X; Song, L; Feng, Y; Zhang, L |
| 2016-12-05 | Verify LTL with Fairness Assumptions Efficiently | Li, Y; Song, L; Feng, Y; Zhang, L |
