Ei valokuvaa Jianqiang Ding

Jianqiang Ding

    20242025

    Tutkimustuotoksia vuodessa

    Sormenjälki

    Sukella tutkimusaiheisiin, joissa Jianqiang Ding on aktiivinen. Nämä aihemerkinnät ovat peräisin tämän henkilön teoksista. Yhdessä ne muodostavat ainutlaatuisen sormenjäljen.
    • 1 Samanlaiset profiilit
    Näytä koko sormenjälki

    Yhteistyöt ja huippututkimusalueet viimeisiltä viideltä vuodelta

    Viimeisin maa-/aluetasolla toteutettu yhteistyö. Saat tarkempia lisätietoja pisteitä napauttamalla, tai
    Tutki verkkoa laajemmin
    • 2 Conference article in proceedings

    • 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. (toim.). Springer, s. 140-157 18 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14934 LNCS).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

      Open access
      Tiedosto
      120 Lataukset (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. (toim.). Springer, s. 307-328 22 Sivumäärä (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vuosikerta 14683 LNCS).

      Tutkimustuotos: Artikkeli kirjassa/konferenssijulkaisussa › Conference article in proceedings › Scientific › vertaisarvioitu

      Open access
      Tiedosto
      2 Sitaatiot (Scopus)
      37 Lataukset (Pure)