| Quantitative analysis of variation-aware Internet of Things designs using statistical model checking S Xu, W Miao, T Kunz, T Wei, M Chen 2016 IEEE International Conference on Software Quality, Reliability and …, 2016 | 15 | 2016 |
| Program synthesis with algebraic library specifications B Mariano, J Reese, S Xu, TV Nguyen, X Qiu, JS Foster, A Solar-Lezama Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-25, 2019 | 7 | 2019 |
| GPU-based fluid motion estimation using energy constraint S Xu, H Zhuang, X Fu, J Zhou, M Chen Journal of Circuits, Systems and Computers 26 (02), 1750022, 2017 | 5 | 2017 |
| Online distributed price-based control of DR resources with competitive guarantees S Xu, L Yu, X Lin, J Dong, Y Xue Proceedings of the Thirteenth ACM International Conference on Future Energy …, 2022 | 2 | 2022 |
| 不确定环境下智能大厦空调系统调度策略评估 陈铭松， 顾璠， 徐思远， 陈小红 Journal of Software 27 (3), 2016 | 2 | 2016 |
