Ting Gan

According to our database, Ting Gan authored at least 22 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets.

Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan

Proceedings of the Formal Methods - 26th International Symposium, 2024

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains.

Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan

Proceedings of the Formal Methods - 26th International Symposium, 2024

Learning Diffusions under Uncertainty.

Hao Huang, Qian Yan, Keqi Han, Ting Gan, Jiawei Jiang, Quanqing Xu, Chuanhui Yang

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition.

Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan

CoRR, 2023

Multi-aspect Diffusion Network Inference.

Hao Huang, Keqi Han, Beicheng Xu, Ting Gan

Proceedings of the ACM Web Conference 2023, 2023

Exploration on the application scenarios and inner mechanisms of educational metaverse in college teaching.

Ting Gan, Wing Kit Chan, Hongfeng Zhang, Li Jiagui

Proceedings of the 9th International Conference on Education and Training Technologies, 2023

2022

Reconstructing Diffusion Networks from Incomplete Data.

Hao Huang, Keqi Han, Beicheng Xu, Ting Gan

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

2021

Metric Learning via Penalized Optimization.

Hao Huang, Yanan Peng, Ting Gan, Weiping Tu, Ruiting Zhou, Sai Wu

Proceedings of the KDD '21: The 27th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, 2021

Switching controller synthesis for delay hybrid systems under perturbations.

Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

Diffusion Network Inference from Partial Observations.

Ting Gan, Keqi Han, Hao Huang, Shi Ying, Yunjun Gao, Zongpeng Li

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

From model to implementation: a network algorithm programming language.

Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan

Sci. China Inf. Sci., 2020

Nonlinear Craig Interpolant Generation.

Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Nonlinear Craig Interpolant Generation.

Ting Gan, Bican Xia, Bai Xue, Naijun Zhan

CoRR, 2019

Learning Diffusions without Timestamps.

Hao Huang, Qian Yan, Ting Gan, Di Niu, Wei Lu, Yunjun Gao

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Reachability Analysis for Solvable Dynamical Systems.

Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan

IEEE Trans. Autom. Control., 2018

2017

Barrier certificates revisited.

Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan

J. Symb. Comput., 2017

2016

Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}.

Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen

CoRR, 2016

Computing reachable sets of linear vector fields revisited.

Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan

Proceedings of the 15th European Control Conference, 2016

Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF.

Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2015

Decidability of the Reachability for a Family of Linear Vector Fields.

Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan

Proceedings of the Automated Technology for Verification and Analysis, 2015

2005

The Mùsica Colonial Project.

Ting Gan

Bull. IEEE Tech. Comm. Digit. Libr., 2005

Música colonial: 18th century music score meets 21st century digitalization technology.

Ting Gan

Proceedings of the ACM/IEEE Joint Conference on Digital Libraries, 2005