No photo of Jianqiang Ding

Jianqiang Ding

    20242025

    Research activity per year

    Fingerprint

    Dive into the research topics where Jianqiang Ding is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles

    Collaborations and top research areas from the last five years

    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
    • PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python

      Ding, J., Wu, T., Liang, Z. & Xue, B., 2025, Formal Methods - 26th International Symposium, FM 2024, Proceedings. Platzer, A., Rozier, K. Y., Pradella, M. & Rossi, M. (eds.). Springer, p. 140-157 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14934 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      File
      26 Downloads (Pure)
    • Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis

      Ren, D., Liang, Z., Wu, C., Ding, J., Wu, T. & Xue, B., 2024, Computer Aided Verification - 36th International Conference, CAV 2024, Proceedings. Gurfinkel, A. & Ganesh, V. (eds.). Springer, p. 307-328 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14683 LNCS).

      Research output: Chapter in Book/Report/Conference proceedingConference article in proceedingsScientificpeer-review

      Open Access
      File
      1 Citation (Scopus)
      24 Downloads (Pure)