| Concolic testing for deep neural networks Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018 | 147 | 2018 |
| Reachability analysis of deep neural networks with provable guarantees W Ruan, X Huang, M Kwiatkowska Proceedings of the 27th International Joint Conference on Artificial …, 2018 | 129 | 2018 |
| A modeling and control approach to magnetic levitation system based on state-dependent ARX model Y Qin, H Peng, W Ruan, J Wu, J Gao Journal of Process Control 24 (1), 93-112, 2014 | 72 | 2014 |
| AudioGest: enabling fine-grained hand gesture detection by decoding echo signal W Ruan, QZ Sheng, L Yang, T Gu, P Xu, L Shangguan Proceedings of the 2016 ACM International Joint Conference on Pervasive and …, 2016 | 67 | 2016 |
| Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength L Yao, QZ Sheng, X Li, T Gu, M Tan, X Wang, S Wang, W Ruan IEEE Transactions on Mobile Computing, 2018 | 55 | 2018 |
| A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi Computer Science Review 37, 100270, 2020 | 53* | 2020 |
| A game-based approximate verification of deep neural networks with provable guarantees M Wu, M Wicker, W Ruan, X Huang, M Kwiatkowska Theoretical Computer Science 807, 298-329, 2020 | 47 | 2020 |
| TagTrack: Device-Free Localization and Tracking Using Passive RFID Tags W Ruan, L Yao, QZ Sheng, NJG Falkner, X Li The 11th International Conference on Mobile and Ubiquitous Systems …, 2014 | 39 | 2014 |
| Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska The 28th International Joint Conference on Artificial Intelligence (IJCAI'19), 2019 | 37* | 2019 |
| Rf-care: Device-free posture recognition for elderly people using a passive rfid tag array L Yao, QZ Sheng, W Ruan, T Gu, X Li, N Falkner, Z Yang proceedings of the 12th EAI International Conference on Mobile and …, 2015 | 36 | 2015 |
| Device-free Indoor Localization and Tracking through Human-Object Interactions W Ruan, QZ Sheng, L Yao, T Gu, M Ruta, L Shangguan World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2016 IEEE 17th …, 2016 | 28 | 2016 |
| TagFall: Towards Unobstructive Fine-Grained Fall Detection based on UHF Passive RFID Tags W Ruan, L Yao, QZ Sheng, N Falkner, X Li, T Gu proceedings of the 12th EAI International Conference on Mobile and …, 2015 | 27 | 2015 |
| Service recommendation for mashup composition with implicit correlation regularization L Yao, X Wang, QZ Sheng, W Ruan, W Zhang 2015 IEEE International Conference on Web Services (ICWS), 217-224, 2015 | 26 | 2015 |
| Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach W Ruan, QZ Sheng, L Yao, X Li, NJG Falkner, L Yang Journal of Network and Computer Applications 104, 78-96, 2018 | 21 | 2018 |
| Unobtrusive human localization and activity recognition for supporting independent living of the elderly W Ruan 2016 IEEE International Conference on Pervasive Computing and Communication …, 2016 | 16 | 2016 |
| Exploring tag-free rfid-based passive localization and tracking via learning-based probabilistic approaches L Yao, W Ruan, QZ Sheng, X Li, NJG Falkner Proceedings of the 23rd ACM International Conference on Conference on …, 2014 | 15 | 2014 |
| Freedom: Online activity recognition via dictionary-based sparse representation of rfid sensing data L Yao, QZ Sheng, X Li, S Wang, T Gu, W Ruan, W Zou 2015 IEEE International Conference on Data Mining (ICDM), 1087-1092, 2015 | 14 | 2015 |
| Recovering Missing Values from Corrupted Spatio-Temporal Sensory Data via Robust Low-Rank Tensor Completion W Ruan, P Xu, QZ Sheng, NJG Falkner, X Li, WE Zhang International Conference on Database Systems for Advanced Applications, 607-622, 2017 | 12 | 2017 |
| Unobtrusive Posture Recognition via Online Learning of Multi-Dimensional RFID Received Signal Strength L Yao, QZ Sheng, W Ruan, X Li, S Wang, Z Yang The 21st IEEE International Conference on Parallel and Distributed Systems …, 2015 | 12 | 2015 |
| Concare: Personalized clinical feature embedding via capturing the healthcare context L Ma, C Zhang, Y Wang, W Ruan, J Wang, W Tang, X Ma, X Gao, J Gao Proceedings of the AAAI Conference on Artificial Intelligence 34 (01), 833-840, 2020 | 9 | 2020 |
Quan Z. (Michael) ShengFull Professor, Department of Computing, Macquarie University, Sydney, AustraliaVerified email at mq.edu.au
