Jianglin Lan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2022–2025
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | GLOBECOM | Semantic Communication Empowered Transmission Policy for UAV/UGV Cooperative Path Planning. | Fangzhou Zhao, Yao Sun, Jianglin Lan, Lan Zhang, Xuesong Liu, Muhammad Ali Imran |
| 2023 | AAAI | Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification. | Jianglin Lan, Yang Zheng, Alessio Lomuscio |
| 2023 | AAAI | A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification. | Jianglin Lan, Benedikt Brckner, Alessio Lomuscio |
| 2023 | ACML | Provably Robust and Plausible Counterfactual Explanations for Neural Networks via Robust Optimisation. | Junqi Jiang, Jianglin Lan, Francesco Leofante, Antonio Rago, Francesca Toni |
| 2023 | IJCNN | Filter-based Online Neuro-Fuzzy Model Learning using Noisy Measurements. | Wen Gu, Jianglin Lan, Byron Mason |
| 2022 | AAAI | Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations. | Jianglin Lan, Yang Zheng, Alessio Lomuscio |