Música colonial: 18th century music score meets 21st century digitalization technology. - Ting Gan (JCDL, 2005)

The Mùsica Colonial Project. - Ting Gan (Bull. IEEE Tech. Comm. Digit. Libr., 2005)

Decidability of the Reachability for a Family of Linear Vector Fields. - Ting Gan; Mingshuai Chen; Liyun Dai; Bican Xia; Naijun Zhan (ATVA, 2015)

Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. - Ting Gan; Liyun Dai; Bican Xia; Naijun Zhan; Deepak Kapur; Mingshuai Chen (IJCAR, 2016)

Computing reachable sets of linear vector fields revisited. - Ting Gan; Mingshuai Chen; Yangjia Li; Bican Xia; Naijun Zhan (ECC, 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)

Barrier certificates revisited. - Liyun Dai; Ting Gan; Bican Xia; Naijun Zhan (J. Symb. Comput., 2017)

Reachability Analysis for Solvable Dynamical Systems. - Ting Gan; Mingshuai Chen; Yangjia Li; Bican Xia; Naijun Zhan (IEEE Trans. Autom. Control., 2018)

Learning Diffusions without Timestamps. - Hao Huang 001; Qian Yan 001; Ting Gan; Di Niu; Wei Lu 015; Yunjun Gao (AAAI, 2019)

Nonlinear Craig Interpolant Generation. - Ting Gan; Bican Xia; Bai Xue 001; Naijun Zhan (CoRR, 2019)

Nonlinear Craig Interpolant Generation. - Ting Gan; Bican Xia; Bai Xue 001; Naijun Zhan; Liyun Dai (CAV (1), 2020)

From model to implementation: a network algorithm programming language. - Jian Wang 042; Jie An 001; Mingshuai Chen; Naijun Zhan; Lulin Wang; Miaomiao Zhang 003; Ting Gan (Sci. China Inf. Sci., 2020)

Diffusion Network Inference from Partial Observations. - Ting Gan; Keqi Han; Hao Huang 001; Shi Ying; Yunjun Gao; Zongpeng Li (AAAI, 2021)

Switching controller synthesis for delay hybrid systems under perturbations. - Yunjun Bai; Ting Gan; Li Jiao; Bican Xia; Bai Xue 001; Naijun Zhan (HSCC, 2021)

Metric Learning via Penalized Optimization. - Hao Huang 001; Yanan Peng; Ting Gan; Weiping Tu; Ruiting Zhou; Sai Wu (KDD, 2021)

Reconstructing Diffusion Networks from Incomplete Data. - Hao Huang 001; Keqi Han; Beicheng Xu; Ting Gan (IJCAI, 2022)

Exploration on the application scenarios and inner mechanisms of educational metaverse in college teaching. - Ting Gan; Wing Kit Chan; Hongfeng Zhang; Li Jiagui (ICETT, 2023)

Multi-aspect Diffusion Network Inference. - Hao Huang 001; Keqi Han; Beicheng Xu; Ting Gan (WWW, 2023)

Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition. - Hao Wu 085; Shenghua Feng; Ting Gan; Jie Wang 037; Bican Xia; Naijun Zhan (CoRR, 2023)

Learning Diffusions under Uncertainty. - Hao Huang 001; Qian Yan 001; Keqi Han; Ting Gan; Jiawei Jiang 001; Quanqing Xu; Chuanhui Yang (AAAI, 2024)

On Completeness of SDP-Based Barrier Certificate Synthesis over Unbounded Domains. - Hao Wu 085; Shenghua Feng; Ting Gan; Jie Wang 037; Bican Xia; Naijun Zhan (FM (2), 2024)

Nonlinear Craig Interpolant Generation Over Unbounded Domains by Separating Semialgebraic Sets. - Hao Wu 085; Jie Wang 037; Bican Xia; Xiakun Li; Naijun Zhan; Ting Gan (FM (1), 2024)

Diffusion pattern mining. - Qian Yan 001; Yulan Yang; Kai Yin; Ting Gan; Hao Huang 001 (Knowl. Inf. Syst., 2025)

Integrating mobile and fixed monitoring data for high-resolution PM2.5 mapping using machine learning. - Rui Xu; Dawen Yao; Yuzhuang Pian; Ruhui Cao; Yixin Fu; Xinru Yang; Ting Gan; Yonghong Liu (CoRR, 2025)