Approximate greatest common divisors of several polynomials with linearly constrained coefficients and singular polynomials E Kaltofen, Z Yang, L Zhi Proceedings of the 2006 international symposium on Symbolic and algebraic …, 2006 | 124 | 2006 |

Approximate factorization of multivariate polynomials via differential equations S Gao, E Kaltofen, J May, Z Yang, L Zhi Proceedings of the 2004 international symposium on Symbolic and algebraic …, 2004 | 104 | 2004 |

Structured low rank approximation of a Sylvester matrix E Kaltofen, Z Yang, L Zhi Symbolic-numeric computation, 69-83, 2007 | 101 | 2007 |

Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients EL Kaltofen, B Li, Z Yang, L Zhi Journal of Symbolic Computation 47 (1), 1-15, 2012 | 100 | 2012 |

Exact certification of global optimality of approximate factorizations via rationalizing sums-of-squares with floating point scalars E Kaltofen, B Li, Z Yang, L Zhi Proceedings of the twenty-first international symposium on Symbolic and …, 2008 | 82 | 2008 |

Approximate factorization of multivariate polynomials using singular value decomposition E Kaltofen, JP May, Z Yang, L Zhi Journal of Symbolic Computation 43 (5), 359-376, 2008 | 76 | 2008 |

Fast low rank approximation of a Sylvester matrix by structured total least norm B Li, Z Yang, L Zhi J. JSSAC (Japan Society for Symbolic and Algebraic Computation) 11 (3), 4, 2005 | 54 | 2005 |

Probabilistic safety verification of stochastic hybrid systems using barrier certificates C Huang, X Chen, W Lin, Z Yang, X Li ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-19, 2017 | 40 | 2017 |

On exact and approximate interpolation of sparse rational functions E Kaltofen, Z Yang Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007 | 36 | 2007 |

Computing approximate GCD of multivariate polynomials by structure total least norm L Zhi, Z Yang MM Research Preprint 23, 388-401, 2004 | 34 | 2004 |

Exact safety verification of hybrid systems based on bilinear SOS representation Z Yang, W Lin, M Wu ACM Transactions on Embedded Computing Systems (TECS) 14 (1), 1-19, 2015 | 32 | 2015 |

On probabilistic analysis of randomization in hybrid symbolic-numeric algorithms E Kaltofen, Z Yang, L Zhi Proceedings of the 2007 international workshop on Symbolic-numeric …, 2007 | 30 | 2007 |

Fast estimates of Hankel matrix condition numbers and numeric sparse interpolation EL Kaltofen, W Lee, Z Yang Proceedings of the 2011 International Workshop on Symbolic-Numeric …, 2012 | 25 | 2012 |

Robustness verification of classification deep neural networks via linear programming W Lin, Z Yang, X Chen, Q Zhao, X Li, Z Liu, J He Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2019 | 24 | 2019 |

A linear programming relaxation based approach for generating barrier certificates of hybrid systems Z Yang, C Huang, X Chen, W Lin, Z Liu International Symposium on Formal Methods, 721-738, 2016 | 24 | 2016 |

Blind image deconvolution via fast approximate GCD Z Li, Z Yang, L Zhi Proceedings of the 2010 International Symposium on Symbolic and Algebraic …, 2010 | 23 | 2010 |

Exact safety verification of hybrid systems using sums-of-squares representation W Lin, M Wu, ZF Yang, ZB Zeng Science China Information Sciences 57 (5), 1-13, 2014 | 19 | 2014 |

Sparse multivariate function recovery from values with noise and outlier errors EL Kaltofen, Z Yang Proceedings of the 38th International Symposium on Symbolic and Algebraic …, 2013 | 19 | 2013 |

Darboux-type barrier certificates for safety verification of nonlinear hybrid systems X Zeng, W Lin, Z Yang, X Chen, L Wang Proceedings of the 13th International Conference on Embedded Software, 1-10, 2016 | 18 | 2016 |

Generating exact nonlinear ranking functions by symbolic-numeric hybrid method L Shen, M Wu, Z Yang, Z Zeng Journal of Systems Science and Complexity 26 (2), 291-301, 2013 | 18 | 2013 |