Home > Research > Researchers > Dr Wenjie Ruan > Publications

Dr Wenjie Ruan

Lecturer

  1. Published

    A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees

    Wu, M., Wicker, M., Ruan, W., Huang, X. & Kwiatkowska, M., 6/02/2020, In: Theoretical Computer Science. 807, p. 298-329 32 p.

    Research output: Contribution to journalJournal articlepeer-review

  2. Published

    A modeling and control approach to magnetic levitation system based on state-dependent ARX model

    Qin, Y., Peng, H., Ruan, W., Wu, J. & Gao, J., 1/01/2014, In: Journal of Process Control. 24, 1, p. 93-112 20 p.

    Research output: Contribution to journalJournal articlepeer-review

  3. Published

    A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability

    Huang, X., Kroening, D., Ruan, W., Sharp, J., Sun, Y., Thamo, E., Wu, M. & Yi, X., 1/08/2020, In: Computer Science Review. 37, 35 p., 100270.

    Research output: Contribution to journalJournal articlepeer-review

  4. Published

    AdaCare: Explainable Clinical Health Status Representation Learning via Scale Adaptive Feature Extraction and Recalibration

    Ma, L., Gao, J., Wang, Y., Wang, J., Ruan, W., Zhang, C., Tang, W., Gao, X. & Ma, X., 3/04/2020, The Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020. AAAI, p. 825-832 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 34, no. 1).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  5. Published

    AudioGest: Enabling fine-grained hand gesture detection by decoding echo signal

    Ruan, W., Sheng, Q. Z., Yang, L., Gu, T., Xu, P. & Shangguan, L., 12/09/2016, UbiComp 2016 - Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing. New York: Association for Computing Machinery, Inc, p. 474-485 12 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  6. Published

    Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength

    Yao, L., Sheng, Q. Z., Li, X., Gu, T., Tan, M., Wang, X., Wang, S. & Ruan, W., 1/02/2018, In: IEEE Transactions on Mobile Computing. 17, 2, p. 293-306 14 p., 7938705.

    Research output: Contribution to journalJournal articlepeer-review

  7. Published

    ConCarE: Personalized Clinical Feature Embedding via Capturing the Healthcare Context

    Ma, L., Zhang, C., Wang, Y., Ruan, W., Wang, J., Tang, W., Ma, X., Gao, X. & Gao, J., 3/04/2020, The Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020. AAAI, p. 833-840 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 34, no. 1).

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  8. Published

    Concolic testing for deep neural networks

    Sun, Y., Wu, M., Ruan, W., Huang, X., Kwiatkowska, M. & Kroening, D., 3/09/2018, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, Montpellier, France, September 3-7, 2018. New York: Association for Computing Machinery (ACM), p. 109-119 11 p.

    Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

  9. Published

    Cubic-RBF-ARX modeling and model-based optimal setting control in head and tail stages of cut tobacco drying process

    Zhou, F., Peng, H., Ruan, W., Wang, D., Liu, M., Gu, Y. & Li, L., 1/08/2018, In: Neural Computing and Applications. 30, 4, p. 1039-1053 15 p.

    Research output: Contribution to journalJournal articlepeer-review

  10. Published

    Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach

    Ruan, W., Sheng, Q. Z., Yao, L., Li, X., Falkner, N. J. G. & Yang, L., 15/02/2018, In: Journal of Network and Computer Applications. 104, p. 78-96 19 p.

    Research output: Contribution to journalJournal articlepeer-review

Previous 1 2 3 4 Next

Back to top