The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ting Gan" ( http://dblp.L3S.de/Authors/Ting_Gan )

  Author page on DBLP  Author page in RDF  Community of Ting Gan in ASPL-2

Publication years (Num. hits)
2005-2019 (11)
Publication types (Num. hits)
article(6) inproceedings(5)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 12 publication records. Showing 11 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Ting Gan, Bican Xia, Bai Xue 0001, Naijun Zhan Nonlinear Craig Interpolant Generation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Hao Huang, Qian Yan, Ting Gan, Di Niu, Wei Lu, Yunjun Gao Learning Diffusions without Timestamps. Search on Bibsonomy AAAI The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan Reachability Analysis for Solvable Dynamical Systems. Search on Bibsonomy IEEE Trans. Automat. Contr. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan Barrier certificates revisited. Search on Bibsonomy J. Symb. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen Interpolation synthesis for quadratic polynomial inequalities and combination with \textit{EUF}. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Ting Gan, Mingshuai Chen, Yangjia Li, Bican Xia, Naijun Zhan Computing reachable sets of linear vector fields revisited. Search on Bibsonomy ECC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ting Gan, Liyun Dai, Bican Xia, Naijun Zhan, Deepak Kapur, Mingshuai Chen Interpolant Synthesis for Quadratic Polynomial Inequalities and Combination with EUF. Search on Bibsonomy IJCAR The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ting Gan, Mingshuai Chen, Liyun Dai, Bican Xia, Naijun Zhan Decidability of the Reachability for a Family of Linear Vector Fields. Search on Bibsonomy ATVA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Liyun Dai, Ting Gan, Bican Xia, Naijun Zhan Barrier Certificates Revisited. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Ting Gan The Mùsica Colonial Project. Search on Bibsonomy TCDL Bulletin The full citation details ... 2005 DBLP  BibTeX  RDF
1Ting Gan Música colonial: 18th century music score meets 21st century digitalization technology. Search on Bibsonomy JCDL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF music score transcription, music sheet digitization
Displaying result #1 - #11 of 11 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license