| Barrier certificates revisited L Dai, T Gan, B Xia, N Zhan Journal of Symbolic Computation 80, 62-86, 2017 | 83 | 2017 |
| Reachability analysis for solvable dynamical systems T Gan, M Chen, Y Li, B Xia, N Zhan IEEE Transactions on Automatic Control 63 (7), 2003-2018, 2017 | 51 | 2017 |
| Decidability of the reachability for a family of linear vector fields T Gan, M Chen, L Dai, B Xia, N Zhan Automated Technology for Verification and Analysis: 13th International …, 2015 | 20 | 2015 |
| Nonlinear craig interpolant generation T Gan, B Xia, B Xue, N Zhan, L Dai International Conference on Computer Aided Verification, 415-438, 2020 | 17 | 2020 |
| Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra …, 2016 | 17 | 2016 |
| Computing reachable sets of linear vector fields revisited T Gan, M Chen, Y Li, B Xia, N Zhan 2016 European Control Conference (ECC), 419-426, 2016 | 14 | 2016 |
| Learning diffusions without timestamps H Huang, Q Yan, T Gan, D Niu, W Lu, Y Gao Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 582-589, 2019 | 10 | 2019 |
| Reconstructing Diffusion Networks from Incomplete Data. H Huang, K Han, B Xu, T Gan IJCAI 2022, 3085-3091, 2022 | 6 | 2022 |
| Diffusion network inference from partial observations T Gan, K Han, H Huang, S Ying, Y Gao, Z Li Proceedings of the AAAI Conference on Artificial Intelligence 35 (9), 7493-7500, 2021 | 6 | 2021 |
| Multi-aspect diffusion network inference H Huang, K Han, B Xu, T Gan Proceedings of the ACM Web Conference 2023, 82-90, 2023 | 5 | 2023 |
| Switching controller synthesis for delay hybrid systems under perturbations Y Bai, T Gan, L Jiao, B Xia, B Xue, N Zhan Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 5 | 2021 |
| On completeness of SDP-based barrier certificate synthesis over unbounded domains H Wu, S Feng, T Gan, J Wang, B Xia, N Zhan International Symposium on Formal Methods, 248-266, 2024 | 4 | 2024 |
| Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets H Wu, J Wang, B Xia, X Li, N Zhan, T Gan International Symposium on Formal Methods, 92-110, 2024 | 2 | 2024 |
| Learning diffusions under uncertainty H Huang, Q Yan, K Han, T Gan, J Jiang, Q Xu, C Yang Proceedings of the AAAI Conference on Artificial Intelligence 38 (18), 20430 …, 2024 | 2 | 2024 |
| Metric learning via penalized optimization H Huang, Y Peng, T Gan, W Tu, R Zhou, S Wu Proceedings of the 27th ACM SIGKDD Conference on Knowledge Discovery & Data …, 2021 | 2 | 2021 |
| From model to implementation: a network algorithm programming language J Wang, J An, M Chen, N Zhan, L Wang, M Zhang, T Gan Science China Information Sciences 63, 1-17, 2020 | 2 | 2020 |
| Generalizing sdp-based barrier certificate synthesis to unbounded domains by dropping archimedean condition H Wu, S Feng, T Gan, J Wang, B Xia, N Zhan arXiv preprint arXiv:2312.15416, 2023 | 1 | 2023 |
| Interpolation synthesis for quadratic polynomial inequalities and combination with EUF T Gan, L Dai, B Xia, N Zhan, D Kapur, M Chen arXiv preprint arXiv:1601.04802, 2016 | 1 | 2016 |
| Diffusion pattern mining Q Yan, Y Yang, K Yin, T Gan, H Huang Knowledge and Information Systems 67 (2), 1101-1129, 2025 | | 2025 |
