Discernible image mosaic with edge-aware adaptive tiles. - Pengfei Xu 002; Jianqiang Ding; Hao Zhang 002; Hui Huang 004 (Comput. Vis. Media, 2019)

Provable Reach-avoid Controllers Synthesis Based on Inner-approximating Controlled Reach-avoid Sets. - Jianqiang Ding; Taoran Wu; Yuping Qian; Lijun Zhang 001; Bai Xue 001 (CoRR, 2023)

Inner-Approximate Reachability Computation via Zonotopic Boundary Analysis. - Dejin Ren; Zhen Liang; Chenyu Wu; Jianqiang Ding; Taoran Wu; Bai Xue 001 (CAV (3), 2024)

PyBDR: Set-Boundary Based Reachability Analysis Toolkit in Python. - Jianqiang Ding; Taoran Wu; Zhen Liang; Bai Xue 001 (FM (2), 2024)

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum. - Jianqiang Ding; Shankar A. Deka (CoRR, 2024)

Backstepping Reach-avoid Controller Synthesis for Multi-input Multi-output Systems with Mixed Relative Degrees. - Jianqiang Ding; Dingran Yuan; Shankar A. Deka (CoRR, 2025)