| Barrier certificates revisited L Dai, T Gan, B Xia, N Zhan Journal of Symbolic Computation 80, 62-86, 2017 | 87 | 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 | 49 | 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 | 21 | 2015 |
| Nonlinear Craig interpolant generation T Gan, B Xia, B Xue, N Zhan, L Dai International Conference on Computer Aided Verification, 415-438, 2020 | 19 | 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 | 16 | 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 | 15 | 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 | 12 | 2019 |
| 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 | 8 | 2021 |
| Reconstructing Diffusion Networks from Incomplete Data. H Huang, K Han, B Xu, T Gan IJCAI 2022, 3085-3091, 2022 | 6 | 2022 |
| 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 |
| 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 |
| 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 | 1 | 2024 |
| 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, 1-29, 2024 | | 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 | | 2024 |
