Ting Gan

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 20

Top Topics

Controller Synthesis

Cubic Spline Interpolation

Exploratory Learning

Top Venues

Sci. China Inf. Sci.

Publications

Hao Huang, Qian Yan, Keqi Han, Ting Gan, Jiawei Jiang, Quanqing Xu, Chuanhui Yang
Learning Diffusions under Uncertainty. AAAI (2024)
Hao Wu, Jie Wang, Bican Xia, Xiakun Li, Naijun Zhan, Ting Gan
Nonlinear Craig Interpolant Generation over Unbounded Domains by Separating Semialgebraic Sets. CoRR (2024)
Hao Wu, Shenghua Feng, Ting Gan, Jie Wang, Bican Xia, Naijun Zhan
Generalizing SDP-Based Barrier Certificate Synthesis to Unbounded Domains by Dropping Archimedean Condition. CoRR (2023)
Hao Huang, Qian Yan, Keqi Han, Ting Gan, Jiawei Jiang, Quanqing Xu, Chuanhui Yan
Learning Diffusions under Uncertainty. CoRR (2023)
Hao Huang, Keqi Han, Beicheng Xu, Ting Gan
Multi-aspect Diffusion Network Inference. WWW (2023)
Ting Gan, Wing Kit Chan, Hongfeng Zhang, Li Jiagui
Exploration on the application scenarios and inner mechanisms of educational metaverse in college teaching. ICETT (2023)
Hao Huang, Keqi Han, Beicheng Xu, Ting Gan
Reconstructing Diffusion Networks from Incomplete Data. IJCAI (2022)
Hao Huang, Yanan Peng, Ting Gan, Weiping Tu, Ruiting Zhou, Sai Wu
Metric Learning via Penalized Optimization. KDD (2021)
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Switching controller synthesis for delay hybrid systems under perturbations. HSCC (2021)
Ting Gan, Keqi Han, Hao Huang, Shi Ying, Yunjun Gao, Zongpeng Li
Diffusion Network Inference from Partial Observations. AAAI (2021)
Yunjun Bai, Ting Gan, Li Jiao, Bican Xia, Bai Xue, Naijun Zhan
Switching Controller Synthesis for Delay Hybrid Systems under Perturbations. CoRR (2021)
Ting Gan, Bican Xia, Bai Xue, Naijun Zhan, Liyun Dai
Nonlinear Craig Interpolant Generation. CAV (1) (2020)
Jian Wang, Jie An, Mingshuai Chen, Naijun Zhan, Lulin Wang, Miaomiao Zhang, Ting Gan
From model to implementation: a network algorithm programming language. Sci. China Inf. Sci. 63 (7) (2020)
Ting Gan, Bican Xia, Bai Xue, Naijun Zhan
Nonlinear Craig Interpolant Generation. CoRR (2019)
Hao Huang, Qian Yan, Ting Gan, Di Niu, Wei Lu, Yunjun Gao
Learning Diffusions without Timestamps. AAAI (2019)
Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
Reachability Analysis for Solvable Dynamical Systems. IEEE Trans. Autom. Control. 63 (7) (2018)
Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan
Barrier certificates revisited. J. Symb. Comput. 80 (2017)
Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan
Computing reachable sets of linear vector fields revisited. ECC (2016)
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. IJCAR (2016)
Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen
Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}. CoRR (2016)
Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan
Decidability of the Reachability for a Family of Linear Vector Fields. ATVA (2015)
Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan
Barrier Certificates Revisited. CoRR (2013)
Ting Gan
Música colonial: 18th century music score meets 21st century digitalization technology. JCDL (2005)
Ting Gan
The Mùsica Colonial Project. Bull. IEEE Tech. Comm. Digit. Libr. 2 (1) (2005)