| 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 | 127 | 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 | 109 | 2004 |
| 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 | 106 | 2012 |
| Structured low rank approximation of a Sylvester matrix E Kaltofen, Z Yang, L Zhi Symbolic-numeric computation, 69-83, 2007 | 106 | 2007 |
| 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 | 88 | 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 | 81 | 2008 |
| 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 | 58 | 2017 |
| 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 | 56 | 2005 |
| 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 | 44 | 2019 |
| On exact and approximate interpolation of sparse rational functions E Kaltofen, Z Yang Proceedings of the 2007 international symposium on Symbolic and algebraic …, 2007 | 42 | 2007 |
| Computing approximate GCD of multivariate polynomials by structure total least norm L Zhi, Z Yang MM research preprints 23, 388-401, 2004 | 36 | 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 | 34 | 2015 |
| Efficient and accurate quantized image super-resolution on mobile NPUs, mobile AI & AIM 2022 challenge: report A Ignatov, R Timofte, M Denna, A Younes, G Gankhuyag, J Huh, MK Kim, ... European conference on computer vision, 92-129, 2022 | 31 | 2022 |
| 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 |
| A linear programming relaxation based approach for generating barrier certificates of hybrid systems Z Yang, C Huang, X Chen, W Lin, Z Liu FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus …, 2016 | 28 | 2016 |
| Efficient deep models for real-time 4k image super-resolution. NTIRE 2023 benchmark and report MV Conde, E Zamfir, R Timofte, D Motilla, C Liu, Z Zhang, Y Peng, Y Lin, ... Proceedings of the IEEE/CVF conference on computer vision and pattern …, 2023 | 25 | 2023 |
| 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 | 23 | 2012 |
| 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 |
| 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 | 22 | 2016 |
| Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems Q Zhao, X Chen, Y Zhang, M Sha, Z Yang, W Lin, E Tang, Q Chen, X Li Proceedings of the 24th International Conference on Hybrid Systems …, 2021 | 21 | 2021 |
Kartik SivaramakrishnanHead of Factor and Quantitative Strategies at STOXX Ltd. (now part of ISS STOXX)Verified email at qontigo.com
