Home > Research > Researchers > Dr Wenjie Ruan > Publications

Dr Wenjie Ruan

Lecturer

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

  3. Published

    Toward Unified Cloud Service Discovery for Enhanced Service Identification

    Alfazi, A., Sheng, Q. Z., Babar, A., Ruan, W. & Qin, Y., 1/04/2018, Service Research and Innovation: 5th and 6th Australasian Symposium, ASSRI 2015 and ASSRI 2017, Revised Selected Papers. Beheshti, A., Zhang, W. E., Dong, H. & Hashmi, M. (eds.). Springer Verlag, p. 149-163 15 p. (Lecture Notes in Business Information Processing; vol. 234).

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

  4. Published

    Related or duplicate: Distinguishing similar CQA questions via convolutional neural networks

    Zhang, W. E., Sheng, Q. Z., Tang, Z. & Ruan, W., 27/06/2018, SIGIR '18 The 41st International ACM SIGIR Conference on Research & Development in Information Retrieval. New York: Association for Computing Machinery, Inc, p. 1153-1156 4 p.

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

  5. Published

    Reachability analysis of deep neural networks with provable guarantees

    Ruan, W., Huang, X. & Kwiatkowska, M., 13/07/2018, Proceedings of the 27th International Joint Conference on Artificial Intelligence, IJCAI 2018. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, Vol. 2018. p. 2651-2659 9 p.

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

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

  7. Published

    Making Sense of Doppler Effect for Multi-Modal Hand Motion Detection

    Ruan, W., Sheng, Q. Z., Xu, P., Yang, L., Gu, T. & Shangguan, L., 1/09/2018, In: IEEE Transactions on Mobile Computing. 17, 9, p. 2087-2100 14 p., 8067452.

    Research output: Contribution to journalJournal articlepeer-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. 2019
  10. Published

    Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance

    Ruan, W., Wu, M., Sun, Y., Huang, X., Kroening, D. & Kwiatkowska, M., 31/07/2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI 2019), August 10-16, 2019, Macau, China. IJCAI, p. 5944-5952 9 p.

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

  11. 2020
  12. 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

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

Back to top