Jianlin Li
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1993–2026
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Tensor Probabilistic Model Checking of Finite-Horizon Markov Chains. | Jianlin Li, Nick Guo, Peter Ye, Yizhou Zhang |
| 2024 | ICONIP | Spatio-Temporal Graph Convolutional Networks for Pedestrian Trajectory Prediction. | Jinrui Geng, Yong Lu, Ruishi Liang, Jianlin Li, Hannan Shen |
| 2021 | CAV | Automated Safety Verification of Programs Invoking Neural Networks. | Maria Christakis, Hasan Ferit Eniser, Holger Hermanns, Jrg Hoffmann, Yugesh Kothari, Jianlin Li, Jorge A. Navas, Valentin Wstholz |
| 2021 | TACAS | Improving Neural Network Verification through Spurious Region Guided Refinement. | Pengfei Yang, Renjue Li, Jianlin Li, Cheng-Chao Huang, Jingyi Wang, Jun Sun, Bai Xue, Lijun Zhang |
| 2019 | SAS | Analyzing Deep Neural Networks with Symbolic Propagation: Towards Higher Precision and Faster Verification. | Jianlin Li, Jiangchao Liu, Pengfei Yang, Liqian Chen, Xiaowei Huang, Lijun Zhang |
| 1993 | ISCAS | Muliplier-free IIR filter realizations based on mixed radix number systems. | Jianlin Li, Sawasd Tantaratana |