Home > Research > Researchers > Dr Wenjie Ruan > Publications

Research

Dr Wenjie Ruan

Lecturer

41 - 43 out of 43Page size: 10
RSS feed of this list
Sort by: Title
  1. 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 Journal/Magazine › Journal article › peer-review

  2. 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 Journal/Magazine › Journal article › peer-review

  3. Published

    3DVerifier: efficient robustness verification for 3D point cloud models

    Mu, R., Ruan, W., Soriano Marcolino, L. & Ni, Q., 2/11/2022, In: Machine Learning. 2022, 28 p.

    Research output: Contribution to Journal/Magazine › Journal article › peer-review

Previous 1 2 3 4 5 Next

Back to top