Home > Research > Researchers > Dr Wenjie Ruan > Publications

Dr Wenjie Ruan

Lecturer

  1. 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

  2. Published

    RBF-ARX model·based optimal control method for moisture content in output dried cut tobacco

    Wang, X., Peng, X., Yang, Y., Peng, H. & Ruan, W., 1/01/2014, In: Tobacco Science and Technology. 2014, 1, p. 26-30 5 p.

    Research output: Contribution to journalJournal articlepeer-review

  3. 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

  4. Published

    Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles

    Wu, M., Louw, T., Lahijanian, M., Ruan, W., Huang, X., Merat, N. & Kwiatkowska, M., 27/01/2020, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). IEEE, p. 6210-6216 7 p.

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

  5. Published

    Interpolating the missing values for multi-dimensional spatial-temporal sensor data: A tensor SVD approach

    Xu, P., Ruan, W., Sheng, Q. Z., Gu, T. & Yao, L., 7/11/2017, 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2017. Association for Computing Machinery (ACM), p. 442-451 10 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

    Unobtrusive posture recognition via online learning of multi-dimensional RFID received signal strength

    Yao, L., Sheng, Q. Z., Ruan, W., Li, X., Wang, S. & Yang, Z., 15/01/2016, Proceedings - 2015 IEEE 21st International Conference on Parallel and Distributed Systems, ICPADS 2015. IEEE, p. 116-123 8 p. 7384286

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

  8. Published

    Freedom: Online activity recognition via dictionary-based sparse representation of RFID sensing data

    Yao, L., Sheng, Q. Z., Li, X., Wang, S., Gu, T., Ruan, W. & Zou, W., 5/01/2016, Proceedings - 15th IEEE International Conference on Data Mining, ICDM 2015. Zhou, Z-H., Aggarwal, C., Xiong, H., Tuzhilin, A. & Wu, X. (eds.). IEEE, p. 1087-1092 6 p. 7373440

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

  9. Published

    Exploring tag-free RFID-based passive localization and tracking via learning-based probabilistic approaches

    Yao, L., Ruan, W., Sheng, Q. Z., Li, X. & Falkner, N. J. G., 1/01/2014, CIKM 2014 - Proceedings of the 2014 ACM International Conference on Information and Knowledge Management. Association for Computing Machinery, Inc, p. 1799-1802 4 p.

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

  10. Published

    Service Recommendation for Mashup Composition with Implicit Correlation Regularization

    Yao, L., Wang, X., Sheng, Q. Z., Ruan, W. & Zhang, W., 13/08/2015, Proceedings - 2015 IEEE International Conference on Web Services, ICWS 2015. Zhu, H. & Miller, J. A. (eds.). IEEE, p. 217-224 8 p. 7195572

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

Back to top